Search

We give common generalizations of the Menon-type identities by Sivaramakrishnan (1969) and Li, Kim, Qiao (2019). Our general identities involve arithmetic functions of several variables, and also contain, as special cases, identities for gcd-sum type functions. We point out a new Menon-type identity concerning the lcm function. We present a simple character free approach for the proof., Comment: 14 pages

A record mentioned in the paper by Moree (Abh Math Sem Univ Hamburg 77:109–127, 2007) was recently improved on by Akbary and Scholten. However, the record mentioned was not the then record. The then record, due to Gallot (2004), actually slightly improves on that obtained recently by Akbary and Scholten.

This note is related to a nice short paper of M. Ochiai. We prove in a very fast way that the two-parameter family of Heegaard diagrams, constructed by Ochiai, encodes the genuine three-sphere. The result is obtained, up to isotopy, by using a sequence of only three moves in this order: a Whitehead–Zieschang reduction, a band sum and a cancellation of a handle.

Most of the known continued fraction expansions of special functions are limit periodic. This means that the classical approximants S n (0) are normally not the best ones to use for approximations. In this paper we suggest a number of approximants S n (w n ) which converge faster. The estimation of the improvement and bounds for the error |f - Sn(wn)| (which we still call the truncation error) are mainly obtained by means of Thron's parabola sequence theorem and the oval sequence theorem.

We generalize and give a simple proof of a Theorem of Blasco. For a topological space X , C(X) denotes the algebra of real valued continuous functions on X under the operation (αf + gh)(x) := αf(x) + h(x)g(x) for each f, g, h ∈ C(X) and α ∈ R. An algebra A on X means a subalgebra of C(X) which contains the constant functions. By a ∗-algebra A on X we mean an algebra on X and all bounded functions in A separate points from the closed sets. Let A be an algebra on X and π : A −→ R be a (algebra) homomorphism and α be a cardinal number. π is said to be α-evaluating if for each subset B of A with cardinality at most α there exits xB ∈ X such that π(f) = f(xB) for each f ∈ B. If α = |N|(=the cardinal number of the set of the natural numbers N), the α-evaluating homomorphism is called countable evaluating. Let α be a cardinal number. Recall that a topological space X is called αLindelof if for each open cover U has a subcover V such that the cardinality of V is at most α. A lindelof space means a |N|-Lindelof space. The following theorem is given in [1] as one of the main results. Theorem 1. Let X be a completely regular Hausdorff space. Then X is Lindelof if and only if each countable evaluating homomorphism π on a ∗-algebra A on X is point evaluating. Received June 9, 2004; accepted June 30, 2004. Communicated by Bor-Luh Lin. 2000 Mathematics Subject Classification: Primary 54C35, 46E25.

Let G be an abelian group. The aim of this short paper is to describe a way to identify pure subgroups H of G by looking only at how the subgroup lattice $$\mathcal {L}(H)$$ L ( H ) embeds in $$\mathcal {L}(G)$$ L ( G ) . It is worth noticing that all results are carried out in a local nilpotent context for a general definition of purity.

In a recent paperf entitled A note on the linear fractional group, Todd obtained an abstract definition for the group LF(2, 2) in terms of n+2 generators. Apparently he gave no consideration to the question of the independence of the defining relations, for they can be considerably simplified. First, in view of the condition RSi = Si+iR (which is the same as i£S0^~* = Si), the three generators U, R and S0 are sufficient to generate the entire group. If we give a definition in teims of these three generators alone, the relations

This short paper concerns the existence of curves with low gonality on smooth hypersurfaces $$X\subset \mathbb {P}^{n+1}$$ . After reviewing a series of results on this topic, we report on a recent progress we achieved as a product of the Workshop Birational geometry of surfaces, held at University of Rome “Tor Vergata” on January 11th–15th, 2016. In particular, we obtained that if $$X\subset \mathbb {P}^{n+1}$$ is a very general hypersurface of degree $$d\geqslant 2n+2$$ , the least gonality of a curve $$C\subset X$$ passing through a general point of X is $$\mathrm {gon}(C)=d-\left\lfloor \frac{\sqrt{16n+1}-1}{2}\right\rfloor $$ , apart from some exceptions we list.

In this short paper, we extend the classical Hoffman-Meeks Halfspace Theorem [Hoffman and Meeks, 'The strong halfspace theorem for minimal surfaces', Invent. Math. 101 (1990) 373-377] to self-shrinkers, that is: Let $P$ be a hyperplane passing through the origin. The only properly immersed self-shrinker $\Sigma $ contained in one of the closed half-space determined by $P$ is $\Sigma = P$. Our proof is geometric and uses a catenoid type hypersurface discovered by Kleene-Moller [Kleene and Moller, 'Self-shrinkers with a rotational symmetry', Trans. Amer. Math. Soc. 366 (2014) 3943-3963]. Also, using a similar geometric idea, we obtain that the only self-shrinker properly immersed in an closed cylinder $ \overline {B^{k+1} (R)} \times {\mathbb R}^{n-k}\subset {\mathbb R}^{n+1}$, for some $k\in \{1, \ldots, n\}$ and radius $R$, $R \leqslant \sqrt {2k}$, is the cylinder ${\mathbb S}^k (\sqrt {2k}) \times {\mathbb R}^{n-k}$. We also extend the above results for $\lambda $-hypersurfaces.

