Search results for "Crete"

showing 10 items of 2495 documents

Spectral approach to D-bar problems

2017

We present the first numerical approach to D-bar problems having spectral convergence for real analytic, rapidly decreasing potentials. The proposed method starts from a formulation of the problem in terms of an integral equation that is numerically solved with Fourier techniques. The singular integrand is regularized analytically. The resulting integral equation is approximated via a discrete system that is solved with Krylov methods. As an example, the D-bar problem for the Davey-Stewartson II equations is considered. The result is used to test direct numerical solutions of the PDE.© 2017 Wiley Periodicals, Inc.

[ MATH ] Mathematics [math]Spectral approachInverse conductivity problemBar (music)General MathematicsElectrical-impedance tomographyFOS: Physical sciences2 dimensions010103 numerical & computational mathematics01 natural sciencesDiscrete systemsymbols.namesakeConvergence (routing)FOS: MathematicsApplied mathematicsUniquenessStewartson-ii equationsMathematics - Numerical Analysis0101 mathematics[MATH]Mathematics [math]Electrical impedance tomographyReconstruction algorithmsNumerical-solutionMathematicsNonlinear Sciences - Exactly Solvable and Integrable SystemsApplied MathematicsNumerical Analysis (math.NA)Integral equation010101 applied mathematicsFourier transformsymbolsUniquenessExactly Solvable and Integrable Systems (nlin.SI)
researchProduct

A simple algorithm for finding short sigma-definite representatives

2010

We describe a new algorithm which for each braid returns a quasi-geodesic sigma-definite word representative, defined as a braid word in which the generator sigma_i with maximal index i appears either only positively or only negatively.

[ MATH.MATH-GR ] Mathematics [math]/Group Theory [math.GR]Braid groupbraid monoids20F3620M0506F05Group Theory (math.GR)02 engineering and technology01 natural sciences[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]Mathematics::Group TheoryMathematics::Category TheoryMathematics::Quantum AlgebraFOS: MathematicsBraidBraid group0101 mathematicsSIMPLE algorithmMathematicsDiscrete mathematicsGenerator (computer programming)algorithmAlgebra and Number Theory010102 general mathematicsSigmaComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)021001 nanoscience & nanotechnologyMathematics::Geometric Topologybraid orderingIndex (publishing)0210 nano-technologyMathematics - Group TheoryWord (computer architecture)Journal of Algebra
researchProduct

Ping-pong configurations and circular orders on free groups

2017

We discuss actions of free groups on the circle with "ping-pong" dynamics; these are dynamics determined by a finite amount of combinatorial data, analogous to Schottky domains or Markov partitions. Using this, we show that the free group $F_n$ admits an isolated circular order if and only if n is even, in stark contrast with the case for linear orders. This answers a question from (Mann, Rivas, 2016). Inspired by work of Alvarez, Barrientos, Filimonov, Kleptsyn, Malicet, Menino and Triestino, we also exhibit examples of "exotic" isolated points in the space of all circular orders on $F_2$. Analogous results are obtained for linear orders on the groups $F_n \times \mathbb{Z}$.

[ MATH.MATH-GR ] Mathematics [math]/Group Theory [math.GR][ MATH.MATH-DS ] Mathematics [math]/Dynamical Systems [math.DS][MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS]MSC2010: Primary 20F60 57M60. Secondary 20E05 37C85 37E05 37E10 57M60.Extension (predicate logic)Group Theory (math.GR)Dynamical Systems (math.DS)Space (mathematics)20F60 57M60[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]CombinatoricsFree groupsOne-dimensional dynamicsFree groupPing pongFOS: MathematicsDiscrete Mathematics and CombinatoricsOrder (group theory)Geometry and TopologyMathematics - Dynamical SystemsMathematics - Group TheoryMathematicsOrders on groups
researchProduct

Compressed Drinfeld associators

2004

