Showing 1–4 of 4 results for author: Karamchedu, C

A Refinement of the McCreight-Meyer Union Theorem

Authors: Matthew Fox, Chaitanya Karamchedu

Abstract: Using properties of Blum complexity measures and certain complexity class operators, we exhibit a total computable and non-decreasing function $t_{\mathsf{poly}}$ such that for all $k$, $Σ_k\mathsf{P} = Σ_k\mathsf{TIME}(t_{\mathsf{poly}})$, $\mathsf{BPP} = \mathsf{BPTIME}(t_{\mathsf{poly}})$, $\mathsf{RP} = \mathsf{RTIME}(t_{\mathsf{poly}})$, $\mathsf{UP} = \mathsf{UTIME}(t_{\mathsf{poly}})$,… ▽ More Using properties of Blum complexity measures and certain complexity class operators, we exhibit a total computable and non-decreasing function $t_{\mathsf{poly}}$ such that for all $k$, $Σ_k\mathsf{P} = Σ_k\mathsf{TIME}(t_{\mathsf{poly}})$, $\mathsf{BPP} = \mathsf{BPTIME}(t_{\mathsf{poly}})$, $\mathsf{RP} = \mathsf{RTIME}(t_{\mathsf{poly}})$, $\mathsf{UP} = \mathsf{UTIME}(t_{\mathsf{poly}})$, $\mathsf{PP} = \mathsf{PTIME}(t_{\mathsf{poly}})$, $\mathsf{Mod}_k\mathsf{P} = \mathsf{Mod}_k\mathsf{TIME}(t_{\mathsf{poly}})$, $\mathsf{PSPACE} = \mathsf{DSPACE}(t_{\mathsf{poly}})$, and so forth. A similar statement holds for any collection of language classes, provided that each class is definable by applying a certain complexity class operator to some Blum complexity class. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 11 pages

On a Weighted Series of the Hurwitz Zeta Function

Authors: Matthew Fox, Chaitanya Karamchedu

Abstract: In this note we prove that for all $a \in \mathbb{N}$, $x \in \mathbb{R}_+ \cup \{0\}$, and $s \in \mathbb{C}$ with $\Re(s) > a + 2$, the (alternating) weighted series of the Hurwitz zeta function, $$ \sum_{k \geq 1} (\pm 1)^k (k + x)^aζ(s,k + x), $$ resolves into a finite combination of Hurwitz (Lerch) zeta functions. This applies in Marichal and Zenaïdi's theory on analogues of the Bohr-Mollerup… ▽ More In this note we prove that for all $a \in \mathbb{N}$, $x \in \mathbb{R}_+ \cup \{0\}$, and $s \in \mathbb{C}$ with $\Re(s) > a + 2$, the (alternating) weighted series of the Hurwitz zeta function, $$ \sum_{k \geq 1} (\pm 1)^k (k + x)^aζ(s,k + x), $$ resolves into a finite combination of Hurwitz (Lerch) zeta functions. This applies in Marichal and Zenaïdi's theory on analogues of the Bohr-Mollerup theorem for higher-order convex functions. △ Less

Submitted 3 February, 2023; originally announced February 2023.

Comments: 8 pages

MSC Class: 11M35

On the Ramsey Numbers of Odd-Linked Double Stars

Authors: Chaitanya Karamchedu, Maria Klawe

Abstract: The linked double star $S_c(n,m)$, where $n \geq m \geq 0$, is the graph consisting of the union of two stars $K_{1,n}$ and $K_{1,m}$ with a path on $c$ vertices joining the centers. Its ramsey number $r(S_c(n,m))$ is the smallest integer $r$ such that every $2$-coloring of the edges of a $K_r$ admits a monochromatic $S_c(n,m)$. In this paper, we study the ramsey numbers of linked double stars whe… ▽ More The linked double star $S_c(n,m)$, where $n \geq m \geq 0$, is the graph consisting of the union of two stars $K_{1,n}$ and $K_{1,m}$ with a path on $c$ vertices joining the centers. Its ramsey number $r(S_c(n,m))$ is the smallest integer $r$ such that every $2$-coloring of the edges of a $K_r$ admits a monochromatic $S_c(n,m)$. In this paper, we study the ramsey numbers of linked double stars when $c$ is odd. In particular, we establish bounds on the value of $r(S_c(n,m))$ and determine the exact value of $r(S_c(n,m))$ if $n \geq c$, or if $n \leq \lfloor \frac{c}{2} \rfloor - 2$ and $m = 2$. △ Less

Submitted 14 October, 2021; originally announced October 2021.

On Ramanujan Sums of a Real Variable and a New Ramanujan Expansion for the Divisor Function

Authors: Matthew S. Fox, Chaitanya Karamchedu

Abstract: We show that the absolute convergence of a Ramanujan expansion does not guarantee the convergence of its real variable generalization, which is obtained by replacing the integer argument in the Ramanujan sums with a real number. We also construct a new Ramanujan expansion for the divisor function. While our expansion is amenable to a continuous and absolutely convergent real variable generalizatio… ▽ More We show that the absolute convergence of a Ramanujan expansion does not guarantee the convergence of its real variable generalization, which is obtained by replacing the integer argument in the Ramanujan sums with a real number. We also construct a new Ramanujan expansion for the divisor function. While our expansion is amenable to a continuous and absolutely convergent real variable generalization, it only interpolates the divisor function locally on $\mathbb{R}$. △ Less

Submitted 20 October, 2020; originally announced October 2020.

Comments: 6 pages

Journal ref: Ramanujan J. (2021)