In this paper, we prove some new Simpson's type inequalities for partial $ (p, q) $-differentiable convex functions of two variables in the context of $ (p, q) $-calculus. We also show that the findings in this paper are generalizations of comparable findings in the literature.

When the reduced twisted $C^*$-algebra $C^*_r(\mathcal{G}, c)$ of a non-principal groupoid $\mathcal{G}$ admits a Cartan subalgebra, Renault's work on Cartan subalgebras implies the existence of another groupoid description of $C^*_r(\mathcal{G}, c)$. In an earlier paper, joint with Reznikoff and Wright, we identified situations where such a Cartan subalgebra arises from a subgroupoid $\mathcal{S}$ of $\mathcal{G}$. In this paper, we study the relationship between the original groupoids $\mathcal{S}, \mathcal{G}$ and the Weyl groupoid and twist associated to the Cartan pair. We first identify the spectrum $\mathfrak{B}$ of the Cartan subalgebra $C^*_r(\mathcal{S}, c)$. We then show that the quotient groupoid $\mathcal{G}/\mathcal{S}$ acts on $\mathfrak{B}$, and that the corresponding action groupoid is exactly the Weyl groupoid of the Cartan pair. Lastly we show that, if the quotient map $\mathcal{G}\to\mathcal{G}/\mathcal{S}$ admits a continuous section, then the Weyl twist is also given by an explicit continuous $2$-cocycle on $\mathcal{G}/\mathcal{S} \ltimes \mathfrak{B}$., 32 pages

In this paper we give Hadamard inequalities for exponentially $ (\alpha, h-m) $-convex functions using Riemann-Liouville fractional integrals for strictly increasing function. Results for Riemann-Liouville fractional integrals of convex, $ m $-convex, $ s $-convex, $ (\alpha, m) $-convex, $ (s, m) $-convex, $ (h-m) $-convex, $ (\alpha, h-m) $-convex, exponentially convex, exponentially $ m $-convex, exponentially $ s $-convex, exponentially $ (s, m) $-convex, exponentially $ (h-m) $-convex, exponentially $ (\alpha, h-m) $-convex functions are particular cases of the results of this paper. The error estimations of these inequalities by using two fractional integral identities are also given.

In this paper we reconsider a known technique for constructing strong MIP formulations for disjunctive constraints of the form $$x \in \bigcup _{i=1}^m P_i$$ x ∈ ⋃ i = 1 m P i , where the $$P_i$$ P i are polytopes. The formulation is based on the Cayley Embedding of the union of polytopes, namely, $$Q := \mathrm {conv}(\bigcup _{i=1}^m P_i\times \{\epsilon ^i\})$$ Q : = conv ( ⋃ i = 1 m P i × { ϵ i } ) , where $$\epsilon ^i$$ ϵ i is the ith unit vector in $${\mathbb {R}}^m$$ R m . Our main contribution is a full characterization of the facets of Q, provided it has a certain network representation. In the second half of the paper, we work-out a number of applications from the literature, e.g., special ordered sets of type 2, logical constraints, the cardinality indicating polytope, union of simplicies, etc., along with a more complex recent example. Furthermore, we describe a new formulation for piecewise linear functions defined on a grid triangulation of a rectangular region $$D \subset {\mathbb {R}}^d$$ D ⊂ R d using a logarithmic number of auxilirary variables in the number of gridpoints in D for any fixed d. The series of applications demonstrates the richness of the class of disjunctive constraints for which our method can be applied.

In the present paper, we consider the nonparametric regression model with random design based on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\mathbf{X}_\mathrm{t},\mathbf{Y}_\mathrm{t})_{\mathrm{t}\ge 0}$$\end{document}(Xt,Yt)t≥0 a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {R}^{d}\times \mathbb {R}^{q}$$\end{document}Rd×Rq-valued strictly stationary and ergodic continuous time process, where the regression function is given by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m(\mathbf{x},\psi ) = \mathbb {E}(\psi (\mathbf{Y}) \mid \mathbf{X} = \mathbf{x}))$$\end{document}m(x,ψ)=E(ψ(Y)∣X=x)), for a measurable function \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi : \mathbb {R}^{q} \rightarrow \mathbb {R}$$\end{document}ψ:Rq→R. We focus on the estimation of the location \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Theta }}$$\end{document}Θ (mode) of a unique maximum of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m(\cdot , \psi )$$\end{document}m(·,ψ) by the location \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \widehat{{\varvec{\Theta }}}_\mathrm{T}$$\end{document}Θ^T of a maximum of the Nadaraya–Watson kernel estimator \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\widehat{m}_\mathrm{T}(\cdot , \psi )$$\end{document}m^T(·,ψ) for the curve \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m(\cdot , \psi )$$\end{document}m(·,ψ). Within this context, we obtain the consistency with rate and the asymptotic normality results for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \widehat{{\varvec{\Theta }}}_\mathrm{T}$$\end{document}Θ^T under mild local smoothness assumptions on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$m(\cdot , \psi )$$\end{document}m(·,ψ) and the design density \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f(\cdot )$$\end{document}f(·) of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf{X}$$\end{document}X. Beyond ergodicity, any other assumption is imposed on the data. This paper extends the scope of some previous results established under the mixing condition. The usefulness of our results will be illustrated in the construction of confidence regions.

