total 159326took 0.11s

Computational Complexity Analysis of Genetic ProgrammingNov 11 2018May 14 2019Genetic programming (GP) is an evolutionary computation technique to solve problems in an automated, domain-independent way. Rather than identifying the optimum of a function as in more traditional evolutionary optimization, the aim of GP is to evolve ... More

Computational Complexity Analysis of Genetic ProgrammingNov 11 2018Genetic Programming (GP) is an evolutionary computation technique to solve problems in an automated, domain-independent way. Rather than identifying the optimum of a function as in more traditional evolutionary optimization, the aim of GP is to evolve ... More

Erratum: Simplified Drift Analysis for Proving Lower Bounds in Evolutionary ComputationNov 30 2012This erratum points out an error in the simplified drift theorem (SDT) [Algorithmica 59(3), 369-386, 2011]. It is also shown that a minor modification of one of its conditions is sufficient to establish a valid result. In many respects, the new theorem ... More

Standard Steady State Genetic Algorithms Can Hillclimb Faster than Mutation-only Evolutionary AlgorithmsAug 04 2017Aug 25 2017Explaining to what extent the real power of genetic algorithms lies in the ability of crossover to recombine individuals into higher quality solutions is an important problem in evolutionary computation. In this paper we show how the interplay between ... More

On the Benefits of Populations on the Exploitation Speed of Standard Steady-State Genetic AlgorithmsMar 26 2019It is generally accepted that populations are useful for the global exploration of multi-modal optimisation problems. Indeed, several theoretical results are available showing such advantages over single-trajectory search heuristics. In this paper we ... More

Evolving Boolean Functions with Conjunctions and Disjunctions via Genetic ProgrammingMar 28 2019Recently it has been proved that simple GP systems can efficiently evolve the conjunction of $n$ variables if they are equipped with the minimal required components. In this paper, we make a considerable step forward by analysing the behaviour and performance ... More

When Hypermutations and Ageing Enable Artificial Immune Systems to Outperform Evolutionary AlgorithmsApr 04 2018Mar 15 2019We present a time complexity analysis of the Opt-IA artificial immune system (AIS). We first highlight the power and limitations of its distinguishing operators (i.e., hypermutations with mutation potential and ageing) by analysing them in isolation. ... More

Artificial Immune Systems Can Find Arbitrarily Good Approximations for the NP-Hard Partition ProblemJun 01 2018Typical Artificial Immune System (AIS) operators such as hypermutations with mutation potential and ageing allow to efficiently overcome local optima from which Evolutionary Algorithms (EAs) struggle to escape. Such behaviour has been shown for artificial ... More

Fast Artificial Immune SystemsJun 01 2018Various studies have shown that characteristic Artificial Immune System (AIS) operators such as hypermutations and ageing can be very efficient at escaping local optima of multimodal optimisation problems. However, this efficiency comes at the expense ... More

Evolving Boolean Functions with Conjunctions and Disjunctions via Genetic ProgrammingMar 28 2019May 01 2019Recently it has been proved that simple GP systems can efficiently evolve the conjunction of $n$ variables if they are equipped with the minimal required components. In this paper, we make a considerable step forward by analysing the behaviour and performance ... More

When Hypermutations and Ageing Enable Artificial Immune Systems to Outperform Evolutionary AlgorithmsApr 04 2018We present a time complexity analysis of the Opt-IA artificial immune system (AIS). We first highlight the power and limitations of its distinguishing operators (i.e., hypermutations with mutation potential and ageing) by analysing them in isolation. ... More

Artificial Immune Systems Can Find Arbitrarily Good Approximations for the NP-Hard Number Partitioning ProblemJun 01 2018Mar 15 2019Typical artificial immune system (AIS) operators such as hypermutations with mutation potential and ageing allow to efficiently overcome local optima from which evolutionary algorithms (EAs) struggle to escape. Such behaviour has been shown for artificial ... More

