Papers from January 10, 2026
6 paper(s) published on this date
Uniform hypergraphs of girth $6$ and $8$ from generalized polygons
Let $ex_r(N,g)$ be the maximum number of edges in an $r$-uni\-form hypergraph on $N$ vertices with girth at least $g$. We are interested in the asymptotic behavior of this value when $N$ is increasing but parameters $g\in\{6,8\}$ and $r\geq3$ are fixed. It is shown that for some positive constants $c$ and $d$, any integer $r\geq3$ and all sufficiently large integers $N$ the inequalities $ex_r(N,6)\geq N^{\frac{11}{8}-\frac{c}{\sqrt{\log N}}}$ and $ex_r(N,8)\geq N^{\frac{11}{9}-\frac{d}{\sqrt{\log N}}}$ hold.
On a square packing conjecture of Erdős
Let $f(n)$ be the maximum sum of the sides of non-overlapping squares (or equilateral triangles) packed inside a unit square or (unit equilateral triangle). In this paper, we explore some properties of $f$ and examine how the square and triangle cases are similar. We prove that a conjecture of Erdős, which says that $f(k^2+1) = k$ for all $k$, is equivalent to the convergence of the series $\sum_{k\geqslant 1}(f(k^2+1)-k)$. We also explore the case of parallelograms and discuss how that is similar to the case of unit square and triangle.
Regions surrounded by cylinders of real algebraic manifolds and natural decompositions
The author has been interested in regions surrounded by cylinders of real algebraic hypersurfaces and their shapes and polynomials associated to them. Here, we formulate and investigate natural decompositions into such cylinders of real algebraic hypersurfaces. Especially, intersections of these cylinders of real algebraic hypersurfaces, which give important information on regions, are investigated via singularity theory.
This is a kind of natural problems on real geometry. This also comes from construction of explicit real algebraic maps onto explicit regions in real affine spaces on real algebraic manifolds. More generally, we are interested in difficulty in explicit construction of real algebraic objects, where existence and approximation has been well-known, since pioneering studies by Nash and Tognoli, in the latter half of 20th century. This also comes from interest in singularity theory of differentiable, smooth or real algebraic functions and maps, especially, explicit construction.
On the Number of Subsequences in the Nonbinary Deletion Channel
In the deletion channel, an important problem is to determine the number of subsequences derived from a string $U$ of length $n$ when subjected to $t$ deletions. It is well-known that the number of subsequences in the setting exhibits a strong dependence on the number of runs in the string $U$, where a run is defined as a maximal substring of identical characters. In this paper we study the number of subsequences of a non-binary string in this scenario, and propose some improved bounds on the number of subsequences of $r$-run non-binary strings. Specifically, we characterize a family of $r$-run non-binary strings with the maximum number of subsequences under any $t$ deletions, and show that this number can be computed in polynomial time.
A generalization of $q$-deformation of graphic arrangements to simplicial complexes
The purpose of this thesis is to introduce two new kinds of hyperplane arrangements, inspired by the graphic arrangements and $q$-deformations of graphic arrangements. In this thesis, the author extends the definition of $q$-deformation to simplicial complexes, with the conjecture by Nian, Tsujie, Uchiumi and Yoshinaga. The author also investigates a special case called graphic monomial arrangement, including the characteristic polynomials and freeness with a further extension to fields with primitive roots.
FlagAlgebraToolbox: Flag Algebra Computations in SageMath
We introduce FlagAlgebraToolbox, an extension of SageMath capable of automating flag algebra calculations and optimizations. FlagAlgebraToolbox has a simple interface, can handle a wide range of combinatorial theories, can numerically optimize extremal combinatorial problems and round the results to produce exact proofs. We present the core concepts used in the toolbox, with example workflows.