The principal aim of this paper is to introduce $\mathtt{k}$-fractional derivative operator by using the definition of $\mathtt{k}$-beta function. This paper establishes some results related to the newly defined fractional operator such as the Mellin transform and the relations to $\mathtt{k}$-hypergeometric and $\mathtt{k}$-Appell's functions. Also, we investigate the $\mathtt{k}$-fractional derivative of $\mathtt{k}$-Mittag-Leffler and the Wright hypergeometric functions.

In the paper, we solve one extremal problem of the theory of approximation of functional classes by linear methods. Namely, questions are investigated concerning the approximation of classes of differentiable functions by $\lambda$-methods of summation for their Fourier series, that are defined by the set $\Lambda =\{{{\lambda }_{\delta }}(\cdot )\}$ of continuous on $\left[ 0,\infty \right)$ functions depending on a real parameter $\delta$. The Kolmogorov-Nikol'skii problem is considered, that is one of the special problems among the extremal problems of the theory of approximation. That is, the problem of finding of asymptotic equalities for the quantity $$\mathcal{E}{{\left( \mathfrak{N};{{U}_{\delta}} \right)}_{X}}=\underset{f\in \mathfrak{N}}{\mathop{\sup }}\,{{\left\| f\left( \cdot \right)-{{U}_{\delta }}\left( f;\cdot;\Lambda \right) \right\|}_{X}},$$ where $X$ is a normalized space, $\mathfrak{N}\subseteq X$ is a given function class, ${{U}_{\delta }}\left( f;x;\Lambda \right)$ is a specific method of summation of the Fourier series. In particular, in the paper we investigate approximative properties of the three-harmonic Poisson integrals on the Weyl-Nagy classes. The asymptotic formulas are obtained for the upper bounds of deviations of the three-harmonic Poisson integrals from functions from the classes $W^{r}_{\beta,\infty}$. These formulas provide a solution of the corresponding Kolmogorov-Nikol'skii problem. Methods of investigation for such extremal problems of the theory of approximation arised and got their development owing to the papers of A.N. Kolmogorov, S.M. Nikol'skii, S.B. Stechkin, N.P. Korneichuk, V.K. Dzyadyk, A.I. Stepanets and others. But these methods are used for the approximations by linear methods defined by triangular matrices. In this paper we modified the mentioned above methods in order to use them while dealing with the summation methods defined by a set of functions of a natural argument.

In this paper the linear representation of a graph is defined. A linear representation of a graph is a subgroup of $GL(p,\mathbb{R})$, the group of invertible matrices of order $ p $ and real coefficients. It will be demonstrated that every graph admits a linear representation. In this paper, simple and finite graphs will be used, framed in the graphs theory's area

Max-plus algebra is the similarity of the classical linear algebra with two binary operations, maximum and addition. The notation Ax = Bx, where A, B are given (interval) matrices, represents (interval) two-sided (max, plus)-linear system. For the solvability of Ax = Bx, there are some pseudopolynomial algorithms, but a polynomial algorithm is still waiting for an appearance. The paper deals with the analysis of solvability of two-sided (max, plus)-linear equations with inexact (interval) data. The purpose of the paper is to get efficient necessary and sufficient conditions for solvability of the interval systems using the property of the solution set of the non-interval system Ax = Bx. The main contribution of the paper is a transformation of weak versions of solvability to either subeigenvector problems or to non-interval two-sided (max, plus)-linear systems and obtaining the equivalent polynomially checked conditions for the strong versions of solvability.

In this paper, we define D-magic labelings for oriented graphs where D is a distance set. In particular, we label the vertices of the graph with distinct integers {1,2,…,|V(G)|} in such a way that the sum of all the vertex labels that are a distance in D away from a given vertex is the same across all vertices. We give some results related to the magic constant, construct a few infinite families of D-magic graphs, and examine trees, cycles, and multipartite graphs. This definition grew out of the definition of D-magic (undirected) graphs. This paper explores some of the symmetries we see between the undirected and directed version of D-magic labelings.

In the first part of the paper, we clarify the connections between several algebraic objects appearing in matroid theory: both partial fields and hyperfields are fuzzy rings, fuzzy rings are tracts, and these relations are compatible with the respective matroid theories. Moreover, fuzzy rings are ordered blueprints and lie in the intersection of tracts with ordered blueprints; we call the objects of this intersection pastures. In the second part, we construct moduli spaces for matroids over pastures. We show that, for any non-empty finite set $E$, the functor taking a pasture $F$ to the set of isomorphism classes of rank-$r$ $F$-matroids on $E$ is representable by an ordered blue scheme $Mat(r,E)$, the moduli space of rank-$r$ matroids on $E$. In the third part, we draw conclusions on matroid theory. A classical rank-$r$ matroid $M$ on $E$ corresponds to a $\mathbb{K}$-valued point of $Mat(r,E)$ where $\mathbb{K}$ is the Krasner hyperfield. Such a point defines a residue pasture $k_M$, which we call the universal pasture of $M$. We show that for every pasture $F$, morphisms $k_M\to F$ are canonically in bijection with $F$-matroid structures on $M$. An analogous weak universal pasture $k_M^w$ classifies weak $F$-matroid structures on $M$. The unit group of $k_M^w$ can be canonically identified with the Tutte group of $M$. We call the sub-pasture $k_M^f$ of $k_M^w$ generated by ``cross-ratios' the foundation of $M$,. It parametrizes rescaling classes of weak $F$-matroid structures on $M$, and its unit group is coincides with the inner Tutte group of $M$. We show that a matroid $M$ is regular if and only if its foundation is the regular partial field, and a non-regular matroid $M$ is binary if and only if its foundation is the field with two elements. This yields a new proof of the fact that a matroid is regular if and only if it is both binary and orientable., 85 pages; some additional material, e.g. a new section 5.6; the terminology has been adapted to the usage in follow-up papers

