title: Schwinger boson mean field theory: numerics for the energy landscape and gauge excitations in two-dimensional antiferromagnets

abstract: We perform some systematic numerical search for Schwinger boson mean field states on square and triangular lattice clusters. We look for possible inhomogeneous ground states as well as low-energy excited saddle points. The spectrum of the Hessian is also computed for each solution. On the square lattice we find gapless U(1) gauge modes in the non-magnetic phase. In the Z_2 liquid phase of the triangular lattice we identify the topological degeneracy as well as vison states.


title: Black Holes as Critical Point of Quantum Phase Transition

abstract: We reformulate the quantum black hole portrait in the language of modern condensed matter physics. We show that black holes can be understood as a graviton Bose-Einstein condensate at the critical point of a quantum phase transition, identical to what has been observed in systems of cold atoms. The Bogoliubov modes that become degenerate and nearly gapless at this point are the holographic quantum degrees of freedom responsible for the black hole entropy and the information storage. They have no (semi)classical counterparts and become inaccessible in this limit. These findings indicate a deep connection between the seemingly remote systems and suggest a new quantum foundation of holography. They also open an intriguing possibility of simulating black hole information processing in table-top labs.


title: Multiplicity of the lowest eigenvalue of non-commuatative harmonic oscillators

abstract: The multiplicity of the lowest eigenvalue E of the so-called non-commutative harmonic oscillator Q(\alpha,\beta) is studied. It is shown that E is simple for \alpha and \beta in some region.


title: Planck Intermediate Results. V. Pressure profiles of galaxy clusters from the Sunyaev-Zeldovich effect

abstract: Taking advantage of the all-sky coverage and broad frequency range of the Planck satellite, we study the Sunyaev-Zeldovich (SZ) and pressure profiles of 62 nearby massive clusters detected at high significance in the 14-month nominal survey. Careful reconstruction of the SZ signal indicates that most clusters are individually detected at least out to R500. By stacking the radial profiles, we have statistically detected the radial SZ signal out to 3 x R500, i.e., at a density contrast of about 50-100, though the dispersion about the mean profile dominates the statistical errors across the whole radial range. Our measurement is fully consistent with previous Planck results on integrated SZ fluxes, further strengthening the agreement between SZ and X-ray measurements inside R500. Correcting for the effects of the Planck beam, we have calculated the corresponding pressure profiles. This new constraint from SZ measurements is consistent with the X-ray constraints from XMM-Newton in the region in which the profiles overlap (i.e., [0.1-1]R500), and is in fairly good agreement with theoretical predictions within the expected dispersion. At larger radii the average pressure profile is slightly flatter than most predictions from numerical simulations. Combining the SZ and X-ray observed profiles into a joint fit to a generalised pressure profile gives best-fit parameters [P0, c500, gamma, alpha, beta] = [6.41, 1.81, 0.31, 1.33, 4.13]. Using a reasonable hypothesis for the gas temperature in the cluster outskirts we reconstruct from our stacked pressure profile the gas mass fraction profile out to 3 x R500. Within the temperature driven uncertainties, our Planck constraints are compatible with the cosmic baryon fraction and expected gas fraction in halos.


title: Statistics of Lagrangian quantum turbulence

abstract: We consider the dynamics of small tracer particles in turbulent quantum liquids. The complicated interaction processes of vortex filaments, the quantum constraints on vorticity and the varying influence of both the superfluid and the normal fluid on the tracer particle effectively lead to a superstatistical Langevin-like model that in a certain approximation can be solved analytically. An analytic expression for the PDF of velocity v of the tracer particle is derived that exhibits not only the experimentally observed $v^-3$ tails but also the correct behavior near the center of the distribution, in excellent agreement with experimental measurements and numerical simulations. Our results are universal and do not depend on details of the quantum fluid.


title: The Rarita-Schwinger Particles Under de Influence of Strong Magnetic Fields

abstract: In this work, we calculate the solutions of the Rarita-Schwinger equation with the inclusion of the eletromagnetic interaction. Our gauge and coupling prescription choices lead to Dirac-type solutions. One of the consequences of our results are the Landau level occupation of particles, quite different from the usual spin 1/2 particle system occupation numbers.


title: A Link Representation for Gravity Amplitudes

abstract: We derive a link representation for all tree amplitudes in N=8 supergravity, from a recent conjecture by Cachazo and Skinner. The new formula explicitly writes amplitudes as contour integrals over constrained link variables, with an integrand naturally expressed in terms of determinants, or equivalently tree diagrams. Important symmetries of the amplitude, such as supersymmetry, parity and (partial) permutation invariance, are kept manifest in the formulation. We also comment on rewriting the formula in a GL(k)-invariant manner, which may serve as a starting point for the generalization to possible Grassmannian contour integrals.


title: AOLI-- Adaptive Optics Lucky Imager: Diffraction Limited Imaging in the Visible on Large Ground-Based Telescopes

abstract: The highest resolution images ever taken in the visible were obtained by combining Lucky Imaging and low order adaptive optics. This paper describes a new instrument to be deployed on the WHT 4.2m and GTC 10.4 m telescopes on La Palma, with particular emphasis on the optical design and the expected system performance. A new design of low order wavefront sensor using photon counting CCD detectors and multi-plane curvature wavefront sensor will allow dramatically fainter reference stars to be used, allowing virtually full sky coverage with a natural guide star. This paper also describes a significant improvements in the efficiency of Lucky Imaging, important advances in wavefront reconstruction with curvature sensors and the results of simulations and sensitivity limits. With a 2 x 2 array of 1024 x 1024 photon counting EMCCDs, AOLI is likely to be the first of the new class of high sensitivity, near diffraction limited imaging systems giving higher resolution in the visible from the ground than hitherto been possible from space.


title: Photon Counting EMCCDs: New Opportunities for High Time Resolution Astrophysics

abstract: Electron Multiplying CCDs (EMCCDs) are used much less often than they might be because of the challenges they offer camera designers more comfortable with the design of slow-scan detector systems. However they offer an entirely new range of opportunities in astrophysical instrumentation. This paper will show some of the exciting new results obtained with these remarkable devices and talk about their potential in other areas of astrophysical application. We will then describe how they may be operated to give the very best performance at the lowest possible light levels. We will show that clock induced charge may be reduced to negligible levels and that, with care, devices may be clocked at significantly higher speeds than usually achieved. As an example of the advantages offered by these detectors we will show how a multi-detector EMCCD curvature wavefront sensor will revolutionise the sensitivity of adaptive optics instruments and been able to deliver the highest resolution images ever taken in the visible or the near infrared.


title: A note on noncompact logics

abstract: A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to prove that for a number of natural properties P speaking about automorphism groups, every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The basic idea underlying the results and examples presented here is that, using results from random graph theory, it is possible to construct a countable first-order theory T such that every model of T has a very rich automorphism group, but every finite subset of T has a model which is rigid.


title: Density-wave phases of dipolar fermions in a bilayer

abstract: We investigate the phase diagram of dipolar fermions with aligned dipole moments in a two-dimensional (2D) bilayer. Using a version of the Singwi-Tosi-Land-Sjolander scheme recently adapted to dipolar fermions in a single layer [M. M. Parish and F. M. Marchetti, Phys. Rev. Lett. 108, 145304 (2012)], we determine the density-wave instabilities of the bilayer system within linear response theory. We find that the bilayer geometry can stabilize the collapse of the 2D dipolar Fermi gas with intralayer attraction to form a new density wave phase that has an orientation perpendicular to the density wave expected for strong intralayer repulsion. We thus obtain a quantum phase transition between stripe phases that is driven by the interplay between strong correlations and the architecture of the low dimensional system.


title: Global Inflation Dynamics: regularities & forecasts

abstract: The analysis of dollar inflation performed by the authors through the approximation of empirical data for 1913-2012 with a power-law function with an accelerating log-periodic oscillation superimposed over it has made it possible to detect a quasi-singularity point around the 17th of December, 2012. It is demonstrated that, if adequate measures are not taken, one may expect a surge of inflation around the end of this year that may also mark the start of stagflation as there are no sufficient grounds to expect the re-start of the dynamic growth of the world economy by that time. On the other hand, as the experience of the 1970s and the 1980s indicates, the stagflation consequences can only be eliminated with great difficulties and at a rather high cost, because the combination of low levels of economic growth and employment with high inflation leads to a sharp decline in consumption, aggravating the economic depression. In order to mitigate the inflationary consequences of the explosive growth of money (and, first of all, US dollar) supply it is necessary to take urgently the world monetary emission under control. This issue should become central at the forthcoming G8 and G20 summits.


title: On the moduli part of the Kawamata-Kodaira canonical bundle formula

abstract: It is conjectured that the moduli b-divisor of the Kawamata-Kodaira canonical bundle formula associated to a klt-trivial fibration $(X,B)\to Z$ is semi-ample. In this paper, we show the semi-ampleness of an arbitrarily small perturbation of the moduli b-divisor by a fixed appropriate divisor which roughly speaking comes from a section of $K_X+B$. We apply the above result to settle a conjecture of Fujino and Gongyo: if $f\colon X\to Z$ is a smooth surjective morphism of smooth projective varieties with $-K_X$ semi-ample, then $-K_Z$ is also semi-ample. We list several counter-examples to show that this fails without the smoothness assumption on $f$.


title: Charged Higgs bosons in single top production at the LHC

