On interpolation of noncommutative symmetric Hardy spaces

We proved the noncommutative analogue of Calderón’s result for fully symmetric spaces \(E_1\) and \(E_2\) on (0, 1) and for a finite von Neumann algebra \({{\mathcal {M}}}\). We also proved the noncommutative symmetric Hardy space’s analogue of Calderón’s result for fully symmetric spaces and for finite subdiagonal subalgebras.     

Congruences modulo powers of 2 for a certain partition function

We study the divisibility properties of the coefficients c(n) defined by

$\prod_{n=1}^\infty\frac{1}{(1-q^n)^2(1-q^{3n})^2}=\sum _{n=0}^\infty c(n)q^n.$

An analogue of Ramanujan’s partition congruences is obtained for certain coefficients c(n) modulo powers of 2. Furthermore, an analogue of the identity that Hardy regarded as Ramanujan’s most beautiful is proved.

     

Semisimple Representations of Alternating Cyclotomic Hecke Algebras

We define alternating cyclotomic Hecke algebras in higher levels as subalgebras of cyclotomic Hecke algebras under an analogue of Goldman’s hash involution. We compute the rank of these algebras and construct a full set of irreducible representations in the semisimple case, generalising Mitsuhashi’s results Mitsuhashi (J. Alg. 240 535–558 2001, J. Alg. 264 231–250 2003).     

$$\text{ Pin }^-(2)$$-monopole equations and intersection forms with local coefficients of four-manifolds

We introduce a variant of the Seiberg-Witten equations, \(\text{ Pin }^-(2)\)-monopole equations, and give its applications to intersection forms with local coefficients of four-manifolds. The first application is an analogue of Froyshov’s results on four-manifolds with definite intersection forms with local coefficients. The second is a local coefficient version of Furuta’s \(10/8\)-inequality. As a corollary, we construct nonsmoothable spin four-manifolds satisfying Rohlin’s theorem and the \(10/8\)-inequality.     

Partition identities and quiver representations

We present a particular connection between classical partition combinatorics and the theory of quiver representations. Specifically, we give a bijective proof of an analogue of A. L. Cauchy’s Durfee square identity to multipartitions. We then use this result to give a new proof of M. Reineke’s identity in the case of quivers \({\mathcal {Q}}\) of Dynkin type A. Our identity is stated in terms of the lacing diagrams of S. Abeasis–A. Del Fra, which parameterize orbits of the representation space of \({\mathcal {Q}}\) for a fixed dimension vector.     

Wolff’s Problem of Ideals in the Multiplier Algebra on Dirichlet Space

We establish an analogue of Wolff’s theorem on ideals in \(H^{\infty }(\mathbb {D})\) for the multiplier algebra of Dirichlet space.     

A generalizaton of Hardy’s uncertainty principle on compact extensions of \mathbb R ^n

Let \(K\) be a compact subgroup of automorphisms of \(\mathbb R ^n\) . We prove in this paper a generalization of Hardy’s uncertainty principle on the semi-direct product \(K\ltimes \mathbb R ^n\) , and we solve the sharpness problem. As a consequence, a complete analogue of classical Hardy’s theorem is obtained. The representation theory and the Plancherel formula play an important role in the proofs.     

Reformulation of Hensel’s Lemma and extension of a theorem of Ore

In this paper, we extend the theorem of Ore regarding factorization of polynomials over p-adic numbers to henselian valued fields of arbitrary rank thereby generalizing the main results of Khanduja and Kumar (J Pure Appl Algebra 216:2648–2656, 2012) and Cohen et al. (Mathematika 47:173–196, 2000). As an application, we derive the analogue of Dedekind’s Theorem regarding splitting of rational primes in algebraic number fields as well as of its converse for general valued fields extending similar results proved for discrete valued fields in Khanduja and Kumar (Int J Number Theory 4:1019–1025, 2008). The generalized version of Ore’s Theorem leads to an extension of a result of Weintraub dealing with a generalization of Eisenstein Irreducibility Criterion (cf. Weintraub in Proc Am Math Soc 141:1159–1160, 2013). We also give a reformulation of Hensel’s Lemma for polynomials with coefficients in henselian valued fields which is used in the proof of the extended Ore’s Theorem and was proved in Khanduja and Kumar (J Algebra Appl 12:1250125, 2013) in the particular case of complete rank one valued fields.     

Harmonic functions of general graph Laplacians

We study harmonic functions on general weighted graphs which allow for a compatible intrinsic metric. We prove an \(L^{p}\) Liouville type theorem which is a quantitative integral \(L^{p}\) estimate of harmonic functions analogous to Karp’s theorem for Riemannian manifolds. As corollaries we obtain Yau’s \(L^{p}\) -Liouville type theorem on graphs, identify the domain of the generator of the semigroup on \(L^{p}\) and get a criterion for recurrence. As a side product, we show an analogue of Yau’s \(L^{p}\) Caccioppoli inequality. Furthermore, we derive various Liouville type results for harmonic functions on graphs and harmonic maps from graphs into Hadamard spaces.     

On a functional equation related to convex bodies with <Emphasis Type="Italic">SU</Emphasis>(2)-congruent projections

In this note, we consider two Riemannian metrics on a moduli space of metric graphs. Each of them could be thought of as an analogue of the Weil–Petersson metric on the moduli space of metric graphs. We discuss and compare geometric features of these two metrics with the “classic” Weil–Petersson metric in Teichmüller theory. This paper is motivated by Pollicott and Sharp’s work (Pollicott and Sharp in Geom Dedic 172(1):229–244, 2014). Moreover, we fix some errors in Pollicott and Sharp (2014).     