We are interested in the McKay quiver $\Gamma(G)$ and skew group rings $A*G$, where $G$ is a finite subgroup of $\mathrm{GL}(V)$, where $V$ is a finite dimensional vector space over a field $K$, and $A$ is a $K-G$-algebra. These skew group rings appear in Auslander's version of the McKay correspondence. In the first part of this paper we consider complex reflection groups $G \subseteq \mathrm{GL}(V)$ and find a combinatorial method, making use of Young diagrams, to construct the McKay quivers for the groups $G(r,p,n)$. We first look at the case $G(1,1,n)$, which is isomorphic to the symmetric group $S_n$, followed by $G(r,1,n)$ for $r >1$. Then, using Clifford theory, we can determine the McKay quiver for any $G(r,p,n)$ and thus for all finite irreducible complex reflection groups up to finitely many exceptions. In the second part of the paper we consider a more conceptual approach to McKay quivers of arbitrary finite groups: we define the Lusztig algebra $\widetilde A(G)$ of a finite group $G \subseteq \mathrm{GL}(V)$, which is Morita equivalent to the skew group ring $A*G$. This description gives us an embedding of the basic algebra Morita equivalent to $A*G$ into a matrix algebra over $A$., Comment: v2: minor revision, final version to appear in Algebr. Represent. Theory

[EN] Let G be a finite group and let K=xG be the conjugacy class of an element x of G. In this paper, it is proved that if N is a normal subgroup of G such that the coset xN is the union of K and K-1 (the conjugacy class of the inverse of x), then N and the subgroup ¿K¿ are solvable. As an application, we prove that if there exists a natural number n >= 2 such that Kn=K?K-1, then ¿K¿ is solvable., The authors are grateful to the referee for careful reading and many helpful comments and improvements on the paper. This research is partially supported by the Spanish Government, Proyecto PGC2018-096872-B-I00 and by Generalitat Valenciana, Proyecto AICO-2020-298. The first named author is also supported by Proyecto UJI-B2019-03.

Conjectures on permanents are well-known unsettled conjectures in linear algebra. Let A be an n×n matrix and Sn be the symmetric group on n element set. The permanent of A is defined as perA=∑σ∈Sn∏i=1naiσ(i). The Merris conjectured that for all n×n doubly stochastic matrices (denoted by Ωn), nperA≥min1≤i≤n∑j=1nperA(j|i), where A(j|i) denotes the matrix obtained from A by deleting the jth row and ith column. Foregger raised a question whether per(tJn+(1−t)A)≤perA for 0≤t≤nn−1 and for all A∈Ωn, where Jn is a doubly stochastic matrix with each entry 1n. The Merris conjecture is one of the well-known conjectures on permanents. This conjecture is still open for n≥4. In this paper, we prove the Merris inequality for some classes of matrices. We use the sub permanent inequalities to prove our results. Foregger’s inequality is also one of the well-known inequalities on permanents, and it is not yet proved for n≥5. Using the concepts of elementary symmetric function and subpermanents, we prove the Foregger’s inequality for n=5 in [0.25, 0.6248]. Let σk(A) be the sum of all subpermanents of order k. Holens and Dokovic proposed a conjecture (Holen–Dokovic conjecture), which states that if A∈Ωn,A≠Jn and k is an integer, 1≤k≤n, then σk(A)≥(n−k+1)2nkσk−1(A). In this paper, we disprove the conjecture for n=k=4.

Let E∗ G be a crossed product of a division ring E and a locally indicable group G. Hughes showed that up to E∗ G-isomorphism, there exists at most one Hughes-free division E∗G-ring. However, the existence of a Hughes-free division E∗ G-ring DE∗G for an arbitrary locally indicable group G is still an open question. Nevertheless, DE∗G exists, for example, if G is amenable or G is bi-orderable. In this paper we study, whether DE∗G is the universal division ring of fractions in some of these cases. In particular, we show that if G is a residually-(locally indicable and amenable) group, then there exists DE[G] and it is universal. In Appendix we give a description of DE[G] when G is a RFRS group, This paper is partially supported by the Spanish Ministry of Science and Innovation through the grant MTM2017-82690-P and the “Severo Ochoa Programme for Centres of Excellence in R&D” (CEX2019-000904-S4). I would like to thank Dawid Kielak and an anonymous referee for useful suggestions and comments

This paper is devoted to the study of the quadruple Roman domination in trees, and it is a contribution to the Special Issue “Theoretical computer science and discrete mathematics” of Symmetry. For any positive integer k, a [k]-Roman dominating function ([k]-RDF) of a simple graph G is a function from the vertex set V of G to the set {0,1,2,…,k+1} if for any vertex u∈V with f(u)&lt, k, ∑x∈N(u)∪{u}f(x)≥|{x∈N(u):f(x)≥1}|+k, where N(u) is the open neighborhood of u. The weight of a [k]-RDF is the value Σv∈Vf(v). The minimum weight of a [k]-RDF is called the [k]-Roman domination number γ[kR](G) of G. In this paper, we establish sharp upper and lower bounds on γ[4R](T) for nontrivial trees T and characterize extremal trees.

