Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Extensions of the AZ-algorithm and the Package MultiIntegrate
Published
• View Publication
• BIB
We extend the (continuous) multivariate Almkvist-Zeilberger algorithm in order to apply it for instance to special Feynman integrals emerging in renormalizable Quantum field Theories. We will consider multidimensional integrals over hyperexponential integrands and try to find closed form representations in terms of nested sums and products or iterated integrals. In addition, if we fail to compute a closed form solution in full generality, we may succeed in computing the first coefficients of the Laurent series expansions of such integrals in terms of indefinite nested sums and products or iterated integrals. In this article we present the corresponding methods and algorithms. Our Mathematica package MultiIntegrate, can be considered as an enhanced implementation of the (continuous) multivariate Almkvist Zeilberger algorithm to compute recurrences or differential equations for hyperexponential integrands and integrals. Together with the summation package Sigma and the package HarmonicSums our package provides methods to compute closed form representations (or coefficients of the Laurent series expansions) of multidimensional integrals over hyperexponential integrands in terms of nested sums or iterated integrals.
The local weak limit of $k$-dimensional hypertrees
Published in Transactions of the American Mathematical Society, 375 (2022), 6127-6154
• Search Publication
Let $\mathcal{C}(n,k)$ be the set of $k$-dimensional simplicial complexes $C$ over a fixed set of $n$ vertices such that:
(1) $C$ has a complete $k-1$-skeleton;
(2) $C$ has precisely ${{n-1}\choose {k}}$ $k$-faces;
(3) the homology group $H_{k-1}(C)$ is finite.
Consider the probability measure on $\mathcal{C}(n,k)$ where the probability of a simplicial complex $C$ is proportional to $|H_{k-1}(C)|^2$. For any fixed $k$, we determine the local weak limit of these random simplicial complexes as $n$ tends to infinity.
This local weak limit turns out to be the same as the local weak limit of the $1$-out $k$-complexes investigated by Linial and Peled.
Tropical Support Vector Machines: Evaluations and Extension to Function Spaces
Published
• View Publication
• BIB
Support Vector Machines (SVMs) are one of the most popular supervised learning models to classify using a hyperplane in an Euclidean space. Similar to SVMs, tropical SVMs classify data points using a tropical hyperplane under the tropical metric with the max-plus algebra. In this paper, first we show generalization error bounds of tropical SVMs over the tropical projective torus. While the generalization error bounds attained via Vapnik-Chervonenkis (VC) dimensions in a distribution-free manner still depend on the dimension, we also show numerically and theoretically by extreme value statistics that the tropical SVMs for classifying data points from two Gaussian distributions as well as empirical data sets of different neuron types are fairly robust against the curse of dimensionality. Extreme value statistics also underlie the anomalous scaling behaviors of the tropical distance between random vectors with additional noise dimensions. Finally, we define tropical SVMs over a function space with the tropical metric.
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.
On the directions determined by Cartesian products and the clique number of generalized Paley graphs
Published in Integers 21 (2021), Paper No. A51, 31 pp
• View Publication
• BIB
It is known that the number of directions formed by a Cartesian product $A \times B \subset AG(2,p)$ is at least $|A||B| - \min\{|A|,|B|\} + 2$, provided $p$ is prime and $|A||B|<p$. This implies the best known upper bound on the clique number of the Paley graph over $\mathbb{F}_p$. In this paper, we extend this result to $AG(2,q)$, where $q$ is a prime power. We also give improved upper bounds on the clique number of generalized Paley graphs over $\mathbb{F}_q$. In particular, for a cubic Paley graph, we improve the trivial upper bound $\sqrt{q}$ to $0.769\sqrt{q}+1$. In general, as an application of our key result on the number of directions, for any positive function $h$ such that $h(x)=o(x)$ as $x \to \infty$, we improve the trivial upper bound $\sqrt{q}$ to $\sqrt{q}-h(p)$ for almost all non-squares $q$.