Quasi hyperrigidity and weak peak points for non-commutative operator systems

In this article, we introduce the notions of weak boundary representation, quasi hyperrigidity and weak peak points in the non-commutative setting for operator systems in \(C^*\)-algebras. An analogue of Saskin’s theorem relating quasi hyperrigidity and weak Choquet boundary for particular classes of \(C^*\)-algebras is proved. We also show that, if an irreducible representation is a weak boundary representation and weak peak then it is a boundary representation. Several examples are provided to illustrate these notions.     

Definability of Frobenius orbits and a result on rational distance sets

We prove that the first order theory of (possibly transcendental) meromorphic functions of positive characteristic \(p>2\) is undecidable. We also establish a negative solution to an analogue of Hilbert’s tenth problem for such fields of meromorphic functions, for Diophantine equations including vanishing conditions. These undecidability results are proved by showing that the binary relation \(\exists s\ge 0, f=g^{p^s}\) is positive existentially definable in such fields. We also prove that the abc conjecture implies a solution to the Erdös–Ulam problem on rational distance sets. These two seemingly distant topics are addressed by a study of power values of bivariate polynomials of the form F(X)G(Y).     

Seeking a proof of Xie’s inequality: analogues for series and Fourier series

Seeking to free the existence and regularity theory for the Navier–Stokes equations from assumptions about the regularity of a fluid’s boundary, we continue efforts of Wenzheng Xie and myself to prove a certain domain independent inequality for solutions of the steady Stokes equations. For the Laplacian, Xie proved an analogue of the desired inequality by using the maximum principle in obtaining an intermediary result. His conjecture that an analogue of this intermediary result is also valid for the Stokes equations remains unproven. My efforts to circumvent the need for it have led, so far, only to further interesting conjectures. Here, we seek to better understand both Xie’s arguments and mine by applying them to simpler problems concerning series and Fourier series. First, a bound is proven for a series of real numbers that can be interpreted as a bound for the sup-norm of a Fourier cosine series, in terms of the \(L^{2}\) -norms of its fractional-order derivatives of orders 1/3 and 2/3. This is generalized to a bound for a weighted sum of a sequence of real numbers. We conjecture that the hypotheses concerning the weights are satisfied by the sequence of numbers \(\{ \sin ny\}\) , for any nonzero \(y\in (-\pi ,\pi )\) . If so, we obtain an inequality for the sup-norm of a Fourier sine series, similar to that for a cosine series. Remarkably, the hypotheses for the weights are analogous to those we have been seeking to verify in trying to prove the original inequality for the Stokes equations. We conclude with a remark showing that Xie’s central argument provides a possibly new, very straightforward, proof of Hölder’s inequality for series.     

Maximal functions and ergodic averages related to Waring’s problem

We study the arithmetic analogue of maximal functions on diagonal hypersurfaces. This paper is a natural step following the papers of [13], [14] and [16]. We combine more precise knowledge of oscillatory integrals and exponential sums to generalize the asymptotic formula in Waring’s problem to an approximation formula for the Fourier transform of the solution set of lattice points on hypersurfaces arising in Waring’s problem and apply this result to arithmetic maximal functions and ergodic averages. In sufficiently large dimensions, the approximation formula, ? ²-maximal theorems and ergodic theorems were previously known. Our contribution is in reducing the dimensional constraint in the approximation formula using recent bounds of Wooley, and improving the range of ? ^p spaces in the maximal and ergodic theorems. We also conjecture the expected range of spaces.     

Uncertainty principles for the Cherednik transform

We shall investigate two uncertainty principles for the Cherednik transform on the Euclidean space $\mathfrak a$ ; Miyachi??s theorem and Beurling??s theorem. We give an analogue of Miyachi?? theorem for the Cherednik transform and under the assumption that $\mathfrak a$ has a hypergroup structure, an analogue of Beurling??s theorem for the Cherednik transform.     

Szász-Durrmeyer Operators Based on Dunkl Analogue

In this article, we construct Sz\(\acute{a}\)sz-Durrmeyer type operators based on Dunkl analogue. We investigate several approximation results by these positive linear sequences, e.g. rate of convergence by means of classical modulus of continuity, uniform approximation using Korovkin type theorem on compact interval. Further, we discuss local approximations in terms of second order modulus of continuity, Peetre’s K-functional, Lipschitz type class and rth order Lipschitz-type maximal function. Weighted approximation and statistical approximation results are discussed in the last of this article.     

A note on badly approximabe sets in projective space

Recently, Ghosh and Haynes (J Reine Angew Math 712:39–50, 2016) proved a Khintchine-type result for the problem of Diophantine approximation in certain projective spaces. In this note we complement their result by observing that a Jarník-type result also holds for ‘badly approximable’ points in real projective space. In particular, we prove that the natural analogue in projective space of the classical set of badly approximable numbers has full Hausdorff dimension when intersected with certain compact subsets of real projective space. Furthermore, we also establish an analogue of Khintchine’s theorem for convergence relating to ‘intrinsic’ approximation of points in these compact sets.     

On a Geometric Inequality Related to Fractional Integration

In this paper we consider a new kind of inequality related to fractional integration, motivated by Gressman’s paper. Based on it we investigate its multilinear analogue inequalities. Combining with Gressman’s work on multilinear integral, we establish this new kind of geometric inequalities with bilinear form and multilinear form in more general settings. Moreover, in some cases we also find the best constants and optimisers for these geometric inequalities on Euclidean spaces with Lebesgue measure settings with \(L^{p}\) bounds.