In this paper, we introduce a general family of $q$-hypergeometric polynomials and investigate several $q$-series identities such as an extended generating function and a Srivastava-Agarwal type bilinear generating function for this family of $q$-hypergeometric polynomials. We give a transformational identity involving generating functions for the generalized $q$-hypergeometric polynomials which we have introduced here. We also point out relevant connections of the various $q$-results, which we investigate here, with those in several related earlier works on this subject. We conclude this paper by remarking that it will be a rather trivial and inconsequential exercise to give the so-called $(p,q)$-variations of the $q$-results, which we have investigated here, because the additional parameter $p$ is obviously redundant., 14 pages

Recently Panda et al. obtained some identities for the reciprocal sums of balancing and Lucas-balancing numbers. In this paper, we derive general identities related to reciprocal sums of products of two balancing numbers, products of two Lucas-balancing numbers and products of balancing and Lucas-balancing numbers. The method of this paper can also be applied to even-indexed and odd-indexed Fibonacci, Lucas, Pell and Pell–Lucas numbers.

An automorphism of a graph is a mapping of the vertices onto themselves such that connections between respective edges are preserved. A vertex v in a graph G is fixed if it is mapped to itself under every automorphism of G. The fixing number of a graph G is the minimum number of vertices, when fixed, fixes all of the vertices in G. The determination of fixing numbers is important as it can be useful in determining the group of automorphisms of a graph-a famous and difficult problem. Fixing numbers were introduced and initially studied by Gibbons and Laison, Erwin and Harary and Boutin. In this paper, we investigate fixing numbers for graphs with an underlying cyclic structure, which provides an inherent presence of symmetry. We first determine fixing numbers for circulant graphs, showing in many cases the fixing number is 2. However, we also show that circulant graphs with twins, which are pairs of vertices with the same neighbourhoods, have considerably higher fixing numbers. This is the first paper that investigates fixing numbers of point-block incidence graphs, which lie at the intersection of graph theory and combinatorial design theory. We also present a surprising result-identifying infinite families of graphs in which fixing any vertex fixes every vertex, thus removing all symmetries from the graph.

The aim of this note is to provoke discussion concerning arithmetic properties of function $p_{d}(n)$ counting partitions of an positive integer $n$ into $d$-th powers, where $d\geq 2$. Besides results concerning the asymptotic behavior of $p_{d}(n)$ a little is known. In the first part of the paper, we prove certain congruences involving functions counting various types of partitions into $d$-th powers. The second part of the paper has experimental nature and contains questions and conjectures concerning arithmetic behavior of the sequence $(p_{d}(n))_{n\in\N}$. They based on our computations of $p_{d}(n)$ for $n\leq 10^5$ in case of $d=2$, and $n\leq 10^{6}$ for $d=3, 4, 5$., 8 pages, revised version will appear in Bull. Aust. Math. Society

In this paper, we consider a finite-dimensional vector space 𝒫 {{\mathcal{P}}} over the Galois field GF ⁡ ( p ) {\operatorname{GF}(p)} , with p being an odd prime, and the family ℬ k x {{\mathcal{B}}_{k}^{x}} of all k-sets of elements of 𝒫 {\mathcal{P}} summing up to a given element x. The main result of the paper is the characterization, for x = 0 {x=0} , of the permutations of 𝒫 {\mathcal{P}} inducing permutations of ℬ k 0 {{\mathcal{B}}_{k}^{0}} as the invertible linear mappings of the vector space 𝒫 {\mathcal{P}} if p does not divide k, and as the invertible affinities of the affine space 𝒫 {\mathcal{P}} if p divides k. The same question is answered also in the case where the elements of the k-sets are required to be all nonzero, and, in fact, the two cases prove to be intrinsically inseparable.

With generating function and structural analysis, this paper presents the subtree generating functions and the subtree number index of generalized book graphs, generalized fan graphs, and generalized wheel graphs, respectively. As an application, this paper also briefly studies the subtree number index and the asymptotic properties of the subtree densities in regular book graphs, regular fan graphs, and regular wheel graphs. The results provide the basis for studying novel structural properties of the graphs generated by generalized book graphs, fan graphs, and wheel graphs from the perspective of the subtree number index.

Recently, Lutz and Stull used methods from algorithmic information theory to prove two new Marstrand-type projection theorems, concerning subsets of Euclidean space which are not assumed to be Borel, or even analytic. One of the theorems states that if $K \subset \mathbb{R}^{n}$ is any set with equal Hausdorff and packing dimensions, then $$ \dim_{\mathrm{H}} π_{e}(K) = \min\{\dim_{\mathrm{H}} K,1\} $$ for almost every $e \in S^{n - 1}$. Here $π_{e}$ stands for orthogonal projection to $\mathrm{span}(e)$. The primary purpose of this paper is to present proofs for Lutz and Stull's projection theorems which do not refer to information theoretic concepts. Instead, they will rely on combinatorial-geometric arguments, such as discretised versions of Kaufman's "potential theoretic" method, the pigeonhole principle, and a lemma of Katz and Tao. A secondary purpose is to slightly generalise Lutz and Stull's theorems: the versions in this paper apply to orthogonal projections to $m$-planes in $\mathbb{R}^{n}$, for all $0 < m < n$., 11 pages. v2: Incorporated referee suggestions

