natural ↗ reference
4897 papers tagged with this keyword
The signless Laplacian spectral Turán problems for hypergraphs
Let $\mathcal{H}=(V, E)$ be an $r$-uniform hypergraph on $n$ vertices. The signless Laplacian spectral radius of $\mathcal{H}$ is defined as the maximum modulus of the eigenvalues of the tensor $\mathcal{Q}(\mathcal{H})=\mathcal{D}(\mathcal{H})+\mathcal{A}(\mathcal{H})$, where $\mathcal{D}(\mathcal{H})$ and $\mathcal{A}(\mathcal{H})$ are the degree diagonal tensor and the adjacency tensor of $\mathcal{H}$, respectively. In this paper, we establish a general theorem that extends the spectral Turán result of Keevash, Lenz and Mubayi [SIAM J. Discrete Math., 28 (4) (2014)]
to the setting of signless Laplacian spectral Turán problems. We prove that if a family $\mathcal{F}$ of $r$-uniform hypergraphs is degree-stable with respect to a family $\mathcal{H}_n$ of $r$-uniform hypergraphs and its extremal constructions satisfy certain natural assumptions, then the signless Laplacian spectral Turán problem for $\mathcal{F}$ can be effectively reduced to the corresponding problem restricted to the family $\mathcal{H}_n$. As a concrete application, we completely determine the extremal hypergraph that maximizes the signless Laplacian spectral radius among all Fano plane-free $3$-uniform hypergraphs, showing that the unique extremal hypergraph is the balanced complete bipartite $3$-uniform hypergraph.
On the complexity of the Maker-Breaker happy vertex game
Given a c-colored graph G, a vertex of G is happy if it has the same color as all its neighbors. The notion of happy vertices was introduced by Zhang and Li to compute the homophily of a graph. Eto, et al. introduced the Maker-Maker version of the Happy vertex game, where two players compete to claim more happy vertices than their opponent. We introduce here the Maker-Breaker happy vertex game: two players, Maker and Breaker, alternately color the vertices of a graph with their respective colors. Maker aims to maximize the number of happy vertices at the end, while Breaker aims to prevent her. This game is also a scoring version of the Maker-Breaker Domination game introduced by Duchene, et al. as a happy vertex corresponds exactly to a vertex that is not dominated in the domination game. Therefore, this game is a very natural game on graphs and can be studied within the scope of scoring positional games. We initiate here the complexity study of this game, by proving that computing its score is PSPACE-complete on trees, NP-hard on caterpillars, and polynomial on subdivided stars. Finally, we provide the exact value of the score on graphs of maximum degree 2, and we provide an FPT-algorithm to compute the score on graphs of bounded neighborhood diversity. An important contribution of the paper is that, to achieve our hardness results, we introduce a new type of incidence graph called the literal-clause incidence graph for 2-SAT formulas. We prove that QMAX 2-SAT remains PSPACE-complete even if this graph is acyclic, and that MAX 2-SAT remains NP-complete, even if this graph is acyclic and has maximum degree 2, i.e. is a union of paths. We demonstrate the importance of this contribution by proving that Incidence, the scoring positional game played on a graph is also PSPACE-complete when restricted to forests.
Algebraic topology of the Lagrange inversion
The Lagrange inversion formula for power series is one of the classical formulas from analysis and combinatorics. A nice geometric interpretation of this formula in terms of the Stasheff polytopes was discovered by Loday. We show that it also admits a natural topological interpretation in terms of the Chern numbers of the complex projective space. The proof is based on our earlier work on the Chern-Dold character in complex cobordism theory and leads to a new derivation of the Lagrange inversion formula. We provide a similar interpretation of the multiplicative inversion formulas in terms of Chern numbers of the smooth theta divisors. We discuss also the general related problem when all Chern numbers of an algebraic variety are divisible by its Euler characteristic.
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.
Branching $k$-path vertex cover of forests
We define a set $P$ to be a branching $k$-path vertex cover of an undirected forest $F$ if all leaves and isolated vertices (vertices of degree at most $1$) of $F$ belong to $P$ and every path on $k$ vertices (of length $k-1$) contains either a branching vertex (a vertex of degree at least $3$) or a vertex belonging to $P$. We define the branching $k$-path vertex cover number of an undirected forest $F$, denoted by $ψ_b(F,k)$, to be the number of vertices in the smallest branching $k$-path vertex cover of $F$. These notions for a rooted directed forest are defined similarly, with natural adjustments. We prove the lower bound $ψ_b(F,k) \geq \frac{n+3k-1}{2k}$ for undirected forests, the lower bound $ψ_b(F,k) \geq \frac{n+k}{2k}$ for rooted directed forests, and that both of them are tight.
The square of a subcubic planar graph without a 5-cycle is 7-choosable
The square of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and has an edge between two vertices if the distance between them in $G$ is at most $2$. Thomassen [12] showed that $χ(G^2) \leq 7$ if $G$ is a subcubic planar graph. A natural question is whether $χ_{\ell}(G^2) \leq 7$ or not if $G$ is a subcubic planar graph. Recently Kim and Lian [11] showed that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 6. And Jin, Kang, and Kim [10] showed that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph without 4-cycles and 5-cycles. In this paper, we show that the square of a subcubic planar graph without 5-cycles is 7-choosable, which improves the results of [10] and [11].
Functional Calculi, Positivity, and Convolution of Matrices
Published
• View Publication
• BIB
Convolution admits a natural formulation as a functional operation on matrices. Motivated by the functional and entrywise calculi, this leads to a framework in which convolution defines a matrix transform that preserves positivity. Within this setting, we establish results parallel to the classical theories of Pólya--Szegő, Schoenberg, Rudin, Loewner, and Horn in the context of entrywise calculus. The structure of our transform is governed by a Cayley--Hamilton-type theory valid in commutative rings of characteristic zero, together with a novel polynomial-matrix identity specific to convolution. Beyond these analytic aspects, we uncover an intrinsic connection between convolution and the Bruhat order on the symmetric group, illuminating the combinatorial aspect of this functional operation. This work extends the classical theory of entrywise positivity preservers and operator monotone functions into the convolutional setting.
On $\mathscr{M}$-arrangements of conics and lines with ordinary singularities
In this paper, we study combinatorial aspects of reduced plane curves known as $\mathscr{M}$-curves. This notation is a natural generalization of maximizing plane curves which are well-known in the theory of algebraic surfaces. We focus here on $\mathscr{M}$-arrangements of conics and lines with ordinary singularities of multiplicity less than five and we provide various numerical constraints on their existence, particularly in terms of their weak combinatorics. Moreover, we study in detail the scenario when our $\mathscr{M}$-arrangements consist of lines and just one conic.
The $k$-Plancherel measure and a Finite Markov Chain
Let $\mathcal{P}_k(n)$ denote the set of partitions of $n$ whose largest part is bounded by $k,$ which are in well-known bijection with $(k+1)$-cores $\mathcal{C}_k$. We study a growth process on $\mathcal{C}_k$, whose stationary distribution is the $k$-Plancherel measure, which is a natural extension of the Plancherel measure in the context of $k$-Schur functions. When $k\to\infty$ it converges to the Plancherel measure for partitions, a limit studied first by Vershik-Kerov. However, when $k$ is fixed and $n\to \infty$, we conjecture that it converges to a shape close to the limit shape from the uniform growth of partitions, as studied by Rost. We show that the limiting behavior, for fixed $k$, is governed by a finite Markov chain with $k!$ states over a subset of the $k$-bounded partitions or equivalently as a TASEP over cyclic permutations of length $k+1$. This paper initiates the study of these processes, state some theorems and several intriguing conjectures found by computations of the finite Markov chain.
Skein relations on punctured surfaces
Published
• View Publication
• BIB
This thesis studies skein relations in cluster algebras arising from punctured surfaces. We introduce skein-type identities expressing cluster variables associated with incompatible curves on a surface in terms of cluster variables corresponding to compatible arcs. Incompatibility arises from phenomena such as intersections, self-intersections, and opposite taggings at punctures. To establish these identities, we develop a combinatorial-algebraic framework that relates loop graphs to certain representations. These skein relations can then be applied to investigate structural properties of cluster algebras from punctured surfaces. In particular, they can be used to prove the existence of bases satisfying natural positivity and compatibility conditions. This extends existing work on surface cluster algebras by incorporating punctures in the interior of the surface, thereby enlarging the class of cluster algebras for which such skein relations and bases can be constructed.
The codegree Turán density of tight cycles
The codegree Turán density $γ(F)$ of a $k$-uniform hypergraph $F$ is the minimum real number $γ\ge 0$ such that every $k$-uniform hypergraph on sufficiently many $n$ vertices, in which every set of $k-1$ vertices is contained in at least $(γ+o(1))n$ edges, contains a copy of $F$. A recent result of Piga, Sanhueza-Matamala, and Schacht determines that $γ(C_{\ell}^3)=\frac13$ for every $3$-uniform tight cycle $C_\ell^3$ of length $\ell$, where $\ell \ge \ell_0$ and $\ell$ is not divisible by $3$. In this paper, we investigate the codegree Turán density of $k$-uniform tight cycles $C_\ell^k$. We establish improved upper and lower bounds on $γ(C_{\ell}^k)$ for general $\ell$ not divisible by $k$. These results yield the following consequences:
1). For any prime $k \ge 3$, we show that $γ(C_{\ell}^k)=\frac13$ for all sufficiently large $\ell$ not divisible by $k$, generalizing the above theorem of Piga et al.
2). For all $k \ge 3$, we determine the exact value of $γ(C_{\ell}^k)$ for integers $\ell$ not divisible by $k$ in a set of (natural) density at least $\frac{\varphi(k)}{k}$, where $\varphi(\cdot)$ denotes Euler's totient function.
3). We give a complete answer to a question of Han, Lo, and Sanhueza-Matamala concerning the tightness of their construction for $γ(C_{\ell}^k)$.
Moreover, our results also determine the codegree Turán density of $C_\ell^{k-}$, that is, the $k$-uniform tight cycle of length $\ell$ with one edge removed, for a new set of integers $\ell$ of positive density for every $k \ge 3$. Our upper bound result is based on a structural characterization of $C_{\ell}^k$-free $k$-uniform hypergraphs with high minimum codegree, while the lower bounds are derived from a novel construction model, coupled with the arithmetic properties of the integers $k$ and $\ell$.
Singular Meanders
The problem of enumerating meanders -- pairs of simple plane curves with transverse intersections -- was formulated about forty years ago and is still far from solved. Recently, it was discovered that meanders admit a factorization into prime components. This factorization naturally leads to a broader class of objects, which we call singular meanders, in which tangential intersections between the curves are also allowed. In the present paper we initiate a systematic study of singular meanders: we develop a basic combinatorial framework, point out connections with other combinatorial objects and known integer sequences, and completely enumerate several natural families of singular meanders.
First-Order Logic and Twin-Width for Some Geometric Graphs
For some geometric graph classes, tractability of testing first-order formulas is precisely characterised by the graph parameter twin-width. This was first proved for interval graphs among others in [BCKKLT, IPEC '22], where the equivalence is called delineation, and more generally holds for circle graphs, rooted directed path graphs, and $H$-graphs when $H$ is a forest. Delineation is based on the key idea that geometric graphs often admit natural vertex orderings, allowing to use the very rich theory of twin-width for ordered graphs.
Answering two questions raised in their work, we prove that delineation holds for intersection graphs of non-degenerate axis-parallel unit segment graphs, but fails for visibility graphs of 1.5D terrains. We also prove delineation for intersection graphs of circular arcs.
Finite Groups of Random Walks in the Quarter Plane and Periodic $4$-bar Links
We solve two long standing open problems, one from probability theory formulated by Malyshev in 1970 and another one from a crossroad of geometry and dynamics, of Darboux from 1879. The Malyshev problem is of finding effective, explicit necessary and sufficient conditions in the closed form to characterize all random walks in the quarter plane with the finite group of random walk of order $2n$, for all $n\ge 2$, where the underlining biquadratic is an elliptic curve. Until now, the results were known only for $n=2, 3, 4$, obtained using ad-hoc methods developed separately for each of the three cases. We provide a method that solves the problem for all $n$ and in a unified way. Explicit examples of random walks with the groups of orders higher than 10 are presented here for the first time, including orders 12, 14, 16. The same method applies to any higher order. We consider cases with singular biquadratics in a systematic manner. We establish a new two-way relationship between diagonal random walks and $4$-bar links. We describe all $n$-periodic Darboux transformations for $4$-bar links for all $n\ge 2$, thus completely solving the Darboux problem: after $n$ iterations, a polygonal configuration maps to a congruent one of the same orientation, that he solved for $n=2$, which was recently extended to $n=3$. We also study $k$-semi-periodicity as a natural type of periodicity of the Darboux transformations, where after $k$ iterations of the Darboux transformation, a polygonal configuration maps to a congruent one, but of opposite orientation. By introducing a new object, the secondary $(2,2)$ correspondence, and the related secondary cubic of the centrally-symmetric biquadratics, we provide necessary and sufficient conditions for $k$-semi-periodicity for $4$-bar links for all $k\ge 2$ in an explicit closed form, while the case $k=2$ was solved recently.
Combinatorial characterzations of $T$-designs in the nonbinary Johnson scheme
We study $T$-designs in the nonbinary Johnson scheme. This scheme generalizes both the Johnson and Hamming schemes and admits a bivariate $Q$-polynomial structure. Zhu (2021) provided a combinatorial characterization of $T$-designs in this scheme for certain index sets $T$, using a relationship between $T$-designs in the nonbinary Johnson scheme and relative designs in the nonbinary Hamming scheme. In this paper, we obtain a characterization that applies to a strictly larger class of index sets $T$, based on a methodological extension of Delsarte's original framework (1973). This new characterization naturally recovers classical block designs and orthogonal arrays as special cases. To describe these designs uniformly, we introduce $(r,s)$-designs, a new family of combinatorial objects that arise naturally from our characterization. We also derive absolute lower bounds on the cardinality of $(r,s)$-designs from the multiplicities of the primitive idempotents of the nonbinary Johnson scheme, and construct examples with index $λ=1$ that attain certain natural lower bounds.
The geometric Merkurjev-Panin Conjecture for the Cox category
We show that a strong version of the geometric Merkurjev-Panin conjecture holds for the Cox category of a projective toric variety. That is, we prove that the full strong exceptional collection of Bondal-Thomsen line bundles is invariant under the group of lattice automorphisms that permute the rays of the toric variety's fan. Our result is meant to further illustrate that the Cox category is a natural repository for homological algebra on toric varieties.
Pattern Avoiding Permutations as Walks
The Stanley-Wilf limit of the pattern 1324 is known to lie between 10.271 and 13.5. We obtain lower bounds on this limit by encoding permutations as walks in directed graphs: building a permutation by successive insertion of maxima corresponds to traversing edges, and the growth rate of walks equals the spectral radius of the adjacency matrix. For 1324, this graph is too large for direct computation, so we pass to a quotient graph with weighted edges. Conditional on a natural conjecture, this yields a lower bound of 10.418.
Asymptotics of returns to the coordinate hyperplanes for conditioned simple random walks
Published
• View Publication
• BIB
In this paper we study the number of returns to the coordinate hyperplanes for multidimensional nearest-neighbour random walks. While one-dimensional results on returns are classical, much less is known in higher dimensions. We analyse the asymptotic behaviour of returns under several natural conditionings: the unconditioned walk, bridges, meanders, and non-negative bridges (or excursions). Our main results characterize the limiting distributions under appropriate rescaling. The resulting one-dimensional marginals may be half-normal, Rayleigh, geometric, negative binomial, or certain mixtures thereof. In most situations, the coordinates are asymptotically independent; however, there are notable exceptions for the meander case, depending on the drift. The proofs rely on conditioning on the numbers of horizontal and vertical steps, which restores a form of independence and reduces the problem to one-dimensional estimates via binomial convolution and Bernstein-type approximations.
Nowhere-zero flow reconfiguration
We initiate the study of nowhere-zero flow reconfiguration. The natural question is whether any two nowhere-zero $k$-flows of a given graph $G$ are connected by a sequence of nowhere-zero $k$-flows of $G$, such that any two consecutive flows in the sequence differ only on a cycle of $G$. We conjecture that any two nowhere-zero 5-flows in any 2-edge-connected graph are connected in this way. This can be seen as a reconfiguration variant of Tutte's 5-flow conjecture.
We study this problem in the setting of integer flows and group flows, and show that the structure of groups affects the answer, contrary to the existence of nowhere-zero flows. We also highlight a duality with recoloring in planar graphs and deduce that any two nowhere-zero 7-flows in a planar graph are connected, among other results. Finally we show that for any graph $G$, there is an abelian group $A$ such that all nowhere-zero $A$-flows in $G$ are connected, which is a weak form of our original conjecture. We conclude with several problems and conjectures.
Regions surrounded by cylinders of circles of fixed radii and exposition of their shapes by natural graphs
We investigate regions formed by cylinders of circles of fixed radii. We investigate graphs obtained by collapsing each level set of the functions represented by the natural projections of them to the $1$-dimensional line. Some specific trees obtained in simple ways from so-called balanced trees are shown to be realized as such graphs. Related studies on regions in the Euclidean plane surrounded by real algebraic curves are presented by several researchers. One of pioneering studies is presented by Bodin, Popescu-Pampu and Sorea in 2022--3 as an elementary and surprisingly new study. The author has been interested in related studies and also in constructing natural and explicit real algebraic maps onto such regions, generalizing the canonical projections of the unit spheres. Such studies in real algebraic geometry, different from theory of existence in the last century, mainly studied by Nash and Tognoli, are remarked.