Drinfeld associator is a key tool in computing the Kontsevich integral of knots. A Drinfeld associator is a series in two non-commuting variables, satisfying highly complicated algebraic equations - hexagon and pentagon. The logarithm of a Drinfeld associator lives in the Lie algbera L generated by the symbols a,b,c modulo [a,b]=[b,c]=[c,a]. The main result is a description of compressed associators that satisfy the compressed pentagon and hexagon in the quotient L/[[L,L],[L,L]]. The key ingredient is an explicit form of Campbell-Baker-Hausdorff formula in the case when all commutators commute.

[ MATH.MATH-GT ] Mathematics [math]/Geometric Topology [math.GT]Hexagon equationPure mathematicsCampbell–Baker–Hausdorff formulaKnotLie algebraModuloCompressed Vassiliev invariantsPentagon equation01 natural sciencessymbols.namesakeMathematics - Geometric TopologyChord diagramsExtended Bernoulli numbers[MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT]Mathematics::Quantum Algebra0103 physical sciencesLie algebraMathematics - Quantum AlgebraFOS: MathematicsQuantum Algebra (math.QA)0101 mathematicsAlgebraic numberBernoulli numberQuotientMathematics[MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT]Zeta functionDiscrete mathematics[MATH.MATH-QA] Mathematics [math]/Quantum Algebra [math.QA]Algebra and Number TheoryVassiliev invariants[ MATH.MATH-QA ] Mathematics [math]/Quantum Algebra [math.QA]Drinfeld associator57M25 57M27 11B68 17B01010102 general mathematicsAssociatorQuantum algebraGeometric Topology (math.GT)Kontsevich integralRiemann zeta functionsymbols[MATH.MATH-QA]Mathematics [math]/Quantum Algebra [math.QA]Compressed associator010307 mathematical physicsBernoulli numbers
researchProduct

On the optimal control of the circular restricted three body problem

2011

The context of this work is space mechanics. More precisely, we aim at computing low thrust transfers in the Earth-Moon system modeled by the circular restricted three-body problem. The goal is to calculate the optimal steering of the spacecraft engine with respect to two optimization criteria: Final time and fuel consumption. The contributions of this thesis are of two kinds. Geometric, first, as we study the controllability of the system together with the geometry of the transfers (structure of the command) by means of geometric control tools. Numerical, then, different homotopic methods being developed. A two-three body continuation is used to compute minimum time trajectories, and then …

[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC]Earth-Moon transfercontinuations discrète et différentielletrajectoires temps ou consommation minimalesminimum time or fuel consumption trajectories[MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC]transfert Terre-Lunecircular restricted three-body problemshootingoptimal controlcontrôle optimalpoussée faibleméthode de tirproblème des trois corps circulaire restreintlow thrust[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]discrete and differential continuation
researchProduct

Geometric optimal control of elliptic Keplerian orbits

2005

This article deals with the transfer of a satellite between Keplerian orbits. We study the controllability properties of the system and make a preliminary analysis of the time optimal control using the maximum principle. Second order sufficient conditions are also given. Finally, the time optimal trajectory to transfer the system from an initial low orbit with large eccentricity to a terminal geostationary orbit is obtained numerically.

[ MATH.MATH-OC ] Mathematics [math]/Optimization and Control [math.OC]Physics0209 industrial biotechnologyApplied Mathematicsmedia_common.quotation_subject010102 general mathematicsMathematical analysis[MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC]02 engineering and technologyOptimal control01 natural sciencesControllability020901 industrial engineering & automationMaximum principleOrbit (dynamics)Geostationary orbitDiscrete Mathematics and CombinatoricsSatellite[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]Astrophysics::Earth and Planetary Astrophysics0101 mathematicsOrbital maneuverEccentricity (behavior)media_commonDiscrete & Continuous Dynamical Systems - B
researchProduct

An Essay on Denotational Mathematics

2019

Denotational mathematics is a new rigorous discipline of theoretical computer science that springs out from the attempt to provide a suitable mathematical framework in which laid out new algebraic structures formalizing certain formal patterns coming from computational and natural intelligence, software science, cognitive informatics, neuronal networks, and artificial intelligence. In this chapter, a very brief but rigorous exposition of the main formal structures of denotational mathematics is outlined within naive set theory.

