total 1003took 0.10s

Semi-parametric Image InpaintingJul 08 2018Nov 13 2018This paper introduces a semi-parametric approach to image inpainting for irregular holes. The nonparametric part consists of an external image database. During test time database is used to retrieve a supplementary image, similar to the input masked picture, ... More

Learnable Triangulation of Human PoseMay 14 2019We present two novel solutions for multi-view 3D human pose estimation based on new learnable triangulation methods that combine 3D information from multiple 2D views. The first (baseline) solution is a basic differentiable algebraic triangulation with ... More

Parallel exact diagonalization solver for quantum-electron modelsApr 20 2010We present a parallel computation scheme based on the Arnoldi algorithm for exact diagonalization of quantum-electron models. It contains a selective data transferring method and distributed storage format for efficient computing of the matrix-vector ... More

Diagrammatic Monte Carlo for Dual FermionsJul 05 2016We introduce a numerical algorithm to stochastically sample the dual fermion perturbation series around the dynamical mean field theory, generating all topologies of two-particle interaction vertices. We show results in the weak and strong coupling regime ... More

Compact Gravity Wave Detector Compact Gravity Wave DetectorSep 04 2002Aug 28 2003An incoming gravity wave being a stress wave is a surface with intrinsic curvature. When a light beam is parallel transported on this non-Euclidian surface it acquires an excess phase which accumulates with each curcuit. We calculate the separate contributions ... More

On Storage OperatorsMay 07 2009In 1990 Krivine introduced the notion of storage operators. They are $\lambda$-terms which simulate call-by-value in the call-by-name strategy. Krivine has shown that there is a very simple type in the AF2 type system for storage operators using G\"odel ... More

Physics process of cosmogenics Li-9 and He-8 production on muons interactions with carbon target in liquid scintillatorJul 16 2006Sep 23 2008Simulations were performed with GEANT4 to study the cosmogenics Li-9 and He-8 production by the interactions of the muons and their secondary shower particles in the liquid scintillator. The photonuclear reactions seem dominate their production. Their ... More

A Note on New Sources of Gaugino MassesNov 29 1999In IIB orientifold models, the singlet twisted moduli appear in the tree-level gauge kinetic function. They might be responsible for generating gaugino masses if they acquire non-vanishing F-terms. We discuss some aspects of this new possibility, such ... More

Fermionic dark matter with pseudo-scalar Yukawa interactionAug 21 2014Dec 06 2014We consider a renormalizable extension of the standard model whose fermionic dark matter (DM) candidate interacts with a real singlet pseudo-scalar via a pseudo-scalar Yukawa term while we assume that the full Lagrangian is CP-conserved in the classical ... More

Classical Combinatory LogicMay 07 2009Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages. The original combinatory calculus ... More

Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typésMay 05 2009A numeral system is a sequence of an infinite different closed normal $\lambda$-terms which has closed $\lambda$-terms for successor and zero test. A numeral system is said adequate iff it has a closed $\lambda$-term for predecessor. A storage operator ... More

Dividing lines in unstable theories and subclasses of Baire 1 functionsApr 20 2019May 02 2019We give a new characterization of SOP (the strict order property) and an optimal version of a theorem of Shelah, namely a theory has OP (the order property) if and only if it has IP (the independence property) or SOP. We point out some parallels between ... More

Combinatorial Lefschetz theorems beyond positivityDec 26 2018Jul 02 2019Consider a simplicial complex that allows for an embedding into $\mathbb{R}^d$. How many faces of dimension $\frac{d}{2}$ or higher can it have? How dense can they be? This basic question goes back to Descartes' "Lost Theorem" and Euler's work on polyhedra. ... More

FAQ on the g-theorem and the hard Lefschetz theorem for face ringsJun 14 2019Aug 04 2019This short review is the result of a minicourse at the Sapienza University of Rome the author gave about the proof of the $g$-theorem. We give a review over the two available proofs of the hard Lefschetz theorem for simplicial spheres, as well as recent ... More

Sup-norm convergence rate and sign concentration property of Lasso and Dantzig estimatorsJan 30 2008Feb 12 2008We derive the $l_{\infty}$ convergence rate simultaneously for Lasso and Dantzig estimators in a high-dimensional linear regression model under a mutual coherence assumption on the Gram matrix of the design and two different assumptions on the noise: ... More

