Results for "Matija Ćuk"
total 76took 0.10s
On the Dynamics and Origin of Haumea's MoonsAug 08 2013The dwarf planet Haumea has two large satellites, Namaka and Hi'iaka, which orbit at relatively large separations. Both moons have significant eccentricities and inclinations, in a pattern that is consistent with a past orbital resonance (Ragozzine and ... More Secular Resonance Between Iapetus and the Giant PlanetsSep 24 2018Using numerical integrations, we find that the orbital eccentricity of Saturn's moon Iapetus undergoes prominent multi-Myr oscillations. We identify the responsible resonant argument to be $\varpi-\varpi_{g5}+\Omega-\Omega_{eq}$, with the terms being ... More Dynamical Evidence for a Late Formation of Saturn's MoonsMar 23 2016We explore the past evolution of Saturn's moons using direct numerical integrations. We find that the past Tethys-Dione 3:2 orbital resonance predicted in standard models likely did not occur, implying that the system is less evolved than previously thought. ... More Hungaria Asteroid Family as the Source of Aubrite MeteoritesJun 03 2014The Hungaria asteroids are interior to the main asteroid belt, with semimajor axes between 1.8 and 2 AU, low eccentricities and inclinations of 16-35 degrees. Small asteroids in the Hungaria region are dominated by a collisional family associated with ... More Titan-Hyperion Resonance and the Tidal Q of SaturnNov 26 2013Lainey et al. (2012), by re-analyzing long-baseline astrometry of Saturn's moons, have found that the moons' tidal evolution is much faster than previously thought, implying an order of magnitude stronger tidal dissipation within Saturn. This result is ... More Long-Term Stability of Horseshoe OrbitsJun 08 2012Aug 24 2012Unlike Trojans, horseshoe coorbitals are not generally considered to be long-term stable (Dermott and Murray, 1981; Murray and Dermott, 1999). As the lifetime of Earth's and Venus's horseshoe coorbitals is expected to be about a Gyr, we investigated the ... More Observing a Lévy process up to a stopping timeDec 12 2018It is proved that the law of a possibly killed L\'evy process $X$, seen up to and including (resp. up to strictly before) a stopping time, determines already the law of $X$ (resp. up to a compound Poisson component and killing). On the existence of a minimal generating set for $σ$-algebrasJun 03 2014Does there exist for any $\sigma$-algebra a minimal (with respect to inclusion) generating set? We formulate this problem and answer it in the very special instance of partition generated and standard measurable spaces, the general case remaining open. ... More Inferring Algebraic EffectsDec 09 2013Sep 11 2014We present a complete polymorphic effect inference algorithm for an ML-style language with handlers of not only exceptions, but of any other algebraic effect such as input & output, mutable references and many others. Our main aim is to offer the programmer ... More Proper two-sided exits of a Lévy processNov 24 2015It is proved that the two-sided exits of a Levy process are proper, i.e. not a.s. equal to their one-sided counterparts, if and only if said process is not a subordinator or the negative of a subordinator. Furthermore, Levy processes are characterized, ... More Another characterization of homogeneous Poisson processesOct 23 2016For a general renewal process $N$ (with delay and defect) the independence of the first renewal epochs of the marked processes got from $N$ by Bernoulli $0$/$1$ thinning is characterized. By way of corollary we obtain a related characterization of homogeneous ... More Fluctuation theory for upwards skip-free Lévy chainsSep 20 2013May 18 2015A fluctuation theory and, in particular, a theory of scale functions is developed for upwards skip-free L\'evy chains, i.e. for right-continuous random walks embedded into continuous time as compound Poisson processes. This is done by analogy to the spectrally ... More Homology of dendroidal setsSep 02 2015We define for every dendroidal set X a chain complex and show that this assignment determines a left Quillen functor. Then we define the homology groups $H_n(X)$ as the homology groups of this chain complex. This generalizes the homology of simplicial ... More Dendroidal sets as models for connective spectraMar 30 2012May 19 2014Dendroidal sets have been introduced as a combinatorial model for homotopy coherent operads. We introduce the notion of fully Kan dendroidal sets and show that there is a model structure on the category of dendroidal sets with fibrant objects given by ... More Copulas for maxmin systemsDec 30 2015Under a mild condition we give closed-form expressions for copulas of systems that consist of maxima and of minima of subvectors of a given random vector $X$ with continuous marginals. Said expressions appear explicit in the copula of $X$ and the mentioned ... More Diophantine m-tuples in finite fields and modular formsSep 29 2016For a prime p, a Diophantine m-tuple in $\mathbb{F}_p$ is a set of m nonzero elements of $\mathbb{F}_p$ with the property that the product of any two of its distinct elements is one less than a square. In this paper, we present formulas for the number ... More More on Diophantine sextuplesSep 22 2016A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely ... More An Effect System for Algebraic Effects and HandlersJun 26 2013Dec 09 2014We present an effect system for core Eff, a simplified variant of Eff, which is an ML-style programming language with first-class algebraic effects and handlers. We define an expressive effect system and prove safety of operational semantics with respect ... More Programming with Algebraic Effects and HandlersMar 07 2012Eff is a programming language based on the algebraic approach to computational effects, in which effects are viewed as algebraic operations and effect handlers as homomorphisms from free algebras. Eff supports first-class effects and handlers through ... More On a special case of Watkins' conjectureNov 17 2016Watkins' conjecture asserts that for a rational elliptic curve $E$ the degree of the modular parametrization is divisible by $2^r$, where $r$ is the rank of $E$. In this paper we prove that if the modular degree is odd then $E$ has rank $0$. Moreover, ... More SW# - GPU enabled exact alignments on genome scaleApr 22 2013Sequence alignment is one of the oldest and the most famous problems in bioinformatics. Even after 45 years, for one reason or another, this problem is still actual; current solutions are trade-offs between execution time, memory consumption and accuracy. ... More Modular forms, de Rham cohomology and congruencesJan 24 2013Apr 22 2013In this paper we show that Atkin and Swinnerton-Dyer type of congruences hold for weakly modular forms (modular forms that are permitted to have poles at cusps). Unlike the case of original congruences for cusp forms, these congruences are nontrivial ... More On the Secular Behavior of Irregular SatellitesAug 05 2004Although analytical studies on the secular motion of the irregular satellites have been published recently, these theories have not yet been satisfactorily reconciled with the results of direct numerical integrations. These discrepancies occur because ... More Handling Algebraic EffectsDec 05 2013Dec 16 2013Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of this theory induces the expected computational monad for the corresponding effect. Algebraic effects ... More Constraints on the Orbital Evolution of TritonMay 11 2005We present simulations of Triton's post-capture orbit that confirm the importance of Kozai-type oscillations in its orbital elements. In the context of the tidal orbital evolution model, these variations require average pericenter distances much higher ... More Modular parametrizations of certain elliptic curvesDec 26 2012Kaneko and Sakai recently observed that certain elliptic curves whose associated newforms (by the modularity theorem) are given by the eta-quotients can be characterized by a particular differential equation involving modular forms and Ramanujan-Serre ... More Simulating the Phases of the Moon Shortly After Its FormationMar 10 2015The leading theory for the origin of the Moon is the giant impact hypothesis, in which the Moon was formed out of the debris left over from the collision of a Mars-sized body with the Earth. Soon after its formation, the orbit of the Moon may have been ... More Multicolour bipartite Ramsey number of pathsJan 17 2019The $k$-colour bipartite Ramsey number of a bipartite graph $H$ is the least integer $N$ for which every $k$-edge-coloured complete bipartite graph $K_{N,N}$ contains a monochromatic copy of $H$. The study of bipartite Ramsey numbers was initiated over ... More Max-min measures on ultrametric spacesFeb 26 2013The ultrametrization of the set of all probability measures of compact support on the ultrametric spaces was first defined by Hartog and de Vink. In this paper we consider a similar construction for the so called max-min measures on the ultrametric spaces. ... More Markov chain approximations to scale functions of Lévy processesOct 07 2013Apr 20 2015We introduce a general algorithm for the computation of the scale functions of a spectrally negative L\'evy process $X$, based on a natural weak approximation of $X$ via upwards skip-free continuous-time Markov chains with stationary independent increments. ... More Rigidity of the Minimal Grope GroupAug 04 2006We give a systematic definition of the fundamental groups of gropes, which we call grope groups. We show that there exists a nontrivial homomorphism from the minimal grope group M to another grope group G only if G is the free product of M with another ... More Multiple perturbations of a singular eigenvalue problemFeb 22 2016We study the perturbation by a critical term and a $(p-1)$-superlinear subcritical nonlinearity of a quasilinear elliptic equation containing a singular potential. By means of variational arguments and a version of the concentration-compactness principle ... More On structure sets of manifold pairsAug 10 2009In this paper we systematically describe relations between various structure sets which arise naturally for pairs of compact topological manifolds with boundary. Our consideration is based on a deep analogy between the case of a compact manifold with ... More A short proof of the Twelve points theoremAug 08 2008We present a short elementary proof of the following Twelve Points Theorem: Let M be a convex polygon with vertices at the lattice points, containing a single lattice point in its interior. Denote by m (resp. m*) the number of lattice points in the boundary ... More There are infinitely many rational Diophantine sextuplesJul 02 2015Nov 30 2015A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely ... More Coupled channel analysis of the rho meson decay in lattice QCDMay 27 2011Apr 18 2014We employ a variational basis with a number of $\bar{q}q$ and $\pi\pi$ lattice interpolating fields with quantum numbers of the $\rho$ resonance to extract the discrete energy spectrum in a finite volume. In the elastic region, this spectrum is related ... More Double phase problems with variable growthOct 18 2018We consider a class of double phase variational integrals driven by nonhomogeneous potentials. We study the associated Euler equation and we highlight the existence of two different Rayleigh quotients. One of them is in relationship with the existence ... More Constraints on the Source of Lunar Cataclysm ImpactorsDec 10 2009Multiple impact basins formed on the Moon about 3.8 Gyr ago in what is known as the lunar cataclysm or late heavy bombardment. Many workers currently interpret the lunar cataclysm as an impact spike primarily caused by main-belt asteroids destabilized ... More Minimum saturated families of setsJan 16 2018Apr 24 2018We call a family $\mathcal{F}$ of subsets of $[n]$ $s$-saturated if it contains no $s$ pairwise disjoint sets, and moreover no set can be added to $\mathcal{F}$ while preserving this property (here $[n] = \{1,\ldots,n\}$). More than 40 years ago, Erd\H{o}s ... More Modeling peer and external influence in online social networksOct 26 2016Opinion polls mediated through a social network can give us, in addition to usual demographics data like age, gender and geographic location, a friendship structure between voters and the temporal dynamics of their activity during the voting process. ... More Gate-tunable Electronic Transport in p-type GaSb Quantum WellsJan 30 2019We investigate two-dimensional hole transport in GaSb quantum wells at cryogenic temperatures using gate-tunable devices. Measurements probing the valence band structure of GaSb unveil a significant spin splitting of the ground subband induced by spin-orbit ... More Transport Spectroscopy of a Spin-Coherent Dot-Cavity SystemMar 10 2015Sep 01 2015Quantum engineering requires controllable artificial systems with quantum coherence exceeding the device size and operation time. This can be achieved with geometrically confined low-dimensional electronic structures embedded within ultraclean materials, ... More