Theoretical Analysis of Stochastic Search AlgorithmsSep 04 2017Theoretical analyses of stochastic search algorithms, albeit few, have always existed since these algorithms became popular. Starting in the nineties a systematic approach to analyse the performance of stochastic search heuristics has been put in place. ... More

On Inversely Proportional Hypermutations with Mutation PotentialMar 27 2019Artificial Immune Systems (AIS) employing hypermutations with linear static mutation potential have recently been shown to be very effective at escaping local optima of combinatorial optimisation problems at the expense of being slower during the exploitation ... More

Simple Hyper-heuristics Control the Neighbourhood Size of Randomised Local Search Optimally for LeadingOnesJan 23 2018May 15 2019Selection HHs are randomised search methodologies which choose and execute heuristics during the optimisation process from a set of low-level heuristics. A machine learning mechanism is generally used to decide which low-level heuristic should be applied ... More

On the Impact of the Cutoff Time on the Performance of Algorithm ConfiguratorsApr 12 2019Algorithm configurators are automated methods to optimise the parameters of an algorithm for a class of problems. We evaluate the performance of a simple random local search configurator (ParamRLS) for tuning the neighbourhood size $k$ of the RLS$_k$ ... More

Simple Hyper-heuristics Optimise LeadingOnes in the Best Runtime Achievable Using Randomised Local Search Low-Level HeuristicsJan 23 2018Dec 06 2018Selection hyper-heuristics are randomised search methodologies which choose and execute heuristics from a set of low-level heuristics. Recent research for the LeadingOnes benchmark function has shown that the standard Simple Random, Permutation, Random ... More

On the Impact of the Cutoff Time on the Performance of Algorithm ConfiguratorsApr 12 2019May 21 2019Algorithm configurators are automated methods to optimise the parameters of an algorithm for a class of problems. We evaluate the performance of a simple random local search configurator (ParamRLS) for tuning the neighbourhood size $k$ of the RLS$_k$ ... More

Escaping Local Optima using Crossover with Emergent or Reinforced DiversityAug 10 2016Population diversity is essential for avoiding premature convergence in Genetic Algorithms (GAs) and for the effective use of crossover. Yet the dynamics of how diversity emerges in populations are not well understood. We use rigorous runtime analysis ... More

Optimal Investment with Stocks and DerivativesOct 19 2012Oct 08 2013This paper studies the problem of maximizing expected utility from terminal wealth combining a static position in derivative securities, which we assume can be traded only at time zero, with a traditional dynamic trading strategy in stocks. We work in ... More

Combinatorial interpretations of particular evaluations of complete and elementary symmetric functionsNov 11 2011The Jacobi-Stirling numbers and the Legendre-Stirling numbers of the first and second kind were first introduced in [6], [7]. In this paper we note that Jacobi-Stirling numbers and Legendre-Stirling numbers are specializations of elementary and complete ... More

The arithmetical rank of a special class of monomial idealsMay 14 2010Jun 08 2010We give an affirmative answer to a question due to J. He and A. Van Tuyl, proving that the arithmetical rank of a special monomial ideal equals to the projective dimension of corresponding quotient module.

Transition Semantics - The Dynamics of Dependence LogicMar 05 2012May 21 2013We examine the relationship between Dependence Logic and game logics. A variant of Dynamic Game Logic, called Transition Logic, is developed, and we show that its relationship with Dependence Logic is comparable to the one between First-Order Logic and ... More

Indirect constraints on R-parity violating stop couplingsMar 31 2000Aug 04 2000It was recently claimed that single stop production at the Tevatron, occurring via R-parity (and baryon number) violating couplings, could lead to observable signals. In this talk I present some results of a work in progress, showing that rare B decays ... More