In 1970, Chou showed there are $|\mathbb{N}^*| = 2^{2^\mathbb{N}}$ topologically invariant means on $L_\infty(G)$ for any noncompact, $\sigma$-compact amenable group. Over the following 25 years, the sizes of the sets of topologically invariant means on $L_\infty(G)$ and $VN(G)$ were determined for any locally compact group. Each paper on a new case reached the same conclusion -- "the cardinality is as large as possible" -- but a unified proof never emerged. In this paper, I show $L_1(G)$ and $A(G)$ always contain orthogonal nets converging to invariance. An orthogonal net indexed by $\Gamma$ has $|\Gamma^*|$ accumulation points, where $|\Gamma^*|$ is determined by ultrafilter theory. Among a smattering of other results, I prove Paterson's conjecture that left and right topologically invariant means on $L_\infty(G)$ coincide iff $G$ has precompact conjugacy classes., Comment: 10 pages, completely rewritten from v2

In part I of this paper we studied additive decomposability of the set F y of the y -smooth numbers and the multiplicative decomposability of the shifted set G y = F y + { 1 } . In this paper, focusing on the case of ’large’ functions y , we continue the study of these problems. Further, we also investigate a problem related to the m-decomposability of k -term sumsets, for arbitrary k .

This paper introduces a general approach to the idea of protection of graphs, which encompasses the known variants of secure domination and introduces new ones. Specifically, we introduce the study of secure w-domination in graphs, where w=(w0,w1,⋯,wl) is a vector of nonnegative integers such that w0&ge, 1. The secure w-domination number is defined as follows. Let G be a graph and N(v) the open neighborhood of v&isin, V(G). We say that a function f:V(G)⟶{0,1,⋯,l} is a w-dominating function if f(N(v))=&sum, u&isin, N(v)f(u)&ge, wi for every vertex v with f(v)=i. The weight of f is defined to be &omega, (f)=&sum, v&isin, V(G)f(v). Given a w-dominating function f and any pair of adjacent vertices v,u&isin, V(G) with f(v)=0 and f(u)&gt, 0, the function fu&rarr, v is defined by fu&rarr, v(v)=1, fu&rarr, v(u)=f(u)&minus, 1 and fu&rarr, v(x)=f(x) for every x&isin, V(G)∖{u,v}. We say that a w-dominating function f is a secure w-dominating function if for every v with f(v)=0, there exists u&isin, N(v) such that f(u)&gt, 0 and fu&rarr, v is a w-dominating function as well. The secure w-domination number of G, denoted by &gamma, ws(G), is the minimum weight among all secure w-dominating functions. This paper provides fundamental results on &gamma, ws(G) and raises the challenge of conducting a detailed study of the topic.

In this paper, we study Carlitz&rsquo, s type higher-order (p,q)-Genocchi polynomials. To be specific, we define Carlitz&rsquo, s type higher-order (p,q)-Genocchi polynomials and Carlitz&rsquo, s type higher-order (h,p,q)-Genocchi polynomials. This paper also explores properties including distribution relation and symmetric identities. In addition, we find alternating (p,q)-power sums. We identify symmetric identities using Carlitz&rsquo, s type higher-order (h,p,q)-Genocchi polynomials and alternating (p,q)-power sums.

The natural transformation constitutes one of the most important entity of category theory and it introduces a piece of sophisticated dynamism to the categorial structures. Each natural transformation forms a unique mapping between the so-called functors, which live between categories. In the most simple contexts, natural transformations may be recognized by commutativity of diagrams, which determine them. In fact, the natural transformation does not form any single mapping, but a pair of two components, which&ndash, together with the commutativity condition itself&ndash, introduces a kind of a symmetry to the functor diagrams. Meanwhile, the general form of the natural transformation may be predicted by means the so-called Yoneda&rsquo, s lemma in each scenario based on two-valued logic. Meanwhile, the situation may be radically different if we deal with multi-diagrams (instead of the single ones) and if we exchange the two-valued scenario for a multi-valued or fuzzy one. Due to this background&ndash, the paper introduces a new concept of multi-fuzzy natural transformation. Its definition exploits the notion of fuzzy natural transformation. Moreover, a multi-fuzzy Yoneda&rsquo, s lemma is formulated and proved. Finally, some references of these constructions to coding theory are elucidated in last parts of the paper.

In this paper, we study the spectrality and frame-spectrality of exponential systems of the type $$E(\Lambda ,\varphi ) = \{e^{2\pi i \lambda \cdot \varphi (x)}: \lambda \in \Lambda \}$$ where the phase function $$\varphi $$ is a Borel measurable which is not necessarily linear. A complete characterization of pairs $$(\Lambda ,\varphi )$$ for which $$E(\Lambda ,\varphi )$$ is an orthogonal basis or a frame for $$L^{2}(\mu )$$ is obtained. In particular, we show that the middle-third Cantor measures and the unit disc, each admits an orthogonal basis with a certain non-linear phase. Under a natural regularity condition on the phase functions, when $$\mu $$ is the Lebesgue measure on [0, 1] and $$\Lambda = {{\mathbb {Z}}},$$ we show that only the standard phase functions $$\varphi (x) = \pm x$$ are the only possible functions that give rise to orthonormal bases. Surprisingly, however we prove that there exist a greater degree of flexibility, even for continuously differentiable phase functions in higher dimensions. For instance, we were able to describe a large class of functions $$\varphi $$ defined on $${{\mathbb {R}}}^{d}$$ such that the system $$E(\Lambda ,\varphi )$$ is an orthonormal basis for $$L^{2}[0,1]^{d}$$ when $$d\ge 2.$$ Moreover, we discuss how our results apply to the discretization problem of unitary representations of locally compact groups for the construction of orthonormal bases. Finally, we conclude the paper by stating several open problems.

