Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Ultra log-concavity and real-rootedness of dependence polynomials
For some positive integer $m$, a real polynomial $P(x)=\sum\limits_{k=0}^ma_kx^k$ with $a_k\geqslant 0$ is called log-concave (resp. ultra log-concave) if $a_k^2\geqslant a_{k-1}a_{k+1}$ (resp. $a_k^2\geqslant \left(1+\frac{1}{k}\right)\left(1+\frac{1}{m-k}\right)\cdot$ $a_{k-1}a_{k+1}$) for all $1\leqslant k\leqslant m-1$. If $P(x)$ has only real roots, then it is called real-rooted. It is well-known that the conditions of log-concavity, ultra log-concavity and real-rootedness are ever-stronger.
For a graph $G$, a dependent set is a set of vertices which is not independent, i.e., the set of vertices whose induced subgraph contains at least one edge. The dependence polynomial of $G$ is defined as $D(G, x):=\sum\limits_{k\geqslant 0}d_k(G)x^k$, where $d_k(G)$ is the number of dependent sets of size $k$ in $G$. Horrocks proved that $D(G, x)$ is log-concave for every graph $G$ [J. Combin. Theory, Ser. B, 84 (2002) 180--185]. In the present paper, we prove that, for a graph $G$, $D(G, x)$ is ultra log-concave if $G$ is $(K_2\cup 2K_1)$-free or contains an independent set of size $|V(G)|-2$, and give the characterization of graphs whose dependence polynomials are real-rooted. Finally, we focus more attention to the problems of log-concavity about independence systems and pose several conjectures closely related the famous Mason's Conjecture.
A Novel Approach to Counting Perfect Matchings of Graphs
We build a new perspective to count perfect matchings of a given graph. This idea is motivated by a construction on the relative cohomology group of surfaces. As an application of our theory, we reprove the celebrated Aztec Diamond theorem, and show how alternating sign matrices naturally arises through this framework.
The heights of symmetric peaks and the depth of symmetric valleys over compositions of an integer
A composition $π=π_1π_2\cdotsπ_k$ of a positive integer $n$ is an ordered collection of one or more positive integers whose sum is $n$ . The number of summands, namely $k$, is called the number of parts of $π$. In this paper, we introduce two statistics over compositions of an integer $n$ with exactly $k$ parts: heights of symmetric peaks and depths of symmetric valleys over all compositions of $n$. We derive an explicit formula for the generating functions of compositions of $n$ with exactly $k$ parts according to the number of symmetric peaks (valleys) and the total heights (depths) of peaks (valleys).
Diameter bound for facet-ridge incidence graphs of geometric lattices
This paper proves that the facet-ridge incidence graph of the order complex of any finite geometric lattice of rank $r$ has diameter at most ${r \choose 2}$. A key ingredient is the well-known fact that every ordering of the atoms of any finite geometric lattice gives rise to a lexicographic shelling of its order complex. The paper also gives results that provide some evidence that this bound ought to be sharp as well as examples indicating that the question of sharpness is quite subtle.
When Grünbaum meets Poncelet -- Infinite Classes of Movable $n_4$ Configurations
We study relations between $(n_4)$ incidence configurations and the classical Poncelet Porism. Poncelet's result studies two conics and a sequence of points and lines that inscribes one conic and circumscribes the other. Poncelet's Porism states that whether this sequence closes up after $m$ steps only depends on the conics and not on the initial point of the sequence. In other words: Poncelet polygons are movable. We transfer this motion into a flexibility statement about a large class of $(n_4)$ configurations, which are configurations where 4 (straight) lines pass through each point and four points lie on each line. A first instance of such configurations in real geometry had been given by Grünbaum and Rigby in their classical 1990 paper where they constructed the first known real geometric realisation of a well known combinatorial $(21_4)$ configuration (which had been studied by Felix Klein), now called the Grünbaum-Rigby configuration. Since then, there has been an intensive search for movable $(n_4)$ configurations, but it is very surprising that the Grünbaum-Rigby $(21_4)$ configuration admits nontrivial motions. It is well-known that the Grünbaum-Rigby configuration is the smallest example of an infinite class of $(n_4)$ configurations, the trivial celestial configurations. A major result of this paper is that we show that all trivial celestial configurations are movable via Poncelet's Porism and results about properties of Poncelet grids. Alternative approaches via geometry of billiards, in-circle nets, and pentagram maps that relate the subject to discrete integrable systems are given as well.
Explicit Constructions for Poncelet Polygons
We study the geometric structure of Poncelet $n$-gons from a projective point of view. In particular we present explicit constructions of Poncelet $n$-gons for certain $n$ and derive algebraic characterisations in terms of bracket polynomials. Via the connections of Poncelet polygons and $(N_4)$-configurations, the results of this article can be used to construct a large class of specific movable $(N_4)$-configurations, the trivial celestial 4-configurations, which up to this point were all thought to be rigid and to require regular polygons for their construction.
Fibonacci Sumsets and the Gonality of Strip Graphs
Published
• View Publication
• BIB
We provide a new perspective on the divisor theory of graphs, using additive combinatorics. As a test case for this perspective, we compute the gonality of certain families of outerplanar graphs, specifically the strip graphs. The Jacobians of such graphs are always cyclic of Fibonacci order. As a consequence, we obtain several results on the additive properties of Fibonacci numbers.
An upper bound on the per-tile entropy of ribbon tilings
Published
• View Publication
• BIB
This paper considers $n$-ribbon tilings of general regions and their per-tile entropy (the binary logarithm of the number of tilings divided by the number of tiles). We show that the per-tile entropy is bounded above by $\log_2 n$. This bound improves the best previously known bounds of $n-1$ for general regions, and the asymptotic upper bound of $\log_2 (en)$ for growing rectangles, due to Chen and Kargin.
On sets with missing differences in compact abelian groups
Published
• View Publication
• BIB
A much-studied problem posed by Motzkin asks to determine, given a finite set $D$ of integers, the so-called Motzkin density for $D$, i.e., the supremum of upper densities of sets of integers whose difference set avoids $D$. We study the natural analogue of this problem in compact abelian groups. Using ergodic-theoretic tools, this is shown to be equivalent to the following discrete problem: given a lattice $Λ\subset \mathbb{Z}^r$, letting $D$ be the image in $\mathbb{Z}^r/Λ$ of the standard basis, determine the Motzkin density for $D$ in $\mathbb{Z}^r/Λ$. We study in particular the periodicity question: is there a periodic $D$-avoiding set of maximal density in $\mathbb{Z}^r/Λ$? The Greenfeld--Tao counterexample to the periodic tiling conjecture implies that the answer can be negative. On the other hand, we prove that the answer is positive in several cases, including the case rank$(Λ)=1$ (in which we give a formula for the Motzkin density), the case rank$(Λ)=r-1$, and hence also the case $r\leq 3$. It follows that, for up to three missing differences, the Motzkin density in a compact abelian group is always a rational number.
Two constructions of quaternary Legendre pairs of even length
Published
• View Publication
• BIB
We give the first general constructions of even length quaternary Legendre pairs: there is a quaternary Legendre pair of length $(q-1)/2$ for every prime power $q$ congruent to $1$ modulo $4$, and there is a quaternary Legendre pair of length $2p$ for every odd prime $p$ for which $2p-1$ is a prime power.
Short proof of the hypergraph container theorem
Published
• View Publication
• BIB
We present a short and simple proof of the celebrated hypergraph container theorem of Balogh--Morris--Samotij and Saxton--Thomason. On a high level, our argument utilises the idea of iteratively taking vertices of largest degree from an independent set and constructing a hypergraph of lower uniformity which preserves independent sets and inherits edge distribution. The original algorithms for constructing containers also remove in each step vertices of high degree which are not in the independent set. Our modified algorithm postpones this until the end, which surprisingly results in a significantly simplified analysis.
Rainbow perfect matchings in 3-partite 3-uniform hypergraphs
Let $m,n,r,s$ be nonnegative integers such that $n\ge m=3r+s$ and $1\leq s\leq 3$. Let \[δ(n,r,s)=\left\{\begin{array}{ll} n^2-(n-r)^2 &\text{if}\ s=1 , \\[5pt]
n^2-(n-r+1)(n-r-1) &\text{if}\ s=2,\\[5pt] n^2 - (n-r)(n-r-1) &\text{if}\ s=3. \end{array}\right.\]
We show that there exists a constant $n_0 > 0$ such that if $F_1,\ldots, F_n$ are 3-partite 3-graphs with $n\ge n_0$ vertices in each partition class and minimum vertex degree of $F_i$ is at least $δ(n,r,s)+1$ for $i \in [n]$ then $\{F_1,\ldots,F_n\}$ admits a rainbow perfect matching. This generalizes a result of Lo and Markström on the vertex degree threshold for the existence of perfect matchings in 3-partite 3-graphs. In this proof, we use a fractional rainbow matching theory obtained by Aharoni et al. to find edge-disjoint fractional perfect matching.
Key motifs searching in complex dynamical systems
Published
• View Publication
• BIB
Key network motifs searching in complex networks is one of the crucial aspects of network analysis. There has been a series of insightful findings and valuable applications for various scenarios through the analysis of network structures. However, in dynamic systems, slight changes in the choice of dynamic equations and parameters can alter the significance of motifs. The known methods are insufficient to address this issue effectively. In this paper, we introduce a concept of perturbation energy based on the system's Jacobian matrix, and define motif centrality for dynamic systems by seamlessly integrating network topology with dynamic equations. Through simulations, we observe that the key motifs obtained by the proposed energy method present better effective and accurate than them by integrating network topology methods, without significantly increasing algorithm complexity. The finding of key motifs can be used to apply for system control, such as formulating containment policies for the spread of epidemics and protecting fragile ecosystems. Additionally, it makes substantial contribution to a deeper understanding of concepts in physics, such as signal propagation and system's stability.
On odd covers of cliques and disjoint unions
Published
• View Publication
• BIB
Babai and Frankl posed the ``odd cover problem" of finding the minimum cardinality of a collection of complete bipartite graphs such that every edge of the complete graph of order $n$ is covered an odd number of times. In a previous paper with O'Neill, some of the authors proved that this value is always $\lceil n / 2 \rceil$ or $\lceil n / 2 \rceil + 1$ and that it is the former whenever $n$ is a multiple of $8$. In this paper, we determine this value to be $\lceil n / 2 \rceil$ whenever $n$ is odd or equivalent to $18$ modulo $24$. We also further the study of odd covers of graphs which are not complete, wherein edges are covered an odd number of times and nonedges an even number of times by the complete bipartite graphs in the collection. Among various results on disjoint unions, we find the minimum cardinality of an odd cover of a union of odd cliques and of a union of cycles.
Periodicity and perfect state transfer of Grover walks on quadratic unitary Cayley graphs
Published in Quantum Inf. Process. 24, 260 (2025)
• View Publication
• BIB
The quadratic unitary Cayley graph $\mathcal{G}_{\mathbb{Z}_n}$ has vertex set $\mathbb{Z}_n: =\{0,1, \ldots ,n-1\}$, where two vertices $u$ and $v$ are adjacent if and only if $u - v$ or $v-u$ is a square of some units in $\mathbb{Z}_n$. This paper explores the periodicity and perfect state transfer of Grover walks on quadratic unitary Cayley graphs. We determine all periodic quadratic unitary Cayley graphs. From our results, it follows that there are infinitely many integral as well as non-integral graphs that are periodic. Additionally, we also determine the values of $n$ for which the quadratic unitary Cayley graph $\mathcal{G}_{\mathbb{Z}_n}$ exhibits perfect state transfer.
Generalizing the Index of the $u$-Deformed Homogeneous Polynomials and Generating Functions for $\mathrm{R}_{-n}(x,y;q|u)$
This paper introduces the $u$-deformed homogeneous functions $\mathrm{R}_α(x,y;u|q)$, for all $α\in\mathbb{C}$. Basic properties of the functions $\mathrm{R}_α(x,y;u|q)$ are given, along with recurrence relations, their $q$-difference equation, and representations. Generating functions for the functions $\mathrm{R}_{-n}(x,y;u|q)$ via the $u$-deformed $q$-exponential operator E$(qD_{q}|u)$, when $u=q^b,q^{b+1/2}$, $b\geq1$, are obtained. This allows us to obtain some $q^b$-series and $q^{b+1/2}$-series. Additionally, transformation formulas for basic hypergeometric series $_{1}φ_{1}$ and $_{1}φ_{2}$ are derived.
Variants of Conway Checkers and k-nacci Jumping
Published
• View Publication
• BIB
Conway Checkers is a game played with a checker placed in each square of the lower half of an infinite checkerboard. Pieces move by jumping over an adjacent checker, removing the checker jumped over. Conway showed that it is not possible to reach row 5 in finitely many moves by weighting each cell in the board by powers of the golden ratio such that no move increases the total weight. Other authors have considered the game played on many different boards, including generalising the standard game to higher dimensions. We work on a board of arbitrary dimension, where we allow a cell to hold multiple checkers and begin with m checkers on each cell. We derive an upper bound and a constructive lower bound on the height that can be reached, such that the upper bound almost never fails to be equal to the lower bound. We also consider the more general case where instead of jumping over 1 checker, each checker moves by jumping over k checkers, and again show the maximum height reachable lies within bounds that are almost always equal.
Reduced words for reflections in Weyl groups
The reflections in a Coxeter group are defined as conjugates of a single generator, and thus admit palindromic expressions as products of generators. Our main result gives closed formulas providing a palindromic reduced expression for each reflection in any finite Weyl group. There exist algorithmic methods for determining such reduced expressions, but explicit formulas have not been recorded outside of well-known special cases.
On the Edge-Connectivity of the Square of a Graph
Published
• View Publication
• BIB
Let $G$ be a connected graph. The edge-connectivity of $G$, denoted by $λ(G)$, is the minimum number of edges whose removal renders $G$ disconnected. Let $δ(G)$ be the minimum degree of $G$. It is well-known that $λ(G) \leq δ(G)$, and graphs for which equality holds are said to be maximally edge-connected. The square $G^2$ of $G$ is the graph with the same vertex set as $G$, in which two vertices are adjacent if their distance is not more that $2$.
In this paper we present results on the edge-connectivity of the square of a graph. We show that if the minimum degree of a connected graph $G$ of order $n$ is at least $\lfloor \frac{n+2}{4}\rfloor$, then $G^2$ is maximally edge-connected, and this result is best possible. We also give lower bounds on $λ(G^2)$ for the case that $G^2$ is not maximally edge-connected: We prove that $λ(G^2) \geq κ(G)^2 + κ(G)$, where $κ(G)$ denotes the connectivity of $G$, i.e., the minimum number of vertices whose removal renders $G$ disconnected, and this bound is sharp. We further prove that $λ(G^2) \geq \frac{1}{2}λ(G)^{3/2} - \frac{1}{2} λ(G)$, and we construct an infinite family of graphs to show that the exponent $3/2$ of $λ(G)$ in this bound is best possible.
An Improved Turán Exponent for 2-Complexes
Published
• View Publication
• BIB
The topological Turán number $\mathrm{ex}_{\hom}(n,X)$ of a 2-dimensional simplicial complex $X$ asks for the maximum number of edges in an $n$-vertex 3-uniform hypergraph containing no triangulation of $X$ as a subgraph. We prove that the Turán exponent of any such space $X$ is at most $8/3$, i.e., that $\mathrm{ex}_{\hom}(n,X)\leq Cn^{8/3}$ for some constant $C=C(X)$. This improves on the previous exponent of $3-1/5$, due to Keevash, Long, Narayanan, and Scott. Additionally, we present new streamlined proofs of the asymptotically tight upper bounds for the topological Turán numbers of the torus and real projective plane, which can be used to derive asymptotically tight upper bounds for all surfaces.