On a dyadic approximation of predictable processes of finite variationJun 26 2013Mar 27 2014We show that any cadlag predictable process of finite variation is an a.s. limit of elementary predictable processes; it follows that predictable stopping times can be approximated `from below' by predictable stopping times which take finitely many values. ... More

A differential extension of Descartes' foundational approach: a new balance between symbolic and analog computationApr 04 2019In La G\'eom\'etrie, Descartes proposed a balance between geometric constructions and symbolic manipulation with the introduction of suitable ideal machines. In modern terms, that is a balance between analog and symbolic computation. Descartes' geometric ... More

Constraints on R-Parity violating stop couplings from flavor physicsAug 25 2000Nov 22 2000We perform a critical reassessment of the constraints on the R-parity and baryon number violating (s)top couplings coming from flavor physics. In particular, we study K0-K0bar mixing, including QCD corrections and a class of diagrams that were neglected ... More

Spectrally Perron Polynomials and the Cauchy-Ostrovsky TheoremAug 26 2016Oct 23 2016In this note, proofs of theorems attributed to Cauchy and Ostrovsky via combinatorial matrix theory and nonnegative matrix theory are given. We show that the sufficient conditions in each theorem are also necessary. In addition, we introduce the notion ... More

Supersymmetry and First Order Equations for Extremal States: Monopoles, Hyperinstantons, Black-Holes and p-BranesJan 13 1997Jan 16 1997In this lecture I review recent results on the first order equations describing BPS extremal states, in particular N=2 extremal black-holes. The role of special geometry is emphasized also in the rigid theory and a comparison is drawn with the supersymmetric ... More

Representations of Atiyah algebroids and logarithmic connectionsMay 18 2015In this paper, we investigate representations of $\operatorname{At}(N)$, the Atiyah algebroids of a holomorphic line bundles $N$ over a complex manifold $Y$. In particular, we relate $\operatorname{At}(N)$-modules with logarithmic connections through ... More

Gravity capillary standing water wavesMay 08 2014The paper deals with the 2D gravity-capillary water waves equations in their Hamiltonian formulation, addressing the question of the nonlinear interaction of a plane wave with its reflection off a vertical wall. The main result is the construction of ... More

Teichmüller spaces of Generalized Hyperelliptic ManifoldsMay 03 2017In this paper we achieve a description of the connected components of Teichm\"uller space corresponding to Generalized Hyperelliptic Manifolds $X$. These are the quotients $ X = T/G$ of a complex torus $T$ by the free action of a finite group $G$, and ... More

Interval-based SynthesisAug 26 2014We introduce the synthesis problem for Halpern and Shoham's modal logic of intervals extended with an equivalence relation over time points, abbreviated HSeq. In analogy to the case of monadic second-order logic of one successor, the considered synthesis ... More

On the existence time for the Kirchhoff equation with periodic boundary conditionsMay 03 2018We consider the Cauchy problem for the Kirchhoff equation on $\mathbb{T}^d$ with initial data of small amplitude $\varepsilon$ in Sobolev class. We prove a lower bound $\varepsilon^{-4}$ for the existence time, which improves the bound $\varepsilon^{-2}$ ... More

Asymmetric velocity and tilt angle of domain walls induced by spin-orbit torquesDec 23 2018We present a micromagnetic study of the current-induced domain wall motion in perpendicularly magnetized Pt/Co/AlOx racetracks. We show that the domain wall velocity depends critically on the tilt angle of the wall relative to the current direction, which ... More

Higher MonodromyJul 29 2004For a given category C and a topological space X, the constant stack on X with stalk C is the stack of locally constant sheaves with values in C. Its global objects are classified by their monodromy, a functor from the Poincare groupoid of X to C. In ... More

Traces of Sobolev functions on regular surfaces in infinite dimensionsFeb 09 2013In a Banach space $X$ endowed with a nondegenerate Gaussian measure, we consider Sobolev spaces of real functions defined in a sublevel set $O= \{x\in X:\;G(x) <0\}$ of a Sobolev nondegenerate function $G:X\mapsto \R$. We define the traces at $G^{-1}(0)$ ... More

Nonparametric estimation of the dynamic range of music signalsDec 02 2013Feb 14 2018The dynamic range is an important parameter which measures the spread of sound power, and for music signals it is a measure of recording quality. There are various descriptive measures of sound power, none of which has strong statistical foundations. ... More

Isoperimetric inequalities and mixing time for a random walk on a random point processJul 31 2006Oct 31 2007We consider the random walk on a simple point process on $\Bbb{R}^d$, $d\geq2$, whose jump rates decay exponentially in the $\alpha$-power of jump length. The case $\alpha =1$ corresponds to the phonon-induced variable-range hopping in disordered solids ... More

Pathwise versions of the Burkholder-Davis-Gundy inequalityMay 27 2013Apr 13 2015We present a new proof of the Burkholder-Davis-Gundy inequalities for $1\leq p<\infty$. The novelty of our method is that these martingale inequalities are obtained as consequences of elementary deterministic counterparts. The latter have a natural interpretation ... More

A study of dependency features of spike trains through copulasMar 20 2019Simultaneous recordings from many neurons hide important information and the connections characterizing the network remain generally undiscovered despite the progresses of statistical and machine learning techniques. Discerning the presence of direct ... More

Mixing time of PageRank surfers on sparse random digraphsMay 13 2019Given a digraph $G$, a parameter $\alpha\in(0,1)$ and a distribution $\lambda$ over the vertices of $G$, the generalised PageRank surf on $G$ with parameters $\alpha$ and $\lambda$ is the Markov chain on the vertices of $G$ such that at each step with ... More

A Semianalytical Method to Evolve Parton DistributionsJul 31 1998May 25 1999We present a new method to solve in a semianalytical way the Dokshitzer-Gribov-Lipatov-Altarelli-Parisi evolution equations at NLO order in the x-space. The method allows to construct an evolution operator expressed in form of a rapidly convergent series ... More

Robust improper maximum likelihood: tuning, computation, and a comparison with other methods for robust Gaussian clusteringJun 02 2014Jan 28 2017The two main topics of this paper are the introduction of the "optimally tuned improper maximum likelihood estimator" (OTRIMLE) for robust clustering based on the multivariate Gaussian model for clusters, and a comprehensive simulation study comparing ... More

Modelling trait dependent speciation with Approximate Bayesian ComputationDec 10 2018Phylogeny is the field of modelling the temporal discrete dynamics of speciation. Complex models can nowadays be studied using the Approximate Bayesian Computation approach which avoids likelihood calculations. The field's progression is hampered by the ... More

A Nash-Moser-Hörmander implicit function theorem with applications to control and Cauchy problems for PDEsSep 01 2016Dec 20 2018We prove an abstract Nash-Moser implicit function theorem which, when applied to control and Cauchy problems for PDEs in Sobolev class, is sharp in terms of the loss of regularity of the solution of the problem with respect to the data. The proof is a ... More

Moduli spaces of $Λ$-modules on abelian varietiesFeb 19 2016Sep 04 2017We study the moduli space $\mathbf{M}_X(\Lambda, n)$ of semistable $\Lambda$-modules of vanishing Chern classes over an abelian variety $X$, where $\Lambda$ belongs to a certain subclass of $D$-algebras. In particular, for $\Lambda = \mathcal{D}_X$ (resp. ... More

A fast subsampling method for estimating the distribution of signal-to-noise ratio statistics in nonparametric time series regression modelsNov 06 2017Apr 17 2019Signal-to-noise ratio (SNR) statistics play a central role in many applications. A common situation where SNR is studied is when a continuous time signal is sampled at a fixed frequency with some noise in the background. While estimation methods exist, ... More

Networked Systems under Denial-of-Service: Co-located vs. Remote Control ArchitecturesMar 22 2017Mar 27 2017In this paper, we study networked systems in the presence of Denial-of-Service (DoS) attacks, namely attacks that prevent transmissions over the communication network. Previous studies have shown that co-located architectures (control unit co-located ... More

Quasi-optimal nonconforming methods for symmetric elliptic problems. III -- DG and other interior penalty methodsOct 10 2017We devise new variants of the following nonconforming finite element methods: DG methods of fixed arbitrary order for the Poisson problem, the Crouzeix-Raviart interior penalty method for linear elasticity, and the quadratic $C^0$ interior penalty method ... More

Quasi-optimal nonconforming methods for symmetric elliptic problems. II -- Overconsistency and classical nonconforming elementsOct 10 2017We devise variants of classical nonconforming methods for symmetric elliptic problems. These variants differ from the original ones only by transforming discrete test functions into conforming functions before applying the load functional. We derive and ... More

On a system involving a critically growing nonlinearityAug 02 2011This paper deals with the system \[\{{array}{ll} -\Delta u = \lambda u + q |u|^3 u \phi & \hbox{in} B_R, -\Delta \phi=q |u|^5 & \hbox{in} B_R, u=\phi=0 & \hbox{on} \partial B_R. {array}.\] We prove existence and nonexistence results depending on the value ... More

Algebraic functions with even monodromyDec 01 2003Let $X$ be a compact Riemann surface of genus $g$ and $d\geq 12g+4$ be an integer. We show that $X$ admits meromorphic functions with monodromy group equal to the alternating group $A_d.$

On higher Gauss mapsApr 10 2015We prove that the general fibre of the $i$-th Gauss map has dimension $m$ if and only if at the general point the $(i+1)$-th fundamental form consists of cones with vertex a fixed $\mathbb P^{m-1}$, extending a known theorem for the usual Gauss map. We ... More

ADE Spectral Networks and Decoupling Limits of Surface DefectsNov 28 2016Feb 14 2017We study vacua and BPS spectra of canonical surface defects of class $\mathcal{S}$ theories in different decoupling limits using ADE spectral networks. In some regions of the IR moduli spaces of these 2d-4d systems, the mixing between 2d and 4d BPS states ... More

Morita classes of microdifferential algebroidsDec 21 2011May 25 2015Projective cotangent bundles of complex manifolds are the local models of complex contact manifolds. Such bundles are quantized by the algebra of microdifferential operators (a localization of the algebra of differential operators on the base manifold). ... More

Standing waves for a Schrödinger-Chern-Simons-Higgs systemJul 13 2018We consider a system arising from a nonrelativistic Chern-Simon-Higgs model, in which a charged field is coupled with a gauge field. We prove an existence result for small coupling constants.

Matrix roots of imprimitive irreducible nonnegative matricesJul 16 2014Jun 03 2015Using matrix function theory, Perron-Frobenius theory, combinatorial matrix theory, and elementary number theory, we characterize, classify, and describe in terms of the Jordan canonical form the matrix pth-roots of imprimitive irreducible nonnegative ... More

Study of boundary conditions in the Iterative Filtering method for the decomposition of nonstationary signalsNov 19 2018Feb 13 2019Nonstationary and nonlinear signals are ubiquitous in real life. Their decomposition and analysis is an important topic of research in signal processing. Recently a new technique, called Iterative Filtering, has been developed with the goal of decomposing ... More

Electrodynamics of superconducting pnictide superlatticesApr 16 2014It has been recently reported (S. Lee et al., Nature Materials 12, 392, 2013) that superlattices where layers of the 8% Co-doped BaFe2As2 superconducting pnictide are intercalated with non superconducting ultrathin layers of either SrTiO3 or of oxygen-rich ... More

Nonlinear fractional magnetic Schrödinger equation: existence and multiplicitySep 24 2017In this paper we focus our attention on the following nonlinear fractional Schr\"odinger equation with magnetic field \begin{equation*} \varepsilon^{2s}(-\Delta)_{A/\varepsilon}^{s}u+V(x)u=f(|u|^{2})u \quad \mbox{ in } \mathbb{R}^{N}, \end{equation*} ... More

Infinitesimal invariant and vector bundlesDec 28 2006We study the Saito-Ikeda infinitesimal invariant of the ccle defined by curves in their jacobians using rank (k+1) vector bundles and we give a criterion for which the higher cycle class map is not trivial. When k=2, this turns out to be strictly linked ... More

Rank-based persistenceMay 22 2019Persistence has proved to be a valuable tool to analyze real world data robustly. Several approaches to persistence have been attempted over time, some topological in flavor, based on the vector space-valued homology functor, other combinatorial, based ... More

Positive ground states for a system of Schrödinger equations with critically growing nonlinearitiesMar 13 2014Jul 21 2014We study the following problem \[ \begin{cases} -\Delta u = \lambda u + u^{2^*-2} v & \hbox{in} \Omega,\\ -\Delta v= \mu v^{2^*-1} + u^{2^*-1} & \hbox{in} \Omega,\\ u> 0,v> 0 & \hbox{in} \Omega,\\ u=v=0 & \hbox{on} \partial \Omega, \end{cases} \] where ... More

$W^{s,p}$-approximation properties of elliptic projectors on polynomial spaces, with application to the error analysis of a Hybrid High-Order discretisation of Leray-Lions problemsJun 09 2016Jan 30 2017In this work we prove optimal $W^{s,p}$-approximation estimates (with $p\in[1,+\infty]$) for elliptic projectors on local polynomial spaces. The proof hinges on the classical Dupont--Scott approximation theory together with two novel abstract lemmas: ... More

On the hypersurfaces contained in their HessianMar 16 2019This article presents the theory of focal locus applied to the hypersurfaces in the projective space which are (finitely) covered by linear spaces and such that the tangent space is constant along these spaces.

On rational maps from the product of two general curvesNov 16 2014Jul 06 2015This paper treats the dominant rational maps from the product of two very general curves to nonsingular projective surfaces. Combining the result by Bastianelli and Pirola, we prove that the product of two very general curves of genus $g\geq 7$ and $g'\geq ... More

On subfields of the function field of a general surface in ${\mathbb P}^3$Sep 03 2014Mar 25 2015In this paper we study birational immersions from a very general smooth plane curve to a non-rational surface with $p_g=q=0$ to treat dominant rational maps from a very general surface $X$ of degree$\geq 5$ in ${\mathbb P}^3$ to smooth projective surfaces ... More

Jordan chains of $h$-cyclic matricesJul 16 2014Feb 24 2015Arising from the classification of the matrix-roots of a nonnegative imprimitive irreducible matrix, we present results concerning the Jordan chains of an $h$-cyclic matrix. We also present ancillary results applicable to nonnegative imprimitive irreducible ... More

ADE Spectral NetworksJan 11 2016Dec 13 2016We introduce a new perspective and a generalization of spectral networks for 4d $\mathcal{N}=2$ theories of class $\mathcal{S}$ associated to Lie algebras $\mathfrak{g} = \textrm{A}_n$, $\textrm{D}_n$, $\textrm{E}_{6}$, and $\textrm{E}_{7}$. Spectral ... More

Linear Congruences and hyperbolic Systems of conservation LawsApr 02 2005S. I. Agafonov and E. V. Ferapontov have introduced a construction that allows naturally associating to a system of partial differential equations of conservation laws a congruence of lines in an appropriate projective space. In particular hyperbolic ... More

Perron Spectratopes and the Real Nonnegative Inverse Eigenvalue ProblemAug 29 2015Nov 19 2015Call an $n$-by-$n$ invertible matrix $S$ a \emph{Perron similarity} if there is a real non-scalar diagonal matrix $D$ such that $S D S^{-1}$ is entrywise nonnegative. We give two characterizations of Perron similarities and study the polyhedra $\mathcal{C}(S) ... More

Minimal subfamilies and the probabilistic interpretation for modulus on graphsMay 26 2016The notion of $p$-modulus of a family of objects on a graph is a measure of the richness of such families. We develop the notion of minimal subfamilies using the method of Lagrangian duality for $p$-modulus. We show that minimal subfamilies have at most ... More

On subcanonical Gorenstein varieties and apolarityDec 13 2011Oct 10 2012Let $X$ be a codimension 1 subvariety of dimension $>1$ of a variety of minimal degree $Y$. If $X$ is subcanonical with Gorenstein canonical singularities admitting a crepant resolution, then $X$ is Arithmetically Gorenstein and we characterise such subvarieties ... More

Nonlinear Schrödinger equation in the Bopp-Podolsky electrodynamics: solutions in the electrostatic caseFeb 09 2018Jun 26 2018We study the following nonlinear Schr\"odinger-Bopp-Podolsky system \[ \begin{cases} -\Delta u + \omega u + q^{2}\phi u = |u|^{p-2}u -\Delta \phi + a^2 \Delta^2 \phi = 4\pi u^2 \end{cases} \hbox{ in }\mathbb{R}^3 \] with $a,\omega>0$. We prove existence ... More

The Rickman-Picard TheoremJul 20 2018We give a new and conceptually simple proof of the Rickman-Picard theorem for quasiregular maps based on potential-theoretic methods.

An egg-yolk principle and exponential integrability for quasiregular mappingsJul 13 2006Quasiregular mappings $f:\Omega\subset\R^{n}\to \R^{n}$ are a natural generalization of analytic functions from complex analysis and provide a theory which is rich with new phenomena. In this paper we extend a well-known result of A.~Chang and D.~Marshall ... More

Optimal secure quantum teleportation of coherent states of lightAug 28 2017Nov 28 2017We investigate quantum teleportation of ensembles of coherent states of light with a Gaussian distributed displacement in phase space. Recently, the following general question has been addressed in [P. Liuzzo-Scorpo et al., arXiv:1705.03017]: Given a ... More

Scaling dimensions in QED$_3$ from the $ε$-expansionAug 12 2017We study the fixed point that controls the IR dynamics of QED in $d = 4 - 2\epsilon$. We derive the scaling dimensions of four-fermion and bilinear operators beyond leading order in $\epsilon$-expansion. For the four-fermion operators, this requires the ... More

Ground states for fractional magnetic operatorsJan 16 2016We study a class of minimization problems for a nonlocal operator involving an external magnetic potential. The notions are physically justified and consistent with the case of absence of magnetic fields. Existence of solutions is obtained via concentration ... More

Dihedral Monodromy and Xiao FibrationsJun 24 2014Jun 29 2015We construct three new families of fibrations $\pi : S \to B$ where $S$ is an algebraic complex surface and $B$ a curve that violate Xiao's conjecture relating the relative irregularity and the genus of the general fiber. The fibers of $\pi$ are certain ... More

Dynamic Neural Network Channel Execution for Efficient TrainingMay 15 2019Existing methods for reducing the computational burden of neural networks at run-time, such as parameter pruning or dynamic computational path selection, focus solely on improving computational efficiency during inference. On the other hand, in this work, ... More

On the probability of staying above a wall for the (2+1)-dimensional SOS model at low temperatureJun 04 2014Nov 09 2015We obtain sharp asymptotics for the probability that the (2+1)-dimensional discrete SOS interface at low temperature is positive in a large region. For a square region $\Lambda$, both under the infinite volume measure and under the measure with zero boundary ... More

Towards Stabilization of Distributed Systems under Denial-of-ServiceSep 12 2017Sep 17 2017In this paper, we consider networked distributed systems in the presence of Denial-of-Service (DoS) attacks, namely attacks that prevent transmissions over the communication network. First, we consider a simple and typical scenario where communication ... More

Effective resistance on graphs and the Epidemic quasimetricSep 24 2012Sep 17 2013We introduce the epidemic quasimetric on graphs and study its behavior with respect to clustering techniques. In particular we compare its behavior to known objects such as the graph distance, effective resistance, and modulus of path families.

A Hybrid High-Order method for nonlinear elasticityJul 07 2017In this work we propose and analyze a novel Hybrid High-Order discretization of a class of (linear and) nonlinear elasticity models in the small deformation regime which are of common use in solid mechanics. The proposed method is valid in two and three ... More

KAM for quasi-linear and fully nonlinear forced KdVNov 28 2012We prove the existence of quasi-periodic, small amplitude, solutions for quasi-linear and fully nonlinear forced perturbations of KdV equations. For Hamiltonian or reversible nonlinearities we also obtain the linear stability of the solutions. The proofs ... More

Beyond $ω$BS-regular Languages: $ω$T-regular Expressions and Counter-Check AutomataSep 07 2017In the last years, various extensions of {\omega}-regular languages have been proposed in the literature, including {\omega}B-regular ({\omega}-regular languages extended with boundedness), {\omega}S-regular ({\omega}-regular languages extended with strict ... More

$A_\infty$-Algebra from SupermanifoldsJan 03 2019Inspired by the analogy between different types of differential forms on supermanifolds and string fields in superstring theory, we construct new multilinear non-associative products of forms which yield an $A_\infty$-algebra.

On fractional Choquard equationsJun 29 2014Nov 27 2014We investigate a class of nonlinear Schrodinger equations with a generalized Choquard nonlinearity and fractional diffusion. We obtain regularity, existence, nonexistence, symmetry as well as decays properties.

A Hybrid High-Order method for the incompressible Navier--Stokes equations based on Temam's deviceJul 19 2018Oct 10 2018In this work we propose a novel Hybrid High-Order method for the incompressible Navier--Stokes equations based on a formulation of the convective term including Temam's device for stability. The proposed method has several advantageous features: it supports ... More

A Hybrid High-Order method for Leray-Lions elliptic equations on general meshesAug 08 2015Dec 07 2016In this work, we develop and analyze a Hybrid High-Order (HHO) method for steady non-linear Leray-Lions problems. The proposed method has several assets, including the support for arbitrary approximation orders and general polytopal meshes. This is achieved ... More

From diffusion experiments to mean-field theory simulations and backApr 11 2019May 15 2019Using previous experimental data of diffusion in metallic alloys, we obtain real values for an interpolation parameter introduced in a mean-field theory for diffusion with interaction. Values of order 1 were found as expected, finding relevance for this ... More

Multi-task Pairwise Neural Ranking for Hashtag SegmentationJun 03 2019Hashtags are often employed on social media and beyond to add metadata to a textual utterance with the goal of increasing discoverability, aiding search, or providing additional semantics. However, the semantic content of hashtags is not straightforward ... More

Automatically Identifying Complaints in Social MediaJun 10 2019Complaining is a basic speech act regularly used in human and computer mediated communication to express a negative mismatch between reality and expectations in a particular situation. Automatically identifying complaints in social media is of utmost ... More

Localization of 4d $\mathcal{N}=1$ theories on $\mathbb{D}^2\times \mathbb{T}^2$Jun 05 2019We consider 4d $\mathcal{N}=1$ gauge theories with R-symmetry on a hemisphere times a torus. We apply localization techniques to evaluate the exact partition function through a cohomological reformulation of the supersymmetry transformations. Our results ... More

Generalized Regressive Motion: a Visual Cue to CollisionOct 26 2015Brains and sensory systems evolved to guide motion. Central to this task is controlling the approach to stationary obstacles and detecting moving organisms. Looming has been proposed as the main monocular visual cue for detecting the approach of other ... More

't Hooft anomalies and the holomorphy of supersymmetric partition functionsMay 14 2019We study the dependence of supersymmetric partition functions on continuous parameters for the flavor symmetry group, $G_F$, for 2d $\mathcal{N} = (0,2)$ and 4d $\mathcal{N}=1$ supersymmetric quantum field theories. In any diffeomorphism-invariant scheme ... More

A Metric Encoding for Bounded Model Checking (extended version)Jul 17 2009Jul 27 2009In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique which is particularly optimized for managing quantitative future and past ... More

On the Schrodinger-Maxwell equations under the effect of a general nonlinear termApr 09 2009May 14 2009In this paper we prove the existence of a nontrivial solution to the nonlinear Schrodinger-Maxwell equations in $\R^3,$ assuming on the nonlinearity the general hypotheses introduced by Berestycki & Lions.