In this paper, an algorithm to enumerate non-hyperelliptic superspecial curves of genus $4$ over finite fields of characteristic $p \geq 5$ is constructed. As an application, the algorithm is used to enumerate non-hyperelliptic superspecial curves of genus $4$ over prime fields of characteristic $p \leq 11$. Thanks to the fact that the number of $\mathbb{F}_{p^a}$-isomorphism classes of superspecial curves over $\mathbb{F}_{p^a}$ of a fixed genus depends only on the parity of $a$, this paper contributes to the odd-degree case for genus $4$, whereas our previous work (Kudo-Harashita: Superspecial curves of genus $4$ in small characteristic) contributes to the even-degree case. This paper is the full-version of our conference paper (Kudo-Harashita: Enumerating Superspecial Curves of Genus $4$ over Prime Fields) presented at WCC2017.

In this paper, we study large $m$ asymptotics of the $l^1$ minimal $m$-partition problem for Dirichlet eigenvalue. For any smooth domain $\Omega\in \mathbb{R}^n$ such that $|\Omega|=1$, we prove that the limit $\lim\limits_{m\rightarrow\infty}l_m^1(\Omega)=c_0$ exists, and the constant $c_0$ is independent of the shape of $\Omega$. Here $l_m^1(\Omega)$ denotes the minimal value of the normalized sum of the first Laplacian eigenvalues for any $m$-partition of $\Omega$., Comment: This paper has been accepted for publication in SCIENCE CHINA Mathematics

This paper sets out to extend the results in the paper Geodesic Continued Fractions to continued fractions with Gaussian integer coefficients. The Farey graph $\mathcal{F}$ , whose vertices are reduced Gaussian rationals in $\mathbb{Q}_{\infty }(i)$ and whose edges join Farey neighbors, is introduced. The graph is modeled by the concrete realization in $\mathbb{H}^{3}$ where Farey neighbors are joined by hyperbolic geodesics (Farey geodesics) as seen in the Farey tessellation of $\mathbb{H}^{3}$ by Farey octahedrons. A natural distance $\varrho $ on $\mathbb{Q}_{\infty }(i)$ is also recalled, where $\varrho (\infty ,w)=n$ is the least number of edges in $\mathcal{F}$ from $\infty $ to $w\in \mathbb{Q}(i)$ , where $n$ is called the generation of w and a relevant path in $\mathcal{F}$ is called a geodesic expansion for $w$ . The Farey neighborhood of a reduced Gaussian rational is introduced and partitioned into neighbors of generation $n-1$ , $n$ , and $n+1$ . Subsequently, it is seen that there can be at most four Farey neighbors of generation $n-1$ in the neighborhood. An ancestral path is introduced, and a bound on the number of geodesic paths to any $w$ is established. Central to the paper are conditions for a path to be a geodesic path. The paper also addresses conditions for the existence of an infinite geodesic Gaussian integer continued fraction and suggestions of extending the paper to continued fraction with integer quaternion entries.

Masking of quantum information means that information is hidden from a subsystem and spread over a composite system. Modi et al. proved in [Phys. Rev. Lett. 120, 230501 (2018)] that this is true for some restricted sets of nonorthogonal quantum states and it is not possible for arbitrary quantum states. In this paper, we discuss the problem of masking quantum information encoded in pure and mixed states, respectively. Based on an established necessary and sufficient condition for a set of pure states to be masked by an operator, we find that there exists a set of four states that can not be masked, which implies that to mask unknown pure states is impossible. We construct a masker $S^\sharp$ and obtain its maximal maskable set, leading to an affirmative answer to a conjecture proposed in Modi's paper mentioned above. We also prove that an orthogonal (resp. linearly independent) subset of pure states can be masked by an isometry (resp. injection). Generalizing the case of pure states, we introduce the maskability of a set of mixed states and prove that a commuting subset of mixed states can be masked by an isometry $S^{\diamond}$ while it is impossible to mask all of mixed states by any operator. We also find the maximal maskable sets of mixed states of the isometries ${S^{\sharp}}$ and ${S^{\diamond}}$, respectively.

