total 3708took 0.11s

CacheShield: Protecting Legacy Processes Against Cache AttacksSep 06 2017Cache attacks pose a threat to any code whose execution flow or memory accesses depend on sensitive information. Especially in public clouds, where caches are shared across several tenants, cache attacks remain an unsolved problem. Cache attacks rely ... More

RELOAD+REFRESH: Abusing Cache Replacement Policies to Perform Stealthy Cache AttacksApr 12 2019Caches have become the prime method for unintended information extraction across logical isolation boundaries. Even Spectre and Meltdown rely on the cache side channel, as it provides great resolution and is widely available on all major CPU platforms. ... More

Formal Hecke algebras and algebraic oriented cohomology theoriesAug 20 2012Mar 27 2014In the present paper we generalize the construction of the nil Hecke ring of Kostant-Kumar to the context of an arbitrary algebraic oriented cohomology theory of Levine-Morel and Panin-Smirnov, e.g. to Chow groups, Grothendieck's K_0, connective K-theory, ... More

Linear differential equations with finite differential Galois groupSep 06 2018For a differential operator $L$ of order $n$ over $C(z)$ with a finite (differential) Galois group $G\subset {\rm GL}(C^n)$, there is an algorithm, by M. van Hoeij and J.-A.~Weil, which computes the associated evaluation of the invariants $ev:C[X_1,\dots ... More

Schwarz maps of Algebraic Linear Ordinary Differential EquationsSep 02 2016Sep 21 2016A linear ordinary differential equation is called algebraic if all its solution are algebraic over its field of definition. In this paper we solve the problem of finding closed form solution to algebraic linear ordinary differential equations in terms ... More

An elementary proof of the symplectic spectral theoremSep 29 2017The classical spectral theorem completely describes self-adjoint operators on finite dimensional inner product vector spaces as linear combinations of orthogonal projections onto pairwise orthogonal subspaces. We prove a similar theorem for self-adjoint ... More

An algorithm for computing differential equations for invariant curvesAug 28 2017Sep 03 2017In this paper we describe an algorithm based on the Picard-Vessiot theory that constructs, given any curve invariant under a finite linear algebraic group over the complex numbers, an ordinary linear differential equation whose Schwarz map parametrizes ... More

A domain-decomposition method to implement electrostatic free boundary conditions in the radial direction for electric dischargesAug 30 2017Feb 19 2018At high pressure electric discharges typically grow as thin, elongated filaments. In a numerical simulation this large aspect ratio should ideally translate into a narrow, cylindrical computational domain that envelops the discharge as closely as possible. ... More

Number and Luminosity Evolution of Interacting Galaxies as a Natural explanation for the Galaxy CountsMay 23 1995A newly developed isochrone synthesis algorithm for the photometric evolution of galaxies is described. Two initial mass functions, IMFs, in particular, the recent IMF determined by Kroupa, Tout, and Gilmore, three photometric transformations, and a 1-Gyr-burst ... More

The regularity of the $η$ function for the Shubin calculusSep 06 2012We prove the regularity of the $\eta$ function for classical pseudodifferential operators with Shubin symbols. We recall the construction of complex powers and of the Wodzicki and Kontsevich-Vishik functionals for classical symbols on $\mathbb{R}^{n}$ ... More

A Change in the Lightcurve of Kuiper Belt Contact Binary (139775) 2001 QG298Jul 18 2011New observations show that the lightcurve of Kuiper belt contact binary (139775) 2001 QG298 has changed substantially since the first observations in 2003. The 2010 lightcurve has a peak-to-peak photometric of range \Deltam{2010}=0.7\pm0.1 mag, significantly ... More

Detection of Contact Binaries Using Sparse High Phase Angle LightcurvesNov 14 2007We show that candidate contact binary asteroids can be efficiently identified from sparsely sampled photometry taken at phase angles >60deg. At high phase angle, close/contact binary systems produce distinctive lightcurves that spend most of the time ... More

Functional Answer Set ProgrammingJun 18 2010In this paper we propose an extension of Answer Set Programming (ASP), and in particular, of its most general logical counterpart, Quantified Equilibrium Logic (QEL), to deal with partial functions. Although the treatment of equality in QEL can be established ... More

Improved optical transitions theory for superlattices and periodic systems; new selection rulesJul 10 2016Sep 15 2016Using the superlattice (SL) eigenvalues $E_{\mu ,\nu }^{c,v}$ and eigenfunctions $\varphi_{\mu\nu}^{c,v}(z) $, obtained within the theory of finite periodic systems, where $\mu$ indicates the subbands and $\nu$ the intra-subband levels, we calculate optical ... More

Relating spontaneous and explicit symmetry breaking in the presence of the Higgs mechanismMay 05 2016Nov 28 2016One common way to define spontaneous symmetry breaking involves necessarily explicit symmetry breaking. We study Quantum Field Theories extending the Standard Model, without anomalies. We add explicit symmetry breaking terms to the Higgs potential, so ... More

Deforming an ε-Close to Hyperbolic Metric to a Warp MetricJun 06 2014Sep 19 2016We define and study "warp forcing".

On the Farrell and Jones Warping DeformationJun 06 2014Mar 20 2016We study the Farrell and Jones Warping Deformation.

Gravitational Waves From a Dark (Twin) Phase TransitionApr 27 2015May 18 2015In this work, we show that a large class of models with a composite dark sector undergo a strong first order phase transition in the early universe, which could lead to a detectable gravitational wave signal. We summarise the basic conditions for a strong ... More

Towards a proof of the Shelah Presentation Theorem in Metric Abstract Elementary ClassesApr 21 2015In my PhD thesis a version of Shelah's Presentation Theorem in the setting of Metric Abstract Elementary Classes was proved, where we claimed that the new function symbols are not necessarily uniformly continuous. In this paper we provide a proof they ... More

Riemannian HyperbolizationJun 06 2014Nov 27 2014We smooth the singularities of a strictly hyperbolized smooth cube manifold.

Emergent universe scenario and the low CMB multipolesDec 24 2013Apr 20 2015In this work we study superinflation in the context of the emergent universe (EU) scenario. The existence of a superinflating phase before the onset of slow-roll inflation arises in any emergent universe model. We found that the superinflationary period ... More

Theory of finite periodic systems: The eigenfunctions symmetriesJul 10 2016Sep 14 2016Using the analytical expressions for the genuine eigenfunctions $\varphi_{\mu\nu}(z)$ and eigenvalues $E_{\mu,\nu}$, of open, bounded and quasi-bounded finite periodic systems, we derive the eigenfunctions space-inversion symmetry relations. The superlattice ... More

A generalized formulation for vehicle routing problemsJun 06 2016Different types of formulations are proposed in the literature to model vehicle routing problems. Currently, the most used ones can be fitted into two classes, namely vehicle flow formulations and set partitioning formulations. These types of formulations ... More

On the conservative pasting lemmaNov 05 2016Nov 19 2016Several $C^{r}$ ($r\in Z^{+}$) perturbation tools are established in the volume preserving setting allowing for the pasting, extension, localized smoothing and local linearization of vector fields. For diffeomorphisms, a conservative linearized version ... More

Identical two-particle interferometry in diffraction gratingsMar 11 2010We study diffraction and interference of indistinguishable particles. We consider some examples where the wavefunctions and detection probabilities can be evaluated in an analytical way. The diffraction pattern of a two-particle system shows notorious ... More

Second order contributions to the absorption of massive particlesJan 24 2008Recently, in analogy with multiphoton ionization, it has been suggested that multiparticle ionization can also be induced by massive systems. We explore in this paper the possibility that multiparticle absorption processes can also take place for massive ... More

Dirac's principle in multimode interference of independent sourcesJul 29 2005The extended Dirac's principle describes the interference between different particles as an effect of the multiparticle system with itself. In this paper we present a novel example, based on the detection of particles emitted in multimode states by independent ... More

On torsion torsionfree triplesJan 03 2008We study torsion torsionfree(=TTF) triples in abelian and triangulated categories. (Notice that TTF triples in a triangulated category are essentially in bijection with recollement data for this triangulated category.) In particular, we complete Jans' ... More

A difference of convex functions approach for sparse pde optimal control problems with nonconvex costsNov 06 2017Apr 20 2019We propose a local regularization of elliptic optimal control problems which involves the nonconvex $L^q$ fractional penalizations in the cost function. The proposed \emph{Huber type} regularization allows us to formulate the PDE constrained optimization ... More

The exponential laws for emission and decaying of entangled atomsAug 17 2017The first photon emission and the disentanglement of a pair of identical bosonic atoms in excited entangled states follow an exponential law. We extend the theory to distinguishable and identical fermionic two-atom systems. As a byproduct of the analysis ... More

Why the effective-mass approximation works so well for nano-structuresJun 27 2017Feb 19 2018The reason why the effective-mass approximation, derived for wave packets constructed from infinite-periodic-systems' wave functions, works so well with nanoscopic structures, has been an enigma and a challenge for theorists. To explain and clarify this ... More

Addendum to: Dacorogna-Moser theorem on the Jacobian determinant equation with control of supportMay 02 2017In Dacorogna-Moser theorem on the pullback equation $\varphi^* (g)=f$ between two prescribed volume forms (with the same total volume), control of support of the solutions can be obtained from that of the initial data, while keeping optimal regularity. ... More

Groupoid sheaves as quantale sheavesJul 30 2008Mar 28 2011Several notions of sheaf on various types of quantale have been proposed and studied in the last twenty five years. It is fairly standard that for an involutive quantale Q satisfying mild algebraic properties the sheaves on Q can be defined to be the ... More

On minimal eigenvalues of Schrodinger operators on manifoldsJul 25 2000We consider the problem of minimizing the eigenvalues of the Schr\"{o}dinger operator $H=-\Delta+\alpha F(\ka)$ ($\alpha>0$) on a compact $n-$manifold subject to the restriction that $\ka$ has a given fixed average $\ka_{0}$. In the one-dimensional case ... More

Post-Quantum Cryptography: S381 Cyclic Subgroup of High OrderApr 24 2017Currently there is an active Post-Quantum Cryptography (PQC) solutions search, which attempts to find cryptographic protocols resistant to attacks by means of for instance Shor polynomial time algorithm for numerical field problems like integer factorization ... More

The Minimization of the Number of Colors is Different at p=11Aug 28 2013Apr 08 2015In this article we present the following new fact for prime p=11. For knots 6_2 and 7_2, mincol_{11} 6_2 = 5 = mincol_{11} 7_2, along with the following feature. There is a pair of diagrams, one for 6_2 and the other one for 7_2, each of them admitting ... More

A Review of Error Estimation in Adaptive QuadratureMar 24 2010Nov 07 2010The most critical component of any adaptive numerical quadrature routine is the estimation of the integration error. Since the publication of the first algorithms in the 1960s, many error estimation schemes have been presented, evaluated and discussed. ... More

Functoriality of groupoid quantales. IJan 31 2014Oct 28 2014We provide three functorial extensions of the equivalence between localic etale groupoids and their quantales. The main result is a biequivalence between the bicategory of localic etale groupoids, with bi-actions as 1-cells, and a bicategory of inverse ... More

Sup-lattice 2-forms and quantalesNov 20 2002Dec 09 2003A 2-form between two sup-lattices L and R is defined to be a sup-lattice bimorphism L x R -> 2. Such 2-forms are equivalent to Galois connections, and we study them and their relation to quantales, involutive quantales and quantale modules. As examples ... More

Quandles at Finite Temperatures IMay 11 2001May 12 2001In CJKLS quandle cohomology is used to produce invariants for particular embeddings of codimension two; 2-cocycles give to invariants for (classical) knots and 3-cocycles give rise to invariants for knotted surfaces. This is done by way of a notion of ... More

Time-Resolved Near-Infrared Photometry of Extreme Kuiper Belt Object HaumeaNov 23 2008We present time-resolved near-infrared (J and H) photometry of the extreme Kuiper belt object (136108) Haumea (formerly 2003 EL61) taken to further investigate rotational variability of this object. The new data show that the near-infrared peak-to-peak ... More

KLR algebras and the branching rule II: the categorical Gelfand-Tsetlin basis for the classical Lie algebrasJul 02 2014We construct functors categorifying the branching rules for $U_q(\mathfrak{g})$ for $\mathfrak{g}$ of type $B_n$, $C_n$, and $D_n$ for the embeddings $so_{2n+1}\supset so_{2n-1}$, $sp_{2n}\supset sp_{2n-2}$, and $so_{2n}\supset so_{2n-2}$. We give the ... More

Deforming an ε-Close to Hyperbolic Metric to a Hyperbolic MetricJun 06 2014Sep 19 2016We define and study "hyperbolic forcing".

Normal Smoothings for Smooth Cube ManifoldsJun 06 2014Sep 19 2016We prove that smooth cube manifolds have normal smooth structures.

Cut Limits on Hyperbolic ExtensionsJun 06 2014Sep 19 2016We study the relationship between two concepts: cut limits and hyperbolic extensions.

Hyperbolic Extensions and Metrics $ε$-Close to HyperbolicJun 06 2014Sep 19 2016We define and study hyperbolic extensions.

The Emergent Universe scheme and TunnelingJun 04 2014We present an alternative scheme for an Emergent Universe scenario, developed previously in $Phys.\ Rev.\ D {\bf 86}, 083524 (2012)$, where the universe is initially in a static state supported by a scalar field located in a false vacuum. The universe ... More

An XML-Format for Conjectures in Geometry (Work-in-Progress)Jul 10 2012With a large number of software tools dedicated to the visualisation and/or demonstration of properties of geometric constructions and also with the emerging of repositories of geometric constructions, there is a strong need of linking them, and making ... More

On Jaeger's HOMFLY-PT expansions, branching rules and link homology: a progress reportSep 06 2013This note is a write-up of a talk given by the author at the Meeting of the Sociedade Portuguesa de Matematica in July 2012. We describe Jaeger's HOMFLY-PT expansion of the Kauffman polynomial and how to generalize it to other quantum invariants using ... More

Genus statistics for structure formation with topological defectsJan 22 1996We study the efficiency of genus statistics in differentiating between different models of structure formation. Simple models which reproduce the salient features of the structure seeded by topological defects are examined. We consider accretion onto ... More

Relating spontaneous and explicit symmetry breaking in the presence of the Higgs mechanismMay 05 2016One common way to define spontaneous symmetry breaking involves necessarily explicit symmetry breaking. We add explicit symmetry breaking terms to the Higgs potential, so that the spontaneous breaking of a global symmetry in multi-Higgs-doublet models ... More

Atomic Kapitza-Dirac effect with quadrupole transitionsNov 05 2013Interactions between atoms and light fields are usually described in the electric-dipole approximation. We show that electric-quadrupole terms are important in the Kapitza-Dirac arrangement for light gratings on resonance with a quadrupole atomic transition. ... More

Atomic diffraction by light gratings with very short wavelengthsJun 23 2013Lasers with wavelengths of the order of the atomic size are becoming available. We explore the behavior of light-matter interactions in this emergent field by considering the atomic Kapitza-Dirac effect. We derive the diffraction patterns, which are in ... More

The Bragg regime of the two-particle Kapitza-Dirac effectJul 04 2011We analyze the Bragg regime of the two-particle Kapitza-Dirac arrangement, completing the basic theory of this effect. We provide a detailed evaluation of the detection probabilities for multi-mode states, showing that a complete description must include ... More

Detection of massive multi-particle beams by two-particle ionizationJul 15 2007Multi-photon absorption is a well-known phenomenon. With atom lasers a similar process could take place for massive particles, the ionization of an atom or molecule by the successive interaction with various particles. This process would lead to multi-particle ... More

Cosmic Strings in an Open Universe with Baryonic and Non-Baryonic Dark MatterOct 11 1994We study the effects of cosmic strings on structure formation in open universes. We calculate the power spectrum of density perturbations for two class of models: one in which all the dark matter is non baryonic (CDM) and one in which it is all baryonic ... More

Influence of the vector interaction and an external magnetic field on the isentropes near the chiral critical end pointOct 19 2016The location of the critical end point (CEP) and the isentropic trajectories in the QCD phase diagram are investigated. We use the (2+1) Nambu$-$Jona-Lasinio model with the Polyakov loop coupling for different scenarios, namely by imposing zero strange ... More

A difference of convex functions approach for sparse pde optimal control problems with nonconvex costsNov 06 2017Jun 26 2018We propose a local regularization of elliptic optimal control problems which involves the nonconvex $L^q$ fractional penalizations in the cost function. The proposed \emph{Huber type} regularization allows us to formulate the PDE constrained optimization ... More

Revisiting the dilatation operator of the Wilson-Fisher fixed pointJan 17 2017Feb 15 2017We revisit the order $\varepsilon$ dilatation operator of the Wilson-Fisher fixed point obtained by Kehrein, Pismak, and Wegner in light of recent results in conformal field theory. Our approach is algebraic and based only on symmetry principles. The ... More

A note on infinitely distributive inverse semigroupsJun 22 2005We show that in any infinitely distributive inverse semigroup the existing binary meets distribute over all the joins that exist.

Serre's Uniformity Conjecture for Elliptic Curves with Rational Cyclic IsogeniesFeb 07 2017Mar 08 2017Let $E$ be an elliptic curve over $\mathbb{Q}$ such that $\mathrm{End}_{\bar{\mathbb{Q}}}(E)=\mathbb{Z}$ and which admits a non-trivial cyclic $\mathbb{Q}$-isogeny. We prove that, for $p>37$, the residual mod $p$ Galois representation $\bar{\rho}_{E,p}:G_{\mathbb{Q}}\rightarrow\mathrm{GL}_2(\mathbb{F}_p)$ ... More

Post-Quantum Cryptography(PQC): Generalized ElGamal Cipher over GF(251^8)Feb 12 2017Post-Quantum Cryptography (PQC) attempts to find cryptographic protocols resistant to attacks by means of for instance Shor's polynomial time algorithm for numerical field problems like integer factorization (IFP) or the discrete logarithm (DLP). Other ... More

Sharpening "Primes is in P" for a large family of numbersNov 20 2002We give Deterministic Primality tests for large families of numbers. These tests were inspired in the recent and celebrated Agrawal-Kayal-Saxena (AKS) test. The AKS test has proved polynomial complexity O ((log n)^12) and they expect it to be O ((log ... More

A Heawood-type result for the algebraic connectivity of graphs on surfacesSep 24 2001We prove that the algebraic connectivity a(G) of a graph embedded on a nonplanar surface satisfies a Heawood-type result. More precisely, it is shown that the algebraic connectivity of a surface S, defined as the supremum of a(G) over all graphs that ... More

Some cases of Serre's uniformity problemAug 09 2018Oct 23 2018We show that if $E/\mathbb{Q}$ is an elliptic curve without complex multiplication and for which there is a prime $q$ such that the image of $\bar{\rho}_{E,q}$ is contained in the normaliser of a split Cartan subgroup of $\rm{GL}_2(\mathbb{F}_q)$, then ... More

Submersions by Lie algebroidsJul 22 2018In this note, we examine the bundle picture of the pullback construction of Lie algebroids. The notion of submersions by Lie algebroids is introduced, which leads to a new proof of the local normal form for lie algebroid transversals of [Bursztyn et al., ... More

Entity Retrieval and Text Mining for Online Reputation MonitoringJan 23 2018Online Reputation Monitoring (ORM) is concerned with the use of computational tools to measure the reputation of entities online, such as politicians or companies. In practice, current ORM methods are constrained to the generation of data analytics reports, ... More

Deriving High-Precision Radial VelocitiesNov 22 2017This chapter describes briefly the key aspects behind the derivation of precise radial velocities. I start by defining radial velocity precision in the context of astrophysics in general and exoplanet searches in particular. Next I discuss the different ... More

Relating the wave-function collapse with Euler's formulaNov 15 2017Sep 17 2018One attractive interpretation of quantum mechanics is the ensemble interpretation, where Quantum Mechanics merely describes a statistical ensemble of objects and not individual objects. But this interpretation does not address why the wave-function plays ... More

Review: Long-baseline oscillation experiments as a tool to probe High Energy ModelsFeb 02 2018We review the current status of neutrino oscillation experiments, mainly focussed on T2(H)K, NO$\nu$A and DUNE. Their capability to probe high energy physics is found in the precision measurement of the CP phase and $\theta_{23}$. In general, neutrino ... More

Reactor and Atmospheric Neutrino Mixing Angles' Correlation as a Probe for New PhysicsAug 14 2017Sep 18 2017We performed a simulation on the DUNE experiment to probe the capability of future neutrino long-baseline experiments' ability to constrain the parameter space of high-energy models by using the correlation between the atmospheric and reactor mixing angles. ... More

On the conservative pasting lemmaNov 05 2016Oct 17 2018Several perturbation tools are established in the volume preserving setting allowing for the pasting, extension, localized smoothing and local linearization of vector fields. The pasting and local linearization hold in all classes of regularity ranging ... More

The many groupoids of a stably Gelfand quantaleJun 20 2017Nov 09 2017We study the projections of an arbitrary stably Gelfand quantale $Q$ and show that each projection determines a pseudogroup $S\subset Q$ (and a corresponding localic \'etale groupoid $G$) together with a map of involutive quantales $p:Q\to\mathcal L^{\bigvee}(S)\ ... More

Quantales as geometric objects: symmetry beyond groupoids?Jun 22 2005This is a short survey paper, partly meant as a research announcement. Its purpose is to highlight some aspects of the interplay between quantales, inverse semigroups, and groupoids. Many of the results mentioned have not yet been presented and will appear ... More

Non-commutative Schur-Horn theorems and extended majorization for hermitian matricesDec 13 2007Let $\mathcal A\subseteq \mat$ be a unital $*$-subalgebra of the algebra $\mat$ of all $n\times n$ complex matrices and let $B$ be an hermitian matrix. Let $\U_n(B)$ denote the unitary orbit of $B$ in $\mat$ and let $\mathcal E_\mathcal A$ denote the ... More

Perspectives on top quark physics after Run I of the LHC: sqrt(s)=13 TeV and beyondNov 25 2014A summary of the on-going preparations from the ATLAS and CMS collaborations to perform top quark physics in Run II of the LHC and at the HL-LHC is given. To maintain the current level of precision and profit from the high-luminosity scenario expected ... More

The Lifting Bifurcation Problem on Feed-Forward NetworksDec 05 2017We consider feed-forward networks, that is, networks where cells can be divided into layers, such that every edge targeting a layer, excluding the first one, starts in the prior layer. A feed-forward system is a dynamical system that respects the structure ... More

Synchrony Branching Lemma for Regular NetworksDec 05 2017Coupled cell systems are dynamical systems associated to a network and synchrony subspaces, given by balanced colorings of the network, are invariant subspaces for every coupled cell systems associated to that network. Golubitsky and Lauterbach (SIAM ... More

Optics robustness of the ATLAS Tile CalorimeterMay 03 2019TileCal, the central hadronic calorimeter of the ATLAS detector is composed of plastic scintillators interleaved by steel plates, and wavelength shifting optical fibres. The optical properties of these components are known to suffer from natural ageing ... More

Entanglement in Absorption ProcessesNov 22 2018Entanglement can modify light-matter interaction effects and, conversely, these interactions can change the non-classical correlations present in the system. We present an example where these mutual connections can be discussed in a simple way at the ... More

Quantales and Fell bundlesJan 30 2017Nov 30 2017We study Fell bundles on groupoids from the viewpoint of quantale theory. Given any saturated upper semicontinuous Fell bundle $\pi:E\to G$ on an \'etale groupoid $G$ with $G_0$ locally compact Hausdorff, equipped with a suitable completion C*-algebra ... More

The bar derived category of a curved dg algebraFeb 15 2007Apr 08 2008Curved A-infinity algebras appear in nature as deformations of dg algebras. We develop the basic theory of curved A-infinity algebras and, in particular, curved dg algebras. We investigate their link with a suitable class of dg coalgebras via the bar ... More

Goal Clustering: VNS based heuristicsMay 22 2017Sep 20 2017Given a set V of n elements on m attributes, we want to find a partition of V on the minimum number of clusters such that the associated R-squared ratio is at least a given threshold. We denote this problem as Goal Clustering (GC). This problem represents ... More

The nontrivial zeros of the Zeta Function lie on the Critical LineMar 15 2008Aug 19 2009In this paper is stablished a characterization of the solutions of the equation: zeta(z) = 0. Then such a characterization is used to give a proof for Riemann is Conjecture.

Permutations Which Make Transitive Groups PrimitiveJul 20 2008Aug 10 2009In this article we look into characterizing primitive groups in the following way. Given a primitive group we single out a subset of its generators such that these generators alone (the so-called primitive generators) imply the group is primitive. The ... More

PQC: Triple Decomposition Problem Applied To GL(d, Fp) - A Secure Framework For Canonical Non-Commutative CryptographyOct 21 2018Oct 25 2018Post-Quantum Cryptography (PQC) attempts to find cryptographic protocols resistant to attacks using Shor polynomial time algorithm for numerical field problems or Grover search algorithm. A mostly overlooked but valuable line of solutions is provided ... More

On a class of immersions of spheres into space forms of nonpositive curvatureJan 25 2018Jul 31 2018Let $ M^{n+1} $ ($ n \ge 2 $) be a simply-connected space form of sectional curvature $ -\kappa^2 $ for some $ \kappa \geq 0 $, and $ I $ an interval not containing $ [-\kappa,\kappa] $ in its interior. It is known that the domain of a closed immersed ... More

Syzygy gap fractals--I. Some structural results and an upper boundAug 03 2010k is a field of characteristic p>0, and l_1,...,l_n are linear forms in k[x,y]. Intending applications to Hilbert--Kunz theory, to each triple C=(F,G,H) of nonzero homogeneous elements of k[x,y] we associate a function delta_C that encodes the "syzygy ... More

On an inverse problem in electromagnetism with local data: stability and uniquenessMay 26 2010In this paper we prove a stable determination of the coefficients of the time-harmonic Maxwell equations from local boundary data. The argument --due to Isakov-- requires some restrictions on the domain.

Constraints on InflationSep 29 2000A short introduction to structure formation is given, followed by a discussion of the possible characteristics of the initial perturbations assuming a generic inflationary origin. Observational data related to large-scale structure and the cosmic microwave ... More

Partial profiles of quasi-complete graphsFeb 16 2008Jan 23 2016We enumerate graph homomorphisms to quasi-complete graphs, i.e., graphs obtained from complete graphs by removing one edge. The source graphs are complete graphs, quasi-complete graphs, cycles, paths, wheels and broken wheels. These enumerations give ... More

Removing Colors 2k, 2k-1, and kAug 24 2013We prove that if a link admits non-trivial (2k+1)-colorings, with prime 2k+1>7, it also admits non-trivial (2k+1)-colorings not involving colors 2k, 2k-1, nor k.

Comet P/2010 TO20 LINEAR-Grauer as a Mini-29P/SW1Aug 02 2012Oct 09 2012Discovered in October 2010 by the LINEAR survey, P/2010 TO20 LINEAR-Grauer (LG) was initially classified as an inert Jupiter Trojan. Subsequent observations obtained in October 2011 revealed LG to be a Jupiter-family comet. LG has one of the largest perihelia ... More

The Dark Red Spot on KBO HaumeaOct 30 2009Kuiper belt object 136108 Haumea is one of the most fascinating bodies in our solar system. Approximately 2000x1600x1000 km in size, it is one of the largest Kuiper belt objects (KBOs) and an unusually elongated one for its size. The shape of Haumea is ... More

On singular Fano varieties with a divisor of Picard number oneMay 26 2016In this paper we study the geometry of mildly singular Fano varieties on which there is an effective prime divisor of Picard number one. Afterwards, we address the case of toric varieties. Finally, we treat the lifting of extremal contractions to universal ... More

A Class of Morse Functions on Flag ManifoldsNov 06 2013Given a positive definite symmetric matrix in one of the groups SL(n, R) or Sp(n, R), we analyse its actions on Flag Manifolds, proving these are diffeomorphisms which admit as strict Lyapunov functions a special class of quadratic functions, all of them ... More

Asymptotic Expansion and the LG/(Fano, General Type) CorrespondenceNov 15 2014Mar 22 2015The celebrated LG/CY correspondence asserts that the Gromov-Witten theory of a Calabi-Yau (CY) hypersurface in weighted projective space is equivalent to its corresponding FJRW-theory (LG) via analytic continuation. It is well known that this correspondence ... More

On a class of immersions of spheres into space forms of nonpositive curvatureJan 25 2018Let $ J $ be an interval and $ M^{n+1} $ be a simply-connected space form of curvature $ -\kappa $, where $ \kappa \geq 0$. If $ J \subset [-\kappa,\kappa] $, then no closed $ n $-manifold can be immersed in $ M $ subject to the restriction that the principal ... More

The two-particle two-slit experimentFeb 24 2014Identical two-particle interferometry provides a scenario where interference and exchange effects manifest at once. We present a detailed calculation of the detection patterns in the two-particle two-slit experiment by extending Feynman's Gaussian slit ... More

Correlations between the interacting fragments of decaying processesFeb 25 2009We study the correlations (and alignment as a particular case) existent between the fragments originated in a decaying process when the daughter particles interact. The interaction between the particles is modeled using the potential of coupled oscillators, ... More