Showing 20 papers (Total: 82736 papers, 47815 authors in database)
How to sum powers of balancing numbers efficiently
Published
• View Publication
• BIB
Balancing numbers possess, as Fibonacci numbers, a Binet formula. Using this, partial sums of arbitrary powers of balancing numbers can be summed explicitly. For this, as a first step, a power $B_n^l$ is expressed as a linear combination of $B_{mn}$. The summation of such expressions is then easy using generating functions.
On construction and (non)existence of $c$-(almost) perfect nonlinear functions
Published
• View Publication
• BIB
Functions with low differential uniformity have relevant applications in cryptography. Recently, functions with low $c$-differential uniformity attracted lots of attention. In particular, so-called APcN and PcN functions (generalization of APN and PN functions) have been investigated. Here, we provide a characterization of such functions via quadratic polynomials as well as non-existence results.
A characterization of exceptional pseudocyclic association schemes by multidimensional intersection numbers
Published
• View Publication
• BIB
Recent classification of $\frac{3}{2}$-transitive permutation groups leaves us with three infinite families of groups which are neither $2$-transitive, nor Frobenius, nor one-dimensional affine. The groups of the first two families correspond to special actions of ${\mathrm{PSL}}(2,q)$ and ${\mathrm{PΓL}}(2,q),$ whereas those of the third family are the affine solvable subgroups of ${\mathrm{AGL}}(2,q)$ found by D. Passman in 1967. The association schemes of the groups in each of these families are known to be pseudocyclic. It is proved that apart from three particular cases, each of these exceptional pseudocyclic schemes is characterized up to isomorphism by the tensor of its $3$-dimensional intersection numbers.
Toric Newton-Okounkov functions with an application to the rationality of certain Seshadri constants on surfaces
We initiate a combinatorial study of Newton-Okounkov functions on toric varieties with an eye on the rationality of asymptotic invariants of line bundles. In the course of our efforts we identify a combinatorial condition which ensures a controlled behavior of the appropriate Newton-Okounkov function on a toric surface. Our approach yields the rationality of many Seshadri constants that have not been settled before.
Note on Path-Connectivity of Complete Bipartite Graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$ and a set $S\subseteq V(G)$ of size at least $2$, a path in $G$ is said to be an $S$-path if it connects all vertices of $S$. Two $S$-paths $P_1$ and $P_2$ are said to be internally disjoint if $E(P_1)\cap E(P_2)=\emptyset$ and $V(P_1)\cap V(P_2)=S$. Let $π_G (S)$ denote the maximum number of internally disjoint $S$-paths in $G$. The $k$-path-connectivity $π_k(G)$ of $G$ is then defined as the minimum $π_G (S)$, where $S$ ranges over all $k$-subsets of $V(G)$. In [M. Hager, Path-connectivity in graphs, Discrete Math. 59(1986), 53--59], the $k$-path-connectivity of the complete bipartite graph $K_{a,b}$ was calculated, where $k\geq 2$. But, from his proof, only the case that $2\leq k\leq min\{a,b\}$ was considered. In this paper, we calculate the the situation that $min\{a,b\}+1\leq k\leq a+b$ and complete the result.
On a Stirling-Whitney-Riordan triangle
Published
• View Publication
• BIB
Based on the Stirling triangle of the second kind, the Whitney triangle of the second kind and one triangle of Riordan, we study a Stirling-Whitney-Riordan triangle $[T_{n,k}]_{n,k}$ satisfying the recurrence relation: \begin{eqnarray*} T_{n,k}&=&(b_1k+b_2)T_{n-1,k-1}+[(2λb_1+a_1)k+a_2+λ( b_1+b_2)] T_{n-1,k}+\\ &&λ(a_1+λb_1)(k+1)T_{n-1,k+1}, \end{eqnarray*} where initial conditions $T_{n,k}=0$ unless $0\le k\le n$ and $T_{0,0}=1$.
We prove that the Stirling-Whitney-Riordan triangle $[T_{n,k}]_{n,k}$ is $\textbf{x}$-totally positive with $\textbf{x}=(a_1,a_2,b_1,b_2,λ)$. We show that the row-generating function $T_n(q)$ has only real zeros and the Turán-type polynomial $T_{n+1}(q)T_{n-1}(q)-T^2_n(q)$ is stable. We also present explicit formulae for $T_{n,k}$ and the exponential generating function of $T_n(q)$ and give a Jacobi continued fraction expansion for the ordinary generating function of $T_n(q)$. Furthermore, we get the $\textbf{x}$-Stieltjes moment property and $3$-$\textbf{x}$-log-convexity of $T_n(q)$ and show that the triangular convolution $z_n=\sum_{i=0}^nT_{n,i}x_iy_{n-i}$ preserves Stieltjes moment property of sequences. Finally, for the first column $(T_{n,0})_{n\geq0}$, we derive some properties similar to those of $(T_n(q))_{n\geq0}.$
Expected Performance and Worst Case Scenario Analysis of the Divide-and-Conquer Method for the 0-1 Knapsack Problem
Published
• View Publication
• BIB
In this paper we furnish quality certificates for the Divide-and-Conquer method solving the 0-1 Knapsack Problem: the worst case scenario and estimates for the expected performance. The probabilistic setting is given and the main random variables are defined for the analysis of the expected performance. The efficiency is rigorously approximated for one iteration of the method then, these values are used to derive analytic estimates for the performance of a general Divide-and-Conquer tree. All the theoretical results are verified with statistically suited numerical experiments for a wider illustration of the method.
On the Burness-Giudici Conjecture
Published
• View Publication
• BIB
Let $G$ be a permutation group on a set $Ω$. A subset of $Ω$ is a base for $G$ if its pointwise stabilizer in $G$ is trivial. By $b(G)$ we denote the size of the smallest base of $G$. Every permutation group with $b(G)=2$ contains some regular suborbits. It is conjectured by Burness-Giudici in [4] that every primitive permutation group $G$ with $b(G)=2$ has the property that if $α^g\not\in Γ$ then $Γ\cap Γ^g\neq \emptyset$, where $Γ$ is the union of all regular suborbits of $G$ relative to $α$. An affirmative answer of the conjecture has been shown for many sporadic simple groups and some alternative groups in [4], but it is still open for simple groups of Lie-type. The first candidate of infinite family of simple groups of Lie-type we should work on might be $PSL(2,q)$, where $q\geq 5$. In this manuscript, we show the correctness of the conjecture for all the primitive groups with socle $PSL(2,q)$, see Theorem $1.3$.
Eulerian series, zeta functions and the arithmetic of partitions
In this Ph.D. dissertation (2018, Emory University) we prove theorems at the intersection of the additive and multiplicative branches of number theory, bringing together ideas from partition theory, $q$-series, algebra, modular forms and analytic number theory. We present a natural multiplicative theory of integer partitions (which are usually considered in terms of addition), and explore new classes of partition-theoretic zeta functions and Dirichlet series -- as well as "Eulerian" $q$-hypergeometric series -- enjoying many interesting relations. We find a number of theorems of classical number theory and analysis arise as particular cases of extremely general combinatorial structure laws. Among our applications, we prove explicit formulas for the coefficients of the $q$-bracket of Bloch-Okounkov, a partition-theoretic operator from statistical physics related to quasi-modular forms; we prove partition formulas for arithmetic densities of certain subsets of the integers, giving $q$-series formulas to evaluate the Riemann zeta function; we study $q$-hypergeometric series related to quantum modular forms and the "strange" function of Kontsevich; and we show how Ramanujan's odd-order mock theta functions (and, more generally, the universal mock theta function $g_3$ of Gordon-McIntosh) arise from the reciprocal of the Jacobi triple product via the $q$-bracket operator, connecting also to unimodal sequences in combinatorics and quantum modular-like phenomena.
The Faddeev-LeVerrier algorithm and the Pfaffian
Published in Linear Algebra and its Applications 630 (2021), 39-55
• View Publication
• BIB
We adapt the Faddeev-LeVerrier algorithm for the computation of characteristic polynomials to the computation of the Pfaffian of a skew-symmetric matrix. This yields a very simple, easy to implement and parallelize algorithm of computational cost $O(n^{β+1})$ where $n$ is the size of the matrix and $O(n^β)$ is the cost of multiplying $n\times n$-matrices, $β\in[2,2.37286)$. We compare its performance to that of other algorithms and show how it can be used to compute the Euler form of a Riemannian manifold using computer algebra.
An Improved Bound for the Linear Arboricity Conjecture
Published
• View Publication
• BIB
In 1980, Akiyama, Exoo and Harary posited the Linear Arboricity Conjecture which states that any graph $G$ of maximum degree $Δ$ can be decomposed into at most $\left\lceil \fracΔ{2}\right\rceil$ linear forests. (A forest is linear if all of its components are paths.) In 1988, Alon proved the conjecture holds asymptotically. The current best bound is due to Ferber, Fox and Jain from 2020 who showed that $\fracΔ{2}+ O(Δ^{.661})$ suffices for large enough $Δ$. Here, we show that $G$ admits a decomposition into at most $\fracΔ{2}+ 3\sqrtΔ \log^4 Δ$ linear forests provided $Δ$ is large enough.
Moreover, our result also holds in the more general list setting, where edges have (possibly different) sets of permissible linear forests. Thus our bound also holds for the List Linear Arboricity Conjecture which was only recently shown to hold asymptotically by Kim and the second author. Indeed, our proof method ties together the Linear Arboricity Conjecture and the well-known List Colouring Conjecture; consequently, our error term for the Linear Arboricity Conjecture matches the best known error-term for the List Colouring Conjecture due to Molloy and Reed from 2000. This follows as we make two copies of every colour and then seek a proper edge colouring where we avoid bicoloured cycles between a colour and its copy; we achieve this via a clever modification of the nibble method.
The Threshold Strong Dimension of a Graph
Published
• View Publication
• BIB
Let $G$ be a connected graph and $u,v$ and $w$ vertices of $G$. Then $w$ is said to {\em strongly resolve} $u$ and $v$, if there is either a shortest $u$-$w$ path that contains $v$ or a shortest $v$-$w$ path that contains $u$. A set $W$ of vertices of $G$ is a {\em strong resolving set} if every pair of vertices of $G$ is strongly resolved by some vertex of $W$. A smallest strong resolving set of a graph is called a {\em strong basis} and its cardinality, denoted $β_s(G)$, the {\em strong dimension} of $G$. The {\em threshold strong dimension} of a graph $G$, denoted $τ_s(G)$, is the smallest strong dimension among all graphs having $G$ as spanning subgraph. A graph whose strong dimension equals its threshold strong dimension is called $β_s$-{\em irreducible}. In this paper we establish a geometric characterization for the threshold strong dimension of a graph $G$ that is expressed in terms of the smallest number of paths (each of sufficiently large order) whose strong product admits a certain type of embedding of $G$. We demonstrate that the threshold strong dimension of a graph is not equal to the previously studied threshold dimension of a graph. Graphs with strong dimension $1$ and $2$ are necessarily $β_s$-irreducible. It is well-known that the only graphs with strong dimension $1$ are the paths. We completely describe graphs with strong dimension $2$ in terms of the strong resolving graphs introduced by Oellermann and Peters-Fransen. We obtain sharp upper bounds for the threshold strong dimension of general graphs and determine exact values for this invariant for certain subclasses of trees.
The $S_n$-equivariant rational homology of the tropical moduli spaces $Δ_{2,n}$
Published
• View Publication
• BIB
We compute the $S_n$-equivariant rational homology of the tropical moduli spaces $Δ_{2,n}$ for $n\leq 8$ using a cellular chain complex for symmetric $Δ$-complexes in Sage.
Perfect matching index vs. circular flow number of a cubic graph
The perfect matching index of a cubic graph $G$, denoted by $π(G)$, is the smallest number of perfect matchings that cover all the edges of $G$. According to the Berge-Fulkerson conjecture, $π(G)\le5$ for every bridgeless cubic graph~$G$. The class of graphs with $π\ge 5$ is of particular interest as many conjectures and open problems, including the famous cycle double cover conjecture, can be reduced to it. Although nontrivial examples of such graphs are very difficult to find, a few infinite families are known, all with circular flow number $Φ_c(G)=5$. It has been therefore suggested [Electron. J. Combin. 23 (2016), $\#$P3.54] that $π(G)\ge 5$ might imply $Φ_c(G)\ge 5$. In this article we dispel these hopes and present a family of cyclically $4$-edge-connected cubic graphs of girth at least $5$ (snarks) with $π\ge 5$ and $Φ_c\le 4+\frac23$.
A note on a Caro-Wei bound for the bipartite independence number in graphs
Published
• View Publication
• BIB
A bi-hole of size $t$ in a bipartite graph $G$ is a copy of $K_{t,t}$ in the bipartite complement of $G$. Given an $n \times n$ bipartite graph $G$, let $β(G)$ be the largest $k$ for which $G$ has a bi-hole of size $k$. We prove that \[ β(G) \geq \left \lfloor \frac{1}{2} \cdot \sum_{v \in V(G)} \frac{1}{d(v)+1} \right \rfloor. \] Furthermore, we prove the following generalization of the result above. Given an $n \times n$ bipartite graph $G$, Let $β_d(G)$ be the largest $k$ for which $G$ has a $k \times k$ $d$-degenerate subgraph. We prove that \[ β_d(G) \geq \left \lfloor \frac{1}{2} \cdot \sum_{v \in V(G)} \min\left(1,\frac{d+1}{d(v)+1}\right) \right \rfloor. \] Notice that $β_0(G) = β(G)$.
Gluing of graphs and their Jacobians
Published in Involve 16 (2023) 389-407
• View Publication
• BIB
The Jacobian of a graph is a discrete analogue of the Jacobian of a Riemann surface. In this paper, we explore how Jacobians of graphs change when we glue two graphs along a common subgraph focusing on the case of cycle graphs. Then, we link the computation of Jacobians of graphs with cycle matrices. Finally, we prove that Tutte's rotor construction with his original example produces two graphs with isomorphic Jacobians when all involved graphs are planar. This answers the question posed by Clancy, Leake, and Payne, stating it is affirmative in this case.
Sign variation and descents
Published in Electron. J. Combin. 27(4) (2020), #P4.50
• View Publication
• BIB
For any $n > 0$ and $0 \leq m < n$, let $P_{n,m}$ be the poset of projective equivalence classes of $\{-,0,+\}$-vectors of length $n$ with sign variation bounded by $m$, ordered by reverse inclusion of the positions of zeros. Let $Δ_{n,m}$ be the order complex of $P_{n,m}$. A previous result from the third author shows that $Δ_{n,m}$ is Cohen-Macaulay over $\mathbb{Q}$ whenever $m$ is even or $m = n-1$. Hence, it follows that the $h$-vector of $Δ_{n,m}$ consists of nonnegative entries. Our main result states that $Δ_{n,m}$ is partitionable and we give an interpretation of the $h$-vector when $m$ is even or $m = n-1$. When $m = n-1$ the entries of the $h$-vector turn out to be the new Eulerian numbers of type $D$ studied by Borowiec and Młotkowski in [{\em Electron. J. Combin.}, 23(1):Paper 1.38, 13, 2016]. We then combine our main result with Klee's generalized Dehn-Sommerville relations to give a geometric proof of some facts about these Eulerian numbers of type $D$.
Derivations of large classes of facet-defining inequalities of the weak order polytope using ranking structures
Published
• View Publication
• BIB
The study of ordering polytopes has been essential to the solution of various challenging combinatorial optimization problems. For instance, the incorporation of facet defining inequalities (FDIs) from these polytopes in branch-and-cut approaches represents among the most effective solution methodologies known to date for some of these problems. The weak order polytope, defined as the convex hull of the characteristic vectors of all binary orders on $n$ alternatives that are reflexive, transitive, and complete, has been particularly important for tackling problems in computational social choice, preference aggregation, and comparative probability. For the most part, FDIs for the weak order polytope have been obtained through enumeration and through derivation from FDIs of other combinatorial polytopes. This paper derives new classes of FDIs for the weak order polytope by utilizing the equivalent representation of a weak order as a ranking of $n$ objects that allows ties and by grouping characteristic vectors that share certain ranking structures. Furthermore, we demonstrate that a number of FDIs previously obtained through enumeration are actually special cases of these ranking-based FDIs.
Essential graded algebra over polynomial rings with real exponents
Published
• View Publication
• BIB
The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of Nakayama's lemma; complete theories of minimal and dense primary, secondary, and irreducible decomposition, including associated and attached faces; socles and tops; minimality and density for downset hulls, upset covers, and fringe presentations; Matlis duality; and geometric analysis of staircases. Modules that are semialgebraic or piecewise-linear (PL) have the relevant property preserved by functorial constructions as well as by minimal primary and secondary decompositions. And when the modules in question are subquotients of the group itself, such as monomial ideals and quotients modulo them, minimal primary and secondary decompositions are canonical, as are irreducible decompositions up to the new real-exponent notion of density.
Chain method for panchromatic colorings of hypergraphs
Published
• View Publication
• BIB
We deal with an extremal problem concerning panchromatic colorings of hypergraphs. A vertex $r$-coloring of a hypergraph $H$ is \emph{panchromatic} if every edge meets every color. We prove that for every $3<r\leq\sqrt[3]{n/(100\ln n)}$, every $n$-uniform hypergraph $H$ with $|E(H)|\leq \frac{1}{20r^2}\left(\frac{n}{\ln n}\right)^{\frac {r-1}{r}}\left(\frac{r}{r-1}\right)^{n-1}$ has a panchromatic coloring with $r$ colors.