Lefschetz and Lower Bound theorems for Minkowski sumsNov 20 2017This note provides a Lefschetz theorem for Minkowski sums of polytopes. We conclude lower bound theorems for Minkowski sums of polytopes by studying the intersection cohomology of the toric variety generated by the Cayley polytope.

Stability, NIP, and NSOP; Model Theoretic Properties of Formulas via Topological Properties of Function SpacesOct 13 2014Aug 19 2015We study and characterize stability, NIP and NSOP in terms of topological and measure theoretical properties of classes of functions. We study a measure theoretic property, `Talagrand's stability', and explain the relationship between this property and ... More

Uniform radius and regular stratificationsJun 16 2010In this paper we investigate how germs of real functions can change under deformation. In particular we look at deformations of germs of isolated singularities from R_n to R_k (n >= k) and the relation with there natural stratification in some tame categorie ... More

Disordered Extra DimensionsFeb 01 2010Mar 29 2010A very large extra dimension may contain many localized branes. We discuss the possibility to formulate such models as a spin system where each spin indicates the supersymmetry direction preserved by the corresponding brane. In the evolution of the universe, ... More

Mixed Logic and Storage OperatorsMay 06 2009In 1990 J-L. Krivine introduced the notion of storage operators. They are $\lambda$-terms which simulate call-by-value in the call-by-name strategy and they can be used in order to modelize assignment instructions. J-L. Krivine has shown that there is ... More

I-Types of System FMay 04 2009We prove in this paper that the types of system F inhabited uniquely by ?I-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples.

Dirac Gauginos: A User ManualJun 08 2011Jun 20 2011The issue of a Majorana, Dirac or pseudo-Dirac mass for gauginos must not be reduced to a question of an extension of the Minimal Supersymmetric Standard Model by extra states, parameters and phenomenological implications. On the contrary, it is intimately ... More

A conjecture on numeral systemsMay 06 2009A numeral system is an infinite sequence of different closed normal $\lambda$-terms intended to code the integers in $\lambda$-calculus. H. Barendregt has shown that if we can represent, for a numeral system, the functions : Successor, Predecessor, and ... More

Storage operators and forall-positive types of system TTRMay 05 2009In 1990, J.L. Krivine introduced the notion of storage operator to simulate "call by value" in the "call by name" strategy. J.L. Krivine has shown that, using G\"odel translation of classical into intuitionitic logic, we can find a simple type for the ... More

Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logicAug 16 2014Feb 02 2016This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup such as amenability ... More

Stability, NIP, and NSOP; Model Theoretic Properties of Formulas via Topological Properties of Function SpacesOct 13 2014Feb 15 2019We study and characterize stability, NIP and NSOP in terms of topological and measure theoretical properties of classes of functions. We study a measure theoretic property, `Talagrand's stability', and explain the relationship between this property and ... More

Kummer subfields of tame division algebras over Henselian valued fieldsJun 15 2007By generalizing the method used by Tignol and Amitsur in [TA85], we determine necessary and sufficient conditions for an arbitrary tame central division algebra D over a Henselian valued field E to have Kummer subfields [Corollary 2.11 and Corollary 2.12]. ... More

Correspondences between model theory and banach space theoryDec 29 2015In \cite{K3} we pointed out the correspondence between a result of Shelah in model theory, i.e. a theory is unstable if and only if it has IP or SOP, and the well known compactness theorem of Eberlein and \v{S}mulian in functional analysis. In this paper, ... More

Remarks on the strict order propertyFeb 14 2019A well-known theorem of Shelah asserts that a theory has $OP$ (the order property) if and only if it has $IP$ (the independence property) or $SOP$ (the strict order property). We give a mild strengthening of Shelah's theorem for classical logic and a ... More

Three Dimensional Loop Quantum Gravity: Particles and the Quantum DoubleDec 22 2006It is well known that the quantum double structure plays an important role in three dimensional quantum gravity coupled to matter field. In this paper, we show how this algebraic structure emerges in the context of three dimensional Riemannian loop quantum ... More

Modulino as natural candidate for a sterile neutrinoJan 14 1998We discuss the possible generation of R-parity violating bilinear terms $ \mu_i\bar L_i H_2$ in both cases of gravity and gauge mediated supersymmetry breaking. Some phenomenological aspects are reviewed. In particular for scenario where $ \mu_i$ depend ... More

