BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
A. Ramani appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Starting from known solutions of the functional Yang-Baxter equations, we exhibit Miura type of transformations leading to various known integrable quad equations. We then construct, from the same list of Yang-Baxter maps, a series of non-autonomous solvable recurrences of order two.
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is also used to model more traditional CSPs relevant to AI, such as planning, time-tabling and scheduling. Provably optimal solutions may be desirable for commercial and defense applications. Additionally, for applications such as register allocation and code optimization, naturally-occurring instances of graph coloring are often small and can be solved optimally. A recent wave of improvements in algorithms for Boolean satisfiability (SAT) and 0-1 Integer Linear Programming (ILP) suggests generic problem-reduction methods, rather than problem-specific heuristics, because (1) heuristics may be upset by new constraints, (2) heuristics tend to ignore structure, and (3) many relevant problems are provably inapproximable. Problem reductions often lead to highly symmetric SAT instances, and symmetries are known to slow down SAT solvers. In this work, we compare several avenues for symmetry breaking, in particular when certain kinds of symmetry are present in all generated instances. Our focus on reducing CSPs to SAT allows us to leverage recent dramatic improvement in SAT solvers and automatically benefit from future progress. We can use a variety of black-box SAT solvers without modifying their source code because our symmetry-breaking techniques are static, i.e., we detect symmetries and add symmetry breaking predicates (SBPs) during pre-processing. An important result of our work is that among the types of instance-independent SBPs we studied and their combinations, the simplest and least complete constructions are the most effective. Our experiments also clearly indicate that instance-independent symmetries should mostly be processed together with instance-specific symmetries rather than at the specification level, contrary to what has been suggested in the literature.
We examine a family of 3-point mappings that include mappings solvable through linearization. The different origins of mappings of this type are examined: projective equations and Gambier systems. The integrable cases are obtained through the application of the singularity confinement criterion and are explicitly integrated.
We study the projective systems in both continuous and discrete settings. These systems are linearizable by construction and thus, obviously, integrable. We show that in the continuous case it is possible to eliminate all variables but one and reduce the system to a single differential equation. This equation is of the form of those singled-out by Painlevé in his quest for integrable forms. In the discrete case, we extend previous results of ours showing that, again by elimination of variables, the general projective system can be written as a mapping for a single variable. We show that this mapping is a member of the family of multilinear systems (which is not integrable in general). The continuous limit of multilinear mappings is also discussed.
We examine critically the Gambier equation and show that it is the generic linearisable equation containing, as reductions, all the second-order equations which are integrable through linearisation. We then introduce the general discrete form of this equation, the Gambier mapping, and present conditions for its integrability. Finally, we obtain the reductions of the Gambier mapping, identify their integrable forms and compute their continuous limits.
Starting from the standard form of the five discrete Painlevé equations we show how one can obtain (through appropriate limits) a host of new equations which are also the discrete analogues of the continuous Painlevé equations. A particularly interesting technique is the one based on the assumption that some simplification takes place in the autonomous form of the mapping following which the deautonomization leads to a new $n$-dependence and introduces more new discrete Painlevé equations.
We propose a discrete form for an equation due to Gambier and which belongs to the class of the fifty second order equations that possess the Painleve property. In the continuous case, the solutions of the Gambier equation is obtained through a system of Riccati equations. The same holds true in the discrete case also. We use the singularity confinement criterion in order to study the integrability of this new mapping.