scholarly journals Sequences and Polynomial Congruence

2020 ◽  
Author(s):  
Darrell Cox ◽  
Sourangshu Ghosh

In this paper we shall find a new connection between nth degree polynomial mod p congruence with n roots and higher order Fibonacci and Lucas sequences. We shall first discuss about the recent work been done in sequences and their connection to polynomial congruence and then find out new relations between particular recurrence relation and the congruence of the sequences

2020 ◽  
Author(s):  
Darrell Cox ◽  
Sourangshu Ghosh

In this paper we shall find a new connection between nth degree polynomial mod p congruence with n roots and higher order Fibonacci and Lucas sequences. We shall first discuss about the recent work been done in sequences and their connection to polynomial congruence and then find out new relations between particular recurrence relation and the congruence of the sequences


2012 ◽  
Vol 22 (4-5) ◽  
pp. 477-528 ◽  
Author(s):  
DEREK DREYER ◽  
GEORG NEIS ◽  
LARS BIRKEDAL

AbstractReasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relations, for reasoning about equivalence in the setting of increasingly realistic languages—languages nearly as complex as ML or Haskell. Much of the recent work in this direction has considered the interesting representation independence principles enabled by the use of local state, but it is also important to understand the principles that powerful features like higher-order state and control effects disable. This latter topic has been broached extensively within the framework of game semantics, resulting in what Abramsky dubbed the “semantic cube”: fully abstract game-semantic characterizations of various axes in the design space of ML-like languages. But when it comes to reasoning about many actual examples, game semantics does not yet supply a useful technique for proving equivalences.In this paper, we marry the aspirations of the semantic cube to the powerful proof method of step-indexed Kripke logical relations. Building on recent work of Ahmed et al. (2009), we define the first fully abstract logical relation for an ML-like language with recursive types, abstract types, general references and call/cc. We then show how, under orthogonal restrictions to the expressive power of our language—namely, the restriction to first-order state and/or the removal of call/cc—we can enhance the proving power of our possible-worlds model in correspondingly orthogonal ways, and we demonstrate this proving power on a range of interesting examples. Central to our story is the use of state transition systems to model the way in which properties of local state evolve over time.


2018 ◽  
Vol 75 (10) ◽  
pp. 3521-3540 ◽  
Author(s):  
Etienne Dunn-Sigouin ◽  
Tiffany Shaw

Recent work has shown that extreme stratospheric wave-1 negative heat flux events couple with the troposphere via an anomalous wave-1 signal. Here, a dry dynamical core model is used to investigate the dynamical mechanisms underlying the events. Ensemble spectral nudging experiments are used to isolate the role of specific dynamical components: 1) the wave-1 precursor, 2) the stratospheric zonal-mean flow, and 3) the higher-order wavenumbers. The negative events are partially reproduced when nudging the wave-1 precursor and the zonal-mean flow whereas they are not reproduced when nudging either separately. Nudging the wave-1 precursor and the higher-order wavenumbers reproduces the events, including the evolution of the stratospheric zonal-mean flow. Mechanism denial experiments, whereby one component is fixed to the climatology and others are nudged to the event evolution, suggest higher-order wavenumbers play a role by modifying the zonal-mean flow and through stratospheric wave–wave interaction. Nudging all tropospheric wave precursors (wave-1 and higher-order wavenumbers) confirms they are the source of the stratospheric waves. Nudging all stratospheric waves reproduces the tropospheric wave-1 signal. Taken together, the experiments suggest the events are consistent with downward wave propagation from the stratosphere to the troposphere and highlight the key role of higher-order wavenumbers.


1968 ◽  
Vol 64 (3) ◽  
pp. 655-658 ◽  
Author(s):  
K. McCann ◽  
K. S. Williams

Some recent work by the authors (1) on the distribution of the residues of a cubic polynomial modulo an odd prime p led to the conjecture that, in general, two cubic polynomials with integer coefficients possessing the same residues modulo p (not necessarily occurring to the same multiplicity) are equivalent, that is are related by a linear transformation modulo p. The purpose of the present paper is to prove this conjecture. We establish the following theorem.


2010 ◽  
Vol 2 (3) ◽  
Author(s):  
Paul Milenkovic