New limits on heavy neutrinos from Kaon experiments at CERNJun 12 2017The NA48/2 and NA62-$R_K$ experiments at CERN collected large samples of charged kaon decays in 2003--2004 and 2007, respectively. These samples, collected with different trigger conditions, allow to search for both short and long-living heavy neutrinos ... More

The Kaon identification system at the NA62 experiment at CERNNov 22 2016The NA62 experiment at CERN SPS aims to measure the branching ratio of the ultra-rare kaon decay $K^+\to\pi^+\nu\bar{\nu}$ with 10\% precision, collecting $\sim 100$ events, assuming the Standard Model~(SM) branching ratio of $8.4 \times 10^{-11}$, starting ... More

(Pseudo)goldstinos, SUSY fluids, Dirac gravitino and gauginosFeb 18 2014Oct 16 2014We review the emergence and fate of goldstinos in different frameworks. First, we consider a super-Higgs mechanism when supersymmetry breaking is induced by neither an F-term nor a D-term but related to a more general stress energy-momentum tensor. This ... More

An example of a non adequate numeral systemMay 05 2009A numeral system is defined by three closed $\lambda$-terms : a normal $\lambda$-term $d_0$ for Zero, a $\lambda$-term $S_d$ for Successor, and a $\lambda$-term for Zero Test, such that the $\lambda$-terms $({S_d}^{i} ~ d_0)$ are normalizable and have ... More

A General Type for Storage OperatorsMay 05 2009In 1990, J.L. Krivine introduced the notion of storage operator to simulate, in $\lambda$-calculus, the "call by value" in a context of a "call by name". J.L. Krivine has shown that, using G\"odel translation from classical into intuitionistic logic, ... More

Heterotic String Theory on Anti-de-Sitter SpacesMay 18 1998We suggest that compactifications on Anti-de-Sitter (AdS) spaces of type IIA, IIB, heterotic strings and eleven dimensional vacuua of M-theory are related by a combination of $T$ and strong/weak dualities. Maldacena conjecture relates then all these vacuua ... More

Combinatorial Lefschetz theorems beyond positivityDec 26 2018Jan 28 2019Consider a simplicial complex that allows for an embedding into $\mathbb{R}^d$. How many faces of dimension $\frac{d}{2}$ or higher can it have? How dense can they be? This basic question goes back to Descartes' "Lost Theorem" and Euler's work on polyhedra. ... More

FAQ on the g-theorem and the hard Lefschetz theorem for face ringsJun 14 2019This short review is the result of a minicourse at the Sapienza University of Rome the author gave about the proof of the $g$-theorem. We give a review over the two available proofs of the hard Lefschetz theorem for simplicial spheres, as well as recent ... More

High-dimensional stochastic optimization with the generalized Dantzig estimatorNov 14 2008We propose a generalized version of the Dantzig selector. We show that it satisfies sparsity oracle inequalities in prediction and estimation. We consider then the particular case of high-dimensional linear regression model selection with the Huber loss ... More

Sparse Principal Component Analysis with missing observationsMay 31 2012Jun 01 2012In this paper, we study the problem of sparse Principal Component Analysis (PCA) in the high-dimensional setting with missing observations. Our goal is to estimate the first principal component when we only have access to partial observations. Existing ... More

$\aleph_0$-categorical Banach spaces contain $\ell_p$ or $c_0$Mar 26 2016Dec 05 2018This paper has three parts. First, we establish some of the basic model theoretic facts about $\mathbb{T}$, the Tsirelson space of Figiel and Johnson \cite{FJ}. Second, using the results of the first part, we give some facts about general Banach spaces. ... More

Correspondences between model theory and Banach space theoryDec 29 2015Dec 05 2018In \cite{K3} we pointed out the correspondence between a result of Shelah in model theory, i.e. a theory is unstable if and only if it has IP or SOP, and the well known compactness theorem of Eberlein and \v{S}mulian in functional analysis. In this paper, ... More

Poincaré type inequality for Dirichlet spaces and application to the uniqueness setOct 30 2009We give an extension of Poincar\'e's type capacitary inequality for Dirichlet spaces and provide an application to study the uniqueness sets on the unit circle for these spaces.

