Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On Poincaré polynomials for plane curves with quasi-homogeneous singularities
Published in Bulletin of the London Mathematical Society 57(8): 2549 - 2560 (2025)
• View Publication
• BIB
We define a combinatorial object that can be associated with any conic-line arrangement with ordinary singularities, which we call the combinatorial Poincaré polynomial. We prove a Terao-type factorization statement on the splitting of such a polynomial over the rationals under the assumption that our conic-line arrangements are free and admit ordinary quasi-homogeneous singularities. Then we focus on the so-called $d$-arrangements in the plane. In particular, we provide a combinatorial constraint for free $d$-arrangements admitting ordinary quasi-homogeneous singularities.
Positive co-degree densities and jumps
Published
• View Publication
• BIB
The minimum positive co-degree of a nonempty $r$-graph $H$, denoted by $δ_{r-1}^+(H)$, is the largest integer $k$ such that for every $(r-1)$-set $S \subset V(H)$, if $S$ is contained in a hyperedge of $H$, then $S$ is contained in at least $k$ hyperedges of $H$. Given a family $\mathcal{F}$ of $r$-graphs, the positive co-degree Turán function $\mathrm{co^+ex}(n,\mathcal{F})$ is the maximum of $δ_{r-1}^+(H)$ over all $n$-vertex $r$-graphs $H$ containing no member of $\mathcal{F}$. The positive co-degree density of $\mathcal{F}$ is $γ^+(\mathcal{F}) = \underset{n \rightarrow \infty}{\lim} \frac{\mathrm{co^+ex}(n,\mathcal{F})}{n}.$ While the existence of $γ^+(\mathcal{F})$ is proved for all families $\mathcal{F}$, only few positive co-degree densities are known exactly.
For a fixed $r \geq 2$, we call $α\in [0,1]$ an achievable value if there exists a family of $r$-graphs $\mathcal{F}$ with $γ^+(\mathcal{F}) = α$, and call $α$ a jump if for some $δ> 0$, there is no family $\mathcal{F}$ with $γ^+(\mathcal{F}) \in (α, α+ δ)$. Halfpap, Lemons, and Palmer showed that every $α\in [0, \frac{1}{r})$ is a jump. We extend this result by showing that every $α\in [0, \frac{2}{2r -1})$ is a jump. We also show that for $r = 3$, the set of achievable values is infinite, more precisely, $\frac{k-2}{2k-3}$ for every $k \geq 4$ is achievable. Finally, we determine two additional achievable values for $r=3$ using flag algebra calculations.
Primitive asymptotics in $φ^4$ vector theory
Published
• View Publication
• BIB
A longstanding conjecture in $φ^4_4$ theory is that primitive graphs dominate the beta function asymptotically at large loop order in the minimal-subtraction scheme. Here we investigate this issue by exploiting additional combinatorial structure coming from an extension to vectors with $O(N)$ symmetry. For the 0-dimensional case, we calculate the $N$-dependent generating function of primitive graphs and its asymptotics, including arbitrarily many subleading corrections. We find that the leading asymptotic growth rate becomes visible only above $\approx 25$ loops, while data at lower order is suggestive of a wrong asymptotics. Our results also yield the exact asymptotics of Martin invariants.
In 4D, each graph comes with a nontrivial Feynman integral, its period. We give bounds on the degree in $N$ for primitive and non-primitive graphs, and construct the primitive graphs of highest degree explicitly. We calculate the 4D primitive beta function numerically up to 17 loops. The qualitative behaviour is similar to the 0D series, with a small but systematic tendency for the 4D data to grow faster with $N$, indicating a correlation between periods and $O(N)$-symmetry factors. The zeros of the 4D primitive beta function approach their asymptotic locations quickly, but, like in 0D, the growth rate of the 4D primitive beta function does not match its asymptotics even at 17 loops.
Our results improve on the knowledge of asymptotics in QFT by providing concrete analytic and numerical values, and putting individual observables into a broader context of $φ^4_4$ theory in 0D and 4D. We demonstrate that even if certain quantities are in agreement with the asymptotics already below 10 loops, this must not be mistaken as evidence that overall an asymptotic regime has been reached.
The maximum sturdiness of intersecting families
Given a family $\mathcal{F}\subset 2^{[n]}$ and $1\leq i\neq j\leq n$, we use $\mathcal{F}(\bar{i},j)$ to denote the family $\{F\setminus \{j\}\colon F\in \mathcal{F},\ F\cap \{i,j\}=\{j\}\}$. The sturdiness of $\mathcal{F}$ is defined as the minimum $|\mathcal{F}(\bar{i},j)|$ over all $i,j\in [n]$ with $i\neq j$. It has a very natural algebraic definition as well. In the present paper, we consider the maximum sturdiness of $k$-uniform intersecting families, $k$-uniform $t$-intersecting families and non-uniform $t$-intersecting families. One of the main results shows that for $n\geq 36(k+6)$, an intersecting family $\mathcal{F}\subset \binom{[n]}{k}$ has sturdiness at most $\binom{n-4}{k-3}$, which is best possible.
Lusztig $\mathbf{a}$-functions for quasiparabolic sets
Kazhdan and Lusztig introduce the $W$-graphs to describe the cells and molecules corresponding to the Coxeter groups. Building on this foundation, Lusztig defines the a-funtion to classify the cells, as well as the molecules. Marberg then generalizes Kazhdan and Lusztig's $W$-graphs, using fixed-point-free involutions as their indices. The molecules of the two new $S_n$-graphs are then classified via two correspondence similar to RSK correspondence by Marberg and me. In this paper, we define an analogue of the Lusztig a-function and finish the classification of cells by proving that every molecule in the $S_n$-graphs is indeed a cell.
A neighborhood union condition for the existence of a spanning tree without degree $2$ vertices
Published
• View Publication
• BIB
For a connected graph $G$, a spanning tree $T$ of $G$ is called a homeomorphically irreducible spanning tree (HIST) if $T$ has no vertices of degree $2$. In this paper, we show that if $G$ is a graph of order $n\ge 270$ and $|N(u)\cup N(v)|\geq\frac{n-1}{2}$ holds for every pair of nonadjacent vertices $u$ and $v$ in $G$, then $G$ has a HIST, unless $G$ belongs to three exceptional families of graphs or $G$ has a cut-vertex of degree $2$. This result improves the latest conclusion, due to Ito and Tsuchiya, that a HIST in $G$ can be guaranteed if $d(u)+d(v)\geq n-1$ holds for every pair of nonadjacent vertices $u$ and $v$ in $G$.
Order Polytopes of Dimension $\leq 13$ are Ehrhart Positive
Published
• View Publication
• BIB
The order polytopes arising from the finite poset were first introduced and studied by Stanley. For any positive integer $d\geq 14$, Liu and Tsuchiya proved that there exists a non-Ehrhart positive order polytope of dimension $d$. They also proved that any order polytope of dimension $d\leq 11$ is Ehrhart positive. We confirm that any order polytope of dimension $12$ or $13$ is Ehrhart positive. This solves an open problem proposed by Liu and Tsuchiya. Besides, we also verify that any $h^{*}$-polynomial of order polytope of dimension $d\leq 13$ is real-rooted.
When the poset of the ideal class monoid of a numerical semigroup is a lattice
Published
• View Publication
• BIB
We characterize numerical semigroups for which the poset of its ideal class monoid is a lattice, and study the irreducible elements of such a lattice with respect to union, intersection, infimum and supremum.
Lagrangians are attained as uniform Turán densities
The study of uniform Turán densities was initiated in the 1980s by Erdős and Sós. Given a $3$-graph $F$, the uniform Turán density of $F$, $π_{\therefore}(F)$, is defined as the infimum $d\in[0,1]$ such that every $3$-graph $H$ in which every linearly sized $S\subseteq V(H)$ induces at least $(d+o(1))\binom{\vert S\vert}{3}$ edges must contain a copy of $F$. Disproving Erdős's famous jumping conjecture, Frankl and Rödl showed that the set of Turán densities is not well-ordered. We prove an analogous result for the uniform Turán density, namely that the set $Π^{(3)}_{\therefore,\infty}=\{π_{\therefore}(\mathcal{F}) : \mathcal{F}\text{ a family of }3\text{-graphs} \}$ is not well-ordered. This is a consequence of a more general result, which in particular implies that for every Lagrangian $Λ$ of a $3$-graph and integer $1 \leq t \leq 6$ we have $\frac{t}{6}Λ\in Π^{(3)}_{\therefore,\infty}$.
Arithmetical Structures on Wheel Graphs
An arithmetical structure on a finite and connected graph G is a pair (d, r) of positive integer vectors such that r is primitive (the gcd of its entries is 1) and (diag(d) - A)r = 0, where A is the adjacency matrix of G. In this article, we investigate arithmetical structures on the wheel graphs.
Roman domination number of zero-divisor graphs over commutative rings
For a graph $G= (V, E)$, a Roman dominating function is a map $f : V \rightarrow \{0, 1, 2\}$ satisfies the property that if $f(v) = 0$, then $v$ must have adjacent to at least one vertex $u$ such that $f(u)= 2$. The weight of a Roman dominating function $f$ is the value $f(V)= Σ_{u \in V} f(u)$, and the minimum weight of a Roman dominating function on $G$ is called the Roman domination number of $G$, denoted by $γ_R(G)$. The main focus of this paper is to study the Roman domination number of zero-divisor graph $Γ(R)$ and find the bounds of the Roman domination number of $T(Γ(R))$.
Energy of codes with forbidden distances in 48 dimensions
Published
• View Publication
• BIB
We prove the universal optimality of four remarkable spherical 11-designs in 48 dimensions either among all antipodal codes, or all spherical 3-designs, whose inner-products avoid the set $T_1=(-1/3,-1/6) \cup (1/6,1/3)$. We also prove the universal optimality of these configurations among all codes whose distance-avoiding set is $T_2=(-1/2,-1/3) \cup (1/3,1/2)$.
A symbolic computational approach to the generalized gambler's ruin problem in one and two dimensions
Published in Journal of Difference Equations and Applications (2025), 1-25
• View Publication
• BIB
The power of symbolic computation, as opposed to mere numerical computation, is illustrated with efficient algorithms for studying the generalized gambler's ruin problem in one and two dimensions. We also consider a new generalization of the classical gambler's ruin where we add a third step which we call the mirror step. In this scenario, we provide closed formulas for the probability and expected duration.
Automated Discovery of Branching Rules with Optimal Complexity for the Maximum Independent Set Problem
The branching algorithm is a fundamental technique for designing fast exponential-time algorithms to solve combinatorial optimization problems exactly. It divides the entire solution space into independent search branches using predetermined branching rules, and ignores the search on suboptimal branches to reduce the time complexity. The complexity of a branching algorithm is primarily determined by the branching rules it employs, which are often designed by human experts. In this paper, we show how to automate this process with a focus on the maximum independent set problem. The main contribution is an algorithm that efficiently generate optimal branching rules for a given sub-graph with tens of vertices. Its efficiency enables us to generate the branching rules on-the-fly, which is provably optimal and significantly reduces the number of branches compared to existing methods that rely on expert-designed branching rules. Numerical experiment on 3-regular graphs shows an average complexity of O(1.0441^n) can be achieved, better than any previous methods.
Monochromatic odd cycles in edge-coloured complete graphs
It is easy to see that every $q$-edge-colouring of the complete graph on $2^q+1$ vertices must contain a monochromatic odd cycle. A natural question raised by Erdős and Graham in $1973$ asks for the smallest $L(q)$ such that every $q$-edge-colouring of $K_{2^q+1}$ must contain a monochromatic odd cycle of length at most $L(q)$. In here, we show that $L(q)=O\left(\frac{2^q}{q^{1-o(1)}}\right)$ giving the first non-trivial upper bound on $L(q)$.
Lucky cars and lucky spots in parking functions
Parking functions correspond with preferences of $n$ cars which enter sequentially to park on a one-way street where (1) each car parks in the first available spot greater than or equal to its preference and (2) all cars successfully park. When a car parks in its preferred spot then the corresponding car and corresponding spot are deemed ``lucky.'' This paper looks briefly at lucky cars which have previously been studied and in simple cases can be understood by a generalization of a result due to Pollak. We also consider lucky spots where the situation is more complex and not previously studied. Probabilities and asymptotics for lucky spots are given for the first few spots on the one-way street. We close with an exploration of the special cases when cars enter the one-way street in either weakly-increasing or weakly-decreasing order of their preferences.
Structure of non-trivial intersecting families
Published
• View Publication
• BIB
We say that a family of $k$-subsets of an $n$-element set is {\it intersecting}, if any two of its sets intersect. In this paper, we study the structure of large intersecting families. Several years ago, Han and Kohayakawa (Proc. AMS, 2017), and then Kostochka and Mubayi (Proc. AMS, 2017) obtained certain structural results concerning large intersecting families. In this paper, we extend and generalize their results, giving them a conclusive form.
On low-power error-correcting cooling codes with large distances
Published
• View Publication
• BIB
A low-power error-correcting cooling (LPECC) code was introduced as a coding scheme for communication over a bus by Chee et al. to control the peak temperature, the average power consumption of on-chip buses, and error-correction for the transmitted information, simultaneously. Specifically, an $(n, t, w, e)$-LPECC code is a coding scheme over $n$ wires that avoids state transitions on the $t$ hottest wires and allows at most $w$ state transitions in each transmission, and can correct up to $e$ transmission errors. In this paper, we study the maximum possible size of an $(n, t, w, e)$-LPECC code, denoted by $C(n,t,w,e)$. When $w=e+2$ is large, we establish a general upper bound $C(n,t,w,w-2)\leq \lfloor \binom{n+1}{2}/\binom{w+t}{2}\rfloor$; when $w=e+2=3$, we prove $C(n,t,3,1) \leq \lfloor \frac{n(n+1)}{6(t+1)}\rfloor$. Both bounds are tight for large $n$ satisfying some divisibility conditions. Previously, tight bounds were known only for $w=e+2=3,4$ and $t\leq 2$. In general, when $w=e+d$ is large for a constant $d$, we determine the asymptotic value of $C(n,t,w,w-d)\sim \binom{n}{d}/\binom{w+t}{d}$ as $n$ goes to infinity, which can be extended to $q$-ary codes.
The maximum forcing numbers of quadriculated tori
Published
• View Publication
• BIB
Klein and Randic (1985) proposed the concept of forcing number, which has an application in chemical resonance theory. Let $G$ be a graph with a perfect matching $M$. The forcing number of $M$ is the smallest cardinality of a subset of $M$ that is contained only in one perfect matching $M$. The maximum forcing number of $G$ is the maximum value of forcing numbers over all perfect matchings of $G$. Kleinerman (2006) obtained that the maximum forcing number of $2n\times 2m$ quadriculated torus is $nm$. By improving Kleinerman's approach, we obtain the maximum forcing numbers of all 4-regular quadriculated graphs on torus except one class.
Higher order invariants of a graph based on the path sequence
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple and connected graph. A $h$-order invariant of $G$ based on the path sequence is defined from a set of real numbers ${f(x_{0},x_{1},\cdots,x_{h})}$ as $^{h}I_f(G)=\sum\limits_{v_{0}v_{1}v_{2}\cdots v_{h}}f\left(d_{0},d_{1},\cdots,d_{h}\right)$, where the sum runs over all paths $v_{0}v_{1}v_{2}\cdots v_{h}$ of length $h$ and $d_{i}$ is the degree of vertex $v_i$ in $G$. In this paper, we first show that the $h$-order invariant of a starlike tree $S_{n}$ can be determined completely by its branches whose length does not exceed $h$. And then we find conditions on the function $f$ for some graph families $\mathcal{G}$ such that any graph $G\in\mathcal{G}$ can be determined by the higher order invariants $^{h}I_f(G)$ for $0\leqslant h\leqslant ρ$, where $ρ$ is the length of a longest path in $G$.