Searching Arxiv, refresh for possibly better results.

Results for "Karim Iskakov"

total 956took 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
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
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
Self-energy embedding theory (SEET) for periodic systemsSep 12 2018We present an implementation of the self-energy embedding theory (SEET) for periodic systems and provide a fully self-consistent embedding solution for a simple realistic periodic problem - 1D crystalline hydrogen - that displays many of the features ... 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
Charge order and antiferromagnetism in the extended Hubbard modelApr 03 2019We study the extended Hubbard model on a two-dimensional half-filled square lattice using the dynamical cluster approximation. We present results on the phase boundaries between the paramagnetic metallic (normal) state and the insulating antiferromagnetic ... 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
$\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
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
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
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
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
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
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
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
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
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
$\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
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.
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
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
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
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
Valence fluctuations and empty-state resonance for Fe adatom on a surfaceSep 07 2015Jul 05 2016We report on the formation of the high-energy empty-state resonance in the electronic spectrum of the iron adatom on the Pt(111) surface. By using the combination of the first-principles methods and the finite-temperature exact diagonalization approach, ... More
Mono-Higgs signature in fermionic dark matter modelAug 16 2016In light of Higgs boson discovery, we explore mono-Higgs signature in association with dark matter pair production at the LHC. For two channels with $\gamma\gamma+\text{MET}$ and $b \bar b+\text{MET}$ in the final state we simulate the SM backgrounds ... More
Time RemainsAug 12 2014On one popular view, the general covariance of gravity implies that change is relational in a strong sense, such that all it is for a physical degree of freedom to change is for it to vary with regard to a second physical degree of freedom. At a quantum ... More
Testing the imposition of the Spin Foam Simplicity ConstraintsDec 08 2011May 30 2012We introduce a three-dimensional Plebanski action for the gauge group SO(4). In this model, the $B$ field satisfies quadratic simplicity constraints similar to that of the four-dimensional Plebanski theory, but with the difference that the $B$ field is ... More
A syntactical proof of the operational equivalence of two $λ$-termsMay 06 2009In this paper we present a purely syntactical proof of the operational equivalence of $I=\lambda xx$ and the $\lambda$-term $J$ that is the $\eta$-infinite expansion of $I$.
Simple proof of the completeness theorem for second order classical and intuitionictic logic by reduction to first-order mono-sorted logicMay 06 2009We present a simpler way than usual to deduce the completeness theorem for the second-oder classical logic from the first-order one. We also extend our method to the case of second-order intuitionistic logic.
Small Instantons and Weak Scale String TheoryOct 11 1999We consider heterotic string compactifications to four dimensions when instantons shrink to zero size. If the standard model gauge group originates from the new gauge symmetry associated with the small instantons singularity, then the weakly or strongly ... More
Remarks on NIP in a modelJun 14 2017We define the notion $\phi(x,y)$ has $NIP$ in $A$, where $A$ is a subset of a model, and give some equivalences by translating results from [1]. Using additional material from [11] we discuss the number of coheirs when $A$ is not necessarily countable. ... More
Characterisations of V-sufficiency and C^0-sufficiency of relative jetsMar 21 2017Jun 14 2017The Kuiper-Kuo theorem is well-known in the singularity theory, as a result giving sufficient conditions for r-jets to be V-sufficient and C^0-sufficient in C^r functions or C^{r+1} functions. The converse is also proved by J. Bochnak - S. Lojasiewicz. ... More
Controllable Angular Scattering with a Bianisotropic MetasurfaceJan 25 2017We propose the concept of a bianisotropic metasurface with controllable angular scattering. We illustrate this concept with the synthesis and the analysis of a metasurface exhibiting controllable absorption and transmission phase as function of the incidence ... More
Ample tangent bundle on smooth projective stacksNov 06 2016We study ample vector bundles on smooth projective stacks. In particular, we prove that the tangent bundle for the weighted projective stack $\mathbb{P}(a_0,...,a_n)$ is ample. A result of Mori shows that the only smooth projective varieties with ample ... More
MIMO Wiretap Channel under Receiver Side Power Constraints with Applications to Wireless Power Transfer and Cognitive RadioJul 05 2016We consider the multiple-input multiple-output (MIMO) wiretap channel under a minimum receiver-side power constraint in addition to the usual maximum transmitter-side power constraint. This problem is motivated by energy harvesting communications with ... More
Hamiltonian analysis of higher derivative scalar-tensor theoriesDec 21 2015We perform a Hamiltonian analysis of a large class of scalar-tensor Lagrangians which depend quadratically on the second derivatives of a scalar field. By resorting to a convenient choice of dynamical variables, we show that the Hamiltonian can be written ... More
Schrodinger Evolution for the Universe: ReparametrizationFeb 04 2015Starting from a generalized Hamilton-Jacobi formalism, we develop a new framework for constructing observables and their evolution in theories invariant under global time reparametrizations. Our proposal relaxes the usual Dirac prescription for the observables ... More
Methods from Differential Geometry in Polytope TheoryMar 11 2014The purpose of this thesis is to study classical combinatorial objects, such as polytopes, polytopal complexes, and subspace arrangements, using tools that have been developed in combinatorial topology, especially those tools developed in connection with ... More
A New Approach to Constraint Weight Learning for Variable Ordering in CSPsDec 25 2013A Constraint Satisfaction Problem (CSP) is a framework used for modeling and solving constrained problems. Tree-search algorithms like backtracking try to construct a solution to a CSP by selecting the variables of the problem one after another. The order ... More
A dynamical system approach to Heisenberg Uniqueness PairsDec 21 2013Jun 30 2014Let $\Lambda$ be a set of lines in $\mathbb{R}^2$ that intersect at the origin. For $\Gamma\subset\mathbb{R}^2$ a smooth curve, we denote by $\mathcal{A}\mathcal{C}(\Gamma)$ the subset of finite measures on $\Gamma$ that are absolutely continuous with ... More
Tight complexes in 3-space admit perfect discrete Morse functionsFeb 15 2012Apr 07 2012In 1967, Chillingworth proved that all convex simplicial 3-balls are collapsible. Using the classical notion of tightness, we generalize this to arbitrary manifolds: We show that all tight simplicial 3-manifolds admit some perfect discrete Morse function. ... More
A semantics of realisability for the classical propositional natural deductionMay 11 2009In this paper, we introduce a semantics of realisability for the classical propositional natural deduction and we prove a correctness theorem. This allows to characterize the operational behaviour of some typed terms.
Why the usual candidates of reducibility do not work for the symmetric $λμ$-calculusMay 11 2009The symmetric $\lambda mu$-calculus is the $\lambda\mu$-calculus introduced by Parigot in which the reduction rule $\mu'$, which is the symmetric of $\mu$, is added. We give examples explaining why the technique using the usual candidates of reducibility ... More
Brane-Worlds Pseudo-GoldstinosJun 21 2007Jan 10 2008We consider a space-time with extra dimensions containing sectors, branes and bulk, that communicate only through gravitational interactions. In each sector, if considered separately, supersymmetry could be spontaneously broken, leading to the appearance ... More
Metric formulation of the simple theory of 3d massive gravityMay 10 2019We have recently introduced a new and very simple action for three-dimensional massive gravity. This action is written in a first order formulation where the triad and the connection play a manifestly symmetric role, but where internal Lorentz gauge symmetry ... More
A remarkably simple theory of 3d massive gravityDec 03 2018We propose and study a new action for three-dimensional massive gravity. This action takes a very simple form when written in terms of connection and triad variables, but the connection can also be integrated out to obtain a triad formulation. The quadratic ... More
Normal approximation and concentration of spectral projectors of sample covarianceApr 28 2015Let $X,X_1,\dots, X_n$ be i.i.d. Gaussian random variables in a separable Hilbert space ${\mathbb H}$ with zero mean and covariance operator $\Sigma={\mathbb E}(X\otimes X),$ and let $\hat \Sigma:=n^{-1}\sum_{j=1}^n (X_j\otimes X_j)$ be the sample (empirical) ... More
Pac-bayesian bounds for sparse regression estimation with exponential weightsSep 14 2010Mar 14 2011We consider the sparse regression model where the number of parameters $p$ is larger than the sample size $n$. The difficulty when considering high-dimensional problems is to propose estimators achieving a good compromise between statistical and computational ... 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
X-TREPAN: a multi class regression and adapted extraction of comprehensible decision tree in artificial neural networksAug 30 2015In this work, the TREPAN algorithm is enhanced and extended for extracting decision trees from neural networks. We empirically evaluated the performance of the algorithm on a set of databases from real world events. This benchmark enhancement was achieved ... 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