abstract: We show that a light charged Higgs boson signal via $\tau^\pm\nu$ decay can be established at the Large Hadron Collider (LHC) also in the case of single top production. This process complements searches for the same signal in the case of charged Higgs bosons emerging from $t \bar t$ production. The models accessible include the Minimal Supersymmetric Standard Model (MSSM) as well a variety of 2-Higgs Doublet Models (2HDMs). High energies and luminosities are however required, thereby restricting interest on this mode to the case of the LHC running at 14 TeV with design configuration.


title: Optimally designed quantum transport across disordered networks

abstract: We establish a general mechanism for highly efficient quantum transport through finite, disordered 3D networks. It relies on the interplay of disorder with centro-symmetry and a dominant doublet spectral structure, and can be controlled by proper tuning of only coarse-grained quantities. Photosynthetic light harvesting complexes are discussed as potential biological incarnations of this design principle.


title: The Rotating Black Hole in Renormalizable Quantum Gravity: The Three-Dimensional Ho\v{r}ava Gravity Case

abstract: Recently Ho\v{r}ava proposed a renormalizable quantum gravity, without the ghost problem, by abandoning Einstein's equal-footing treatment of space and time through the anisotropic scaling dimensions. Since then various interesting aspects, including the exact black hole solutions have been studied but no "rotating" black hole solutions have been found yet, except some limiting cases. In order to fill the gap, I consider a simpler three-dimensional set-up with z=2 and obtain the exact rotating black hole solution. This solution has a ring curvature singularity inside the outer horizon, like the four- dimensional Kerr black hole in Einstein gravity, as well as a curvature singularity at the origin. The usual mass bound works also here but in a modified form. Moreover, it is shown that the conventional first law of thermodynamics with the usual Hawking temperature and chemical potential does not work, which seems to be the genuine effect of Lorentz-violating gravity due to lack of the absolute horizon.


title: An analytical comparison of coalescent-based multilocus methods: The three-taxon case

abstract: Incomplete lineage sorting (ILS) is a common source of gene tree incongruence in multilocus analyses. A large number of methods have been developed to infer species trees in the presence of ILS. Here we provide a mathematical analysis of several coalescent-based methods. Our analysis is performed on a three-taxon species tree and assumes that the gene trees are correctly reconstructed along with their branch lengths.

categories: math.PR cs.CE cs.DS math.ST q-bio.PE stat.TH


title: Vortex Dynamics: Quantum versus Classical Regimes

abstract: For many years the classical Hall-Vinen-Iordanski (HVI) equation has been used to analyse vortex dynamics in superfluids. Here we discuss the extension of the theory of vortex dynamics to the quantum regime, in which the characteristic vortex frequency is higher than the temperature. At the same time we justify, in the low-frequency classical regime, the use of the HVI equation, provided an inertial mass term and a noise fluctuation term are added to it. The crossover to the quantum regime is discussed, and an intuitive picture is given of the vortex dynamics, which in general is described by 2 equations (one for the vortex coordinate, and one for its quantum fluctuations); we also discuss the simple equation of motion found in the extreme quantum regime.


title: The Schr\"odinger equation, the zero-point electromagnetic radiation and the photoelectric effect

abstract: A Schr\"odinger type equation for a mathematical probability amplitude {\psi}(x,t), is derived from the generalized phase space Liouville equation valid for the motion of a microscopic particle, with mass M, moving in a potential V(x). The particle phase space probability density is denoted W(x,p,t) and the entire system is immersed in the "vacuum" zero-point electromagnetic radiation . We show that the generalized Liouville equation is reduced to a non-quantized Liouville equation in the equilibrium limit where the small radiative corrections cancel each other approximately. Our derivation will be based on a simple Fourier transform of the non-quantized phase space probability distribution W(x,p,t). For convenience, we introduce in this Fourier transform an auxiliary constant {\alpha}, with dimension of action, and an auxiliary coordinate denoted by y. We shall prove that {\alpha} is equal to the Planck's constant present in the momentum operator of the Schr\"odinger equation. Moreover, we shall show that this momentum operator is deeply related with the ubiquitous zero-point electromagnetic radiation. It is also important to say that we do not assume that the mathematical amplitude {\psi}(x,t) is a de Broglie matter-wave, in other words, the wave-particle duality hypothesis is not used within our work. The implications of our study for the standard interpretation of the photoelectric effect is discussed by considering the main characteristics of the phenomenon. We also mention, briefly, the effects of the zero-point radiation in the tunnelling phenomenon and in the Compton's effect.


title: Translationally invariant calculations of form factors, nucleon densities and momentum distributions for finite nuclei with short-range correlations included

abstract: Relying upon our previous treatment of the density matrices for nuclei (in general, nonrelativistic self-bound finite systems) we are studying a combined effect of center-of-mass motion and short-range nucleon-nucleon correlations on the nucleon density and momentum distributions in light nuclei ($^{4}He $ and $^{16}O$). Their intrinsic ground-state wave functions are constructed in the so-called fixed center-of-mass approximation, starting with mean-field Slater determinants modified by some correlator (e.g., after Jastrow or Villars). We develop the formalism based upon the Cartesian or boson representation, in which the coordinate and momentum operators are linear combinations of the creation and annihilation operators for oscillatory quanta in the three different space directions, and get the own "Tassie-Barker" factors for each distribution and point out other model-independent results. After this separation of the center-of-mass motion effects we propose additional analytic means in order to simplify the subsequent calculations (e.g., within the Jastrow approach or the unitary correlation operator method). The charge form factors, densities and momentum distributions of $^{4}He $ and $^{16}O$ evaluated by using the well known cluster expansions are compared with data, our exact (numerical) results and microscopic calculations.


title: A commutative P^1-spectrum representing motivic cohomology over Dedekind domains

abstract: We construct a motivic Eilenberg-MacLane spectrum with a highly structured multiplication over smooth schemes over Dedekind domains which represents Levine's motivic cohomology. The latter is defined via Bloch's cycle complexes. Our method is by gluing p-completed and rational parts along an arithmetic square. Hereby the finite coefficient spectra are obtained by truncated \'etale sheaves (relying on the now proven Bloch-Kato conjecture) and a variant of Geisser's version of syntomic cohomology, and the rational spectra are the ones which represent Beilinson motivic cohomology. As an application the arithmetic motivic cohomology groups can be realized as Ext-groups in a triangulated category of Tate sheaves with integral coefficients. These can be modelled as representations of derived fundamental groups. Our spectrum is compatible with base change giving rise to a formalism of six functors for triangulated categories of motivic sheaves over general base schemes including the localization triangle. Further applications include a generalization of the Hopkins-Morel isomorphism and a structure result for the dual motivic Steenrod algebra in the case where the coefficient characteristic is invertible on the base scheme.


title: Designing FPT algorithms for cut problems using randomized contractions