Toric chordalityMar 23 2015Jan 02 2017We study the geometric change of Chow cohomology classes in projective toric varieties under the Weil-McMullen dual of the intersection product with a Lefschetz element. Based on this, we introduce toric chordality, a generalization of graph chordality ... More

$\aleph_0$-categorical spaces contain $\ell_p$ or $c_0$Mar 26 2016Aug 09 2016This paper has three parts. First, we establish some of the basic model theoretic facts about the Tsirelson space of Figiel and Johnson \cite{FJ}, denoted $\mathbb{T}$. Second, using the results of the first part, we give some facts about general Banach ... More

Toric chordalityMar 23 2015Oct 10 2016We study the geometric change of Chow cohomology classes in projective toric varieties under the Weil-McMullen dual of the intersection product with a Lefschetz element. Based on this, we introduce toric chordality, a generalization of graph chordality ... More

Split fermionic WIMPs evade direct detectionMay 05 2018Nov 02 2018We consider a model with two gauge singlet fermionic WIMPs communicating with the SM particles by a singlet scalar mediator via a Higgs portal. While the light WIMP is stable and plays the role of the dark matter (DM) candidate, the heavy partner is a ... More

Cosmological Solution in M-theory on S^1/Z_2Apr 14 1998We provide the first example of a cosmological solution of the Horava-Witten supergravity. This solution is obtained by exchanging the role of time with the radial coordinate of the transverse space to the five-brane soliton. On the boundary this corresponds ... More

Supersymmetry Breaking In Orbifolds CompactificationsOct 23 1995Oct 24 1995Known mechanisms for breaking of supersymmetry at the level of string theory imply that at least one of the internal dimensions has a very large size. Experimental detection of the associated light Kaluza-Klein (KK) excitations would be a strong hint ... More

Perturbative Supersymmetry Breaking In Orbifolds With Wilson Line BackgroundsSep 21 1995A way to break supersymmetry in perturbative superstring theory is the string version of the Scherk-Schwarz mechanism. There, the fermions and bosons have mass splitting due to different compactification boundary conditions. We consider the implementation ... More

Searches for Lepton Number Violation and resonances in the $K^{\pm}\rightarrow πμμ$ decays at the NA48/2 experimentNov 22 2016The NA48/2 experiment at CERN collected a large sample of charged kaon decays into final states with multiple charged particles in 2003--2004. A new upper limit on the rate of the lepton number violating decay $K^{\pm}\to\pi^{\mp}\mu^{\pm}\mu^{\pm}$ obtained ... More

Searches for Lepton Number Violation and resonances in the $K^{\pm} \to πμμ$ decays at the NA48/2 experimentJul 14 2016The NA48/2 experiment at CERN collected a large sample of charged kaon decays into final states with multiple charged particles in 2003--2004. A new upper limit on the rate of the lepton number violating decay $K^{\pm} \to \pi^{\mp} \mu^{\pm} \mu^{\pm}$ ... More

Chiral and volume extrapolation of pion and kaon electromagnetic form factor within SU(3) ChPTDec 04 2011Jan 02 2012We calculate the pion and kaon electromagnetic form factors in finite volume for a generic momentum transfer in space-like region, using SU(3) chiral perturbation theory. To this end, we first find the hadronic matrix element in a new form which is suitable ... More

Remark on the studies of the muon-induced neutron background in the liquid scintillator detectorsOct 19 2009Jan 20 2010This article gives a point of view on the studies of the muon-induced background for the underground experiments using a liquid scintillator detectors. The results obtained are in good agreement with the data, especially for the neutron yield production. ... More

S-storage operatorsMay 06 2009In 1990, J.L. Krivine introduced the notion of storage operator to simulate, for Church integers, the "call by value" in a context of a "call by name" strategy. In this present paper, we define, for every $\lambda$-term S which realizes the successor ... More

Non deterministic classical logic: the $λμ^{++}$-calculusMay 04 2009In this paper, we present an extension of $\lambda\mu$-calculus called $\lambda\mu^{++}$-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on data types. ... More

Characterization of polytopes via tilings with similar piecesNov 21 2010May 16 2011Generalizing results by Valette, Zamfirescu and Laczkovich, we will prove that a convex body $K$ is a polytope if there are sufficiently many tilings which contain a tile similar to $K$. Furthermore, we give an example that this can not be improved.

