Showing 20 papers (Total: 83842 papers, 48355 authors in database)
On Rado numbers for equations with unit fractions
Published
• View Publication
• BIB
Let $f_r(k)$ be the smallest positive integer $n$ such that every $r$-coloring of $\{1,2,...,n\}$ has a monochromatic solution to the nonlinear equation \[1/x_1+\cdots+1/x_k=1/y,\] where $x_1,...,x_k$ are not necessarily distinct. Brown and Rödl [Bull. Aust. Math. Soc. 43(1991): 387-392] proved that $f_2(k)=O(k^6)$. In this paper, we prove that $f_2(k)=O(k^3)$. The main ingredient in our proof is a finite set $A\subseteq\mathbb{N}$ such that every $2$-coloring of $A$ has a monochromatic solution to the linear equation $x_1+\cdots+x_k=y$ and the least common multiple of $A$ is sufficiently small. This approach can also be used to study $f_r(k)$ with $r>2$. For example, a recent result of Boza, Marín, Revuelta, and Sanz [Discrete Appl. Math. 263(2019): 59-68] implies that $f_3(k)=O(k^{43})$.
Multiplicative topological indices: Analytical properties and application to random networks
Published
• View Publication
• BIB
We make use of multiplicative degree-based topological indices $X_Π(G)$ to perform a detailed analytical and statistical study of random networks $G=(V(G),E(G))$. We consider two classes of indices: $X_Π(G) = \prod_{u \in V(G)} F_V(d_u)$ and $X_Π(G) = \prod_{uv \in E(G)} F_E(d_u,d_v)$, where $uv$ denotes the edge of $G$ connecting the vertices $u$ and $v$, $d_u$ is the degree of the vertex $u$, and $F_V(x)$ and $F_E(x,y)$ are functions of the vertex degrees. Specifically, we find analytical inequalities involving these multiplicative indices. Also, we apply $X_Π(G)$ on three models of random networks: Erdös-Rényi networks, random geometric graphs, and bipartite random networks. We show that $\left< \ln X_Π(G) \right>$, normalized to the order of the network, scale with the corresponding average degree; here $\left< \cdot \right>$ denotes the average over an ensemble of random networks.
Supercongruences arising from a ${}_7F_6$ hypergeometric transformation formula
Published
• View Publication
• BIB
Using a ${}_7F_6$ hypergeometric transformation formula, we prove two supercongruences. In particular, one of these supercongruences confirms a recent conjecture of Guo, Liu and Schlosser, and gives an extension of a supercongruence of Long and Ramakrishna.
On some conjectural series containing binomial coefficients and harmonic numbers
Binomial coefficients and harmonic numbers are important in many branches of number theory. With the help of the operator method and several summation and transformation formulas for hypergeometric series, we prove eight conjectural series of Z.-W. Sun containing binomial coefficients and harmonic numbers in this paper.
On the Complexity of Lombardi Graph Drawing
Published
• View Publication
• BIB
In a Lombardi drawing of a graph the vertices are drawn as points and the edges are drawn as circular arcs connecting their respective endpoints. Additionally, all vertices have perfect angular resolution, i.e., all angles incident to a vertex $v$ have size $2π/\mathrm{deg}(v)$. We prove that it is $\exists\mathbb{R}$-complete to determine whether a given graph admits a Lombardi drawing respecting a fixed cyclic ordering of the incident edges around each vertex. In particular, this implies NP-hardness. While most previous work studied the (non-)existence of Lombardi drawings for different graph classes, our result is the first on the computational complexity of finding Lombardi drawings of general graphs.
Alternating Parity Weak Sequencing
Published
• View Publication
• BIB
A subset $S$ of a group $(G,+)$ is $t$-weakly sequenceable if there is an ordering $(y_1, \ldots, y_k)$ of its elements such that the partial sums~$s_0, s_1, \ldots, s_k$, given by $s_0 = 0$ and $s_i = \sum_{j=1}^i y_j$ for $1 \leq i \leq k$, satisfy $s_i \neq s_j$ whenever and $1 \leq |i-j|\leq t$.
In [10] it was proved that if the order of a group is $pe$ then all sufficiently large subsets of the non-identity elements are $t$-weakly sequenceable when $p > 3$ is prime, $e \leq 3$ and $t \leq 6$. Inspired by this result, we show that, if $G$ is the semidirect product of $\mathbb{Z}_p$ and $\mathbb{Z}_2$ and the subset $S$ is balanced, then $S$ admits, regardless of its size, an alternating parity $t$-weak sequencing whenever $p > 3$ is prime and $t \leq 8$. A subset of $G$ is balanced if it contains the same number of even elements and odd elements and an alternating parity ordering alternates even and odd elements.
Then using a hybrid approach that combines both Ramsey theory and the probabilistic method we also prove, for groups $G$ that are semidirect products of a generic (non necessarily abelian) group $N$ and $\mathbb{Z}_2$, that all sufficiently large balanced subsets of the non-identity elements admit an alternating parity $t$-weak sequencing.
The same procedure works also for studying the weak sequenceability for generic sufficiently large (not necessarily balanced) sets. Here we have been able to prove that, if the size of a subset $S$ of a group $G$ is large enough and if $S$ does not contain $0$, then $S$ is $t$-weakly sequenceable.
Realizable Dimension of Periodic Frameworks
Published
• View Publication
• BIB
Belk and Connelly introduced the realizable dimension $\textrm{rd}(G)$ of a finite graph $G$, which is the minimum nonnegative integer $d$ such that every framework $(G,p)$ in any dimension admits a framework in $\mathbb{R}^d$ with the same edge lengths. They characterized finite graphs with realizable dimension at most $1$, $2$, or $3$ in terms of forbidden minors. In this paper, we consider periodic frameworks and extend the notion to $\mathbb{Z}$-symmetric graphs. We give a forbidden minor characterization of $\mathbb{Z}$-symmetric graphs with realizable dimension at most $1$ or $2$, and show that the characterization can be checked in polynomial time for given quotient $\mathbb{Z}$-labelled graphs.
Disproof of a conjecture on the edge Mostar index
Published
• View Publication
• BIB
For a given connected graph $G$, the edge Mostar index $Mo_e(G)$ is defined as $Mo_e(G)=\sum_{e=uv \in E(G)}|m_u(e|G) - m_v(e|G)|$, where $m_u(e|G)$ and $m_v(e|G)$ are respectively, the number of edges of $G$ lying closer to vertex $u$ than to vertex $v$ and the number of edges of $G$ lying closer to vertex $v$ than to vertex $u$. We determine a sharp upper bound for the edge Mostar index on bicyclic graphs and identify the graphs that attain the bound, which disproves a conjecture proposed by Liu et al. [Iranian J. Math. Chem. 11(2) (2020) 95--106].
Discretised sum-product theorems by Shannon-type inequalities
By making use of arithmetic information inequalities, we give a strong quantitative bound for the discretised ring theorem. In particular, we show that if $A \subset [1,2]$ is a $(δ,σ)$-set, with $|A| = δ^{-σ},$ then $A+A$ or $AA$ has $δ$-covering number at least $δ^{-c}|A|$ for any $0 < c < \min\{σ/6, (1-σ)/6\}$ provided that $δ> 0$ is small enough.
Matrix Schubert varieties, binomial ideals, and reduced Gröbner bases
Published
• View Publication
• BIB
We prove a sharp lower bound on the number of terms in an element of the reduced Gröbner basis of a Schubert determinantal ideal $I_w$ under the term order of [Knutson-Miller '05]. We give three applications. First, we give a pattern-avoidance characterization of the matrix Schubert varieties whose defining ideals are binomial. This complements a result of [Escobar-Mészáros '16] on matrix Schubert varieties that are toric with respect to their natural torus action. Second, we give a combinatorial proof that the recent formulas of [Rajchgot-Robichaux-Weigandt '23] and [Almousa-Dochtermann-Smith '22] computing the Castelnuovo-Mumford regularity of vexillary $I_w$ and toric edge ideals of bipartite graphs respectively agree for binomial $I_w$. Third, we demonstrate that the Gröbner basis for $I_w$ given by minimal generators [Gao-Yong '22] is reduced if and only if the defining permutation $w$ is vexillary.
Pattern-avoiding stabilized-interval-free permutations
Published in Discrete Math. 348, no. 3, 2025, 114329
• View Publication
• BIB
In this paper, we study pattern avoidance for stabilized-interval-free (SIF) permutations. These permutations are contained in the set of indecomposable permutations and in the set of derangements. We enumerate pattern-avoiding SIF permutations for classical and pairs of patterns of size 3. In particular, for the patterns 123 and 231, we rely on combinatorial arguments and the fixed-point distribution of general permutations avoiding these patterns. We briefly discuss 123-avoiding permutations with two fixed points and offer a conjecture for their enumeration by the distance between their fixed points. For the pattern 231, we also give a direct argument that uses a bijection to ordered forests.
Complexity of quiver mutation equivalence
Published
• View Publication
• BIB
We prove $\textsf{NP-hardness}$ results for determining whether quivers are mutation equivalent to quivers with given properties. Specifically, determining whether a quiver is mutation-equivalent to a quiver with exactly $k$ arrows between any two of its vertices is $\textsf{NP-hard}$. Also, determining whether a quiver is mutation equivalent to a quiver with no edges between frozen vertices is $\textsf{strongly NP-hard}$. Finally, we present a characterization of mutation classes of quivers with two mutable vertices.
Calculus of Fractions for Quasicategories
We describe a generalization of Gabriel and Zisman's Calculus of Fractions to quasicategories, showing that the two essentially coincide for the nerve of a category. We then prove that the marked Ex-functor can be used to compute the localization of a marked quasicategory satisfying our condition and that the appropriate (co)completeness properties of the quasicategory carry over to its localization.
Nonexistence of colimits in naive discrete homotopy theory
Published
• View Publication
• BIB
We show that the quasicategory defined as the localization of the category of (simple) graphs at the class of A-homotopy equivalences does not admit colimits. In particular, we settle in the negative the question of whether the A-homotopy equivalences in the category of graphs are part of a model structure.
Visible Point Partition Identities for Polylogarithms, and Parametric Euler Sums
We set the scene with known values and functional relations for dilogarithms, trilogarithms and polylogarithms of various orders, along with more recent Euler sum values and multidimensional computations paying homage to the three late Professors Borwein \textit{et al.}. We then apply many of these sum values to tabulate some sixty new combinatorial identities for weighted partitions into Visible Point Vectors in 2D, 3D, 4D and 5D cases suggesting new $n$D first hyperquadrant and hyperpyramid lattice point identities.
Construction of rank $4$ self-dual association schemes inducing three partial geometric designs
Published
• View Publication
• BIB
B. Xu characterized rank $4$ self-dual association schemes inducing three partial geometric designs by their character tables. We construct such association schemes as Schur rings over abelian $2$-groups.
Degree-$M$ Bethe and Sinkhorn Permanent Based Bounds on the Permanent of a Non-negative Matrix
Published
• View Publication
• BIB
The permanent of a non-negative square matrix can be well approximated by finding the minimum of the Bethe free energy functions associated with some suitably defined factor graph; the resulting approximation to the permanent is called the Bethe permanent. Vontobel gave a combinatorial characterization of the Bethe permanent via degree-$M$ Bethe permanents, which are based on degree-$M$ covers of the underlying factor graph. In this paper, we prove a degree-$M$-Bethe-permanent-based lower bound on the permanent of a non-negative matrix, which solves a conjecture proposed by Vontobel in [IEEE Trans. Inf. Theory, Mar. 2013]. We also prove a degree-$M$-Bethe-permanent-based upper bound on the permanent of a non-negative matrix. In the limit $M \to \infty$, these lower and upper bounds yield known Bethe-permanent-based lower and upper bounds on the permanent of a non-negative matrix. Moreover, we prove similar results for an approximation to the permanent known as the (scaled) Sinkhorn permanent.
Some results and problems on tournament structure
Published
• View Publication
• BIB
This paper is a survey of results and problems related to the following question: is it true that if G is a tournament with sufficiently large chromatic number, then G has two vertex-disjoint subtournaments A,B, both with large chromatic number, such that all edges between them are directed from A to B? We describe what we know about this question, and report some progress on several other related questions, on tournament colouring and domination.
Dispersion on the Complete Graph
Published
• View Publication
• BIB
We consider a synchronous process of particles moving on the vertices of a graph $G$, introduced by Cooper, McDowell, Radzik, Rivera and Shiraga (2018). Initially, $M$ particles are placed on a vertex of $G$. At the beginning of each time step, for every vertex inhabited by at least two particles, each of these particles moves independently to a neighbour chosen uniformly at random. The process ends at the first step when no vertex is inhabited by more than one particle.
Cooper et al. showed that when the underlying graph is the complete graph on~$n$ vertices, then there is a phase transition when the number of particles $M = n/2$. They showed that if $M<(1-\varepsilon)n/2$ for some fixed $\varepsilon>0$, then the process finishes in a logarithmic number of steps, while if $M>(1+\varepsilon)n/2$, an exponential number of steps are required with high probability. Here we provide a thorough asymptotic analysis of the dispersion time around criticality, where $\varepsilon = o(1)$, and describe the transition from logarithmic to exponential time. As a consequence of our results we establish, for example, that the dispersion time is in probability and in expectation in $Θ(n^{1/2})$ when $|\varepsilon| = O(n^{-1/2})$, and provide qualitative bounds for its tail behavior.
Powers of facet ideals of simplicial trees
Published in Nagoya Math. J. 261 (2026) e9
• View Publication
• BIB
In this article, we study the linearity of the minimal free resolution of powers of facets ideals of simplicial trees. We give a complete characterization of simplicial trees for which (some) power of its facet ideal has a linear resolution. We calculate the regularity of the $t$-path ideal of a perfect rooted tree. We also obtain an upper bound for the regularity of the $t$-path ideal of a rooted tree. We give a procedure to calculate the regularity of powers of facet ideals of simplicial trees. As a consequence of this result, we study the regularity of powers of $t$-path ideals of rooted trees. We pose a regularity upper bound conjecture for facet ideals of simplicial trees, which is as follows: if $Δ$ is a $d$-dimensional simplicial tree, then $\reg(I(Δ)^s) \leq (d+1)(s-1)+\reg(I(Δ))$ for all $s \geq 1$. We prove this conjecture for some special classes of simplicial trees.