For a platform connected to its base through two chains forming a single loop, the instantaneous mobility may be expressed by a set of motion screws that is in the intersection of the sets of motion screws for each of the two chains. A recent work shows that the platform remains mobile after differential displacement along all mobile paths if the Lie closures of the screw sets of the two chains are each within the span of the union of screw sets of those chains. If this union span is one dimension short of containing the Lie closures of the two chains, a quadratic form determines whether the reference pose is at a constraint singularity and resolves the mobile paths at that singularity. Those results are now extended to a platform manipulator with more than two chains, using a recursive procedure for updating velocity, acceleration, and higher-order descriptions of platform mobility after adding successive chains. The new analytical technique characterizes the bifurcation of the mobility at constraint singularity of 3RSR, 3RER, and 3UPU platform mechanisms proposed for use in constant-velocity couplings, robotic wrists, and translational manipulators.


Author(s):  
Feng Qi ◽  
Jiao-Lian Zhao ◽  
Bai-Ni Guo

In the paper, the authors find closed forms for derangement numbers in terms of the Hessenberg determinants, discover a recurrence relation of derangement numbers, present a formula for any higher order derivative of the exponential generating function of derangement numbers, and compute some related Hessenberg and tridiagonal determinants.


2017 ◽  
Vol 11 (2) ◽  
pp. 327-339 ◽  
Author(s):  
Pierpaolo Natalini ◽  
Paolo Ricci

The recurrence relation for the coefficients of higher order Bell polynomials, i.e. of the Bell polynomials relevant to nth derivative of a multiple composite function, is proved. Therefore, starting from this recurrence relation and by using the computer algebra program Mathematica?, some tables for complete higher order Bell polynomials and the relevant numbers are derived.


2019 ◽  
Vol 871 ◽  
pp. 799-830 ◽  
Author(s):  
Shihong Li ◽  
David L. Henann

A class of common and successful continuum models for steady, dense granular flows is based on the$\unicode[STIX]{x1D707}(I)$model for viscoplastic grain-inertial rheology. Recent work has shown that under certain conditions,$\unicode[STIX]{x1D707}(I)$-based models display a linear instability in which short-wavelength perturbations grow at an unbounded rate – i.e. a Hadamard instability. This observation indicates that$\unicode[STIX]{x1D707}(I)$models will predict strain localization arising due to material instability in dense granular materials; however, it also raises concerns regarding the robustness of numerical solutions obtained using these models. Several approaches to regularizing this instability have been suggested in the literature. Among these, it has been shown that the inclusion of higher-order velocity gradients into the constitutive equations can suppress the Hadamard instability, while not precluding the modelling of strain localization into diffuse shear bands. In our recent work (Henann & Kamrin,Proc. Natl Acad. Sci. USA, vol. 110, 2013, pp. 6730–6735), we have proposed a non-local model – called the non-local granular fluidity (NGF) model – which also involves higher-order flow gradients and has been shown to quantitatively describe a wide variety of steady, dense flows. In this work, we show that the NGF model also successfully regularizes the Hadamard instability of the$\unicode[STIX]{x1D707}(I)$model. We further apply the NGF model to the problem of strain localization in quasi-static plane-strain compression using nonlinear finite-element simulations in order to demonstrate that the model is capable of describing diffuse strain localization in a mesh-independent manner. Finally, we consider the linear stability of an alternative gradient–viscoplastic model (Bouzidet al.,Phys. Rev. Lett., vol. 111, 2013, 238301) and show that the inclusion of higher-order gradients does not guarantee the suppression of the Hadamard instability.


Analysis ◽  
2020 ◽  
Author(s):  
Daniel Whiting

Abstract A critical survey of recent work in epistemology on higher-order evidence. It discusses the nature of higher-order evidence, some puzzles it raises, responses to those puzzles, and problems facing them. It concludes by indicating connections between debates concerning higher-order evidence in epistemology and parallel debates in ethics and aesthetics.


2014 ◽  
Vol 10 (03) ◽  
pp. 793-815 ◽  
Author(s):  
ZHI-HONG SUN
Keyword(s):  
Modulo P ◽  

Let p be a prime greater than 3. In this paper, by using expansions and congruences for Lucas sequences and the theory of cubic residues and cubic congruences, we establish some congruences for [Formula: see text] and [Formula: see text] modulo p, where [x] is the greatest integer not exceeding x, and m is a rational p-adic integer with m ≢ 0 ( mod p).


Sign in / Sign up

Export Citation Format

Share Document