Motion in Quantum GravityMar 31 2010We tackle the question of motion in Quantum Gravity: what does motion mean at the Planck scale? Although we are still far from a complete answer we consider here a toy model in which the problem can be formulated and resolved precisely. The setting of ... More

Simplified PMT ModelSep 24 2008A simplified model is proposed based on the characteristics of the photomultiplier tube (PMT). The Model is compared to the available data, and it successes to reproduce the saturation profile of the PMT. The model also adds clarification about how the ... More

FAQ on the g-theorem and the hard Lefschetz theorem for face ringsJun 14 2019Jun 26 2019This short review is the result of a minicourse at the Sapienza University of Rome the author gave about the proof of the $g$-theorem. We give a review over the two available proofs of the hard Lefschetz theorem for simplicial spheres, as well as recent ... More

Dividing lines in unstable theories and subclasses of Baire 1 functionsApr 20 2019Jun 06 2019We give a new characterization of SOP (the strict order property) and an optimal version of a theorem of Shelah, namely a theory has OP (the order property) if and only if it has IP (the independence property) or SOP. We point out some parallels between ... More

Effect of magnetic boundary conditions on the dynamo threshold of von Karman swirling flowsApr 11 2008We study the effect of different boundary conditions on the kinematic dynamo threshold of von Karman type swirling flows in a cylindrical geometry. Using an analytical test flow, we model different boundary conditions: insulating walls all over the flow, ... More

Dividing lines in unstable theories and subclasses of Baire 1 functionsApr 20 2019We give a new characterization of SOP (the strict order property) and an optimal version of a theorem of Shelah, namely a theory has OP (the order property) if and only if it has IP (the independence property) or SOP. We point out some parallels between ... More

Scales and Cosmological Applications of M TheoryMay 26 1998I review recent results in three topics of the M-world: (i) Scales. (ii) New dark matter candidates. (iii) Cosmological solutions from p-branes. The three topics are discussed in the framework of Ho\v{r}ava-Witten compactifications. Part (iii) includes ... More

Phenomenology of Low Quantum Gravity Scale ModelsSep 29 1998Jan 21 1999We study some phenomenological implications of models where the scale of quantum gravity effects lies much below the four-dimensional Planck scale. These models arise from M-theory vacua where either the internal space volume is large or the string coupling ... More

NIP formulas and Baire 1 definabilityMar 25 2017Apr 01 2017In this short note, using results of Bourgain, Fremlin, and Talagrand \cite{BFT}, we show that for a countable structure $M$, a saturated elementary extension $M^*$ of $M$ and a formula $\phi(x,y)$ the following are equivalent: (i) $\phi(x,y)$ is NIP ... More

Renormalization group equation analysis of a pseudoscalar portal dark matter modelFeb 28 2017Aug 29 2017We investigate the vacuum stability and perturbativity of a pseudoscalar portal dark matter model with a Dirac dark matter (DM) candidate, through the renormalization group equation analysis at one-loop order. The model has a particular feature which ... More

Leading Chiral Logarithms of $K_{S} \to γγ$ and $K_{S} \to γ~l^+ l^-$ at two LoopsMar 26 2014Jun 02 2014We obtain the leading divergences at two-loop order for the decays $K_{S} \to \gamma \gamma$ and $K_{S} \to \gamma~\l^+ \l^-$ using only one-loop diagrams. We then find the double chiral logarithmic corrections to the decay branching ratio of $K_{S} \to ... More

Remarks on Banach spaces determined by their finite dimensional subspacesApr 20 2018A separable Banach space $X$ is said to be finitely determined if for each separable space $Y$ such that $X$ is finitely representable (f.r.) in $Y$ and $Y$ is f.r. in $X$ then $Y$ is isometric to $X$. We provide a direct proof (without model theory) ... More

A model for the motion of a particle in a quantum backgroundJul 07 2008We are studying the dynamics of a one-dimensional field in a non-commutative Euclidean space. The non-commutative space we consider is the one that emerges in the context of three dimensional Euclidean quantum gravity: it is a deformation of the classical ... More

