Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On Erdős's Method for Bounding the Partition Function
Published
• View Publication
• BIB
For fixed $m$ and $R\subseteq \{0,1,\ldots,m-1\}$, take $A$ to be the set of positive integers congruent modulo $m$ to one of the elements of $R$, and let $p_A(n)$ be the number of ways to write $n$ as a sum of elements of $A$. Nathanson proved that $\log p_A(n) \leq (1+o(1)) π\sqrt{2n|R|/3m}$ using a variant of a remarkably simple method devised by Erdős in order to bound the partition function. In this short note we describe a simpler and shorter proof of Nathanson's bound.
Gain distance matrices for complex unit gain graphs
Published
• View Publication
• BIB
A complex unit gain graph ($ \mathbb{T} $-gain graph), $ Φ=(G, \varphi) $ is a graph where the function $ \varphi $ assigns a unit complex number to each orientation of an edge of $ G $, and its inverse is assigned to the opposite orientation. %A complex unit gain graph($ \mathbb{T} $-gain graph) is a simple graph where each orientation of an edge is given a complex unit, and its inverse is assigned to the opposite orientation of the edge. In this article, we propose gain distance matrices for $ \mathbb{T} $-gain graphs. These notions generalize the corresponding known concepts of distance matrices and signed distance matrices. Shahul K. Hameed et al. introduced signed distance matrices and developed their properties. Motivated by their work, we establish several spectral properties, including some equivalences between balanced $ \mathbb{T} $-gain graphs and gain distance matrices. Furthermore, we introduce the notion of positively weighted $ \mathbb{T} $-gain graphs and study some of their properties. Using these properties, Acharya's and Stanić's spectral criteria for balance are deduced. Moreover, the notions of order independence and distance compatibility are studied. Besides, we obtain some characterizations for distance compatibility.
Long directed paths in Eulerian digraphs
An old conjecture of Bollobás and Scott asserts that every Eulerian directed graph with average degree $d$ contains a directed cycle of length at least $Ω(d)$. The best known lower bound for this problem is $Ω(d^{1/2})$ by Huang, Ma, Shapira, Sudakov and Yuster. They asked whether this estimate can be improved at least for directed paths instead of cycles and whether one can find a long path starting from any vertex if the host digraph is connected. In this paper we break the $\sqrt{d}$ barrier, showing how to find a path of length $Ω(d^{1/2+1/40})$ from any vertex of a connected Eulerian digraph.
Impartial games with entailing moves
Published
• View Publication
• BIB
Combinatorial Game Theory has also been called `additive game theory', whenever the analysis involves sums of independent game components. Such {\em disjunctive sums} invoke comparison between games, which allows abstract values to be assigned to them. However, there are rulesets with {\em entailing moves} that break the alternating play axiom and/or restrict the other player's options within the disjunctive sum components. These situations are exemplified in the literature by a ruleset such as {\sc nimstring}, a normal play variation of the classical children's game {\sc dots \& boxes}, and {\sc top~entails}, an elegant ruleset introduced in the classical work Winning Ways, by Berlekamp Conway and Guy. Such rulesets fall outside the scope of the established normal play theory. Here, we axiomatize normal play via two new terminating games, $\infty$ (Left wins) and $\overline\infty$ (Right wins), and a more general theory is achieved. We define {\em affine impartial}, which extends classical impartial games, and we analyze their algebra by extending the established Sprague-Grundy theory, with an accompanying minimum excluded rule. Solutions of {\sc nimstring} and {\sc top~entails} are given to illustrate the theory.
Tverberg's theorem for cell complexes
Published
• View Publication
• BIB
The topological Tverberg theorem states that any continuous map of a $(d+1)(r-1)$-simplex into the Euclidean $d$-space maps some points from $r$ pairwise disjoint faces of the simplex to the same point whenever $r$ is a prime power. We substantially generalize this theorem to continuous maps of certain CW complexes, including simplicial $((d+1)(r-1)-1)$-spheres, into the Euclidean $d$-space. We also discuss the atomicity of the Tverberg property.
The Benson -- Symonds Invariant for Ordinary and Signed Permutation Modules
Published
• View Publication
• BIB
The signed permutation modules are a simultaneous generalization of the ordinary permutation modules and the twisted permutation modules of the symmetric group. In a recent paper Dave Benson and Peter Symonds defined a new invariant $γ_G(M)$ for a finite dimensional module $M$ of a finite group $G$ which attempts to quantify how close a module is to being projective. In this paper, we determine this invariant for all the signed permutation modules of the symmetric group using tools from representation theory and combinatorics.
Maclaurin's series expansions for positive integer powers of inverse (hyperbolic) sine and related functions, specific values of partial Bell polynomials, and two applications
Published in Series expansions of powers of arcsine, closed forms for special values of Bell polynomials, and series representations of generalized logsine functions, AIMS Mathematics, vol. 6 (2021), no. 7, 7494--7517
• View Publication
• BIB
In the paper, the authors establish Maclaurin's series expansions and series identities for positive integer powers of the inverse sine function, for positive integer powers of the inverse hyperbolic sine function, for the composite of incomplete gamma functions with the inverse hyperbolic sine function, for positive integer powers of the inverse tangent function, and for positive integer powers of the inverse hyperbolic tangent function, in terms of the first kind Stirling numbers and binomial coefficients, apply the newly established Maclaurin's series expansion for positive integer powers of the inverse sine function to derive a closed-form formula for specific values of partial Bell polynomials and to derive a series representation of the generalized logsine function, and deduce several combinatorial identities involving the first kind Stirling numbers. Some of these results simplify and unify some known ones. All of these newly established Maclaurin's series expansions of positive integer powers of the inverse (hyperbolic) sine and tangent functions can be used to derive infinite series representations of the circular constant Pi and of positive integer powers of Pi.
The Rest of the Tilings of the Sphere by Regular Polygons
Published
• View Publication
• BIB
We determine all non-edge-to-edge tilings of the sphere by regular spherical polygons of three or more sides.
Forbidding Couples of Tournaments and the Erdös-Hajnal Conjecture
Published
• View Publication
• BIB
A celebrated unresolved conjecture of Erdös and Hajnal states that for every undirected graph $H$ there exists $ ε(H) > 0 $ such that every undirected graph on $ n $ vertices that does not contain $H$ as an induced subgraph contains a clique or a stable set of size at least $ n^{ε(H)} $. This conjecture has a directed equivalent version stating that for every tournament $H$ there exists $ ε(H) > 0 $ such that every $H-$free $n-$vertex tournament $T$ contains a transitive subtournament of size at least $ n^{ε(H)} $. Recently the conjecture was proved for all six-vertex tournaments, except $K_{6}$. In this paper we construct two infinite families of tournaments for which the conjecture is still open for infinitely many tournaments in these two families $-$ the family of so-called super nebulas and the family of so-called super triangular galaxies. We prove that for every super nebula $H_{1}$ and every $Δ$galaxy $H_{2}$ there exist $ε(H_{1},H_{2})$ such that every $\lbrace H_{1},H_{2}\rbrace$$-$free tournament $T$ contains a transitive subtournament of size at least $\mid$$T$$\mid^{ε(H_{1},H_{2})}$. We also prove that for every central triangular galaxy $H$ there exist $ε(K_{6},H)$ such that every $\lbrace K_{6},H\rbrace$$-$free tournament $T$ contains a transitive subtournament of size at least $\mid$$T$$\mid^{ε(K_{6},H)}$. And we give an extension of our results.
Andrews-Beck Type Congruences Related to the Crank of a Partition
In this paper, we discuss a few recent conjectures made by George Beck related to the ranks and cranks of partitions. The conjectures for the rank of a partition were proved by Andrews by using results due to Atkin and Swinnerton-Dyer on a suitable generating function, while the conjectures related to cranks were studied by Shane Chern using weighted partition moments. We revisit the conjectures on the crank of a partition by decomposing the relevant generating function and further explore connections with Apple-Lerch series and tenth order mock theta functions.
New upper bounds for $(b,k)$-hashing
Published
• View Publication
• BIB
For fixed integers $b\geq k$, the problem of perfect $(b,k)$-hashing asks for the asymptotic growth of largest subsets of $\{1,2,\ldots,b\}^n$ such that for any $k$ distinct elements in the set, there is a coordinate where they all differ.
An important asymptotic upper bound for general $b, k$, was derived by Fredman and Komlós in the '80s and improved for certain $b\neq k$ by Körner and Marton and by Arikan. Only very recently better bounds were derived for the general $b,k$ case by Guruswami and Riazanov, while stronger results for small values of $b=k$ were obtained by Arikan, by Dalai, Guruswami and Radhakrishnan and by Costa and Dalai.
In this paper, we both show how some of the latter results extend to $b\neq k$ and further strengthen the bounds for some specific small values of $b$ and $k$. The method we use, which depends on the reduction of an optimization problem to a finite number of cases, shows that further results might be obtained by refined arguments at the expense of higher complexity.
Legendre pair of length $77$ using complementary binary matrices with fixed marginals
Published
• View Publication
• BIB
We provide a search method for Legendre pairs of composite length based on generating binary matrices with fixed row and column sums from compressed, complementary integer vectors. This approach yielded the first construction of a Legendre pair of length $77$, as well as the first exhaustive generation of Legendre pairs of length $55$.
On the two-parameter Erdős-Falconer distance problem over finite fields
Published
• View Publication
• BIB
Given $E \subseteq \mathbb{F}_q^d \times \mathbb{F}_q^d$, with the finite field $\mathbb{F}_q$ of order $q$ and the integer $d \ge 2$, we define the two-parameter distance set as $Δ_{d, d}(E)=\left\{\left(\|x_1-y_1\|, \|x_2-y_2\|\right) : (x_1,x_2), (y_1,y_2) \in E \right\}$. Birklbauer and Iosevich (2017) proved that if $|E| \gg q^{\frac{3d+1}{2}}$, then $ |Δ_{d, d}(E)| = q^2$. For the case of $d=2$, they showed that if $|E| \gg q^{\frac{10}{3}}$, then $ |Δ_{2, 2}(E)| \gg q^2$. In this paper, we present extensions and improvements of these results.
On formal concepts of random formal contexts
Published in Information Sciences 578 (2021) 615-620
• View Publication
• BIB
In formal concept analysis, it is well-known that the number of formal concepts can be exponential in the worst case. To analyze the average case, we introduce a probabilistic model for random formal contexts and prove that the average number of formal concepts has a superpolynomial asymptotic lower bound.
The $(l,r)$-Stirling numbers: a combinatorial approach
Published
• View Publication
• BIB
This work deals with a new generalization of $r$-Stirling numbers using $l$-tuple of permutations and partitions called $(l,r)$-Stirling numbers of both kinds. We study various properties of these numbers using combinatorial interpretations and symmetric functions. Also, we give a limit representation of the multiple zeta function using $(l,r)$-Stirling of the first kind.
A Generalization of the Greene-Kleitman Duality Theorem
In this paper, we describe and prove a generalization of both the classical Greene-Kleitman duality theorem for posets and the local version proved recently by Lewis-Lyu-Pylyavskyy-Sen in studying discrete solitons, using an approach more closely linked to the approach of the classical case.
A conjecture concerning the $q$-Onsager algebra
Published
• View Publication
• BIB
The $q$-Onsager algebra $\mathcal O_q$ is defined by two generators $W_0, W_1$ and two relations called the $q$-Dolan/Grady relations. Recently Baseilhac and Kolb obtained a PBW basis for $\mathcal O_q$ with elements denoted $\lbrace B_{n δ+ α_0} \rbrace_{n=0}^\infty, \lbrace B_{n δ+ α_1} \rbrace_{n=0}^\infty, \lbrace B_{n δ} \rbrace_{n=1}^\infty $. In their recent study of a current algebra $\mathcal A_q$, Baseilhac and Belliard conjecture that there exist elements
$\lbrace W_{-k}\rbrace_{k=0}^\infty, \lbrace W_{k+1}\rbrace_{k=0}^\infty,
\lbrace G_{k+1} \rbrace_{k=0}^\infty, \lbrace {\tilde G}_{k+1} \rbrace_{k=0}^\infty$ in $\mathcal O_q$ that satisfy the defining relations for $\mathcal A_q$. In order to establish this conjecture, it is desirable to know how the elements in the second list above are related to the elements in the first list above. In the present paper, we conjecture the precise relationship and give some supporting evidence. This evidence consists of some computer checks on SageMath due to Travis Scrimshaw, and a proof of our conjecture for a homomorphic image of $\mathcal O_q$ called the universal Askey-Wilson algebra.
On the binary adder channel with complete feedback, with an application to quantitative group testing
Published in IEEE Transactions on Information Theory, Volume 68, Issue 5, pp 2839-2856, May 2022
• View Publication
• BIB
We determine the exact value of the optimal symmetric rate point $(r, r)$ in the Dueck zero-error capacity region of the binary adder channel with complete feedback. We proved that the average zero-error capacity $r = h(1/2-δ) \approx 0.78974$, where $h(\cdot)$ is the binary entropy function and $δ= 1/(2\log_2(2+\sqrt3))$. Our motivation is a problem in quantitative group testing. Given a set of $n$ elements two of which are defective, the quantitative group testing problem asks for the identification of these two defectives through a series of tests. Each test gives the number of defectives contained in the tested subset, and the outcomes of previous tests are assumed known at the time of designing the current test. We establish that the minimum number of tests is asymptotic to $(\log_2 n) / r$ as $n \to \infty$.
Some binary products and integer linear programming for computing $k$-metric dimension of graphs
Let $G$ be a connected graph. For an ordered set $S=\{v_1,\ldots, v_\ell\}\subseteq V(G)$, the vector $r_G(v|S) = (d_G(v_1,v), \ldots, d_G(v_\ell,v))$ is called the metric $S$-representation of $v$. If for any pair of different vertices $u,v\in V(G)$, the vectors $r(v|S)$ and $r(u|S)$ differ in at least $k$ positions, then $S$ is a $k$-metric generator for $G$. A smallest $k$-metric generator for $G$ is a $k$-{\em metric basis} for $G$, its cardinality being the $k$-metric dimension of $G$. A sharp upper bound and a closed formulae for the $k$-metric dimension of the hierarchical product of graphs is proved. Also, sharp lower bounds for the $k$-metric dimension of the splice and link products of graphs are presented. An integer linear programming model for computing the $k$-metric dimension and a $k$-metric basis of a given graph is proposed. These results are applied to bound or to compute the $k$-metric dimension of some classes of graphs that are of interest in mathematical chemistry.
Multiple Sums and Partition Identities
Published in Notes on Number Theory and Discrete Mathematics, 28(2), 200-233 (2022)
• View Publication
• BIB
Sums of the form $\sum_{q \leq N_1 < \cdots < N_m \leq n}{a_{(m);N_m}\cdots a_{(2);N_2}a_{(1);N_1}}$ date back to the sixteen century when Viète illustrated that the relation linking the roots and coefficients of a polynomial had this form. In more recent years, such sums have become increasingly used with a diversity of applications. In this paper, we develop formulae to help with manipulating such sums (which we will refer to as multiple sums). We develop variation formulae that express the variation of multiple sums in terms of lower order multiple sums. Additionally, we derive a set of partition identities that we use to prove a reduction theorem that expresses multiple sums as a combination of simple (non-recurrent) sums. We present a variety of applications including applications concerning polynomials and MZVs as well as a generalization of the binomial theorem. Finally, we establish the connection between multiple sums and a type of sums called recurrent sums. By exploiting this connection, we provide additional partition identities for odd and even partitions.