abstract: We introduce a new technique for designing fixed-parameter algorithms for cut problems, namely randomized contractions. We apply our framework to obtain the first FPT algorithm for the Unique Label Cover problem and new FPT algorithms with exponential speed up for the Steiner Cut and Node Multiway Cut-Uncut problems. More precisely, we show the following: - We prove that the parameterized version of the Unique Label Cover problem, which is the base of the Unique Games Conjecture, can be solved in 2^{O(k^2\log |\Sigma|)}n^4\log n deterministic time (even in the stronger, vertex-deletion variant) where k is the number of unsatisfied edges and |\Sigma| is the size of the alphabet. As a consequence, we show that one can in polynomial time solve instances of Unique Games where the number of edges allowed not to be satisfied is upper bounded by O(\sqrt{\log n}) to optimality, which improves over the trivial O(1) upper bound. - We prove that the Steiner Cut problem can be solved in 2^{O(k^2\log k)}n^4\log n deterministic time and \tilde{O}(2^{O(k^2\log k)}n^2) randomized time where k is the size of the cutset. This result improves the double exponential running time of the recent work of Kawarabayashi and Thorup (FOCS'11). - We show how to combine considering `cut' and `uncut' constraints at the same time. More precisely, we define a robust problem Node Multiway Cut-Uncut that can serve as an abstraction of introducing uncut constraints, and show that it admits an algorithm running in 2^{O(k^2\log k)}n^4\log n deterministic time where k is the size of the cutset. To the best of our knowledge, the only known way of tackling uncut constraints was via the approach of Marx, O'Sullivan and Razgon (STACS'10), which yields algorithms with double exponential running time. An interesting aspect of our technique is that, unlike important separators, it can handle real weights.


title: Structural Domain Walls in Polar Hexagonal Manganites

abstract: We present a microscopic first-principles study of the neutral structural domain walls (DWs) in the multiferroic hexagonal manganites, which have been shown to exhibit cross-couplings between ferroelectricity and struc- tural antiphase. We find that, in contradiction with previously proposed models, the interlocked antiphase- ferroelectric domain walls have approximately zero width, and their energy is lower than that of antiphase-only or ferroelectric-only domain walls. Furthermore, we show that the ferroelectric-only and antiphase-only DWs are superpositions of interlocked antiphase ferroelectric (AP+FE) DWs and intermediate domains inevitably exist through the DWs. Our results shed light on the question of why only AP+FE DWs are observed and how the topological defects emerge in polar hexagonal manganites.


title: A biquadratic Diophantine equation associated with perfect cuboids

abstract: A perfect Euler cuboid is a rectangular parallelepiped with integer edges and integer face diagonals whose space diagonal is also integer. Such cuboids are not yet discovered and their non-existence is also not proved. Perfect Euler cuboids are described by a system of four Diophantine equation possessing a natural $S_3$ symmetry. Recently these equations were factorized with respect to this $S_3$ symmetry and the factor equations were derived. In the present paper the factor equations are transformed to $E$-form and then reduced to a single biquadratic equation.


title: On Locally Gabriel Geometric Graphs

abstract: Let $P$ be a set of $n$ points in the plane. A geometric graph $G$ on $P$ is said to be {\it locally Gabriel} if for every edge $(u,v)$ in $G$, the disk with $u$ and $v$ as diameter does not contain any points of $P$ that are neighbors of $u$ or $v$ in $G$. A locally Gabriel graph is a generalization of Gabriel graph and is motivated by applications in wireless networks. Unlike a Gabriel graph, there is no unique locally Gabriel graph on a given point set since no edge in a locally Gabriel graph is necessarily included or excluded. Thus the edge set of the graph can be customized to optimize certain network parameters depending on the application. In this paper, we show the following combinatorial bounds on edge complexity and independent sets of locally Gabriel graphs: (i) For any $n$, there exists locally Gabriel graphs with $\Omega(n^{5/4})$ edges. This improves upon the previous best bound of $\Omega(n^{1+\frac{1}{\log \log n}})$. (ii) For various subclasses of convex point sets, we show tight linear bounds on the maximum edge complexity of locally Gabriel graphs. (iii) For any locally Gabriel graph on any $n$ point set, there exists an independent set of size $\Omega(\sqrt{n}\log n)$.


title: Optimization of a Finite Frequency-Hopping Ad Hoc Network in Nakagami Fading

abstract: This paper considers the analysis and optimization of a frequency-hopping ad hoc network with a finite number of mobiles and finite spatial extent. The mobiles communicate using coded continuous-phase frequency-shift keying (CPFSK) modulation. The performance of the system is a function of the number of hopping channels, the rate of the error-correction code, and the modulation index used by the CPFSK modulation. For a given channel model and density of mobiles, these parameters are jointly optimized by maximizing the (modulation-constrained) transmission capacity, which is a measure of the spatial spectral efficiency of the system. The transmission capacity of the finite network is found by using a recent expression for the spatially averaged outage probability in the presence of Nakagami fading, which is found in closed form in the absence of shadowing and can be solved using numerical integration in the presence of shadowing.


title: Mechanism Design in Large Games: Incentives and Privacy

abstract: We study the problem of implementing equilibria of complete information games in settings of incomplete information, and address this problem using "recommender mechanisms." A recommender mechanism is one that does not have the power to enforce outcomes or to force participation, rather it only has the power to suggestion outcomes on the basis of voluntary participation. We show that despite these restrictions, recommender mechanisms can implement equilibria of complete information games in settings of incomplete information under the condition that the game is large---i.e. that there are a large number of players, and any player's action affects any other's payoff by at most a small amount. Our result follows from a novel application of differential privacy. We show that any algorithm that computes a correlated equilibrium of a complete information game while satisfying a variant of differential privacy---which we call joint differential privacy---can be used as a recommender mechanism while satisfying our desired incentive properties. Our main technical result is an algorithm for computing a correlated equilibrium of a large game while satisfying joint differential privacy. Although our recommender mechanisms are designed to satisfy game-theoretic properties, our solution ends up satisfying a strong privacy property as well. No group of players can learn "much" about the type of any player outside the group from the recommendations of the mechanism, even if these players collude in an arbitrary way. As such, our algorithm is able to implement equilibria of complete information games, without revealing information about the realized types.


title: A Point-process Response Model for Spike Trains from Single Neurons in Neural Circuits under Optogenetic Stimulation

abstract: Optogenetics is a new tool to study neuronal circuits that have been genetically modified to allow stimulation by flashes of light. We study recordings from single neurons within neural circuits under optogenetic stimulation. The data from these experiments present a statistical challenge of modeling a high frequency point process (neuronal spikes) while the input is another high frequency point process (light flashes). We further develop a generalized linear model approach to model the relationships between two point processes, employing additive point-process response functions. The resulting model, Point-process Responses for Optogenetics (PRO), provides explicit nonlinear transformations to link the input point process with the output one. Such response functions may provide important and interpretable scientific insights into the properties of the biophysical process that governs neural spiking in response to optogenetic stimulation. We validate and compare the PRO model using a real dataset and simulations, and our model yields a superior area-under-the- curve value as high as 93% for predicting every future spike. For our experiment on the recurrent layer V circuit in the prefrontal cortex, the PRO model provides evidence that neurons integrate their inputs in a sophisticated manner. Another use of the model is that it enables understanding how neural circuits are altered under various disease conditions and/or experimental conditions by comparing the PRO parameters.


title: The Hopf conjecture for manifolds with low cohomogeneity or high symmetry rank

abstract: We prove that the Euler characteristic of an even-dimensional compact manifold with positive (nonnegative) sectional curvature is positive (nonnegative) provided that the manifold admits an isometric action of a compact Lie group $G$ with principal isotropy group $H$ and cohomogeneity $k$ such that $k - (\rank G - \rank H)\le 5$. Moreover, we prove that the Euler characteristic of a compact Riemannian manifold $M^{4l+4}$ or $M^{4l+2}$ with positive sectional curvature is positive if $M$ admits an effective isometric action of a torus $T^l$, i.e., if the symmetry rank of $M$ is $\ge l$.


title: Implementation of a spatial two-dimensional quantum random walk with tunable decoherence

abstract: We put forward a new, versatile and highly-scalable experimental setup for the realization of discrete two-dimensional quantum random walks with a single-qubit coin and tunable degree of decoherence. The proposed scheme makes use of a small number of simple optical components arranged in a multi-path Mach-Zehnder-like configuration, where a weak coherent state with average photon number of 1 is injected. Environmental effects (decoherence) are generated by a spatial light modulator, which introduces pure dephasing in the transverse spatial plane, perpendicular to the direction of propagation of the light beam. By controlling the characteristics of this dephasing, one can explore a great variety of scenarios of quantum random walks: pure quantum evolution (ballistic spread), fast fluctuating environment leading to a diffusive classical random walk, and static disorder resulting in the observation of Anderson localization.


title: Naturalness and theoretical constraints on the Higgs boson mass

abstract: Arbitrary regularization dependent parameters in Quantum Field Theory are usually fixed on symmetry or phenomenology grounds. We verify that the quadratically divergent behavior responsible for the lack of naturalness in the Standard Model (SM) is intrinsically arbitrary and regularization dependent. While quadratic divergences are welcome for instance in effective models of low energy QCD, they pose a problem in the SM treated as an effective theory in the Higgs sector. Being the very existence of quadratic divergences a matter of debate, a plausible scenario is to search for a symmetry requirement that could fix the arbitrary coefficient of the leading quadratic behavior to the Higgs boson mass to zero. We show that this is possible employing consistency of scale symmetry breaking by quantum corrections. Besides eliminating a fine-tuning problem and restoring validity of perturbation theory, this requirement allows to construct bounds for the Higgs boson mass in terms of $\delta m^2/m^2_H$ (where $m_H$ is the renormalized Higgs mass and $\delta m^2$ is the 1-loop Higgs mass correction). Whereas $\delta m^2/m^2_H<1$ (perturbative regime) in this scenario allows the Higgs boson mass around the current accepted value, the inclusion of the quadratic divergence demands $\delta m^2/m^2_H$ arbitrarily large to reach that experimental value.


title: A Two-Stage Combined Classifier in Scale Space Texture Classification

abstract: Textures often show multiscale properties and hence multiscale techniques are considered useful for texture analysis. Scale-space theory as a biologically motivated approach may be used to construct multiscale textures. In this paper various ways are studied to combine features on different scales for texture classification of small image patches. We use the N-jet of derivatives up to the second order at different scales to generate distinct pattern representations (DPR) of feature subsets. Each feature subset in the DPR is given to a base classifier (BC) of a two-stage combined classifier. The decisions made by these BCs are combined in two stages over scales and derivatives. Various combining systems and their significances and differences are discussed. The learning curves are used to evaluate the performances. We found for small sample sizes combining classifiers performs significantly better than combining feature spaces (CFS). It is also shown that combining classifiers performs better than the support vector machine on CFS in multiscale texture classification.


title: Complementarity And Firewalls

abstract: This paper has been withdrawn because the author no longer believes the firewall argument is correct.


title: Design Methodology and Considerations for NOVA 53 MHZ RF Cavities

abstract: The NO{\nu}A Experiment will construct a detector optimized for electron neutrino detection in the existing Neutrino at Main Injector (NuMI) beamline. This beamline is capable of operating at 400 kW of primary beam power and the upgrade will allow up to 700 kW. The cavities will operate at 53 MHz and three of them will be installed in the Recycler beamline. Thermal stability of the cavities is crucial since this affects the tuning. Results of finite element thermal and structural analysis involving the copper RF cavity will be presented.


title: Ultrafast dynamical path for the switching of a ferrimagnet after femtosecond heating

abstract: Ultrafast laser-induced magnetic switching in rare earth, transition metal ferrimagnetic alloys has recently been reported to occur by ultrafast heating alone. Using atomistic simulations and a ferrimagnetic Landau-Lifshitz-Bloch formalism, we demonstrate that for switching to occur it is necessary that angular momentum is transferred from the longitudinal to transverse magnetization components. This dynamical path leads to magnetization switching and subsequent ultrafast precession caused by the inter-sublattice exchange field on the nanoscale.


title: A Common Thread: the pairing interaction for the unconventional superconductors

abstract: The structures, the phase diagrams, and the appearance of a neutron resonance signaling an unconventional superconducting state provide phenomenological evidence relating the cuprates, the Fe-pnictides/chalcogenides as well as some heavy fermion and actinide materials. Single- and multi-band Hubbard models have been found to describe a number of the observed properties of these materials so that it is reasonable to examine the origin of the pairing interaction in these models. In this review, based on the experimental phenomenology and studies of the pairing interaction for Hubbard-like models, it is proposed that spin-fluctuation mediated pairing is the common thread linking a broad class of superconducting materials.


title: Miras

abstract: Mira variables share essential characteristics: High visual amplitude, periods of hundreds of days, red colors (spectral types M, S, and C), and the presence of emission lines at some phases. They are fundamental mode pulsators, with progenitor masses ranging from >1 to several solar masses. In this review, we summarize what is known from modeling and observational studies, including recent measurements from optical and IR interferometry, and studies involving large samples of stars particularly in the Magellanic Clouds. While we have a good idea of how these stars fit into the big picture of stellar evolution, many important details remain to be settled by a combination of more ambitious models and new observational techniques. Carrying on observations of bright Mira variables will be essential for interpreting observations of large numbers of fainter sources as well as for assessing the completeness and accuracy of the models.


title: Multipartite Quantum Correlations in Open Quantum Systems

abstract: In this paper we present a measure of quantum correlation for a multipartite system, defined as the sum of the correlations for all possible partitions. Our measure can be defined for quantum discord (QD), geometric quantum discord (GQD), or even by the entanglement of formation (EOF). For tripartite pure states, we show that the multipartite measure for the QD and the EOF are equivalent, which gives a way to compare the distribution and the robustness of these correlations in open quantum systems. We study dissipative dynamics for two distinct families of entanglement: a W state and a GHZ state. We show that, while for the W state the QD is more robust than the entanglement, for the GHZ state this is not true. It turns out that the initial genuine multipartite entanglement present in the GHZ state makes the EOF more robust than the QD.


title: The Global Grid

abstract: This paper puts forward the vision that a natural future stage of the electricity network could be a grid spanning the whole planet and connecting most of the large power plants in the world: this is the "Global Grid". The main driving force behind the Global Grid will be the harvesting of remote renewable sources, and its key infrastructure element will be the high capacity long transmission lines. Wind farms and solar power plants will supply load centers with green power over long distances. This paper focuses on the introduction of the concept, showing that a globally interconnected network can be technologically feasible and economically competitive. We further highlight the multiple opportunities emerging from a global electricity network such as smoothing the renewable energy supply and electricity demand, reducing the need for bulk storage, and reducing the volatility of the energy prices. We also discuss possible investment mechanisms and operating schemes. Among others, we envision in such a system a global power market and the establishment of two new coordinating bodies, the "Global Regulator" and the "Global System Operator".


title: Enhancing the stability of a fractional Chern insulator against competing phases

abstract: We construct a two-band lattice model whose bands can carry the Chern numbers C=0,pm1,pm2. By means of numerical exact diagonalization, we show that the most favorable situation that selects fractional Chern insulators (FCIs) is not necessarily the one that mimics Landau levels, namely a flat band with Chern number 1. First, we find that the gap, measured in units of the on-site electron-electron repulsion, can increase by almost two orders of magnitude when the bands are flat and carry a Chern number C=2 instead of C=1. Second, we show that giving a width to the bands can help to stabilize a FCI. Finally, we put forward a tool to characterize the real-space density profile of the ground state that is useful to distinguish FCI from other competing phases of matter supporting charge density waves or phase separation.


title: Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems

abstract: Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of embedded systems control software. This paper addresses control software synthesis for discrete time nonlinear systems. We present a methodology to overapproximate the dynamics of a discrete time nonlinear hybrid system H by means of a discrete time linear hybrid system L(H), in such a way that controllers for L(H) are guaranteed to be controllers for H. We present experimental results on the inverted pendulum, a challenging and meaningful benchmark in nonlinear Hybrid Systems control.


title: Bubble Shape and Transport During LCM Processes: Experimental Modeling in a T-Junction Tube

abstract: Long fiber composite materials can be elaborated by Liquid Composite Molding (LCM), a family of processes where fibrous preforms are injected by a low viscosity resin. During this process, we have to pay particular attention to the void formation inside the preform because it could modify the material final characteristics. Indeed, a preform presents two different porosity scales: between yarns called macropores and inside yarns, namely micropores.


title: Theoretical and Experimental Modelling of Bubble Formation with Connected Capillaries in Liquid Composite Moulding Processes

abstract: The void prediction in LCM processes sparks off interest within the composite material industry because it is a significant issue to keep the expected mechanical properties. The liquid properties, the preform geometry and the flow conditions impact the quantity of void entrapped inside the final product. The complex geometry of the reinforcement due to the arrangement of the bundles and the fibres is a key point to understand and quantify this phenomenon. This paper deals with both simple model networks which can occur inside a fabric representing connected capillaries, so-called "Pore Doublet Model (PDM)". A first is considering two capillaries converging on a node (T-junction) and a second is representing two capillaries interconnected with a supplying principle. These configurations can affect locally the evolution of flow fronts. First, experiments of bubble formed in a T-junction device have been performed and studied. Then a theoretical approach was proposed to forecast microvoid and macrovoid formation, by taking into account a supplying principle and arranged Washburn equation in forced filling.


title: Computing the refined stability condition

abstract: The classical (inviscid) stability analysis of shock waves is based on the Lopatinski determinant, \Delta---a function of frequencies whose zeros determine the stability of the underlying shock. A careful analysis of \Delta\ shows that in some cases the stable and unstable regions of parameter space are separated by an open set of parameters. Zumbrun and Serre [Indiana Univ. Math. J., 48 (1999) 937--992] have shown that, by taking account of viscous effects not present in the definition of \Delta, it is possible to determine the precise location in the open, neutral set of parameter space at which stability is lost. In particular, they show that the transition to instability under suitably localized perturbations is determined by an "effective viscosity" coefficient. Here, in the simplest possible setting, we propose and implement two new approaches toward the practical computation of this coefficient. Moreover, in a special case, we derive an exact solution of the relevant differential equations.


title: Symmetries and weak (anti)localization of Dirac fermions in HgTe quantum wells

abstract: We perform a symmetry analysis of a 2D electron system in HgTe/HgCdTe quantum wells in the situation when the chemical potential is outside of the gap, so that the bulk of the quantum well is conducting. In order to investigate quantum transport properties of the system, we explore symmetries of the low-energy Hamiltonian which is expressed in terms of two flavors of Dirac fermions, and physically important symmetry-breaking mechanisms. This allows us to predict emerging patterns of symmetry breaking that control the weak localization and antilocalization showing up in transverse-field magnetoresistance.


title: LHC Higgs Signatures from Extended Electroweak Gauge Symmetry

abstract: We study LHC Higgs signatures from the extended electroweak gauge symmetry SU(2) x SU(2) x U(1). Under this gauge structure, we present an effective UV completion of the 3-site moose model with ideal fermion delocalization, which contains two neutral Higgs states (h, H) and three new gauge bosons (W', Z'). We study the unitarity, and reveal that the exact E^2 cancellation in the longitudinal WW scattering amplitudes is achieved by the joint role of exchanging both spin-1 new gauge bosons and spin-0 Higgs bosons. We identify the lighter Higgs state h with mass 125GeV, and derive the unitarity bound on the mass of heavier Higgs boson H. The parameter space of this model is highly predictive. We study the production and decay signals of this 125GeV Higgs boson h at the LHC. We demonstrate that the h Higgs boson can naturally have enhanced signals in the diphoton channel $gg \to h \to\gamma\gamma$, while the events rates in the reactions $gg \to h \to WW^*$ and $gg \to h \to ZZ^*$ are generally suppressed relative to the SM expectation. Searching the h Higgs boson via associated productions and vector boson fusions are also discussed for our model. We further analyze the LHC signals of the heavier Higgs boson H as a distinctive new physics discriminator from the SM. For wide mass-ranges of H, we derive constraints from the existing LHC searches, and study the discovery potential of H at the LHC(8TeV) and LHC(14TeV).


title: Outliers and Random Noises in System Identification: a Compressed Sensing Approach

abstract: In this paper, we consider robust system identification under sparse outliers and random noises. In this problem, system parameters are observed through a Toeplitz matrix. All observations are subject to random noises and a few are corrupted with outliers. We reduce this problem of system identification to a sparse error correcting problem using a Toeplitz structured real-numbered coding matrix. We prove the performance guarantee of Toeplitz structured matrix in sparse error correction. Thresholds on the percentage of correctable errors for Toeplitz structured matrices are established. When both outliers and observation noise are present, we have shown that the estimation error goes to 0 asymptotically as long as the probability density function for observation noise is not "vanishing" around 0. No probabilistic assumptions are imposed on the outliers.


title: Quadric surface bundles over surfaces

abstract: Let T -> S be a finite flat morphism of degree two between regular integral schemes of dimension at most two (and with 2 invertible), having regular branch divisor D. We establish a bijection between Azumaya quaternion algebras on T and quadric surface bundles over S with simple degeneration along D. This is a manifestation of the exceptional isomorphism A_1^2 = D_2 degenerating to the exceptional isomorphism A_1 = B_1. In one direction, the even Clifford algebra yields the map. In the other direction, we show that the classical algebra norm functor can be uniquely extended over the discriminant divisor. Along the way, we study the orthogonal group schemes, which are smooth yet nonreductive, of quadratic forms with simple degeneration. Finally, we provide two surprising applications: constructing counter-examples to the local-global principle for isotropy, with respect to discrete valuations, of quadratic forms over surfaces; and a new proof of the global Torelli theorem for very general cubic fourfolds containing a plane.


title: Exact eigenspectrum of the symmetric simple exclusion process on the complete, complete bipartite, and related graphs

abstract: We show that the infinitesimal generator of the symmetric simple exclusion process, recast as a quantum spin-1/2 ferromagnetic Heisenberg model, can be solved by elementary techniques on the complete, complete bipartite, and related multipartite graphs. Some of the resulting infinitesimal generators are formally identical to homogeneous as well as mixed higher spins models. The degeneracies of the eigenspectra are described in detail, and the Clebsch-Gordan machinery needed to deal with arbitrary spin-s representations of the SU(2) is briefly developed. We mention in passing how our results fit within the related questions of a ferromagnetic ordering of energy levels and a conjecture according to which the spectral gaps of the random walk and the interchange process on finite simple graphs must be equal.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Exploiting First-Order Regression in Inductive Policy Selection

abstract: We consider the problem of computing optimal generalised policies for relational Markov decision processes. We describe an approach combining some of the benefits of purely inductive techniques with those of symbolic dynamic programming methods. The latter reason about the optimal value function using first-order decision theoretic regression and formula rewriting, while the former, when provided with a suitable hypotheses language, are capable of generalising value functions or policies for small instances. Our idea is to use reasoning and in particular classical first-order regression to automatically generate a hypotheses language dedicated to the domain at hand, which is then used as input by an inductive solver. This approach avoids the more complex reasoning of symbolic dynamic programming while focusing the inductive solver's attention on concepts that are specifically relevant to the optimal value function for the domain considered.


title: Bidding under Uncertainty: Theory and Experiments

abstract: This paper describes a study of agent bidding strategies, assuming combinatorial valuations for complementary and substitutable goods, in three auction environments: sequential auctions, simultaneous auctions, and the Trading Agent Competition (TAC) Classic hotel auction design, a hybrid of sequential and simultaneous auctions. The problem of bidding in sequential auctions is formulated as an MDP, and it is argued that expected marginal utility bidding is the optimal bidding policy. The problem of bidding in simultaneous auctions is formulated as a stochastic program, and it is shown by example that marginal utility bidding is not an optimal bidding policy, even in deterministic settings. Two alternative methods of approximating a solution to this stochastic program are presented: the first method, which relies on expected values, is optimal in deterministic environments; the second method, which samples the nondeterministic environment, is asymptotically optimal as the number of samples tends to infinity. Finally, experiments with these various bidding policies are described in the TAC Classic setting.


title: A Complete Anytime Algorithm for Treewidth

abstract: In this paper, we present a Branch and Bound algorithm called QuickBB for computing the treewidth of an undirected graph. This algorithm performs a search in the space of perfect elimination ordering of vertices of the graph. The algorithm uses novel pruning and propagation techniques which are derived from the theory of graph minors and graph isomorphism. We present a new algorithm called minor-min-width for computing a lower bound on treewidth that is used within the branch and bound algorithm and which improves over earlier available lower bounds. Empirical evaluation of QuickBB on randomly generated graphs and benchmarks in Graph Coloring and Bayesian Networks shows that it is consistently better than complete algorithms like QuickTree [Shoikhet and Geiger, 1997] in terms of cpu time. QuickBB also has good anytime performance, being able to generate a better upper bound on treewidth of some graphs whose optimal treewidth could not be computed up to now.


title: The Minimum Information Principle for Discriminative Learning

abstract: Exponential models of distributions are widely used in machine learning for classiffication and modelling. It is well known that they can be interpreted as maximum entropy models under empirical expectation constraints. In this work, we argue that for classiffication tasks, mutual information is a more suitable information theoretic measure to be optimized. We show how the principle of minimum mutual information generalizes that of maximum entropy, and provides a comprehensive framework for building discriminative classiffiers. A game theoretic interpretation of our approach is then given, and several generalization bounds provided. We present iterative algorithms for solving the minimum information problem and its convex dual, and demonstrate their performance on various classiffication tasks. The results show that minimum information classiffiers outperform the corresponding maximum entropy models.


title: Decision Making for Symbolic Probability

abstract: This paper proposes a decision theory for a symbolic generalization of probability theory (SP). Darwiche and Ginsberg [2,3] proposed SP to relax the requirement of using numbers for uncertainty while preserving desirable patterns of Bayesian reasoning. SP represents uncertainty by symbolic supports that are ordered partially rather than completely as in the case of standard probability. We show that a preference relation on acts that satisfies a number of intuitive postulates is represented by a utility function whose domain is a set of pairs of supports. We argue that a subjective interpretation is as useful and appropriate for SP as it is for numerical probability. It is useful because the subjective interpretation provides a basis for uncertainty elicitation. It is appropriate because we can provide a decision theory that explains how preference on acts is based on support comparison.


title: Algebraic Statistics in Model Selection

abstract: We develop the necessary theory in computational algebraic geometry to place Bayesian networks into the realm of algebraic statistics. We present an algebra{statistics dictionary focused on statistical modeling. In particular, we link the notion of effiective dimension of a Bayesian network with the notion of algebraic dimension of a variety. We also obtain the independence and non{independence constraints on the distributions over the observable variables implied by a Bayesian network with hidden variables, via a generating set of an ideal of polynomials associated to the network. These results extend previous work on the subject. Finally, the relevance of these results for model selection is discussed.


title: On-line Prediction with Kernels and the Complexity Approximation Principle

abstract: The paper describes an application of Aggregating Algorithm to the problem of regression. It generalizes earlier results concerned with plain linear regression to kernel techniques and presents an on-line algorithm which performs nearly as well as any oblivious kernel predictor. The paper contains the derivation of an estimate on the performance of this algorithm. The estimate is then used to derive an application of the Complexity Approximation Principle to kernel methods.


title: Metrics for Finite Markov Decision Processes

abstract: We present metrics for measuring the similarity of states in a finite Markov decision process (MDP). The formulation of our metrics is based on the notion of bisimulation for MDPs, with an aim towards solving discounted infinite horizon reinforcement learning tasks. Such metrics can be used to aggregate states, as well as to better structure other value function approximators (e.g., memory-based or nearest-neighbor approximators). We provide bounds that relate our metric distances to the optimal values of states in the given MDP.


title: Dynamic Programming for Structured Continuous Markov Decision Problems

abstract: We describe an approach for exploiting structure in Markov Decision Processes with continuous state variables. At each step of the dynamic programming, the state space is dynamically partitioned into regions where the value function is the same throughout the region. We first describe the algorithm for piecewise constant representations. We then extend it to piecewise linear representations, using techniques from POMDPs to represent and reason about linear surfaces efficiently. We show that for complex, structured problems, our approach exploits the natural structure so that optimal solutions can be computed efficiently.


title: Region-Based Incremental Pruning for POMDPs

abstract: We present a major improvement to the incremental pruning algorithm for solving partially observable Markov decision processes. Our technique targets the cross-sum step of the dynamic programming (DP) update, a key source of complexity in POMDP algorithms. Instead of reasoning about the whole belief space when pruning the cross-sums, our algorithm divides the belief space into smaller regions and performs independent pruning in each region. We evaluate the benefits of the new technique both analytically and experimentally, and show that it produces very significant performance gains. The results contribute to the scalability of POMDP algorithms to domains that cannot be handled by the best existing techniques.


title: A Unified framework for order-of-magnitude confidence relations

abstract: The aim of this work is to provide a unified framework for ordinal representations of uncertainty lying at the crosswords between possibility and probability theories. Such confidence relations between events are commonly found in monotonic reasoning, inconsistency management, or qualitative decision theory. They start either from probability theory, making it more qualitative, or from possibility theory, making it more expressive. We show these two trends converge to a class of genuine probability theories. We provide characterization results for these useful tools that preserve the qualitative nature of possibility rankings, while enjoying the power of expressivity of additive representations.


title: Iterative Conditional Fitting for Gaussian Ancestral Graph Models

abstract: Ancestral graph models, introduced by Richardson and Spirtes (2002), generalize both Markov random fields and Bayesian networks to a class of graphs with a global Markov property that is closed under conditioning and marginalization. By design, ancestral graphs encode precisely the conditional independence structures that can arise from Bayesian networks with selection and unobserved (hidden/latent) variables. Thus, ancestral graph models provide a potentially very useful framework for exploratory model selection when unobserved variables might be involved in the data-generating process but no particular hidden structure can be specified. In this paper, we present the Iterative Conditional Fitting (ICF) algorithm for maximum likelihood estimation in Gaussian ancestral graph models. The name reflects that in each step of the procedure a conditional distribution is estimated, subject to constraints, while a marginal distribution is held fixed. This approach is in duality to the well-known Iterative Proportional Fitting algorithm, in which marginal distributions are fitted while conditional distributions are held fixed.


title: Mixtures of Deterministic-Probabilistic Networks and their AND/OR Search Space

abstract: The paper introduces mixed networks, a new framework for expressing and reasoning with probabilistic and deterministic information. The framework combines belief networks with constraint networks, defining the semantics and graphical representation. We also introduce the AND/OR search space for graphical models, and develop a new linear space search algorithm. This provides the basis for understanding the benefits of processing the constraint information separately, resulting in the pruning of the search space. When the constraint part is tractable or has a small number of solutions, using the mixed representation can be exponentially more effective than using pure belief networks which odel constraints as conditional probability tables.


title: Stable Independance and Complexity of Representation

abstract: The representation of independence relations generally builds upon the well-known semigraphoid axioms of independence. Recently, a representation has been proposed that captures a set of dominant statements of an independence relation from which any other statement can be generated by means of the axioms; the cardinality of this set is taken to indicate the complexity of the relation. Building upon the idea of dominance, we introduce the concept of stability to provide for a more compact representation of independence. We give an associated algorithm for establishing such a representation.We show that, with our concept of stability, many independence relations are found to be of lower complexity than with existing representations.


title: Propositional and Relational Bayesian Networks Associated with Imprecise and Qualitative Probabilistic Assesments

abstract: This paper investigates a representation language with flexibility inspired by probabilistic logic and compactness inspired by relational Bayesian networks. The goal is to handle propositional and first-order constructs together with precise, imprecise, indeterminate and qualitative probabilistic assessments. The paper shows how this can be achieved through the theory of credal networks. New exact and approximate inference algorithms based on multilinear programming and iterated/loopy propagation of interval probabilities are presented; their superior performance, compared to existing ones, is shown empirically.


title: Bayesian Biosurveillance of Disease Outbreaks

abstract: Early, reliable detection of disease outbreaks is a critical problem today. This paper reports an investigation of the use of causal Bayesian networks to model spatio-temporal patterns of a non-contagious disease (respiratory anthrax infection) in a population of people. The number of parameters in such a network can become enormous, if not carefully managed. Also, inference needs to be performed in real time as population data stream in. We describe techniques we have applied to address both the modeling and inference challenges. A key contribution of this paper is the explication of assumptions and techniques that are sufficient to allow the scaling of Bayesian network modeling and inference to millions of nodes for real-time surveillance applications. The results reported here provide a proof-of-concept that Bayesian networks can serve as the foundation of a system that effectively performs Bayesian biosurveillance of disease outbreaks.


title: A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge

abstract: Defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. Defeasible Logic Programming (DeLP) is a defeasible argumentation formalism based on an extension of logic programming. Although DeLP has been successfully integrated in a number of different real-world applications, DeLP cannot deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper introduces P-DeLP, a new logic programming language that extends original DeLP capabilities for qualitative reasoning by incorporating the treatment of possibilistic uncertainty and fuzzy knowledge. Such features will be formalized on the basis of PGL, a possibilistic logic based on Godel fuzzy logic.


title: Sensitivity Analysis in Bayesian Networks: From Single to Multiple Parameters

abstract: Previous work on sensitivity analysis in Bayesian networks has focused on single parameters, where the goal is to understand the sensitivity of queries to single parameter changes, and to identify single parameter changes that would enforce a certain query constraint. In this paper, we expand the work to multiple parameters which may be in the CPT of a single variable, or the CPTs of multiple variables. Not only do we identify the solution space of multiple parameter changes that would be needed to enforce a query constraint, but we also show how to find the optimal solution, that is, the one which disturbs the current probability distribution the least (with respect to a specific measure of disturbance). We characterize the computational complexity of our new techniques and discuss their applications to developing and debugging Bayesian networks, and to the problem of reasoning about the value (reliability) of new information.


title: Applying Discrete PCA in Data Analysis

abstract: Methods for analysis of principal components in discrete data have existed for some time under various names such as grade of membership modelling, probabilistic latent semantic analysis, and genotype inference with admixture. In this paper we explore a number of extensions to the common theory, and present some application of these methods to some common statistical tasks. We show that these methods can be interpreted as a discrete version of ICA. We develop a hierarchical version yielding components at different levels of detail, and additional techniques for Gibbs sampling. We compare the algorithms on a text prediction task using support vector machines, and to information retrieval.


title: Compact Value-Function Representations for Qualitative Preferences

abstract: We consider the challenge of preference elicitation in systems that help users discover the most desirable item(s) within a given database. Past work on preference elicitation focused on structured models that provide a factored representation of users' preferences. Such models require less information to construct and support efficient reasoning algorithms. This paper makes two substantial contributions to this area: (1) Strong representation theorems for factored value functions. (2) A methodology that utilizes our representation results to address the problem of optimal item selection.


title: On finding minimal w-cutset

abstract: The complexity of a reasoning task over a graphical model is tied to the induced width of the underlying graph. It is well-known that the conditioning (assigning values) on a subset of variables yields a subproblem of the reduced complexity where instantiated variables are removed. If the assigned variables constitute a cycle-cutset, the rest of the network is singly-connected and therefore can be solved by linear propagation algorithms. A w-cutset is a generalization of a cycle-cutset defined as a subset of nodes such that the subgraph with cutset nodes removed has induced-width of w or less. In this paper we address the problem of finding a minimal w-cutset in a graph. We relate the problem to that of finding the minimal w-cutset of a treedecomposition. The latter can be mapped to the well-known set multi-cover problem. This relationship yields a proof of NP-completeness on one hand and a greedy algorithm for finding a w-cutset of a tree decomposition on the other. Empirical evaluation of the algorithms is presented.


title: Computing Nash Equilibria of Action-Graph Games

abstract: Action-graph games (AGGs) are a fully expressive game representation which can compactly express both strict and context-specific independence between players' utility functions. Actions are represented as nodes in a graph G, and the payoff to an agent who chose the action s depends only on the numbers of other agents who chose actions connected to s. We present algorithms for computing both symmetric and arbitrary equilibria of AGGs using a continuation method. We analyze the worst-case cost of computing the Jacobian of the payoff function, the exponential-time bottleneck step, and in all cases achieve exponential speedup. When the indegree of G is bounded by a constant and the game is symmetric, the Jacobian can be computed in polynomial time.


title: Recovering Articulated Object Models from 3D Range Data

abstract: We address the problem of unsupervised learning of complex articulated object models from 3D range data. We describe an algorithm whose input is a set of meshes corresponding to different configurations of an articulated object. The algorithm automatically recovers a decomposition of the object into approximately rigid parts, the location of the parts in the different object instances, and the articulated object skeleton linking the parts. Our algorithm first registers allthe meshes using an unsupervised non-rigid technique described in a companion paper. It then segments the meshes using a graphical model that captures the spatial contiguity of parts. The segmentation is done using the EM algorithm, iterating between finding a decomposition of the object into rigid parts, and finding the location of the parts in the object instances. Although the graphical model is densely connected, the object decomposition step can be performed optimally and efficiently, allowing us to identify a large number of object parts while avoiding local maxima. We demonstrate the algorithm on real world datasets, recovering a 15-part articulated model of a human puppet from just 7 different puppet configurations, as well as a 4 part model of a fiexing arm where significant non-rigid deformation was present.


title: Using arguments for making decisions: A possibilistic logic approach

abstract: Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various strengths. In spite of the usefulness of arguments in a decision making process, there have been few formal proposals handling this idea if we except works by Fox and Parsons and by Bonet and Geffner. In this paper we propose a possibilistic logic framework where arguments are built from an uncertain knowledge base and a set of prioritized goals. The proposed approach can compute two kinds of decisions by distinguishing between pessimistic and optimistic attitudes. When the available, maybe uncertain, knowledge is consistent, as well as the set of prioritized goals (which have to be fulfilled as far as possible), the method for evaluating decisions on the basis of arguments agrees with the possibility theory-based approach to decision-making under uncertainty. Taking advantage of its relation with formal approaches to defeasible argumentation, the proposed framework can be generalized in case of partially inconsistent knowledge, or goal bases.


title: Exponential Families for Conditional Random Fields

abstract: In this paper we de ne conditional random elds in reproducing kernel Hilbert spaces and show connections to Gaussian Process classi cation. More speci cally, we prove decomposition results for undirected graphical models and we give constructions for kernels. Finally we present e cient means of solving the optimization problem using reduced rank decompositions and we show how stationarity can be exploited e ciently in the optimization process.


title: MOB-ESP and other Improvements in Probability Estimation

abstract: A key prerequisite to optimal reasoning under uncertainty in intelligent systems is to start with good class probability estimates. This paper improves on the current best probability estimation trees (Bagged-PETs) and also presents a new ensemble-based algorithm (MOB-ESP). Comparisons are made using several benchmark datasets and multiple metrics. These experiments show that MOB-ESP outputs significantly more accurate class probabilities than either the baseline BPETs algorithm or the enhanced version presented here (EB-PETs). These results are based on metrics closely associated with the average accuracy of the predictions. MOB-ESP also provides much better probability rankings than B-PETs. The paper further suggests how these estimation techniques can be applied in concert with a broader category of classifiers.


title: "Ideal Parent" Structure Learning for Continuous Variable Networks

abstract: In recent years, there is a growing interest in learning Bayesian networks with continuous variables. Learning the structure of such networks is a computationally expensive procedure, which limits most applications to parameter learning. This problem is even more acute when learning networks with hidden variables. We present a general method for significantly speeding the structure search algorithm for continuous variable networks with common parametric distributions. Importantly, our method facilitates the addition of new hidden variables into the network structure efficiently. We demonstrate the method on several data sets, both for learning structure on fully observable data, and for introducing new hidden variables during structure search.


title: Bayesian Learning in Undirected Graphical Models: Approximate MCMC algorithms

abstract: Bayesian learning in undirected graphical models|computing posterior distributions over parameters and predictive quantities is exceptionally difficult. We conjecture that for general undirected models, there are no tractable MCMC (Markov Chain Monte Carlo) schemes giving the correct equilibrium distribution over parameters. While this intractability, due to the partition function, is familiar to those performing parameter optimisation, Bayesian learning of posterior distributions over undirected model parameters has been unexplored and poses novel challenges. we propose several approximate MCMC schemes and test on fully observed binary models (Boltzmann machines) for a small coronary heart disease data set and larger artificial systems. While approximations must perform well on the model, their interaction with the sampling scheme is also important. Samplers based on variational mean- field approximations generally performed poorly, more advanced methods using loopy propagation, brief sampling and stochastic dynamics lead to acceptable parameter posteriors. Finally, we demonstrate these techniques on a Markov random field with hidden variables.


title: Case-Factor Diagrams for Structured Probabilistic Modeling

abstract: We introduce a probabilistic formalism subsuming Markov random fields of bounded tree width and probabilistic context free grammars. Our models are based on a representation of Boolean formulas that we call case-factor diagrams (CFDs). CFDs are similar to binary decision diagrams (BDDs) but are concise for circuits of bounded tree width (unlike BDDs) and can concisely represent the set of parse trees over a given string undera given context free grammar (also unlike BDDs). A probabilistic model consists of aCFD defining a feasible set of Boolean assignments and a weight (or cost) for each individual Boolean variable. We give an insideoutside algorithm for simultaneously computing the marginal of each Boolean variable, and a Viterbi algorithm for finding the mininum cost variable assignment. Both algorithms run in time proportional to the size of the CFD.


title: Convolutional Factor Graphs as Probabilistic Models

abstract: Based on a recent development in the area of error control coding, we introduce the notion of convolutional factor graphs (CFGs) as a new class of probabilistic graphical models. In this context, the conventional factor graphs are referred to as multiplicative factor graphs (MFGs). This paper shows that CFGs are natural models for probability functions when summation of independent latent random variables is involved. In particular, CFGs capture a large class of linear models, where the linearity is in the sense that the observed variables are obtained as a linear ransformation of the latent variables taking arbitrary distributions. We use Gaussian models and independent factor models as examples to emonstrate the use of CFGs. The requirement of a linear transformation between latent variables (with certain independence restriction) and the bserved variables, to an extent, limits the modelling flexibility of CFGs. This structural restriction however provides a powerful analytic tool to the framework of CFGs; that is, upon taking the Fourier transform of the function represented by the CFG, the resulting function is represented by a FG with identical structure. This Fourier transform duality allows inference problems on a CFG to be solved on the corresponding dual MFG.


title: An Empirical Evaluation of Possible Variations of Lazy Propagation

abstract: As real-world Bayesian networks continue to grow larger and more complex, it is important to investigate the possibilities for improving the performance of existing algorithms of probabilistic inference. Motivated by examples, we investigate the dependency of the performance of Lazy propagation on the message computation algorithm. We show how Symbolic Probabilistic Inference (SPI) and Arc-Reversal (AR) can be used for computation of clique to clique messages in the addition to the traditional use of Variable Elimination (VE). In addition, the paper resents the results of an empirical evaluation of the performance of Lazy propagation using VE, SPI, and AR as the message computation algorithm. The results of the empirical evaluation show that for most networks, the performance of inference did not depend on the choice of message computation algorithm, but for some randomly generated networks the choice had an impact on both space and time performance. In the cases where the choice had an impact, AR produced the best results.


title: Active Model Selection

abstract: Classical learning assumes the learner is given a labeled data sample, from which it learns a model. The field of Active Learning deals with the situation where the learner begins not with a training sample, but instead with resources that it can use to obtain information to help identify the optimal model. To better understand this task, this paper presents and analyses the simplified "(budgeted) active model selection" version, which captures the pure exploration aspect of many active learning problems in a clean and simple problem formulation. Here the learner can use a fixed budget of "model probes" (where each probe evaluates the specified model on a random indistinguishable instance) to identify which of a given set of possible models has the highest expected accuracy. Our goal is a policy that sequentially determines which model to probe next, based on the information observed so far. We present a formal description of this task, and show that it is NPhard in general. We then investigate a number of algorithms for this task, including several existing ones (eg, "Round-Robin", "Interval Estimation", "Gittins") as well as some novel ones (e.g., "Biased-Robin"), describing first their approximation properties and then their empirical performance on various problem instances. We observe empirically that the simple biased-robin algorithm significantly outperforms the other algorithms in the case of identical costs and priors.


title: An Extended Cencov-Campbell Characterization of Conditional Information Geometry

abstract: We formulate and prove an axiomatic characterization of conditional information geometry, for both the normalized and the nonnormalized cases. This characterization extends the axiomatic derivation of the Fisher geometry by Cencov and Campbell to the cone of positive conditional models, and as a special case to the manifold of conditional distributions. Due to the close connection between the conditional I-divergence and the product Fisher information metric the characterization provides a new axiomatic interpretation of the primal problems underlying logistic regression and AdaBoost.


title: Selection of Identifiability Criteria for Total Effects by using Path Diagrams

abstract: Pearl has provided the back door criterion, the front door criterion and the conditional instrumental variable (IV) method as identifiability criteria for total effects. In some situations, these three criteria can be applied to identifying total effects simultaneously. For the purpose of increasing estimating accuracy, this paper compares the three ways of identifying total effects in terms of the asymptotic variance, and concludes that in some situations the superior of them can be recognized directly from the graph structure.


title: Pre-Selection of Independent Binary Features: An Application to Diagnosing Scrapie in Sheep

abstract: Suppose that the only available information in a multi-class problem are expert estimates of the conditional probabilities of occurrence for a set of binary features. The aim is to select a subset of features to be measured in subsequent data collection experiments. In the lack of any information about the dependencies between the features, we assume that all features are conditionally independent and hence choose the Naive Bayes classifier as the optimal classifier for the problem. Even in this (seemingly trivial) case of complete knowledge of the distributions, choosing an optimal feature subset is not straightforward. We discuss the properties and implementation details of Sequential Forward Selection (SFS) as a feature selection procedure for the current problem. A sensitivity analysis was carried out to investigate whether the same features are selected when the probabilities vary around the estimated values. The procedure is illustrated with a set of probability estimates for Scrapie in sheep.


title: Conditional Chow-Liu Tree Structures for Modeling Discrete-Valued Vector Time Series

abstract: We consider the problem of modeling discrete-valued vector time series data using extensions of Chow-Liu tree models to capture both dependencies across time and dependencies across variables. Conditional Chow-Liu tree models are introduced, as an extension to standard Chow-Liu trees, for modeling conditional rather than joint densities. We describe learning algorithms for such models and show how they can be used to learn parsimonious representations for the output distributions in hidden Markov models. These models are applied to the important problem of simulating and forecasting daily precipitation occurrence for networks of rain stations. To demonstrate the effectiveness of the models, we compare their performance versus a number of alternatives using historical precipitation data from Southwestern Australia and the Western United States. We illustrate how the structure and parameters of the models can be used to provide an improved meteorological interpretation of such data.


title: Modeling Waveform Shapes with Random Eects Segmental Hidden Markov Models

abstract: In this paper we describe a general probabilistic framework for modeling waveforms such as heartbeats from ECG data. The model is based on segmental hidden Markov models (as used in speech recognition) with the addition of random effects to the generative model. The random effects component of the model handles shape variability across different waveforms within a general class of waveforms of similar shape. We show that this probabilistic model provides a unified framework for learning these models from sets of waveform data as well as parsing, classification, and prediction of new waveforms. We derive a computationally efficient EM algorithm to fit the model on multiple waveforms, and introduce a scoring method that evaluates a test waveform based on its shape. Results on two real-world data sets demonstrate that the random effects methodology leads to improved accuracy (compared to alternative approaches) on classification and segmentation of real-world waveforms.


title: A Generative Bayesian Model for Aggregating Experts' Probabilities

abstract: In order to improve forecasts, a decisionmaker often combines probabilities given by various sources, such as human experts and machine learning classifiers. When few training data are available, aggregation can be improved by incorporating prior knowledge about the event being forecasted and about salient properties of the experts. To this end, we develop a generative Bayesian aggregation model for probabilistic classi cation. The model includes an event-specific prior, measures of individual experts' bias, calibration, accuracy, and a measure of dependence betweeen experts. Rather than require absolute measures, we show that aggregation may be expressed in terms of relative accuracy between experts. The model results in a weighted logarithmic opinion pool (LogOps) that satis es consistency criteria such as the external Bayesian property. We derive analytic solutions for independent and for exchangeable experts. Empirical tests demonstrate the model's use, comparing its accuracy with other aggregation methods.


title: Joint discovery of haplotype blocks and complex trait associations from SNP sequences

abstract: Haplotypes, the global patterns of DNA sequence variation, have important implications for identifying complex traits. Recently, blocks of limited haplotype diversity have been discovered in human chromosomes, intensifying the research on modelling the block structure as well as the transitions or co-occurrence of the alleles in these blocks as a way to compress the variability and infer the associations more robustly. The haplotype block structure analysis is typically complicated by the fact that the phase information for each SNP is missing, i.e., the observed allele pairs are not given in a consistent order across the sequence. The techniques for circumventing this require additional information, such as family data, or a more complex sequencing procedure. In this paper we present a hierarchical statistical model and the associated learning and inference algorithms that simultaneously deal with the allele ambiguity per locus, missing data, block estimation, and the complex trait association. While the blo structure may differ from the structures inferred by other methods, which use the pedigree information or previously known alleles, the parameters we estimate, including the learned block structure and the estimated block transitions per locus, define a good model of variability in the set. The method is completely datadriven and can detect Chron's disease from the SNP data taken from the human chromosome 5q31 with the detection rate of 80% and a small error variance.


title: A Bayesian Approach toward Active Learning for Collaborative Filtering

abstract: Collaborative filtering is a useful technique for exploiting the preference patterns of a group of users to predict the utility of items for the active user. In general, the performance of collaborative filtering depends on the number of rated examples given by the active user. The more the number of rated examples given by the active user, the more accurate the predicted ratings will be. Active learning provides an effective way to acquire the most informative rated examples from active users. Previous work on active learning for collaborative filtering only considers the expected loss function based on the estimated model, which can be misleading when the estimated model is inaccurate. This paper takes one step further by taking into account of the posterior distribution of the estimated model, which results in more robust active learning algorithm. Empirical studies with datasets of movie ratings show that when the number of ratings from the active user is restricted to be small, active learning methods only based on the estimated model don't perform well while the active learning method using the model distribution achieves substantially better performance.


title: Regret Minimizing Equilibria and Mechanisms for Games with Strict Type Uncertainty

abstract: Mechanism design has found considerable application to the construction of agent-interaction protocols. In the standard setting, the type (e.g., utility function) of an agent is not known by other agents, nor is it known by the mechanism designer. When this uncertainty is quantified probabilistically, a mechanism induces a game of incomplete information among the agents. However, in many settings, uncertainty over utility functions cannot easily be quantified. We consider the problem of incomplete information games in which type uncertainty is strict or unquantified. We propose the use of minimax regret as a decision criterion in such games, a robust approach for dealing with type uncertainty. We define minimax-regret equilibria and prove that these exist in mixed strategies for finite games. We also consider the problem of mechanism design in this framework by adopting minimax regret as an optimization criterion for the designer itself, and study automated optimization of such mechanisms.


title: Dynamical Systems Trees

abstract: We propose dynamical systems trees (DSTs) as a flexible class of models for describing multiple processes that interact via a hierarchy of aggregating parent chains. DSTs extend Kalman filters, hidden Markov models and nonlinear dynamical systems to an interactive group scenario. Various individual processes interact as communities and sub-communities in a tree structure that is unrolled in time. To accommodate nonlinear temporal activity, each individual leaf process is modeled as a dynamical system containing discrete and/or continuous hidden states with discrete and/or Gaussian emissions. Subsequent higher level parent processes act like hidden Markov models and mediate the interaction between leaf processes or between other parent processes in the hierarchy. Aggregator chains are parents of child processes that they combine and mediate, yielding a compact overall parameterization. We provide tractable inference and learning algorithms for arbitrary DST topologies via an efficient structured mean-field algorithm. The diverse applicability of DSTs is demonstrated by experiments on gene expression data and by modeling group behavior in the setting of an American football game.


title: From Fields to Trees

abstract: We present new MCMC algorithms for computing the posterior distributions and expectations of the unknown variables in undirected graphical models with regular structure. For demonstration purposes, we focus on Markov Random Fields (MRFs). By partitioning the MRFs into non-overlapping trees, it is possible to compute the posterior distribution of a particular tree exactly by conditioning on the remaining tree. These exact solutions allow us to construct efficient blocked and Rao-Blackwellised MCMC algorithms. We show empirically that tree sampling is considerably more efficient than other partitioned sampling schemes and the naive Gibbs sampler, even in cases where loopy belief propagation fails to converge. We prove that tree sampling exhibits lower variance than the naive Gibbs sampler and other naive partitioning schemes using the theoretical measure of maximal correlation. We also construct new information theory tools for comparing different MCMC schemes and show that, under these, tree sampling is more efficient.


title: Solving Factored MDPs with Continuous and Discrete Variables

abstract: Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods cannot adequately address these problems. We present the first framework that can exploit problem structure for modeling and solving hybrid problems efficiently. We formulate these problems as hybrid Markov decision processes (MDPs with continuous and discrete state and action variables), which we assume can be represented in a factored way using a hybrid dynamic Bayesian network (hybrid DBN). This formulation also allows us to apply our methods to collaborative multiagent settings. We present a new linear program approximation method that exploits the structure of the hybrid MDP and lets us compute approximate value functions more efficiently. In particular, we describe a new factored discretization of continuous variables that avoids the exponential blow-up of traditional approaches. We provide theoretical bounds on the quality of such an approximation and on its scale-up potential. We support our theoretical arguments with experiments on a set of control problems with up to 28-dimensional continuous state space and 22-dimensional action space.


title: PAC-learning bounded tree-width Graphical Models

abstract: We show that the class of strongly connected graphical models with treewidth at most k can be properly efficiently PAC-learnt with respect to the Kullback-Leibler Divergence. Previous approaches to this problem, such as those of Chow ([1]), and Ho gen ([7]) have shown that this class is PAC-learnable by reducing it to a combinatorial optimization problem. However, for k > 1, this problem is NP-complete ([15]), and so unless P=NP, these approaches will take exponential amounts of time. Our approach differs significantly from these, in that it first attempts to find approximate conditional independencies by solving (polynomially many) submodular optimization problems, and then using a dynamic programming formulation to combine the approximate conditional independence information to derive a graphical model with underlying graph of the tree-width specified. This gives us an efficient (polynomial time in the number of random variables) PAC-learning algorithm which requires only polynomial number of samples of the true distribution, and only polynomial running time.


title: Maximum Entropy for Collaborative Filtering

abstract: Within the task of collaborative filtering two challenges for computing conditional probabilities exist. First, the amount of training data available is typically sparse with respect to the size of the domain. Thus, support for higher-order interactions is generally not present. Second, the variables that we are conditioning upon vary for each query. That is, users label different variables during each query. For this reason, there is no consistent input to output mapping. To address these problems we purpose a maximum entropy approach using a non-standard measure of entropy. This approach can be simplified to solving a set of linear equations that can be efficiently solved.


title: Annealed MAP

abstract: Maximum a Posteriori assignment (MAP) is the problem of finding the most probable instantiation of a set of variables given the partial evidence on the other variables in a Bayesian network. MAP has been shown to be a NP-hard problem [22], even for constrained networks, such as polytrees [18]. Hence, previous approaches often fail to yield any results for MAP problems in large complex Bayesian networks. To address this problem, we propose AnnealedMAP algorithm, a simulated annealing-based MAP algorithm. The AnnealedMAP algorithm simulates a non-homogeneous Markov chain whose invariant function is a probability density that concentrates itself on the modes of the target density. We tested this algorithm on several real Bayesian networks. The results show that, while maintaining good quality of the MAP solutions, the AnnealedMAP algorithm is also able to solve many problems that are beyond the reach of previous approaches.


title: Discretized Approximations for POMDP with Average Cost

abstract: In this paper, we propose a new lower approximation scheme for POMDP with discounted and average cost criterion. The approximating functions are determined by their values at a finite number of belief points, and can be computed efficiently using value iteration algorithms for finite-state MDP. While for discounted problems several lower approximation schemes have been proposed earlier, ours seems the first of its kind for average cost problems. We focus primarily on the average cost case, and we show that the corresponding approximation can be computed efficiently using multi-chain algorithms for finite-state MDP. We give a preliminary analysis showing that regardless of the existence of the optimal average cost J in the POMDP, the approximation obtained is a lower bound of the liminf optimal average cost function, and can also be used to calculate an upper bound on the limsup optimal average cost function, as well as bounds on the cost of executing the stationary policy associated with the approximation. Weshow the convergence of the cost approximation, when the optimal average cost is constant and the optimal differential cost is continuous.


title: Similarity-Driven Cluster Merging Method for Unsupervised Fuzzy Clustering

abstract: In this paper, a similarity-driven cluster merging method is proposed for unsuper-vised fuzzy clustering. The cluster merging method is used to resolve the problem of cluster validation. Starting with an overspecified number of clusters in the data, pairs of similar clusters are merged based on the proposed similarity-driven cluster merging criterion. The similarity between clusters is calculated by a fuzzy cluster similarity matrix, while an adaptive threshold is used for merging. In addition, a modified generalized ob- jective function is used for prototype-based fuzzy clustering. The function includes the p-norm distance measure as well as principal components of the clusters. The number of the principal components is determined automatically from the data being clustered. The properties of this unsupervised fuzzy clustering algorithm are illustrated by several experiments.


title: Graph partition strategies for generalized mean field inference

abstract: An autonomous variational inference algorithm for arbitrary graphical models requires the ability to optimize variational approximations over the space of model parameters as well as over the choice of tractable families used for the variational approximation. In this paper, we present a novel combination of graph partitioning algorithms with a generalized mean field (GMF) inference algorithm. This combination optimizes over disjoint clustering of variables and performs inference using those clusters. We provide a formal analysis of the relationship between the graph cut and the GMF approximation, and explore several graph partition strategies empirically. Our empirical results provide rather clear support for a weighted version of MinCut as a useful clustering algorithm for GMF inference, which is consistent with the implications from the formal analysis.


title: An Integrated, Conditional Model of Information Extraction and Coreference with Applications to Citation Matching

abstract: Although information extraction and coreference resolution appear together in many applications, most current systems perform them as ndependent steps. This paper describes an approach to integrated inference for extraction and coreference based on conditionally-trained undirected graphical models. We discuss the advantages of conditional probability training, and of a coreference model structure based on graph partitioning. On a data set of research paper citations, we show significant reduction in error by using extraction uncertainty to improve coreference citation matching accuracy, and using coreference to improve the accuracy of the extracted fields.