The present paper is concerned with the Alexandroff one point compactification of the Marcus-Wyse (M-, for brevity) topological space ( Z 2 , &gamma, ) . This compactification is called the infinite M-topological sphere and denoted by ( ( Z 2 ) * , &gamma, * ) , where ( Z 2 ) * : = Z 2 &cup, { * } , * &notin, Z 2 and &gamma, * is the topology for ( Z 2 ) * induced by the topology &gamma, on Z 2 . With the topological space ( ( Z 2 ) * , &gamma, * ) , since any open set containing the point ` ` * " has the cardinality &alefsym, 0 , we call ( ( Z 2 ) * , &gamma, * ) the infinite M-topological sphere. Indeed, in the fields of digital or computational topology or applied analysis, there is an unsolved problem as follows: Under what category does ( ( Z 2 ) * , &gamma, * ) have the fixed point property (FPP, for short)? The present paper proves that ( ( Z 2 ) * , &gamma, * ) has the FPP in the category M o p ( &gamma, * ) whose object is the only ( ( Z 2 ) * , &gamma, * ) and morphisms are all continuous self-maps g of ( ( Z 2 ) * , &gamma, * ) such that | g ( ( Z 2 ) * ) | = &alefsym, 0 with * &isin, g ( ( Z 2 ) * ) or g ( ( Z 2 ) * ) is a singleton. Since ( ( Z 2 ) * , &gamma, * ) can be a model for a digital sphere derived from the M-topological space ( Z 2 , &gamma, ) , it can play a crucial role in topology, digital geometry and applied sciences.

Given an infinite family of extended real-valued functions fi, i∈I, and a family H of nonempty finite subsets of I, the H-partial robust sum of fi, i∈I, is the supremum, for J∈H, of the finite sums ∑j∈Jfj. These infinite sums arise in a natural way in location problems as well as in functional approximation problems, and include as particular cases the well-known sup function and the so-called robust sum function, corresponding to the set H of all nonempty finite subsets of I, whose unconstrained minimization was analyzed in previous papers of three of the authors (https://doi.org/10.1007/s11228-019-00515-2 and https://doi.org/10.1007/s00245-019-09596-9). In this paper, we provide ordinary and stable zero duality gap and strong duality theorems for the minimization of a given H-partial robust sum under constraints, as well as closedness and convex criteria for the formulas on the subdifferential of the sup-function. This research was supported by the National Foundation for Science & Technology Development (NAFOSTED), Vietnam, Project 101.01-2018.310, and by Ministerio de Ciencia, Innovación y Universidades (MCIU), Agencia Estatal de Investigación (AEI), and European Regional Development Fund (ERDF), Project PGC2018-097960-B-C22.

In the following paper, one studies, given a bounded, connected open set $\Omega$ $\subseteq$ R n , $\kappa$ > 0, a positive Radon measure $\mu$ 0 in $\Omega$ and a (signed) Radon measure $\mu$ on $\Omega$ satisfying $\mu$($\Omega$) = 0 and |$\mu$| $\kappa$$\mu$ 0 , the possibility of solving the equation div u = $\mu$ by a vector field u satisfying |u| $\kappa$w on $\Omega$ (where w is an integrable weight only related to the geometry of $\Omega$ and to $\mu$ 0), together with a mild boundary condition. This extends results obtained in [4] for the equation div u = f , improving them on two aspects: one works here with the divergence equation with measure data, and also construct a weight w that relies in a softer way on the geometry of $\Omega$, improving its behavior (and hence the a priori behavior of the solution we construct) substantially in some instances. The method used in this paper follows a constructive approach of Bogovskii type.

The main purpose of this paper is to use the Hardy&ndash, Littlewood method to study the solvability of mixed powers of primes. To be specific, we consider the even integers represented as the sum of one prime, one square of prime, one cube of prime, and one biquadrate of prime. However, this representation can not be realized for all even integers. In this paper, we establish the exceptional set of this kind of representation and give an upper bound estimate.

We use hypergeometric sheaves on $G_m/F_q$, which are particular sorts of rigid local systems, to construct explicit local systems whose arithmetic and geometric monodromy groups are the finite general linear groups $GL_n(q)$ for any $n \ge 2$ and and any prime power $q$, so long as $q > 3$ when $n=2$. This paper continues a program of finding simple (in the sense of simple to remember) families of exponential sums whose monodromy groups are certain finite groups of Lie type, cf. [Gr], [KT1], [KT2], [KT3] for (certain) finite symplectic and unitary groups, or certain sporadic groups, cf. [KRL], [KRLT1], [KRLT2], [KRLT3]. The novelty of this paper is obtaining $GL_n(q)$ in this hypergeometric way. A pullback construction then yields local systems on $A^1/F_q$ whose geometric monodromy groups are $SL_n(q)$. These turn out to recover a construction of Abhyankar., 26 pages

We have studied the k-rainbow domination number of C n □ C m for k &ge, 4 (Gao et al. 2019), in which we present the 3-rainbow domination number of C n □ C m , which should be bounded above by the four-rainbow domination number of C n □ C m . Therefore, we give a rough bound on the 3-rainbow domination number of C n □ C m . In this paper, we focus on the 3-rainbow domination number of the Cartesian product of cycles, C n □ C m . A 3-rainbow dominating function (3RDF) f on a given graph G is a mapping from the vertex set to the power set of three colors { 1 , 2 , 3 } in such a way that every vertex that is assigned to the empty set has all three colors in its neighborhood. The weight of a 3RDF on G is the value &omega, ( f ) = &sum, v &isin, V ( G ) | f ( v ) | . The 3-rainbow domination number, &gamma, r 3 ( G ) , is the minimum weight among all weights of 3RDFs on G. In this paper, we determine exact values of the 3-rainbow domination number of C 3 □ C m and C 4 □ C m and present a tighter bound on the 3-rainbow domination number of C n □ C m for n &ge, 5 .