Note on Drexel tests of the IMB R1408 PMTs used in the inner veto of both far and near detectors of the Double Chooz experimentApr 20 2011Apr 27 2011This report is related to the testing performed at Drexel University of 250 R1408 PMTs. Based on this testing, 156 R1408 PMTs were chosen to be used in the inner veto of the detectors of the Double Chooz experiment.

$K_{S}$ $\to$ $γγ$ at one-loop revisitedJul 17 2009We have calculated the decay amplitude for the process $K_{S}$ $\to$ $\gamma \gamma$ at one loop order in chiral perturbation theory. As a new improvement we have included the weak mass term which is only relevant for processes with external fields in ... More

La Valeur d'un Entier Classique en $λμ$-CalculMay 05 2009In this paper, we present three methods to give the value of a classical integer in $\lambda\mu$-calculus. The first method is an external method and gives the value and the false part of a normal classical integer. The second method uses a new reduction ... More

Three dimensional Loop Quantum Gravity: towards a self-gravitating Quantum Field TheoryDec 22 2006In a companion paper, we have emphasized the role of the Drinfeld double DSU(2) in the context of three dimensional Riemannian Loop Quantum Gravity coupled to massive spinless point particles. We make use of this result to propose a model for a self-gravitating ... More

Continuous logic and the strict order propertyFeb 14 2019May 02 2019We generalize a theory of Shelah for continuous logic, namely a continuous theory has OP if and only if it has IP or SOP.

Infinite curvature on typical convex surfacesNov 21 2010Sep 11 2011Solving a long-standing open question in convex geometry, we will show that typical convex surfaces contain points of infinite curvature in all tangent directions. To prove this, we use an easy curvature definition imitating the idea of Alexandrov spaces ... More

FAQ on the g-theorem and the hard Lefschetz theorem for face ringsJun 14 2019Jun 24 2019This short review is the result of a minicourse at the Sapienza University of Rome the author gave about the proof of the $g$-theorem. We give a review over the two available proofs of the hard Lefschetz theorem for simplicial spheres, as well as recent ... More

High-dimensional covariance matrix estimation with missing observationsJan 12 2012May 11 2012In this paper, we study the problem of high-dimensional approximately low-rank covariance matrix estimation with missing observations. We propose a simple procedure computationally tractable in high-dimension and that does not require imputation of the ... More

Optimal spectral norm rates for noisy low-rank matrix completionOct 24 2011In this paper we consider the trace regression model where $n$ entries or linear combinations of entries of an unknown $m_1\times m_2$ matrix $A_0$ corrupted by noise are observed. We establish for the nuclear-norm penalized estimator of $A_0$ introduced ... More

Textured Neural AvatarsMay 21 2019We present a system for learning full-body neural avatars, i.e. deep networks that produce full-body renderings of a person for varying body pose and camera position. Our system takes the middle path between the classical graphics pipeline and the recent ... More

Exact diagonalization solver for the extended dynamical mean-field theorySep 26 2017Dec 29 2017We present an efficient exact diagonalization scheme for the extended dynamical mean-field theory and apply it to the extended Hubbard model on the square lattice with nonlocal charge-charge interactions. Our solver reproduces the phase diagram of this ... More

Orbital-selective conductance of Co adatom on the Pt(111) surfaceJun 19 2011Feb 22 2012We propose an orbital-selective model for the transport and magnetic properties of the individual Co impurity deposited on the Pt(111). Using the combination of the Anderson-type Hamiltonian and the Kubo's linear response theory we show that the magnetization ... More

Gravity as an SU(1,1) gauge theory in four dimensionsFeb 22 2017We start with the Hamiltonian formulation of the first order action of pure gravity with a full $\mathfrak{sl}(2,\mathbb C)$ internal gauge symmetry. We make a partial gauge-fixing which reduces $\mathfrak{sl}(2,\mathbb C)$ to its sub-algebra $\mathfrak{su}(1,1)$. ... More

A revised completeness result for the simply typed $λμ$-calculus using realizability semanticsDec 29 2016Aug 21 2017In this paper, we define a new realizability semantics for the simply typed lambda-mu-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. We also prove a completeness result of our realizability semantics using ... More

Characterizing Communicability of Networks formed on Mobile NodesDec 28 2016Smartphones have become extremely popular by launching wide ubiquitous networks. Nowadays studying of DTN Delay Tolerant Networks (DTN) and Opportunistic Networks where formed over these mobile nodes, is one of the interesting topics in the research community. ... More

