Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Edge-Isoperimetric Inequalities in Chamber Graphs of Hyperplane Arrangements
We study edge-isoperimetric inequalities in chamber graphs of affine hyperplane arrangements. Our approach is topological: to a set of chambers we associate its thickening in Euclidean space and estimate its edge boundary through the induced stratification by intersections of arrangement hyperplanes. This yields general lower bounds for a broad class of sets. We show that a convex set of chambers of size $\sum_{i=0}^d \binom{k}{i}$, with $k\ge d-1$, has edge boundary at least $\sum_{i=0}^{d-1}\binom{k}{i}$, and we conjecture that convex sets minimize the edge boundary among all chamber sets of a fixed size. We verify this conjecture in dimension $2$. Our main result is a three-dimensional asymptotic inequality for arbitrary subsets of chambers: for arrangements in general position, every set $S$ occupying at most a fixed proportion of the chambers satisfies $|\partial S|=Ω(|S|^{2/3})$. As a consequence, for an arrangement of $n$ hyperplanes in general position in $\mathbb R^3$, the lazy simple random walk on the chamber graph has $\varepsilon$-mixing time $O(n^2\log(n/\varepsilon))$.
Extensions of Erdős's 1962 theorem on non-Hamiltonian graphs
For a positive integer $k$, a graph property $\mathcal{H}$, and a graph parameter $\mathcal{P}$, let $\operatorname{ex}_{\mathcal{P}}(n, \mathcal{H}; δ\geq k)$ denote the maximum value of $\mathcal{P}$ over all $n$-vertex graphs with minimum degree at least $k$ that do not possess the property $\mathcal{H}$. The corresponding extremal families are denoted by $\operatorname{EX}_{\mathcal{P}}(n, \mathcal{H}; δ\geq k)$. For two disjoint graphs $H_1$ and $H_2$, let $H_1 \cup H_2$ denote their (disjoint) union, i.e., the graph with vertex set $V(H_1) \cup V(H_2)$ and edge set $E(H_1) \cup E(H_2)$; and let $H_1 \vee H_2$ denote their join.
In 1962, Erdős established a classical theorem on the maximum number of edges in a non-Hamiltonian graph of given order and minimum degree. Motivated by recent work on feasible graph parameters in \cite{Ai2023}, we prove several extensions of Erdős's 1962 theorem on non-Hamiltonian graphs.
The first result gives a common generalization of the extremal theorem due to Erdős and its spectral analogs. As direct applications, we obtain complete solutions to open problems raised in the literature since 2016, thereby improving nearly all related prior results in this direction. Our proof technique differs somewhat from those in \cite{MR3539577,MR3556876}. We also prove an analog theorem for the Hamiltonian-connected property and obtain a result which extends the theorem of Füredi, Kostochka, and Luo \cite{MR3843180} on Hamilton cycles.
On the Construction of Recursively Differentiable Quasigroups and an Example of a Recursive $[4,2,3]_{26}$-Code
Published
• View Publication
• BIB
In 1998, E. Couselo, S. González, V. T. Markov, and A. A. Nechaev introduced the notions of recursive codes and recursively differentiable quasigroups. They conjectured that recursive MDS codes of dimension $2$ and length $4$ exist over every finite alphabet of size $q \not\in \{2, 6\}$, and verified this conjecture in all cases except $q \in \{14, 18, 26, 42\}$. In 2008, V. T. Markov, A. A. Nechaev, S. S. Skazhenik, and E. O. Tveritinov resolved the case $q=42$ by providing an explicit construction. The present paper settles the outstanding case $q=26$. The construction rests upon methods for producing recursively differentiable quasigroups and recursive MDS codes via perfect cyclic Mendelsohn designs. Moreover, we sharpen several known bounds concerning the existence of recursively $n$-differentiable quasigroups of small orders.
Between proper and square colorings of planar graphs with maximum degree at most four
An $i$-independent set is a vertex set whose pairwise distance is at least $i+1$. A proper (square) $k$-coloring of a graph $G$ is a partition of its vertex set into $k$ independent ($2$-independent) sets. A packing $(1^{j}, 2^k)$-coloring of a graph $G$ is a partition of $V(G)$ into $j$ independent sets and $k$ $2$-independent sets. It can be viewed as intermediate colorings between proper and square coloring. Wegner conjectured in 1977 that every planar graph with maximum degree at most four is square $9$-colorable. Bousquet, Deschamps, de Meyer, and Pierron proved an upper bound of $12$, which is the current best result toward the conjecture of Wegner. In this paper, we prove two analogue results that every planar graph with maximum degree at most four is packing $(1,2^{10})$-colorable and packing $(1^2,2^7)$-colorable.
Inversion monotonicity in subclasses of the 1324-avoiders
A collection $B$ of patterns is called inversion monotone if $\mathrm{av}_n^k(B)$, the number of $B$-avoiding permutations of length $n$ with $k$ inversions, is weakly increasing in $n$ for any fixed $k$. In 2012, Claesson, Jelínek and Steingrímsson posed the inversion monotonicity conjecture, which states that the pattern $1324$ is inversion monotone and implies a new upper bound for its Stanley--Wilf limit.
We prove that the collections $\{1324, 231\}$ and $\{1324, 2314, 3214, 4213\}$ are inversion monotone via explicit injections. The latter follows from a general procedure for constructing inversion-monotone sets. Our results constitute the first known nontrivial examples of inversion-monotone sets.
A key feature of the inversion monotonicity conjecture is that $1324$ has a limit sequence: $\mathrm{av}_n^k(1324)$ is constant in $n$ when $n$ is large. We characterize the sets of patterns that have limit sequences, and determine the limit sequences of all pairs $\{1324, p\}$, where $p$ is a pattern of length four. Connections to various families of integer partitions arise.
Finally, we expand on work by Linusson and Verkama (2025) on almost decomposable permutations to determine a broad family of sets containing $1324$ that are inversion monotone under the assumption $n \geq \frac{k+7}{2}$. The method yields an enumeration of $\mathrm{av}_n^k(1324, 1342)$ when $n \geq \frac{k+7}{2}$.
High genus one part monotone Hurwitz numbers
We obtain bivariate asymptotics for one part monotone Hurwitz numbers in high genus (i.e. as both the size and the genus go to infinity). To do so, we start with a linear recurrence for these numbers obtained by Do and Chaudhuri. Then, we apply a recent method developped by Elvey-Price, Fang, Wallner and the second author to extract asymptotics from such recurrences.
A Note on Weak Saturation Number of Trees
Published
• View Publication
• BIB
In this paper, we estimate the weak saturation numbers of trees. As a case study, we examine caterpillars and obtain several tight estimates. In particular, this implies that for any $α\in [1,2]$, there exist caterpillars with $k$ vertices whose weak saturation numbers are of order $k^α$. We call a tree good if its weak saturation number is exactly its edge number minus one. We provide a sufficient condition for a tree to be a good tree. With the additional property that all leaves are at even distances from each other, this condition fully characterizes good trees.
New Lower Bounds for C4-Free Subgraphs of the Hypercubes Q6, Q7, and Q8: Constructions, Structure, and Computational Method
We establish new lower bounds ex(Q_7,C_4)>=304 and ex(Q_8,C_4)>=680 for the maximum number of edges in a C_4-free subgraph of the 7- and 8-dimensional hypercubes, and give a modern computational reproduction of ex(Q_6,C_4)=132. All bounds are witnessed by explicit constructions certified by exhaustive enumeration of all four-cycles (240 for Q_6, 672 for Q_7, 1792 for Q_8). For Q_7 we identify 19866 distinct C_4-free subgraphs on 304 edges and classify them into exactly 20 structural types via their dimension profiles. All Q_7 solutions share a rigid structural core: degree sequence {4^32,5^96}, spectral radius lambda_1 approximately 4.787, and local maximality. For Q_8 we analyse the 680-edge construction and the 681-edge barrier: every non-edge creates at least one C_4, and 1076 independent searches at 681 edges never achieved zero violations. The constructions are found by a two-phase simulated annealing algorithm with Aut(Q_n)-based diversification. For Q_6 we provide an ILP-based proof that ex(Q_6,C_4)<=132. Edge lists, ILP files, and source code are publicly available at https://github.com/minamominamoto/c4free-hypercube
Short proofs in combinatorics and number theory
We give a triplet of short proofs, each of which answers a question raised by Erdős. The first concerns the small prime factors of $\binom{n}{k}$, the second concerns whether an additive basis $A$ can always be split into pieces $A_1$ and $A_2$ such that each of $A_i + A_i$ has bounded gaps, and the final concerns whether $\{αp\}$ is "well-distributed" in the sense introduced by Hlawka and Petersen. In each case, the proof is due entirely to an internal model at OpenAI.
Two-Orbit Polytopes
Abstract polytopes are combinatorial structures with distinctive geometric, algebraic, or topological characteristics, that generalize (the face lattice of) traditional polyhedra, polytopes or tessellations. Most research has focused on abstract polytopes with the highest possible symmetry, in particular those that are regular or chiral. In this paper we study two-orbit polytopes, that is, abstract polytopes whose automorphism groups have exactly two orbits on flags. Such polytopes of rank $n$ fall into $2^n-1$ classes, determined by their local flag configuration.
We develop a general structural theory of two-orbit polytopes of arbitrary rank. In particular, we determine their face- and section-transitivity properties and describe the structure of their automorphism groups via distinguished generating sets and face stabilizer subgroups. These results yield a characterization of the partial order { on the polytope} in terms of the automorphism group. Two-orbit polytopes in different classes behave quite differently.
Our approach extends the group-theoretic framework for regular and chiral polytopes and provides a systematic foundation for the study of polytopes with two flag orbits.
Deficit and $(q,t)$-symmetry in triangular partitions
We study the $(q,t)$-enumeration of triangular Dyck paths considered by Bergeron and Mazin. To do so, we introduce the notion of triangular and sim-sym tableaux and the deficit statistic which is a new interpretation of the dinv. We use it to obtain new results and proofs on triangular $2$-partitions and an interesting conjecture for a certain lattice interval $(q,t,r)$-enumeration.
Disordered Schur Measures
In this paper, we introduce and study random Schur measures whose parameters are sampled from the Circular Unitary Ensemble. We show that Schur measures with CUE disorder exhibit behavior reminiscent of spin glasses.
Bourgain's projection theorem over normed division algebras
We give a simple and self-contained proof of an extension of a projection theorem of Bourgain over the reals to division algebras over local fields of zero characteristic.
Unexpected toric Richardson varieties
We prove that an open Richardson variety in the complete flag variety for $\mathrm{GL}_n$ is isomorphic to a torus if and only if the corresponding closed Richardson variety is toric. Such toric varieties can be classified in terms of the combinatorics of Bruhat intervals, and include many varieties of dimension larger than $n-1$. We give a combinatorial description of the corresponding polytopes, and compute several explicit examples.
Multicolor $K_r$-Tilings with High Discrepancy
We study the minimum degree threshold $δ_{r,q}$ guaranteeing the existence of $K_r$-tilings of high discrepancy in any $q$-edge-coloring. Balogh, Csaba, Pluhár and Treglown handled the 2-color case, proving that $δ_{r,2} = \frac{r}{r+1}$ for all $r \geq 3$. Here we determine $δ_{r,q}$ for all $q$ large enough, namely $q \geq \binom{r}{2}$. For example, we show that for $r \geq 4$, $δ_{r,q} = \frac{r}{r+1}$ for $\binom{r}{2} \leq q \leq \binom{r+1}{2}$ and $δ_{r,q} = \frac{r-1}{r}$ for $q \geq \binom{r+1}{2}+2$. Thus, $δ_{r,q}$ has a phase transition at $q = \binom{r+1}{2}$, where it drops from $\frac{r}{r+1}$ and then stabilizes at the existence threshold $\frac{r-1}{r}$. We also show that $δ_{r,q} \leq \frac{r}{r+1}$ for all $r,q$, supplementing and giving a new proof for the result of Balogh, Csaba, Pluhár and Treglown.
Graph Eigenvalues and Projection Constants
Let $λ_1(G)\ge λ_2(G)\ge \cdots \ge λ_n(G)$ denote the adjacency eigenvalues of a graph $G$ of order $n$. We prove that for every $k\geq 2$ and every graph $G$ on $n\geq k$ vertices, $$ λ_k(G)\le \frac{λ_{\mathbb{R}}(k-1)}{2(k-1)}\,n-1, $$ where $$ λ_{\mathbb{R}}(r)=\sup_{N\ge r}\frac1N \max_{Q\in \mathcal P_r(N)}\sum_{i,j=1}^N |q_{ij}| $$ and $\mathcal P_r(N)$ denotes the set of rank-$r$ orthogonal projections in $\mathbb{R}^{N\times N}$. In Banach space theory, $λ_{\mathbb{R}}(r)$ is well known as the maximal absolute projection constant, which has been shown to equal the quasimaximal absolute projection constant $μ_{\mathbb{R}}(r)$.
This yields a new conceptual connection: universal upper bounds on $λ_k(G)$ are controlled by the real maximal absolute projection constant $λ_{\mathbb{R}}(k-1)$. In dimensions where $λ_{\mathbb{R}}(k-1)$ is known explicitly, this gives explicit coefficients. In particular, for $k=3$ this recovers Tang's recent sharp bound $λ_3(G)\le n/3-1$. For $k=4$, using $λ_{\mathbb{R}}(3)=\frac{1+\sqrt5}{2}$ together with Linz's closed blowups of the icosahedral graph, we obtain the result $$ λ_4(G) \leq \frac{1+\sqrt5}{12}n-1. $$ The method allows us to transfer known upper bounds on $λ_{\mathbb{R}}(k-1)$ to match the best known upper bounds on $λ_k(G)$ for other values of $k$, such as $k=5$.
A short proof of a perturbation inequality for the spectral radius
Published
• View Publication
• BIB
Let $G$ be a simple graph, and denote by $λ(G)$ its spectral radius. Sun and Das (2020) established that for any non-isolated vertex $v$ with degree $d(v)$, \[ λ(G)\leq \sqrt{λ(G-v)^2 + 2d(v) - 1}, \] which is a conjecture original posed by Guo, Wang, and Li (2019). Sun and Das's proof uses several tools from spectral graph theory. In this short note, we provide a concise and self-contained proof of this inequality using matrix analysis.
Binomial determinants: some closed formulae
This paper is intended to give closed formulae for binomial determinants with consecutive or almost consecutive rows or columns, as well as calculating the generator of left nullspaces defined by some binomial matrices. In the meantime, we reprove, by different means, the positivity of binomial determinants shown by Gessel and Viennot.
On the combinatorics of the refined 1-leg DT/PT correspondence
We provide a new proof of a result of Bessenrodt on the relation among the generating series of reversed plane partitions and skew plane partitions, motivated by the geometric DT/PT wallcrossing formula for local curves recently proved by the third author. This also recovers a result of Sagan.
We moreover establish various new closed formulas for the weighted enumeration of reversed and skew plane partitions, proving a result dual to a theorem by Gansner, we find a new identity on the generating series counting internal and external hooks of a given Young diagram, and we combine the latter with Bessenrodt's theorem. Finally, we interpret our results as identities in the Fock space via the bosonic/fermionic formalism.
Randomstrasse101: Open Problems of 2025
Randomstrasse101 is a blog dedicated to Open Problems in Mathematics, with a focus on Probability Theory, Computation, Combinatorics, Statistics, and related topics. This manuscript serves as a stable record of the Open Problems posted in 2025, with the goal of easing academic referencing. The blog can currently be accessed at randomstrasse101.math.ethz.ch