搜索结果：Scheme

It is demonstrated that one of the equations from the Lie classification list of second-order ODEs is a first integral of the Schwarz equation. As symmetry-preserving finite-difference schemes have been previously constructed for both equations, the preservation of a similar connection between these schemes is studied. It is shown that the schemes for the Schwarz equation and the second-order ODE (with an arbitrary constant $C$) can be related through a Bäcklund-type difference transformation. In addition, previously unexamined aspects of the difference scheme for the second-order ODE are discussed, including its singular solution and the complete set of difference first integrals for the case $C^2=4$.

We study Hodge loci as leaf schemes of foliations. The main ingredient is the Gauss-Manin connection matrix of families of projective varieties. We also aim to investigate a conjecture on the ring of definition of leaf schemes and its consequences such as the algebraicity of leaf schemes (Cattani-Deligne-Kaplan theorem in the case of Hodge loci). This conjecture is a consequence of a local-global principle for leaf schemes.

We provide some conditions for the image of a morphism of abelian schemes to again be an abelian scheme. For context, in characteristic 0, the image is always an abelian scheme; in mixed and positive characteristic the image can fail to be an abelian scheme, and so it is in this setting that the conditions we provide are pertinent.

Calysto Scheme is written in Scheme in Continuation-Passing Style, and converted through a series of correctness-preserving program transformations into Python. It has support for standard Scheme functionality, including call/cc, as well as syntactic extensions, a nondeterministic operator for automatic backtracking, and many extensions to allow Python interoperation. Because of its Python foundation, it can take advantage of modern Python libraries, including those for machine learning and other pedagogical contexts. Although Calysto Scheme was developed with educational purposes in mind, it has proven to be generally useful due to its simplicity and ease of installation. It has been integrated into the Jupyter Notebook ecosystem and used in the classroom to teach introductory Programming Languages with some interesting and unique twists.

Unconditional security in quantum key distribution (QKD) relies on authenticating the identities of users involved in key distribution. While classical identity authentication schemes were initially utilized in QKD implementations, concerns regarding their vulnerability have prompted the exploration of quantum identity authentication (QIA) protocols. In this study, we introduce a new protocol for QIA, derived from the concept of controlled secure direct quantum communication. Our proposed scheme facilitates simultaneous authentication between two users, Alice and Bob, leveraging Bell states with the assistance of a third party, Charlie. Through rigorous security analysis, we demonstrate that the proposed protocol withstands various known attacks, including impersonation, intercept and resend and impersonated fraudulent attacks. Additionally, we establish the relevance of the proposed protocol by comparing it with the existing protocols of similar type.

We advance the thesis that the simulation of quantum circuits is fundamentally about the efficient management of a large (potentially exponential) number of delimited continuations. The family of Scheme languages, with its efficient implementations of first-class continuations and with its imperative constructs, provides an elegant host for modeling and simulating quantum circuits.

On the basis of the recent group classification of the one-dimensional magnetohydrodynamics (MHD) equations in cylindrical geometry, the construction of symmetry-preserving finite-difference schemes with conservation laws is carried out. New schemes are constructed starting from the classical completely conservative Samarsky-Popov schemes. In the case of finite conductivity, schemes are derived that admit all the symmetries and possess all the conservation laws of the original differential model, including previously unknown conservation laws. In the case of a frozen-in magnetic field (when the conductivity is infinite), various schemes are constructed that possess conservation laws, including those preserving entropy along trajectories of motion. The peculiarities of constructing schemes with an extended set of conservation laws for specific forms of entropy and magnetic fluxes are discussed.

We study the locus of the liftings of a homogeneous ideal $H$ in a polynomial ring over any field. We prove that this locus can be endowed with a structure of scheme $\mathrm L_H$ by applying the constructive methods of Gröbner bases, for any given term order. Indeed, this structure does not depend on the term order, since it can be defined as the scheme representing the functor of liftings of $H$. We also provide an explicit isomorphism between the schemes corresponding to two different term orders. Our approach allows to embed $\mathrm L_H$ in a Hilbert scheme as a locally closed subscheme, and, over an infinite field, leads to find interesting topological properties, as for instance that $\mathrm L_H$ is connected and that its locus of radical liftings is open. Moreover, we show that every ideal defining an arithmetically Cohen-Macaulay scheme of codimension two has a radical lifting, giving in particular an answer to an open question posed by L. G. Roberts in 1989.

This article studies an extended Nori and local fundamental group schemes of Abelian varieties. We also discuss the birational invariance of these group schemes and study their behaviour under the Albanese and étale morphisms.

This paper presents a construction of a proper and stable labelled sample compression scheme of size $O(\VCD^2)$ for any finite concept class, where $\VCD$ denotes the Vapnik-Chervonenkis Dimension. The construction is based on a well-known model of machine teaching, referred to as recursive teaching dimension. This substantially improves on the currently best known bound on the size of sample compression schemes (due to Moran and Yehudayoff), which is exponential in $\VCD$. The long-standing open question whether the smallest size of a sample compression scheme is in $O(\VCD)$ remains unresolved, but our results show that research on machine teaching is a promising avenue for the study of this open problem. As further evidence of the strong connections between machine teaching and sample compression, we prove that the model of no-clash teaching, introduced by Kirkpatrick et al., can be used to define a non-trivial lower bound on the size of stable sample compression schemes.

Directed signature scheme is applicable when the signed message contains information sensitive to the receiver, because only receiver can directly verify the signature and that he/she can prove its validity to any third party, whenever necessary. This paper presents two applications of directed signature scheme. (i) Directed –Delegated Signature Scheme. This scheme combines the idea of proxy signatures with directed signature scheme. (ii) Allocation of registration number. This scheme proposes a registration scheme in which the registration number cannot be forged and misused.

The following three types of objects are considered in a dual functorial formalism: (i) ind-scheme of mappings between two schemes, (ii) for a quantum group G, ind-scheme of G-mappings between two G-schemes, and (iii) ind-scheme of group homomorphisms between two quantum group. By schemes and quantum groups here we mean objects which are respectively dual to unital associative algebras and Hopf algebras.

We extend the notion of an enumeration scheme developed by Zeilberger and Vatter to the case of vincular patterns (also called "generalized patterns" or "dashed patterns"). In particular we provide an algorithm which takes in as input a set $B$ of vincular patterns and search parameters and returns a recurrence (called a "scheme") to compute the number of permutations of length $n$ avoiding $B$ or confirmation that no such scheme exists within the search parameters. We also prove that if $B$ contains only consecutive patterns and patterns of the form $σ_1σ_2 ... σ_{t-1}-σ_t$, then such a scheme must exist and provide the relevant search parameters. The algorithms are implemented in Maple and we provide empirical data on the number of small pattern sets admitting schemes. We make several conjectures on Wilf-classification based on this data. We also outline how to refine schemes to compute the number of $B$-avoiding permutations of length $n$ with $k$ inversions.

In this paper we consider the Hilbert scheme $Hilb_{p(t)}^n$ parameterizing subschemes of $P^n$ with Hilbert polynomial $p(t)$, and we investigate its locus containing points corresponding to schemes with regularity lower than or equal to a fixed integer $r'$. This locus is an open subscheme of $Hilb_{p(t)}^n$ and, for every $s\geq r'$, we describe it as a locally closed subscheme of the Grasmannian $Gr_{p(s)}^{N(s)}$ given by a set of equations of degree $\leq \mathrm{deg}(p(t))+2$ and linear inequalities in the coordinates of the Plücker embedding.