相关论文: Symmetric Interpolation, Exchange Lemma and Sylves…
Classical statistical learning theory predicts a U-shaped relationship between test loss and model capacity, driven by the bias-variance trade-off. Recent advances in modern machine learning have revealed a more complex pattern,…
Nonlinear boundary value problems (BVPs) by means of the classical Lie symmetry method are studied. A new definition of Lie invariance for BVPs is proposed by the generalization of existing those on much wider class of BVPs. A class of…
An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and nonstrict) is proposed. The algorithm is based on a key observation that quadratic polynomial inequalities…
Interpolated multiple $q$-zeta values are deformation of multiple $q$-zeta values with one parameter, $t$, and restore classical multiple zeta values as $t = 0$ and $q \to 1$. In this paper, we discuss generating functions for sum of…
The derivation of Marko and Siggia's interpolation formula for the force-extension relation of the Worm-Like Chain Model (C.Bustamante, J.F.Marko, E.D.Siggia, and S.Smith, Science Vol.265, p.1599 (1994); J.F.Marko and E.D.Siggia,…
It is known that every function with a finite support over a given field can be interpolated by means of the Lagrangian polynomial. The question is if a similar interpolation is possible if one considers a unitary ring or a Boolean algebra…
In this work, tests of symmetry for bivariate copulas are introduced and studied using empirical Bernstein copula process. Three statistics are proposed and their asymptotic properties are established. Besides, a multiplier bootstrap…
The Kaneko--Zagier conjecture describes a correspondence between finite multiple zeta values and symmetric multiple zeta values. Its refined version has been established by Jarossay, Rosen and Ono--Seki--Yamamoto. In this paper, we…
We introduce a sub-symmetry of a differential system as an infinitesimal transformation of a subset of the system that leaves the subset invariant on the solution set of the entire system. We discuss the geometrical meaning and properties…
We produce a Schwarz lemma for the symmetrized tridisc \[ \mathbb G_3 =\{ (z_1+z_2+z_3,z_1z_2+z_2z_3+z_3z_1,z_1z_2z_3): \,|z_i|< 1, i=1,2,3 \}. \] We show that an interpolating function related to the Schward lemma for $\mathbb G_3$ is not…
The symmetry of the Hamiltonian describing the asymmetric twin model was partially studied in earlier works, and our aim here is to generalize these results for the open transfer matrix. In this spirit we first prove, that the so called…
We present a generic tree-interpolation algorithm in the SMT context with quantifiers. The algorithm takes a proof of unsatisfiability using resolution and quantifier instantiation and computes interpolants (which may contain quantifiers).…
Symmetry can be used to help solve many problems. For instance, Einstein's famous 1905 paper ("On the Electrodynamics of Moving Bodies") uses symmetry to help derive the laws of special relativity. In artificial intelligence, symmetry has…
Pole-swapping algorithms, which are generalizations of the QZ algorithm for the generalized eigenvalue problem, are studied. A new modular (and therefore more flexible) convergence theory that applies to all pole-swapping algorithms is…
By introducing a generalized notion of multiple zeta values associated with an arbitrary finite subset $S\subset \mathbb{P}^1(\mathbb{C})$ and studying their transformation properties under rational functions, we show that multiple…
We give a complete characterization of limiting interpolation spa\-ces for the real method of interpolation using extrapolation theory. For this purpose the usual tools (e.g., Boyd indices or the boundedness of Hardy type operators) are not…
In this paper, we provide a symmetric formula and a duality formula relating multiple zeta values and zeta-star values. Leveraging Zagier's formula for computing $\zeta^\star(\{2\}^p,3,\{2\}^q)$, we employ our theorems to establish a…
We introduce the balanced multiple q-zeta values. They give a new model for multiple q-zeta values, whose product formula combines the shuffle and stuffle product for multiple zeta values in a natural way. Moreover, the balanced multiple…
We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular geometric axioms, have Craig's interpolation property. As a…
The objective of this paper is, in the main, twofold: Firstly, to develop an algebraic setting for dealing with Bell polynomials and related extensions. Secondly, based on the author's previous work on multivariate Stirling polynomials…