What Can We Learn From Analogue Experiments?Oct 17 2016In 1981 Unruh proposed that fluid mechanical experiments could be used to probe key aspects of the quantum phenomenology of black holes. In particular, he claimed that an analogue to Hawking radiation could be created within a fluid mechanical `dumb hole', ... More

Mono-Higgs signature in fermionic dark matter modelAug 16 2016Aug 12 2017In light of the Higgs boson discovery, we explore mono-Higgs signature in association with dark matter pair production at the LHC in a renormalizable model with a fermionic dark matter candidate. For two channels with $\gamma\gamma+\text{MET}$ and $b ... More

Intersection Norms and One-faced Collection of CurvesSep 10 2018Oct 22 2018Intersection norms are integer norms on the first homology group of a surface. In this article, we prove that there are some polytopes which are not dual unit balls of such norms. By the way, we investigate the set of collections of curves on $\Sigma$2 ... More

BTZ Black Hole Entropy and the Turaev-Viro modelDec 05 2013We show the explicit agreement between the derivation of the Bekenstein-Hawking entropy of a Euclidean BTZ black hole from the point of view of spin foam models and canonical quantization. This is done by considering a graph observable (corresponding ... More

Automatic Classification of Variable Stars in Catalogs with missing dataOct 29 2013We present an automatic classification method for astronomical catalogs with missing data. We use Bayesian networks, a probabilistic graphical model, that allows us to perform inference to pre- dict missing values given observed data and dependency relationships ... More

Symmetry and Evolution in Quantum GravityMar 28 2013Mar 25 2014We propose an operator constraint equation for the wavefunction of the Universe that admits genuine evolution. While the corresponding classical theory is equivalent to the canonical decomposition of General Relativity, the quantum theory makes predictions ... More

An Approximation Algorithm for the Euclidean Bottleneck Steiner Tree ProblemDec 07 2010Given two sets of points in the plane, $P$ of $n$ terminals and $S$ of $m$ Steiner points, a Steiner tree of $P$ is a tree spanning all points of $P$ and some (or none or all) points of $S$. A Steiner tree with length of longest edge minimized is called ... More

An arithmetical proof of the strong normalization for the $λ$-calculus with recursive equations on typesMay 07 2009We give an arithmetical proof of the strong normalization of the $\lambda$-calculus (and also of the $\lambda\mu$-calculus) where the type system is the one of simple types with recursive equations on types. The proof using candidates of reducibility ... More

Stripping a supermultiplet of all but one scalar: a microscopic viewMay 16 2018We explain how a single scalar degree of freedom can be obtained from projecting out all the other components of a chiral superfield using simple operators in the microscopic theory. We use the Fayet-Iliopoulos model as an example of the origin for the ... More

A short proof of the Strong Normalization of Classical Natural Deduction with DisjunctionMay 06 2009We give a direct, purely arithmetical and elementary proof of the strong normalization of the cut-elimination procedure for full (i.e. in presence of all the usual connectives) classical natural deduction.

Les types de données syntaxiques du système FMay 06 2009We give in this paper a purely syntactical definition of input and output types of system F. We define the syntactical data types as input and output types. We show that any type with positive quantifiers is a syntactical data type and that an input type ... More

Cosmological Deformation of Lorentzian Spin Foam ModelsNov 29 2002We study the quantum deformation of the Barrett-Crane Lorentzian spin foam model which is conjectured to be the discretization of Lorentzian Plebanski model with positive cosmological constant and includes therefore as a particular sector quantum gravity ... More

Scalar Dark Matter in Scale Invariant Standard ModelNov 26 2015Mar 16 2016We investigate single and two-component scalar dark matter scenarios in classically scale invariant standard model which is free of the hierarchy problem in the Higgs sector. We show that despite the very restricted space of parameters imposed by the ... More

Near-Horizon Radiation and Self-Dual Loop Quantum GravityFeb 17 2014We compute the near-horizon radiation of quantum black holes in the context of self-dual loop quantum gravity. For this, we first use the unitary spinor basis of $\text{SL}(2,\mathbb{C})$ to decompose states of Lorentzian spin foam models into their self-dual ... More