[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]02 engineering and technology[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM][MATH.MATH-CT] Mathematics [math]/Category Theory [math.CT][INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI][INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]020204 information systems0202 electrical engineering electronic engineering information engineeringMathematics education020201 artificial intelligence & image processing[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC][INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]ComputingMilieux_MISCELLANEOUS[MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]Mathematics
researchProduct

Whole mirror duplication-random loss model and pattern avoiding permutations

2010

International audience; In this paper we study the problem of the whole mirror duplication-random loss model in terms of pattern avoiding permutations. We prove that the class of permutations obtained with this model after a given number p of duplications of the identity is the class of permutations avoiding the alternating permutations of length p2+1. We also compute the number of duplications necessary and sufficient to obtain any permutation of length n. We provide two efficient algorithms to reconstitute a possible scenario of whole mirror duplications from identity to any permutation of length n. One of them uses the well-known binary reflected Gray code (Gray, 1953). Other relative mo…

[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]Class (set theory)0206 medical engineeringBinary number0102 computer and information sciences02 engineering and technology[ MATH.MATH-CO ] Mathematics [math]/Combinatorics [math.CO]01 natural sciencesIdentity (music)Combinatorial problemsTheoretical Computer ScienceGray codeCombinatoricsPermutation[ INFO.INFO-BI ] Computer Science [cs]/Bioinformatics [q-bio.QM]Gene duplicationRandom loss[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]Pattern avoiding permutationGenerating algorithmComputingMilieux_MISCELLANEOUSMathematicsDiscrete mathematicsWhole duplication-random loss modelMathematics::CombinatoricsGenomeParity of a permutationComputer Science Applications[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO][ INFO.INFO-CC ] Computer Science [cs]/Computational Complexity [cs.CC]Binary reflected Gray code010201 computation theory & mathematicsSignal Processing[INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]020602 bioinformaticsAlgorithmsInformation Systems
researchProduct

Topological properties of cellular automata on trees

2012

We prove that there do not exist positively expansive cellular automata defined on the full k-ary tree shift (for k>=2). Moreover, we investigate some topological properties of these automata and their relationships, namely permutivity, surjectivity, preinjectivity, right-closingness and openness.

[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]FOS: Computer and information sciencesDiscrete Mathematics (cs.DM)Formal Languages and Automata Theory (cs.FL)FOS: Physical sciencesComputer Science - Formal Languages and Automata Theory0102 computer and information sciences[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Computational Complexity (cs.CC)Topology01 natural scienceslcsh:QA75.5-76.95[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]0101 mathematicsF.1.1;F.1.2;F.1.3MathematicsCellular Automata and Lattice Gases (nlin.CG)lcsh:Mathematics010102 general mathematicsCellular automaton tree shift expansivity permutivity right-closingness opennesslcsh:QA1-939Nonlinear Sciences::Cellular Automata and Lattice GasesCellular automatonAutomatonComputer Science - Computational Complexity010201 computation theory & mathematicsTree (set theory)lcsh:Electronic computers. Computer scienceF.1.2F.1.3ExpansiveNonlinear Sciences - Cellular Automata and Lattice GasesF.1.1Computer Science::Formal Languages and Automata TheoryComputer Science - Discrete Mathematics
researchProduct

Probability and algorithmics: a focus on some recent developments

2017

Jean-François Coeurjolly, Adeline Leclercq-Samson Eds.; International audience; This article presents different recent theoretical results illustrating the interactions between probability and algorithmics. These contributions deal with various topics: cellular automata and calculability, variable length Markov chains and persistent random walks, perfect sampling via coupling from the past. All of them involve discrete dynamics on complex random structures.; Cet article présente différents résultats récents de nature théorique illustrant les interactions entre probabilités et algorithmique. Ces contributions traitent de sujets variés : automates cellulaires et calculabilité, chaînes de Mark…

[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]T57-57.97Focus (computing)Applied mathematics. Quantitative methodsTheoretical computer scienceMarkov chainComputer science[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS][INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]Variable lengthRandom walkCellular automaton[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]Perfect sampling[MATH.MATH-PR]Mathematics [math]/Probability [math.PR]Coupling from the past[INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT][INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]Algorithmics[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]QA1-939Mathematics
researchProduct