title: From uniform renewal theorem to uniform large and moderate deviations for renewal-reward processes

abstract: A uniform key renewal theorem is deduced from the uniform Blackwell's renewal theorem. A uniform LDP (large deviations principle) for renewal-reward processes is obtained, and MDP (moderate deviations principle) is deduced under conditions much weaker than existence of exponential moments.


title: Generating Robust and Efficient Networks Under Targeted Attacks

abstract: Much of our commerce and traveling depend on the efficient operation of large scale networks. Some of those, such as electric power grids, transportation systems, communication networks, and others, must maintain their efficiency even after several failures, or malicious attacks. We outline a procedure that modifies any given network to enhance its robustness, defined as the size of its largest connected component after a succession of attacks, whilst keeping a high efficiency, described in terms of the shortest paths among nodes. We also show that this generated set of networks is very similar to networks optimized for robustness in several aspects such as high assortativity and the presence of an onion-like structure.


title: Geometrization of sub-hyperbolic semi-rational branched coverings

abstract: Given a sub-hyperbolic semi-rational branched covering which is not CLH-equivalent a rational map, it must have the non-empty canonical Thurston obstruction. By using this canonical Thurston obstruction, we decompose this dynamical system in this paper into several sub-dynamical systems. Each of these sub-dynamical systems is either a post-critically finite type branched covering or a sub-hyperbolic semi-rational type branched covering. If a sub-dynamical system is a post-critically finite type branched covering with a hyperbolic orbifold, then it has no Thurston obstruction and is combinatorially equivalent to a unique post-critically finite rational map (up to conjugation by an automorphism of the Riemann sphere) and, more importantly, if a sub-dynamical system is a sub-hyperbolic semi-rational type branched covering with hyperbolic orbifold, we prove in this paper that it has no Thurston obstruction and is CLH-equivalent to a unique geometrically finite rational map (up to conjugation by an automorphism of the Riemann sphere).


title: On improvement of summability properties in nonautonomous Kolmogorov equations

abstract: Under suitable conditions, we obtain some characterization of supercontractivity, ultraboundedness and ultracontractivity of the evolution operator $G(t,s)$ associated to a class of nonautonomous second order parabolic equations with unbounded coefficients defined in $I\times\R^d$, where $I$ is a right-halfline. For this purpose, we establish an Harnack type estimate for $G(t,s)$ and a family of logarithmic Sobolev inequalities with respect to the unique tight evolution system of measures $\{\mu_t: t \in I\}$ associated to $G(t,s)$. Sufficient conditions for the supercontractivity, ultraboundedness and ultracontractivity to hold are also provided.


title: Probing the Band Topology of Mercury Telluride through Weak Localization and Antilocalization

abstract: We analyze the effect of weak localization (WL) and weak antilocalization (WAL) in the electronic transport through HgTe/CdTe quantum wells. We show that for increasing Fermi energy the magnetoconductance of a diffusive system with inverted band ordering features a transition from WL to WAL and back, if spin-orbit interactions from bulk and structure inversion asymmetry can be neglected. This, and an additional splitting in the magnetoconductance profile, is a signature of the Berry phase arising for inverted band ordering and not present in heterostructures with conventional ordering. In presence of spin-orbit interaction both band topologies exhibit WAL, which is distinctly energy dependent solely for quantum wells with inverted band ordering. This can be explained by an energy-dependent decomposition of the Hamiltonian into two blocks.


title: Effective theory for low-energy nuclear energy density functionals

abstract: We introduce a new class of effective interactions to be used within the energy-density-functional approaches. They are based on regularized zero-range interactions and constitute a consistent application of the effective-theory methodology to low-energy phenomena in nuclei. They allow for defining the order of expansion in terms of the order of derivatives acting on the finite-range potential. Numerical calculations show a rapid convergence of the expansion and independence of results of the regularization scale.


title: Filter regular sequences and generalized local cohomology modules

abstract: Let $\frak a$, $\frak b$ be ideals of a commutative Noetherian ring $R$ and let $M$, $N$ be finite $R$-modules. The concept of an $\frak a$-filter grade of $\frak b$ on $M$ is introduced and several characterizations and properties of this notion are given. Then, using the above characterizations, we obtain some results on generalized local cohomology modules $H^i_{\frak a}(M, N)$. In particular, first we determine the least integer $i$ for which $H^i_{\frak a}(M, N)$ is not Artinian. Then we prove that $H^i_{\frak a}(M, N)$ is Artinian for all $i\in\mathbb N_0$ if and only if $\dim{R}/({\frak a+Ann M+Ann N})=0$. Also, we establish the Nagel-Schenzel formula for generalized local cohomology modules. Finally, in a certain case, the set of attached primes of $H^i_{\frak a}(M, N)$ is determined and a comparison between this set and the set of attached primes of $H^i_{\frak a}(N)$ is given.


title: Bures and Hilbert-Schmidt 2 x 2 Determinantal Moments

abstract: We seek to gain insight into the nature of the determinantal moments of generic (9-dimensional) two-rebit and (15-dimensional) two-qubit systems (rho). Such information-as it has proved to be in the Hilbert-Schmidt counterpart--should be useful, employing probability-distribution reconstruction (inverse) procedures, in obtaining improved, or possibly even exact Bures 2 x 2 separability probabilities for such systems. The (regularizing) strategy we first adopt is to plot the ratio of numerically-generated (Ginibre ensemble) estimates of the Bures moments to the corresponding (apparently) exactly-known Hilbert-Schmidt moments (J. Phys. A, 45, 095305 [2012]). Then, through a combination of symbolic and numerical computations, we obtain strong evidence as to the exact values (and underlying patterns) of certain Bures moments. In particular, the first moment (average) of |rho^{PT}| (where |rho^{PT}| in [-1/16, 1/256]), PT denoting partial transpose, for the two-qubit systems is, remarkably, -1 / 256. The analogous value for the two-rebit systems is -2663/(2^(13) x 3 x 5 x 7) approx -0.00309594. While, an important function in the Hilbert-Schmidt case is the ratio of 3n-degree polynomials, it appears to be the ratio of 5n-degree polynomials in the Bures case.


title: Witnessed entanglement and the geometric measure of quantum discord

abstract: We establish relations between geometric quantum discord and entanglement quantifiers obtained by means of optimal witness operators. In particular, we prove a relation between negativity and geometric discord in the Hilbert-Schmidt norm, which is slightly different from a previous conjectured one [Phys. Rev. A 84, 052110 (2011)].We also show that, redefining the geometric discord with the trace norm, better bounds can be obtained. We illustrate our results numerically.


title: Towards multiplicities for categories O of cyclotomic rational Cherednik algebras

abstract: Varagnolo and Vasserot conjectured an equivalence between the category O for a cyclotomic Rational Cherednik algebra and a truncation of an affine parabolic category O of type A. In this paper we reduce their conjecture to some purely combinatorial conjecture. Our principal tool for the reduction is the theory of categorical sl_2-actions on highest weight categories. Then we prove our combinatorial conjecture in some cases.


title: The Noncommutative Choquet Boundary of Periodic Weighted Shifts

abstract: The noncommutative Choquet boundary and the C*-envelope of operator systems of the form Span{1,T,T*}, where T is a Hilbert space operator with normal-like features, are studied. Such operators include normal operators, k-normal operators, subnormal operators, and Toeplitz operators. Our main result is the determination of the noncommutative Choquet boundary for an operator system generated by an irreducible periodic weighted unilateral shift operator.


title: Mapping the cold dust temperatures and masses of nearby Kingfish galaxies with Herschel

abstract: Taking advantage of the sensitivity and angular resolution of the Herschel Space Observatory at far-infrared and submm wavelengths, we aim to characterize the physical properties of cold dust within nearby galaxies and study the robustness of the parameters we derive using different modified blackbody models. For a pilot subsample of the KINGFISH program, we perform 2 temperature fits of the Spitzer and Herschel photometric data (24 to 500um), with a warm and a cold component, globally and in each resolution element.At global scales, we observe ranges of values for beta_c(0.8 to 2.5) and Tc(19.1 to 25.1K).We compute maps of our parameters with beta fixed or free to test the robustness of the temperature and dust surface density maps we deduce. When the emissivity is fixed, we observe temperature gradients as a function of radius.When the emissivity is fitted as a free parameter, barred galaxies tend to have uniform fitted emissivities.Gathering resolved elements in a Tc-beta_c diagram underlines an anti-correlation between the two parameters.It remains difficult to assess whether the dominant effect is the physics of dust grains, noise, or mixing along the line of sight and in the beam. We finally observe in both cases that the dust column density peaks in central regions of galaxies and bar ends (coinciding with molecular gas density enhancements usually found in these locations).We also quantify how the total dust mass varies with our assumptions about the emissivity index as well as the influence of the wavelength coverage used in the fits. We show that modified blackbody fits using a shallow emissivity (beta_c < 2.0) lead to significantly lower dust masses compared to the beta_c < 2.0 case, with dust masses lower by up to 50% if beta_c=1.5 for instance.The working resolution affects our total dust mass estimates: masses increase from global fits to spatially-resolved fits.


title: Bohr-Sommerfeld-Heisenberg Theory in Geometric Quantization

abstract: In the framework of geometric quantization we extend the Bohr-Sommerfeld rules to a full quantization theory which resembles Heisenberg's matrix theory. This extension is possible because Bohr-Sommerfeld rules not only provide an orthogonal basis in the space of quantum states, but also give a lattice structure to this basis. This permits the definition of appropriate shifting operators. As examples, we discuss the 1-dimensional harmonic oscillator and the coadjoint orbits of the rotation group.


title: Parton distributions with LHC data

abstract: We present the first determination of parton distributions of the nucleon at NLO and NNLO based on a global data set which includes LHC data: NNPDF2.3. Our data set includes, besides the deep inelastic, Drell-Yan, gauge boson production and jet data already used in previous global PDF determinations, all the relevant LHC data for which experimental systematic uncertainties are currently available: ATLAS and LHCb W and Z lepton rapidity distributions from the 2010 run, CMS W electron asymmetry data from the 2011 run, and ATLAS inclusive jet cross-sections from the 2010 run. We introduce an improved implementation of the FastKernel method which allows us to fit to this extended data set, and also to adopt a more effective minimization methodology. We present the NNPDF2.3 PDF sets, and compare them to the NNPDF2.1 sets to assess the impact of the LHC data. We find that all the LHC data are broadly consistent with each other and with all the older data sets included in the fit. We present predictions for various standard candle cross-sections, and compare them to those obtained previously using NNPDF2.1, and specifically discuss the impact of ATLAS electroweak data on the determination of the strangeness fraction of the proton. We also present collider PDF sets, constructed using only data from HERA, Tevatron and LHC, but find that this data set is neither precise nor complete enough for a competitive PDF determination.


title: Coexistence of coupled magnetic phases in epitaxial TbMnO3 films revealed by ultrafast optical spectroscopy

abstract: Ultrafast optical pump-probe spectroscopy is used to reveal the coexistence of coupled antiferromagnetic/ferroelectric and ferromagnetic orders in multiferroic TbMnO3 films through their time domain signatures. Our observations are explained by a theoretical model describing the coupling between reservoirs with different magnetic properties. These results can guide researchers in creating new kinds of multiferroic materials that combine coupled ferromagnetic, antiferromagnetic and ferroelectric properties in one compound.


title: Symmetry, bifurcation and stacking of the central configurations of the planar 1+4 body problem

abstract: In this work we are interested in the central configurations of the planar 1+4 body problem where the satellites have different infinitesimal masses and two of them are diametrically opposite in a circle. We can think this problem as a stacked central configuration too. We show that the configuration are necessarily symmetric and the other sattelites has the same mass. Moreover we proved that the number of central configuration in this case is in general one, two or three and in the special case where the satellites diametrically opposite have the same mass we proved that the number of central configuration is one or two saying the exact value of the ratio of the masses that provides this bifurcation.


title: PTF11kx: A Type-Ia Supernova with a Symbiotic Nova Progenitor

abstract: There is a consensus that Type-Ia supernovae (SNe Ia) arise from the thermonuclear explosion of white dwarf stars that accrete matter from a binary companion. However, direct observation of SN Ia progenitors is lacking, and the precise nature of the binary companion remains uncertain. A temporal series of high-resolution optical spectra of the SN Ia PTF 11kx reveals a complex circumstellar environment that provides an unprecedentedly detailed view of the progenitor system. Multiple shells of circumsteller are detected and the SN ejecta are seen to interact with circumstellar material (CSM) starting 59 days after the explosion. These features are best described by a symbiotic nova progenitor, similar to RS Ophiuchi.


title: Identifying all abelian periods of a string in quadratic time and relevant problems

abstract: Abelian periodicity of strings has been studied extensively over the last years. In 2006 Constantinescu and Ilie defined the abelian period of a string and several algorithms for the computation of all abelian periods of a string were given. In contrast to the classical period of a word, its abelian version is more flexible, factors of the word are considered the same under any internal permutation of their letters. We show two O(|y|^2) algorithms for the computation of all abelian periods of a string y. The first one maps each letter to a suitable number such that each factor of the string can be identified by the unique sum of the numbers corresponding to its letters and hence abelian periods can be identified easily. The other one maps each letter to a prime number such that each factor of the string can be identified by the unique product of the numbers corresponding to its letters and so abelian periods can be identified easily. We also define weak abelian periods on strings and give an O(|y|log(|y|)) algorithm for their computation, together with some other algorithms for more basic problems.


title: Binary Darboux Transformations in Bidifferential Calculus and Integrable Reductions of Vacuum Einstein Equations

abstract: We present a general solution-generating result within the bidifferential calculus approach to integrable partial differential and difference equations, based on a binary Darboux-type transformation. This is then applied to the non-autonomous chiral model, a certain reduction of which is known to appear in the case of the D-dimensional vacuum Einstein equations with D-2 commuting Killing vector fields. A large class of exact solutions is obtained, and the aforementioned reduction is implemented. This results in an alternative to the well-known Belinski-Zakharov formalism. We recover relevant examples of space-times in dimensions four (Kerr-NUT, Tomimatsu-Sato) and five (single and double Myers-Perry black holes, black saturn, bicycling black rings).


title: Three-loop matching coefficients for hot QCD: Reduction and gauge independence

abstract: We perform an integral reduction for the 3-loop effective gauge coupling and screening mass of QCD at high temperatures, defined as matching coefficients appearing in the dimensionally reduced effective field theory (EQCD). Expressing both parameters in terms of a set master (sum-) integrals, we show explicit gauge parameter independence. The lack of suitable methods for solving the comparatively large number of master integrals forbids the complete evaluation at the moment. Taking one generic class of masters as an example, we highlight the calculational techniques involved. The full result would allow to improve on one of the classic probes for the convergence of the weak-coupling expansion at high temperatures, namely the comparison of full and effective theory determinations of the spatial string tension. Furthermore, the full result would also allow to determine one new contribution of order O(g**7) to the pressure of hot QCD.


title: Thick Spanier groups and the first shape group

abstract: We develop a new route through which to explore $\ker\Psi_X$, the kernel of the $\pi_1$-shape group homomorphism determined by a general space $X$, and establish, for each locally path connected, paracompact Hausdorff space $X$, $\ker\Psi_X$ is precisely the Spanier group of $X$.


title: A generalized dilaton gauge field for the rho meson mass spectrum in the soft-wall AdS/QCD

abstract: Meson spectroscopy within the frame of the soft-wall AdS/QCD, became one of the most interesting topics of particle physics in the last six years. In this work we attempt a generalized parametric analysis of the background dilaton gauge field which previous studied by K.M.Keita and Y.H.Dicko. Aim is that using a positive z-depended dilaton gauge field and setting the appropriate parameters on it, we are able to reproduce the full rho vector meson mass spectrum. To reinforce the results, we compare the proposed parametric model with the experimental data. This comparison, returns in some cases an error less than 1% and confirms the previous modifications and work which has be done.


title: Quantitative DMS mapping for automated RNA secondary structure inference

abstract: For decades, dimethyl sulfate (DMS) mapping has informed manual modeling of RNA structure in vitro and in vivo. Here, we incorporate DMS data into automated secondary structure inference using a pseudo-energy framework developed for 2'-OH acylation (SHAPE) mapping. On six non-coding RNAs with crystallographic models, DMS- guided modeling achieves overall false negative and false discovery rates of 9.5% and 11.6%, comparable or better than SHAPE-guided modeling; and non-parametric bootstrapping provides straightforward confidence estimates. Integrating DMS/SHAPE data and including CMCT reactivities give small additional improvements. These results establish DMS mapping - an already routine technique - as a quantitative tool for unbiased RNA structure modeling.


title: New physics for muon anomalous magnetic moment and its electroweak precision analysis

abstract: About 3 sigma deviation from the standard model prediction of muon anomalous magnetic moment (muon g-2) has been reported. We consider new physics beyond the standard model which has new Yukawa interactions with muon. We compute new contributions to muon g-2 and corrections to electroweak observables, and show the consistent region of parameter space. We find that in a simple model where the chirality flip of muon occurs only in the external muon line in one-loop muon g-2 diagrams, it is necessary to introduce the relatively large new Yukawa coupling and the electroweak scale new particles. On the other hand, in a model where the chirality flip can occur in the internal fermion line of one loop muon g-2 diagrams, we can obtain favorable g-2 contributions without large Yukawa coupling, and they are consistent with the precision electroweak observables. Finally, we discuss effects of new particles for muon g-2 on the Higgs boson decay h to 2 photons and direct productions of these particles at the LHC experiment.


title: Universal anisotropic finite-size critical behavior of the two-dimensional Ising model on a strip and of d-dimensional models on films

abstract: Anisotropy effects on the finite-size critical behavior of a two-dimensional Ising model on a general triangular lattice in an infinite-strip geometry with periodic, antiperiodic, and free boundary conditions (bc) in the finite direction are investigated. Exact results are obtained for the scaling functions of the finite-size contributions to the free energy density. With xi_> the largest and xi_< the smallest bulk correlation length at a given temperature near criticality, we find that the dependence of these functions on the ratio xi_< / xi_> and on the angle parameterizing the orientation of the correlation volume is of geometric rather than dynamic origin. Since the scaling functions are independent of the particular microscopic realization of the anisotropy within the two-dimensional Ising model, our results provide a limited verification of universality. We explain our observations by considering finite-size scaling of free energy densities of general weakly anisotropic models on a d-dimensional film, i.e., in an L x infinity^(d-1) geometry, with bc in the finite direction that are invariant under a shear transformation relating the anisotropic and isotropic cases. This allows us to relate free energy scaling functions in the presence of an anisotropy to those of the corresponding isotropic system. We interpret our results as a simple and transparent case of anisotropic universality, where, compared to the isotropic case, scaling functions depend additionally on the shape and orientation of the correlation volume. We conjecture that this universality extends to cases where the geometry and/or the bc are not invariant under the shear transformation and argue in favor of validity of two-scale factor universality for anisotropic systems.


title: An experimental study of exhaustive solutions for the Mastermind puzzle

abstract: Mastermind is in essence a search problem in which a string of symbols that is kept secret must be found by sequentially playing strings that use the same alphabet, and using the responses that indicate how close are those other strings to the secret one as hints. Although it is commercialized as a game, it is a combinatorial problem of high complexity, with applications on fields that range from computer security to genomics. As such a kind of problem, there are no exact solutions; even exhaustive search methods rely on heuristics to choose, at every step, strings to get the best possible hint. These methods mostly try to play the move that offers the best reduction in search space size in the next step; this move is chosen according to an empirical score. However, in this paper we will examine several state of the art exhaustive search methods and show that another factor, the presence of the actual solution among the candidate moves, or, in other words, the fact that the actual solution has the highest score, plays also a very important role. Using that, we will propose new exhaustive search approaches that obtain results which are comparable to the classic ones, and besides, are better suited as a basis for non-exhaustive search strategies such as evolutionary algorithms, since their behavior in a series of key indicators is better than the classical algorithms.


title: Quadratic deformation of Minkowski space

abstract: We present a deformation of the Minkowski space as embedded into the conformal space (in the formalism of twistors) based in the quantum versions of the corresponding kinematic groups. We compute explicitly the star product, whose Poisson bracket is quadratic. We show that the star product although defined on the polynomials can be extended differentiably. Finally we compute the Eucliden and Minkowskian real forms of the deformation.


title: Subleading Corrections to entropy formulae (convergences and divergences)

abstract: We know that sub-leading corrections to the hawking area law is riddled with issues which have some convergent and divergent aspects. Depending on the theory, scheme, model or even method sub-leading terms turn out to have trivial and non- trivial aspects which we are going to dwell upon. The generic character of the first sub leading logarithmic term comes out unanimously the same from all theories of quantum gravity like Strings, Loops, or even semi-classical methods with the exception that sometimes the pre-factor of logarithmic term turns out to be model dependent parameter or number hence consensus on this issue is yet to be finalized. In this paper we will try to compare and contrast how we get the corrections in various theories of quantum gravity including semi-classical methods on the variant of Black Hole that is BTZ Black Hole. Towards the end we see how the addition of chern-simon terms affects the entropy of black holes and we will make brief observations regarding the same.


title: Spin reorientation in TlFe1.6Se2 with complete vacancy ordering

abstract: The relationship between vacancy ordering and magnetism in TlFe1.6Se2 has been investigated via single crystal neutron diffraction, nuclear forward scattering, and transmission electron microscopy. The examination of chemically and structurally homogenous crystals allows the true ground state to be revealed, which is characterized by Fe moments lying in the ab-plane below 100K. This is in sharp contrast to crystals containing regions of order and disorder, where a competition between c-axis and ab-plane orientations of the moments is observed. The properties of partially-disordered TlFe1.6Se2 are therefore not associated with solely the ordered or disordered regions. This contrasts the viewpoint that phase separation results in independent physical properties in intercalated iron selenides, suggesting a coupling between ordered and disordered regions may play an important role in the superconducting analogues.


title: Engineering mesoscale structures with distinct dynamical implications in networks of delay-coupled delay oscillators

abstract: The dynamics of networks of interacting systems depends intricately on the interaction topology. When the dynamics is explored, generally the whole topology has to be considered. However, we show that there are certain mesoscale subgraphs that have precise and distinct consequences for the system-level dynamics. In particular, if meso-scale symmetries are present then eigenvectors of the Jacobian localise on the symmetric subgraph and the corresponding eigenvalues become insensitive to the topology outside the subgraph. Hence, dynamical instabilities associated with these eigenvalues can be analyzed without considering the topology outside the subgraph. While such instabilities are thus generated entirely in small network subgraphs, they generally do not remain confined to the subgraph once the instability sets in and thus have system-level consequences. Here we illustrate the analytical investigation of such instabilities in an ecological meta-population model consisting of a network of delay-coupled delay oscillators.


title: Entropy dependence of correlations in one-dimensional SU(N) antiferromagnets

abstract: Motivated by the possibility to load multi-color fermionic atoms in optical lattices, we study the entropy dependence of the properties of the one-dimensional antiferromagnetic SU(N) Heisenberg model, the effective model of the SU(N) Hubbard model with one particle per site (filling 1/N). Using continuous-time world line Monte Carlo simulations for N=2 to 5, we show that characteristic short-range correlations develop at low temperature as a precursor of the ground state algebraic correlations. We also calculate the entropy as a function of temperature, and we show that the first sign of short-range order appears at an entropy per particle that increases with N and already reaches 0.8k_B at N=4, in the range of experimentally accessible values.


title: The effect of a curvature-dependent surface tension on the singularities at the tips of a straight interface crack

abstract: A problem of an interface crack between two semi-planes made out of different materials under an action of an in-plane loading of general tensile-shear type is treated in a semi-analytical manner with the help of Dirichlet-to-Neumann mappings. The boundaries of the crack and the interface between semi-planes are subjected to a curvature-dependent surface tension. The resulting system of six singular integro-differential equations is reduced to the system of three Fredholm equations. It is shown that the introduction of the curvature-dependent surface tension eliminates both classical integrable power singularity of the order 1/2 and an oscillating singularity present in a classical linear elasticity solutions. The numerical results are obtained by solving the original system of singular integro-differential equations by approximating unknown functions with Taylor polynomials.


title: Test of a scaling hypothesis for the structure factor of disordered diblock copolymer melts

abstract: Coarse-grained theories of dense polymer liquids such as block copolymer melts predict a universal dependence of equilibrium properties on a few dimensionless parameters. For symmetric diblock copolymer melts, such theories predict a universal dependence on only chi N and Nbar, where chi is an effective interaction parameter, N is a degree of polymerization, and Nbar is a measure of overlap. We test whether simulation results for the structure factor S(q) obtained from several different simulation models are consistent with this two-parameter scaling hypothesis. We compare results from three models: (1) a lattice Monte Carlo model, the bond-fluctuation model, (2) a bead-spring model with harsh repulsive interactions, similar to that of Kremer and Grest, and (3) a bead-spring model with very soft repulsion between beads, and strongly overlapping beads. We compare results from pairs of simulations of different models that have been designed to have matched values of Nbar, over a range of values of chi N and N, and devise methods to test the scaling hypothesis without relying on any prediction for how the phenomenological interaction parameter chi depends on more microscopic parameters. The results strongly support the scaling hypothesis, even for rather short chains, confirming that it is indeed possible to give an accurate universal description of simulation models that differ in many details.


title: Double automorphisms of graded Lie algebras

abstract: We introduce the concept of a double automorphism of an A-graded Lie algebra L. Roughly, this is an automorphism of L which also induces an automorphism of the group A. It is clear that the set of all double automorphisms of L forms a subgroup in Aut(L). In the present paper we prove several nilpotency criteria for a graded Lie algebra admitting a finite group of double automorphisms. We also give an application of our results to groups admitting a Frobenius group of automorphisms.


title: How large can the branching ratio of $B_s \to \tau^+ \tau^-$ be ?

abstract: Motivated by the large like-sign dimuon charge asymmetry observed recently, whose explanation would require an enhanced decay rate of $B_s \to \tau^+ \tau^-$, we explore how large a branching ratio of this decay mode is allowed by the present constraints. We use bounds from the lifetimes of $B_d$ and $B_s$, constraints from the branching ratios of related $b \to s \tau^+ \tau^-$ modes, as well as measurements of the mass difference, width difference and CP-violating phase in the $B_s$-$\bar{B}_s$ system. Using an effective field theory approach, we show that a branching ratio as high as 15% may be allowed while being consistent with the above constraints. The model with a scalar leptoquark cannot increase the branching ratio to a per cent level. However, an enhancement up to 5% is possible in the model with an extremely light $Z'$ with flavor-dependent interactions, even after all the couplings are taken to be perturbative. This however cannot account for the dimuon anomaly completely by itself.


title: Proximity effects and triplet correlations in Ferromagnet/Ferromagnet/Superconductor nanostructures

abstract: We report the results of a study of superconducting proximity effects in clean Ferromagnet/Ferromagnet/Superconductor (${\rm F_1F_2S}$) heterostructures, where the pairing state in S is a conventional singlet s-wave. We numerically find the self-consistent solutions of the Bogoliubov-de Gennes (BdG) equations and use these solutions to calculate the relevant physical quantities. By linearizing the BdG equations, we obtain the superconducting transition temperatures $T_c$ as a function of the angle $\alpha$ between the exchange fields in $\rm F_1$ and $\rm F_2$. We find that the results for $T_c(\alpha)$ in ${\rm F_1F_2S}$ systems are clearly different from those in ${\rm F_1 S F_2}$ systems, where $T_c$ monotonically increases with $\alpha$ and is highest for antiparallel magnetizations. Here, $T_c(\alpha)$ is in general a non-monotonic function, and often has a minimum near $\alpha \approx 80^{\circ}$. For certain values of the exchange field and layer thicknesses, the system exhibits reentrant superconductivity with $\alpha$: it transitions from superconducting to normal, and then returns to a superconducting state again with increasing $\alpha$. This phenomenon is substantiated by a calculation of the condensation energy. We compute, in addition to the ordinary singlet pair amplitude, the induced odd triplet pairing amplitudes. The results indicate a connection between equal-spin triplet pairing and the singlet pairing state that characterizes $T_c$. We find also that the induced triplet amplitudes can be very long-ranged in both the S and F sides and characterize their range. We discuss the average density of states for both the magnetic and the S regions, and its relation to the pairing amplitudes and $T_c$. The local magnetization vector, which exhibits reverse proximity effects, is also investigated.


title: Embeddings of homology equivalent manifolds with boundary

abstract: We prove a theorem on equivariant maps implying the following two corollaries: (1) Let N and M be compact orientable n-manifolds with boundaries such that M\subset N, the inclusion M\to N induces an isomorphism in integral cohomology, both M and N have (n-d-1)-dimensional spines and m > max {n+2, (3n+1-d)/2} . Then the restriction-induced map E^m(N)\to E^m(M) is bijective. Here E^m(X) is the set of embeddings X\to R^m up to isotopy (in the PL or smooth category). (2) For a 3-manifold N with boundary whose integral homology groups are trivial and such that N\not\cong D^3 (or for its special 2-spine N) there exists an equivariant map from the deleted product of N to S^2, although N does not embed into R^3. The second corollary completes the answer to the following question: for which pairs (m,n) for each n-polyhedron N the existence of an equivariant map from the deleted product of N to S^{m-1} implies the embeddability of N into R^m? An answer was known for each pair (m,n) except (3,3) and (3,2).


title: Finite-size effects in amorphous Fe90Zr10/Al75Zr25 multilayers

abstract: The thickness dependence of the magnetic properties of amorphous Fe90Zr10 layers has been explored using Fe90Zr10/Al75Zr25 multilayers. The Al75Zr25 layer thickness is kept at 40 \AA, while the thickness of the Fe90Zr10 layers is varied between 5 and 20 \AA. The thickness of the Al75Zr25 layers is sufficiently large to suppress any significant interlayer coupling. Both the Curie temperature and the spontaneous magnetization decrease non-linearly with decreasing thickness of the Fe90Zr10 layers. No ferromagnetic order is observed in the multilayer with 5 {\AA} Fe90Zr10 layers. The variation of the Curie temperature $T_c$ with the Fe90Zr10 layer thickness $t$ is fitted with a finite-size scaling formula $[1-\Tc(t)/\Tc(\infty)]=[(t-t')/t_0]^{-\lambda}$, yielding $\lambda=1.2$, and a critical thickness $t'=6.5$ \AA, below which the Curie temperature is zero.


title: Measurements of SCRF cavity dynamic heat load in horizontal test system

abstract: The Horizontal Test System (HTS) at Fermilab is currently testing fully assembled, dressed superconducting radio frequency (SCRF) cavities. These cavities are cooled in a bath of superfluid helium at 1.8K. Dissipated RF power from the cavities is a dynamic heat load on the cryogenic system. The magnitude of heat flux from these cavities into the helium is also an important variable for understanding cavity performance. Methods and hardware used to measure this dynamic heat load are presented. Results are presented from several cavity tests and testing accuracy is discussed.


title: Stably Cayley groups in characteristic zero

abstract: A linear algebraic group G over a field k is called a Cayley group if it admits a Cayley map, i.e., a G-equivariant birational isomorphism over k between the group variety G and the Lie algebra Lie(G). A Cayley map can be thought of as a partial algebraic analogue of the exponential map. A prototypical example is the classical "Cayley transform" for the special orthogonal group SO_n defined by Arthur Cayley in 1846. A k-group G is called stably Cayley if the product of G with a split r-dimensional k-torus is Cayley for some r=0,1,2,.... These notions were introduced in 2006 by N. Lemire, V. L. Popov and Z. Reichstein, who classified Cayley and stably Cayley simple groups over an algebraically closed field of characteristic zero. In this paper we study Cayley and stably Cayley reductive groups over an arbitrary field k of characteristic zero. Our main results are a criterion for a reductive k-group G to be stably Cayley, formulated in terms of its character lattice, and the classification of stably Cayley simple (but not necessarily absolutely simple) groups.


title: Splitting Algebras: Koszul, Cohen-Macaulay and Numerically Koszul

abstract: We study a finite dimensional quadratic graded algebra R defined from a finite ranked poset. This algebra has been central to the study of the splitting algebra of the poset, A, as introduced by Gelfand, Retakh, Serconek and Wilson . The algebra A is known to be quadratic when the poset satisfies a combinatorial condition known as uniform, and R is the quadratic dual of an associated graded algebra of A. We prove that R is Koszul and the poset is uniform if and only if the poset is Cohen-Macaulay. Koszulity of R implies Koszulity of A. We also show that when R is Koszul, the cohomology of the order complex of the poset can be identified with certain cohomology groups defined internally to the ring R. Finally, we settle in the negative the long-standing question: Does numerically Koszul imply Koszul for algebras of the form R?


title: Split-gate quantum point contacts with tunable channel length

abstract: We report on developing split-gate quantum point contacts (QPCs) that have a tunable length for the transport channel. The QPCs were realized in a GaAs/AlGaAs heterostructure with a two- dimensional electron gas (2DEG) below its surface. The conventional design uses 2 gate fingers on the wafer surface which deplete the 2DEG underneath when a negative gate voltage is applied, and this allows for tuning the width of the QPC channel. Our design has 6 gate fingers and this provides additional control over the form of the electrostatic potential that defines the channel. Our study is based on electrostatic simulations and experiments and the results show that we developed QPCs where the effective channel length can be tuned from about 200 nm to 600 nm. Length-tunable QPCs are important for studies of electron many-body effects because these phenomena show a nanoscale dependence on the dimensions of the QPC channel.


title: Proper Size of the Visible Universe in FRW Metrics with Constant Spacetime Curvature

abstract: In this paper, we continue to examine the fundamental basis for the Friedmann-Robertson-Walker (FRW) metric and its application to cosmology, specifically addressing the question: What is the proper size of the visible universe? There are several ways of answering the question of size, though often with an incomplete understanding of how far light has actually traveled in reaching us today from the most remote sources. The difficulty usually arises from an inconsistent use of the coordinates, or an over-interpretation of the physical meaning of quantities such as the so-called proper distance R(t)=a(t)r, written in terms of the (unchanging) co-moving radius r and the universal expansion factor a(t). In this paper, we use the five non-trivial FRW metrics with constant spacetime curvature (i.e., the static FRW metrics, but excluding Minkowski) to prove that in static FRW spacetimes in which expansion began from an initial signularity, the visible universe today has a proper size equal to R_h(t_0/2), i.e., the gravitational horizon at half its current age. The exceptions are de Sitter and Lanczos, whose contents had pre-existing positions away from the origin. In so doing, we confirm earlier results showing the same phenomenon in a broad range of cosmologies, including LCDM, based on the numerical integration of null geodesic equations through an FRW metric.


title: Advances on Matroid Secretary Problems: Free Order Model and Laminar Case

abstract: The most well-known conjecture in the context of matroid secretary problems claims the existence of a constant-factor approximation applicable to any matroid. Whereas this conjecture remains open, modified forms of it were shown to be true, when assuming that the assignment of weights to the secretaries is not adversarial but uniformly random (Soto [SODA 2011], Oveis Gharan and Vondr\'ak [ESA 2011]). However, so far, there was no variant of the matroid secretary problem with adversarial weight assignment for which a constant-factor approximation was found. We address this point by presenting a 9-approximation for the \emph{free order model}, a model suggested shortly after the introduction of the matroid secretary problem, and for which no constant-factor approximation was known so far. The free order model is a relaxed version of the original matroid secretary problem, with the only difference that one can choose the order in which secretaries are interviewed. Furthermore, we consider the classical matroid secretary problem for the special case of laminar matroids. Only recently, a constant-factor approximation has been found for this case, using a clever but rather involved method and analysis (Im and Wang, [SODA 2011]) that leads to a 16000/3-approximation. This is arguably the most involved special case of the matroid secretary problem for which a constant-factor approximation is known. We present a considerably simpler and stronger $3\sqrt{3}e\approx 14.12$-approximation, based on reducing the problem to a matroid secretary problem on a partition matroid.


title: Present status and first results of the final focus beam line at the KEK Accelerator Test Facility

abstract: ATF2 is a final-focus test beam line which aims to focus the low emittance beam from the ATF damping ring to a vertical size of about 37 nm and to demonstrate nanometer level beam stability. Several advanced beam diagnostics and feedback tools are used. In December 2008, construction and installation were completed and beam commissioning started, supported by an international team of Asian, European, and U.S. scientists. The present status and first results are described.


title: Log-concavity and symplectic flows

abstract: Let M be a compact, connected symplectic 2n-dimensional manifold on which an(n-2)-dimensional torus T acts effectively and Hamiltonianly. Under the assumption that there is an effective complementary 2-torus acting on M with symplectic orbits, we show that the Duistermaat-Heckman measure of the T-action is log-concave. This verifies the logarithmic concavity conjecture for a class of inequivalent T-actions. Then we use this conjecture to prove the following: if there is an effective symplectic action of an (n-2)-dimensional torus T on a compact, connected symplectic 2n-dimensional manifold that admits an effective complementary symplectic action of a 2-torus with symplectic orbits, then the existence of T-fixed points implies that the T-action is Hamiltonian. As a consequence of this, we give new proofs of a classical theorem by McDuff about S^1-actions, and some of its recent extensions.


title: Combinatorial Solutions Providing Improved Security for the Generalized Russian Cards Problem

abstract: We present the first formal mathematical presentation of the generalized Russian cards problem, and provide rigorous security definitions that capture both basic and extended versions of weak and perfect security notions. In the generalized Russian cards problem, three players, Alice, Bob, and Cathy, are dealt a deck of $n$ cards, each given $a$, $b$, and $c$ cards, respectively. The goal is for Alice and Bob to learn each other's hands via public communication, without Cathy learning the fate of any particular card. The basic idea is that Alice announces a set of possible hands she might hold, and Bob, using knowledge of his own hand, should be able to learn Alice's cards from this announcement, but Cathy should not. Using a combinatorial approach, we are able to give a nice characterization of informative strategies (i.e., strategies allowing Bob to learn Alice's hand), having optimal communication complexity, namely the set of possible hands Alice announces must be equivalent to a large set of $t-(n, a, 1)$-designs, where $t=a-c$. We also provide some interesting necessary conditions for certain types of deals to be simultaneously informative and secure. That is, for deals satisfying $c = a-d$ for some $d \geq 2$, where $b \geq d-1$ and the strategy is assumed to satisfy a strong version of security (namely perfect $(d-1)$-security), we show that $a = d+1$ and hence $c=1$. We also give a precise characterization of informative and perfectly $(d-1)$-secure deals of the form $(d+1, b, 1)$ satisfying $b \geq d-1$ involving $d-(n, d+1, 1)$-designs.


title: Optimization in a Self-Stabilizing Service Discovery Framework for Large Scale Systems

abstract: Ability to find and get services is a key requirement in the development of large-scale distributed sys- tems. We consider dynamic and unstable environments, namely Peer-to-Peer (P2P) systems. In previous work, we designed a service discovery solution called Distributed Lexicographic Placement Table (DLPT), based on a hierar- chical overlay structure. A self-stabilizing version was given using the Propagation of Information with Feedback (PIF) paradigm. In this paper, we introduce the self-stabilizing COPIF (for Collaborative PIF) scheme. An algo- rithm is provided with its correctness proof. We use this approach to improve a distributed P2P framework designed for the services discovery. Significantly efficient experimental results are presented.


title: An acoustic analog to the dynamical Casimir effect in a Bose-Einstein condensate

abstract: We have realized an acoustic analog to the Dynamical Casimir effect. The density of a trapped Bose-Einstein condensate is modulated by changing the trap stiffness. We observe the creation of correlated excitations with equal and opposite momenta, and show that for a well defined modulation frequency, the frequency of the excitations is half that of the trap modulation frequency.


title: Project X and a muon facility at Fermilab

abstract: An integrated program is described, starting with muon experiments in the Booster era, continuing with a 2 MW target station, a 4 GeV Neutrino Factory and a 3 TeV Muon Collider, all driven by Project X. This idea provides an integrated approach to the Intensity and Energy Frontiers at Fermilab.


title: Soliton surfaces associated with sigma models; differential and algebraic aspect

abstract: In this paper, we consider both differential and algebraic properties of surfaces associated with sigma models. It is shown that surfaces defined by the generalized Weierstrass formula for immersion for solutions of the CP^{N-1} sigma model with finite action, defined in the Riemann sphere, are themselves solutions of the Euler-Lagrange equations for sigma models. On the other hand, we show that the Euler-Lagrange equations for surfaces immersed in the Lie algebra su(N), with conformal coordinates, that are extremals of the area functional subject to a fixed polynomial identity are exactly the Euler-Lagrange equations for sigma models. In addition to these differential constraints, the algebraic constraints, in the form of eigenvalues of the immersion functions, are treated systematically. The spectrum of the immersion functions, for different dimensions of the model, as well as its symmetry properties and its transformation under the action of the ladder operators are discussed. Another approach to the dynamics is given, i.e. description in terms of the unitary matrix which diagonalizes both the immersion functions and the projectors constituting the model.


title: Dipole-interacting Fermionic Dark Matter in positron, antiproton, and gamma-ray channels

abstract: Cosmic ray signals from dipole-interacting dark matter annihilation are considered in the positron, antiproton and photon channels. The predicted signals in the positron channel could nicely account for the excess of positron fraction from Fermi LAT, PAMELA, HEAT and AMS-01 experiments for the dark matter mass larger than 100 GeV with a boost (enhancement) factor of 30-80. No excess of antiproton over proton ratio at the experiments also gives a severe restriction for this scenario. With the boost factors, the predicted signals from Galactic halo and signals as mono-energetic gamma-ray lines (monochromatic photons) for the region close to the Galactic center are investigated. The gamma-ray excess of recent tentative analyses based on Fermi LAT data and the potential probe of the monochromatic lines at a planned experiment, AMS-02, are also considered.


title: Approximability of convex bodies and volume entropy in Hilbert geometry

abstract: The approximability of a convex body is a number which measures the difficulty to approximate that body by polytopes. We prove that twice the approximability is equal to the volume entropy for a Hilbert geometry in dimension two end three and that in higher dimension it is a lower bound of the entropy. As a corollary we solve the entropy upper bound conjecture in dimension three and give a new proof in dimension two from the one found in Berck-Bernig-Vernicos (arXiv:0810.1123v2, published).


title: Normal Form for Edge Metrics

abstract: A normal form for edge metrics is derived under the necessary conditions that the metric be normalized and exact. The normal forms for such an edge metric are shown to be in 1-1 correspondence with representative metrics for a reduced conformal infinity on the boundary. The normal form is constructed via solution of a singular eikonal equation at infinity. The eikonal equation is solved by proving existence and uniqueness of smooth solutions of a class of characteristic nonlinear first-order initial value problems. This is carried out by constructing a characteristic version of a Hamiltonian flow-out in the first jet bundle of the solution.


title: Constraining anomalous Higgs interactions

abstract: The recently announced Higgs discovery marks the dawn of the direct probing of the electroweak symmetry breaking sector. Sorting out the dynamics responsible for electroweak symmetry breaking now requires probing the Higgs interactions and searching for additional states connected to this sector. In this work we analyze the constraints on Higgs couplings to the standard model gauge bosons using the available data from Tevatron and LHC. We work in a model--independent framework expressing the departure of the Higgs couplings to gauge bosons by dimension--six operators. This allows for independent modifications of its couplings to gluons, photons and weak gauge bosons while still preserving the Standard Model (SM) gauge invariance. Our results indicate that best overall agreement with data is obtained if the cross section of Higgs production via gluon fusion is suppressed with respect to its SM value and the Higgs branching ratio into two photons is enhanced, while keeping the production and decays associated to couplings to weak gauge bosons close to their SM prediction.


title: Distributed Structure: Joint Expurgation for the Multiple-Access Channel

abstract: In this work we show how an improved lower bound to the error exponent of the memoryless multiple-access (MAC) channel is attained via the use of linear codes, thus demonstrating that structure can be beneficial even in cases where there is no capacity gain. We show that if the MAC channel is modulo-additive, then any error probability, and hence any error exponent, achievable by a linear code for the corresponding single-user channel, is also achievable for the MAC channel. Specifically, for an alphabet of prime cardinality, where linear codes achieve the best known exponents in the single-user setting and the optimal exponent above the critical rate, this performance carries over to the MAC setting. At least at low rates, where expurgation is needed, our approach strictly improves performance over previous results, where expurgation was used at most for one of the users. Even when the MAC channel is not additive, it may be transformed into such a channel. While the transformation is lossy, we show that the distributed structure gain in some "nearly additive" cases outweighs the loss, and thus the error exponent can improve upon the best known error exponent for these cases as well. Finally we apply a similar approach to the Gaussian MAC channel. We obtain an improvement over the best known achievable exponent, given by Gallager, for certain rate pairs, using lattice codes which satisfy a nesting condition.


title: The changing rotational excitation of C_3 in comet 9P/Tempel 1 during Deep Impact

abstract: The 4050\AA\ band of C$_3$ was observed with Keck/HIRES echelle spectrometer during the {\em Deep Impact} encounter. We perform a 2-dimensional analysis of the exposures in order to study the spatial, spectral, and temporal changes in the emission spectrum of C$_3$. The rotational population distribution changes after impact, beginning with an excitation temperature of $\sim$45\,K at impact and increasing for 2\,hr up to a maximum of 61$\pm$5\,K. From 2 to 4 hours after impact, the excitation temperature decreases to the pre-impact value. We measured the quiescent production rate of C$_3$ before the encounter to be 1.0 $\times 10^{23}$ s$^{-1}$, while 2 hours after impact we recorded a peak production rate of 1.7 $\times 10^{23}$ s$^{-1}$. Whereas the excitation temperature returned to the pre-impact value during the observations, the production rate remained elevated, decreasing slowly, until the end of the 4\,hr observations. These results are interpreted in terms of changing gas densities in the coma and short-term changes in the primary chemical production mechanism for C$_{3}$.


title: Is the resonance at 125 GeV the Higgs boson?

abstract: The recently discovered resonance at 125 GeV has properties remarkably close to those of the Standard Model Higgs boson. We perform model-independent fits of all presently available data. The non- standard best-fits found in our previous analyses remain favored with respect to the SM fit, mainly but not only because the {\gamma}{\gamma} rate remains above the SM prediction.


title: The Higgs sector of the phenomenological MSSM in the light of the Higgs boson discovery

abstract: The long awaited discovery of a new light scalar at the LHC opens up a new era of studies of the Higgs sector in the SM and its extensions. In this paper we discuss the consequences of the observation of a light Higgs boson with the mass and rates reported by the ATLAS and CMS collaborations on the parameter space of the phenomenological MSSM, including also the so far unsuccessful LHC searches for the heavier Higgs bosons and supersymmetric particle partners in missing transverse momentum as well as the constraints from B physics and dark matter. We explore the various regimes of the MSSM Higgs sector depending on the parameters MA and tan beta and show that only two of them are still allowed by all present experimental constraints: the decoupling regime where there is only one light and standard--like Higgs boson and the supersymmetric regime in which there are light supersymmetric particle partners affecting the decay properties of the Higgs boson, in particular its di-photon and invisible decays.


title: The GNAT method for nonlinear model reduction: effective implementation and application to computational fluid dynamics and turbulent flows

abstract: The Gauss--Newton with approximated tensors (GNAT) method is a nonlinear model reduction method that operates on fully discretized computational models. It achieves dimension reduction by a Petrov--Galerkin projection associated with residual minimization; it delivers computational efficency by a hyper-reduction procedure based on the `gappy POD' technique. Originally presented in Ref. [1], where it was applied to implicit nonlinear structural-dynamics models, this method is further developed here and applied to the solution of a benchmark turbulent viscous flow problem. To begin, this paper develops global state-space error bounds that justify the method's design and highlight its advantages in terms of minimizing components of these error bounds. Next, the paper introduces a `sample mesh' concept that enables a distributed, computationally efficient implementation of the GNAT method in finite-volume-based computational-fluid-dynamics (CFD) codes. The suitability of GNAT for parameterized problems is highlighted with the solution of an academic problem featuring moving discontinuities. Finally, the capability of this method to reduce by orders of magnitude the core-hours required for large-scale CFD computations, while preserving accuracy, is demonstrated with the simulation of turbulent flow over the Ahmed body. For an instance of this benchmark problem with over 17 million degrees of freedom, GNAT outperforms several other nonlinear model-reduction methods, reduces the required computational resources by more than two orders of magnitude, and delivers a solution that differs by less than 1% from its high-dimensional counterpart.


title: Cost Sensitive Reachability Heuristics for Handling State Uncertainty

abstract: While POMDPs provide a general platform for non-deterministic conditional planning under a variety of quality metrics they have limited scalability. On the other hand, non-deterministic conditional planners scale very well, but many lack the ability to optimize plan quality metrics. We present a novel generalization of planning graph based heuristics that helps conditional planners both scale and generate high quality plans when using actions with nonuniform costs. We make empirical comparisons with two state of the art planners to show the benefit of our techniques.


title: Stable Independence in Perfect Maps

abstract: With the aid of the concept of stable independence we can construct, in an efficient way, a compact representation of a semi-graphoid independence relation. We show that this representation provides a new necessary condition for the existence of a directed perfect map for the relation. The test for this condition is based to a large extent on the transitivity property of a special form of d-separation. The complexity of the test is linear in the size of the representation. The test, moreover, brings the additional benefit that it can be used to guide the early stages of network construction.


title: Prediction, Expectation, and Surprise: Methods, Designs, and Study of a Deployed Traffic Forecasting Service

abstract: We present research on developing models that forecast traffic flow and congestion in the Greater Seattle area. The research has led to the deployment of a service named JamBayes, that is being actively used by over 2,500 users via smartphones and desktop versions of the system. We review the modeling effort and describe experiments probing the predictive accuracy of the models. Finally, we present research on building models that can identify current and future surprises, via efforts on modeling and forecasting unexpected situations.


title: 'Say EM' for Selecting Probabilistic Models for Logical Sequences

abstract: Many real world sequences such as protein secondary structures or shell logs exhibit a rich internal structures. Traditional probabilistic models of sequences, however, consider sequences of flat symbols only. Logical hidden Markov models have been proposed as one solution. They deal with logical sequences, i.e., sequences over an alphabet of logical atoms. This comes at the expense of a more complex model selection problem. Indeed, different abstraction levels have to be explored. In this paper, we propose a novel method for selecting logical hidden Markov models from data called SAGEM. SAGEM combines generalized expectation maximization, which optimizes parameters, with structure search for model selection using inductive logic programming refinement operators. We provide convergence and experimental results that show SAGEM's effectiveness.


title: Of Starships and Klingons: Bayesian Logic for the 23rd Century

abstract: Intelligent systems in an open world must reason about many interacting entities related to each other in diverse ways and having uncertain features and relationships. Traditional probabilistic languages lack the expressive power to handle relational domains. Classical first-order logic is sufficiently expressive, but lacks a coherent plausible reasoning capability. Recent years have seen the emergence of a variety of approaches to integrating first-order logic, probability, and machine learning. This paper presents Multi-entity Bayesian networks (MEBN), a formal system that integrates First Order Logic (FOL) with Bayesian probability theory. MEBN extends ordinary Bayesian networks to allow representation of graphical models with repeated sub-structures, and can express a probability distribution over models of any consistent, finitely axiomatizable first-order theory. We present the logic using an example inspired by the Paramount Series StarTrek.


title: A Differential Semantics of Lazy AR Propagation

abstract: In this paper we present a differential semantics of Lazy AR Propagation (LARP) in discrete Bayesian networks. We describe how both single and multi dimensional partial derivatives of the evidence may easily be calculated from a junction tree in LARP equilibrium. We show that the simplicity of the calculations stems from the nature of LARP. Based on the differential semantics we describe how variable propagation in the LARP architecture may give access to additional partial derivatives. The cautious LARP (cLARP) scheme is derived to produce a flexible cLARP equilibrium that offers additional opportunities for calculating single and multidimensional partial derivatives of the evidence and subsets of the evidence from a single propagation. The results of an empirical evaluation illustrates how the access to a largely increased number of partial derivatives comes at a low computational cost.


title: Modifying Bayesian Networks by Probability Constraints

abstract: This paper deals with the following problem: modify a Bayesian network to satisfy a given set of probability constraints by only change its conditional probability tables, and the probability distribution of the resulting network should be as close as possible to that of the original network. We propose to solve this problem by extending IPFP (iterative proportional fitting procedure) to probability distributions represented by Bayesian networks. The resulting algorithm E-IPFP is further developed to D-IPFP, which reduces the computational cost by decomposing a global EIPFP into a set of smaller local E-IPFP problems. Limited analysis is provided, including the convergence proofs of the two algorithms. Computer experiments were conducted to validate the algorithms. The results are consistent with the theoretical analysis.


title: Exploiting Evidence-dependent Sensitivity Bounds

abstract: Studying the effects of one-way variation of any number of parameters on any number of output probabilities quickly becomes infeasible in practice, especially if various evidence profiles are to be taken into consideration. To provide for identifying the parameters that have a potentially large effect prior to actually performing the analysis, we need properties of sensitivity functions that are independent of the network under study, of the available evidence, or of both. In this paper, we study properties that depend upon just the probability of the entered evidence. We demonstrate that these properties provide for establishing an upper bound on the sensitivity value for a parameter; they further provide for establishing the region in which the vertex of the sensitivity function resides, thereby serving to identify parameters with a low sensitivity value that may still have a large impact on the probability of interest for relatively small parameter variations.


title: Unsupervised spectral learning

abstract: In spectral clustering and spectral image segmentation, the data is partioned starting from a given matrix of pairwise similarities S. the matrix S is constructed by hand, or learned on a separate training set. In this paper we show how to achieve spectral clustering in unsupervised mode. Our algorithm starts with a set of observed pairwise features, which are possible components of an unknown, parametric similarity function. This function is learned iteratively, at the same time as the clustering of the data. The algorithm shows promosing results on synthetic and real data.


title: MAA*: A Heuristic Search Algorithm for Solving Decentralized POMDPs

abstract: We present multi-agent A* (MAA*), the first complete and optimal heuristic search algorithm for solving decentralized partially-observable Markov decision problems (DEC-POMDPs) with finite horizon. The algorithm is suitable for computing optimal plans for a cooperative group of agents that operate in a stochastic environment such as multirobot coordination, network traffic control, `or distributed resource allocation. Solving such problems efiectively is a major challenge in the area of planning under uncertainty. Our solution is based on a synthesis of classical heuristic search and decentralized control theory. Experimental results show that MAA* has significant advantages. We introduce an anytime variant of MAA* and conclude with a discussion of promising extensions such as an approach to solving infinite horizon problems.


title: Models for Truthful Online Double Auctions

abstract: Online double auctions (DAs) model a dynamic two-sided matching problem with private information and self-interest, and are relevant for dynamic resource and task allocation problems. We present a general method to design truthful DAs, such that no agent can benefit from misreporting its arrival time, duration, or value. The family of DAs is parameterized by a pricing rule, and includes a generalization of McAfee's truthful DA to this dynamic setting. We present an empirical study, in which we study the allocative-surplus and agent surplus for a number of different DAs. Our results illustrate that dynamic pricing rules are important to provide good market efficiency for markets with high volatility or low volume.


title: Local Utility Elicitation in GAI Models

abstract: Structured utility models are essential for the effective representation and elicitation of complex multiattribute utility functions. Generalized additive independence (GAI) models provide an attractive structural model of user preferences, offering a balanced tradeoff between simplicity and applicability. While representation and inference with such models is reasonably well understood, elicitation of the parameters of such models has been studied less from a practical perspective. We propose a procedure to elicit GAI model parameters using only "local" utility queries rather than "global" queries over full outcomes. Our local queries take full advantage of GAI structure and provide a sound framework for extending the elicitation procedure to settings where the uncertainty over utility parameters is represented probabilistically. We describe experiments using a myopic value-of-information approach to elicitation in a large GAI model.


title: On the Value of Correlation

abstract: Correlated equilibrium (Aumann, 1974) generalizes Nash equilibrium to allow correlation devices. Aumann showed an example of a game, and of a correlated equilibrium in this game, in which the agents' surplus (expected sum of payo s) is greater than their surplus in all mixed-strategy equilibria. Following the idea initiated by the price of anarchy literature (Koutsoupias & Papadimitriou, 1999;Papadimitriou, 2001) this suggests the study of two major measures for the value of correlation in a game with non-negative payoffs: 1. The ratio between the maximal surplus obtained in a correlated equilibrium to the maximal surplus obtained in a mixed-strategy equilibrium. We refer to this ratio as the mediation value. 2. The ratio between the maximal surplus to the maximal surplus obtained in a correlated equilibrium. We refer to this ratio as the enforcement value. In this work we initiate the study of the mediation and enforcement values, providing several general results on the value of correlation as captured by these concepts. We also present a set of results for the more specialized case of congestion games (Rosenthal,1973), a class of games that received a lot of attention in the recent literature.


title: A unified setting for inference and decision: An argumentation-based approach

abstract: Inferring from inconsistency and making decisions are two problems which have always been treated separately by researchers in Artificial Intelligence. Consequently, different models have been proposed for each category. Different argumentation systems [2, 7, 10, 11] have been developed for handling inconsistency in knowledge bases. Recently, other argumentation systems [3, 4, 8] have been defined for making decisions under uncertainty. The aim of this paper is to present a general argumentation framework in which both inferring from inconsistency and decision making are captured. The proposed framework can be used for decision under uncertainty, multiple criteria decision, rule-based decision and finally case-based decision. Moreover, works on classical decision suppose that the information about environment is coherent, and this no longer required by this general framework.


title: Learning from Sparse Data by Exploiting Monotonicity Constraints

abstract: When training data is sparse, more domain knowledge must be incorporated into the learning algorithm in order to reduce the effective size of the hypothesis space. This paper builds on previous work in which knowledge about qualitative monotonicities was formally represented and incorporated into learning algorithms (e.g., Clark & Matwin's work with the CN2 rule learning algorithm). We show how to interpret knowledge of qualitative influences, and in particular of monotonicities, as constraints on probability distributions, and to incorporate this knowledge into Bayesian network learning algorithms. We show that this yields improved accuracy, particularly with very small training sets (e.g. less than 10 examples).


title: Towards Characterizing Markov Equivalence Classes for Directed Acyclic Graphs with Latent Variables

abstract: It is well known that there may be many causal explanations that are consistent with a given set of data. Recent work has been done to represent the common aspects of these explanations into one representation. In this paper, we address what is less well known: how do the relationships common to every causal explanation among the observed variables of some DAG process change in the presence of latent variables? Ancestral graphs provide a class of graphs that can encode conditional independence relations that arise in DAG models with latent and selection variables. In this paper we present a set of orientation rules that construct the Markov equivalence class representative for ancestral graphs, given a member of the equivalence class. These rules are sound and complete. We also show that when the equivalence class includes a DAG, the equivalence class representative is the essential graph for the said DAG


title: Learning Factor Graphs in Polynomial Time & Sample Complexity

abstract: We study computational and sample complexity of parameter and structure learning in graphical models. Our main result shows that the class of factor graphs with bounded factor size and bounded connectivity can be learned in polynomial time and polynomial number of samples, assuming that the data is generated by a network in this class. This result covers both parameter estimation for a known network structure and structure learning. It implies as a corollary that we can learn factor graphs for both Bayesian networks and Markov networks of bounded degree, in polynomial time and sample complexity. Unlike maximum likelihood estimation, our method does not require inference in the underlying network, and so applies to networks where inference is intractable. We also show that the error of our learned model degrades gracefully when the generating distribution is not a member of the target class of networks.


title: Belief Updating and Learning in Semi-Qualitative Probabilistic Networks

abstract: This paper explores semi-qualitative probabilistic networks (SQPNs) that combine numeric and qualitative information. We first show that exact inferences with SQPNs are NPPP-Complete. We then show that existing qualitative relations in SQPNs (plus probabilistic logic and imprecise assessments) can be dealt effectively through multilinear programming. We then discuss learning: we consider a maximum likelihood method that generates point estimates given a SQPN and empirical data, and we describe a Bayesian-minded method that employs the Imprecise Dirichlet Model to generate set-valued estimates.


title: Common Voting Rules as Maximum Likelihood Estimators

abstract: Voting is a very general method of preference aggregation. A voting rule takes as input every voter's vote (typically, a ranking of the alternatives), and produces as output either just the winning alternative or a ranking of the alternatives. One potential view of voting is the following. There exists a 'correct' outcome (winner/ranking), and each voter's vote corresponds to a noisy perception of this correct outcome. If we are given the noise model, then for any vector of votes, we can


title: Hybrid Bayesian Networks with Linear Deterministic Variables

abstract: When a hybrid Bayesian network has conditionally deterministic variables with continuous parents, the joint density function for the continuous variables does not exist. Conditional linear Gaussian distributions can handle such cases when the continuous variables have a multi-variate normal distribution and the discrete variables do not have continuous parents. In this paper, operations required for performing inference with conditionally deterministic variables in hybrid Bayesian networks are developed. These methods allow inference in networks with deterministic variables where continuous variables may be non-Gaussian, and their density functions can be approximated by mixtures of truncated exponentials. There are no constraints on the placement of continuous and discrete nodes in the network.


title: On Bayesian Network Approximation by Edge Deletion

abstract: We consider the problem of deleting edges from a Bayesian network for the purpose of simplifying models in probabilistic inference. In particular, we propose a new method for deleting network edges, which is based on the evidence at hand. We provide some interesting bounds on the KL-divergence between original and approximate networks, which highlight the impact of given evidence on the quality of approximation and shed some light on good and bad candidates for edge deletion. We finally demonstrate empirically the promise of the proposed edge deletion technique as a basis for approximate inference.


title: On Privacy-Preserving Histograms

abstract: We advance the approach initiated by Chawla et al. for sanitizing (census) data so as to preserve the privacy of respondents while simultaneously extracting "useful" statistical information. First, we extend the scope of their techniques to a broad and rich class of distributions, specifically, mixtures of highdimensional balls, spheres, Gaussians, and other "nice" distributions. Second, we randomize the histogram constructions to preserve spatial characteristics of the data, allowing us to approximate various quantities of interest, e.g., cost of the minimum spanning tree on the data, in a privacy-preserving fashion.


title: Exploiting Evidence in Probabilistic Inference

abstract: We define the notion of compiling a Bayesian network with evidence and provide a specific approach for evidence-based compilation, which makes use of logical processing. The approach is practical and advantageous in a number of application areas-including maximum likelihood estimation, sensitivity analysis, and MAP computations-and we provide specific empirical results in the domain of genetic linkage analysis. We also show that the approach is applicable for networks that do not contain determinism, and show that it empirically subsumes the performance of the quickscore algorithm when applied to noisy-or networks.


title: Counterexample-guided Planning

abstract: Planning in adversarial and uncertain environments can be modeled as the problem of devising strategies in stochastic perfect information games. These games are generalizations of Markov decision processes (MDPs): there are two (adversarial) players, and a source of randomness. The main practical obstacle to computing winning strategies in such games is the size of the state space. In practice therefore, one typically works with abstractions of the model. The diffculty is to come up with an abstraction that is neither too coarse to remove all winning strategies (plans), nor too fine to be intractable. In verification, the paradigm of counterexample-guided abstraction refinement has been successful to construct useful but parsimonious abstractions automatically. We extend this paradigm to probabilistic models (namely, perfect information games and, as a special case, MDPs). This allows us to apply the counterexample-guided abstraction paradigm to the AI planning problem. As special cases, we get planning algorithms for MDPs and deterministic systems that automatically construct system abstractions.


title: Use of Dempster-Shafer Conflict Metric to Detect Interpretation Inconsistency

abstract: A model of the world built from sensor data may be incorrect even if the sensors are functioning correctly. Possible causes include the use of inappropriate sensors (e.g. a laser looking through glass walls), sensor inaccuracies accumulate (e.g. localization errors), the a priori models are wrong, or the internal representation does not match the world (e.g. a static occupancy grid used with dynamically moving objects). We are interested in the case where the constructed model of the world is flawed, but there is no access to the ground truth that would allow the system to see the discrepancy, such as a robot entering an unknown environment. This paper considers the problem of determining when something is wrong using only the sensor data used to construct the world model. It proposes 11 interpretation inconsistency indicators based on the Dempster-Shafer conflict metric, Con, and evaluates these indicators according to three criteria: ability to distinguish true inconsistency from sensor noise (classification), estimate the magnitude of discrepancies (estimation), and determine the source(s) (if any) of sensing problems in the environment (isolation). The evaluation is conducted using data from a mobile robot with sonar and laser range sensors navigating indoor environments under controlled conditions. The evaluation shows that the Gambino indicator performed best in terms of estimation (at best 0.77 correlation), isolation, and classification of the sensing situation as degraded (7% false negative rate) or normal (0% false positive rate).


title: Nonparametric Bayesian Logic

abstract: The Bayesian Logic (BLOG) language was recently developed for defining first-order probability models over worlds with unknown numbers of objects. It handles important problems in AI, including data association and population estimation. This paper extends BLOG by adopting generative processes over function spaces - known as nonparametrics in the Bayesian literature. We introduce syntax for reasoning about arbitrary collections of objects, and their properties, in an intuitive manner. By exploiting exchangeability, distributions over unknown objects and their attributes are cast as Dirichlet processes, which resolve difficulties in model selection and inference caused by varying numbers of objects. We demonstrate these concepts with application to citation matching.


title: Counterfactual Reasoning in Linear Structural Equation Models

abstract: Consider the case where causal relations among variables can be described as a Gaussian linear structural equation model. This paper deals with the problem of clarifying how the variance of a response variable would have changed if a treatment variable were assigned to some value (counterfactually), given that a set of variables is observed (actually). In order to achieve this aim, we reformulate the formulas of the counterfactual distribution proposed by Balke and Pearl (1995) through both the total effects and a covariance matrix of observed variables. We further extend the framework of Balke and Pearl (1995) from point observations to interval observations, and from an unconditional plan to a conditional plan. The results of this paper enable us to clarify the properties of counterfactual distribution and establish an optimal plan.


title: Efficient algorithm for estimation of qualitative expected utility in possibilistic case-based reasoning

abstract: We propose an efficient algorithm for estimation of possibility based qualitative expected utility. It is useful for decision making mechanisms where each possible decision is assigned a multi-attribute possibility distribution. The computational complexity of ordinary methods calculating the expected utility based on discretization is growing exponentially with the number of attributes, and may become infeasible with a high number of these attributes. We present series of theorems and lemmas proving the correctness of our algorithm that exibits a linear computational complexity. Our algorithm has been applied in the context of selecting the most prospective partners in multi-party multi-attribute negotiation, and can also be used in making decisions about potential offers during the negotiation as other similar problems.


title: Local Markov Property for Models Satisfying Composition Axiom

abstract: The local Markov condition for a DAG to be an independence map of a probability distribution is well known. For DAGs with latent variables, represented as bi-directed edges in the graph, the local Markov property may invoke exponential number of conditional independencies. This paper shows that the number of conditional independence relations required may be reduced if the probability distributions satisfy the composition axiom. In certain types of graphs, only linear number of conditional independencies are required. The result has applications in testing linear structural equation models with correlated errors.


title: On the Detection of Concept Changes in Time-Varying Data Stream by Testing Exchangeability

abstract: A martingale framework for concept change detection based on testing data exchangeability was recently proposed (Ho, 2005). In this paper, we describe the proposed change-detection test based on the Doob's Maximal Inequality and show that it is an approximation of the sequential probability ratio test (SPRT). The relationship between the threshold value used in the proposed test and its size and power is deduced from the approximation. The mean delay time before a change is detected is estimated using the average sample number of a SPRT. The performance of the test using various threshold values is examined on five different data stream scenarios simulated using two synthetic data sets. Finally, experimental results show that the test is effective in detecting changes in time-varying data streams simulated using three benchmark data sets.


title: Bayes Blocks: An Implementation of the Variational Bayesian Building Blocks Framework

abstract: A software library for constructing and learning probabilistic models is presented. The library offers a set of building blocks from which a large variety of static and dynamic models can be built. These include hierarchical models for variances of other variables and many nonlinear models. The underlying variational Bayesian machinery, providing for fast and robust estimation but being mathematically rather involved, is almost completely hidden from the user thus making it very easy to use the library. The building blocks include Gaussian, rectified Gaussian and mixture-of-Gaussians variables and computational nodes which can be combined rather freely.


title: Unsupervised Activity Discovery and Characterization From Event-Streams

abstract: We present a framework to discover and characterize different classes of everyday activities from event-streams. We begin by representing activities as bags of event n-grams. This allows us to analyze the global structural information of activities, using their local event statistics. We demonstrate how maximal cliques in an undirected edge-weighted graph of activities, can be used for activity-class discovery in an unsupervised manner. We show how modeling an activity as a variable length Markov process, can be used to discover recurrent event-motifs to characterize the discovered activity-classes. We present results over extensive data-sets, collected from multiple active environments, to show the competence and generalizability of our proposed framework.


title: Maximum Margin Bayesian Networks

abstract: We consider the problem of learning Bayesian network classifiers that maximize the marginover a set of classification variables. We find that this problem is harder for Bayesian networks than for undirected graphical models like maximum margin Markov networks. The main difficulty is that the parameters in a Bayesian network must satisfy additional normalization constraints that an undirected graphical model need not respect. These additional constraints complicate the optimization task. Nevertheless, we derive an effective training algorithm that solves the maximum margin training problem for a range of Bayesian network topologies, and converges to an approximate solution for arbitrary network topologies. Experimental results show that the method can demonstrate improved generalization performance over Markov networks when the directed graphical structure encodes relevant knowledge. In practice, the training technique allows one to combine prior knowledge expressed as a directed (causal) model with state of the art discriminative learning methods.


title: Bounding the Uncertainty of Graphical Games: The Complexity of Simple Requirements, Pareto and Strong Nash Equilibria

abstract: We investigate the complexity of bounding the uncertainty of graphical games, and we provide new insight into the intrinsic difficulty of computing Nash equilibria. In particular, we show that, if one adds very simple and natural additional requirements to a graphical game, the existence of Nash equilibria is no longer guaranteed, and computing an equilibrium is an intractable problem. Moreover, if stronger equilibrium conditions are required for the game, we get hardness results for the second level of the polynomial hierarchy. Our results offer a clear picture of the complexity of mixed Nash equilibria in graphical games, and answer some open research questions posed by Conitzer and Sandholm (2003).


title: Modeling Transportation Routines using Hybrid Dynamic Mixed Networks

abstract: This paper describes a general framework called Hybrid Dynamic Mixed Networks (HDMNs) which are Hybrid Dynamic Bayesian Networks that allow representation of discrete deterministic information in the form of constraints. We propose approximate inference algorithms that integrate and adjust well known algorithmic principles such as Generalized Belief Propagation, Rao-Blackwellised Particle Filtering and Constraint Propagation to address the complexity of modeling and reasoning in HDMNs. We use this framework to model a person's travel activity over time and to predict destination and routes given the current location. We present a preliminary empirical evaluation demonstrating the effectiveness of our modeling framework and algorithms using several variants of the activity model.


title: Approximate Inference Algorithms for Hybrid Bayesian Networks with Discrete Constraints

abstract: In this paper, we consider Hybrid Mixed Networks (HMN) which are Hybrid Bayesian Networks that allow discrete deterministic information to be modeled explicitly in the form of constraints. We present two approximate inference algorithms for HMNs that integrate and adjust well known algorithmic principles such as Generalized Belief Propagation, Rao-Blackwellised Importance Sampling and Constraint Propagation to address the complexity of modeling and reasoning in HMNs. We demonstrate the performance of our approximate inference algorithms on randomly generated HMNs.


title: Metrics for Markov Decision Processes with Infinite State Spaces

abstract: We present metrics for measuring state similarity in Markov decision processes (MDPs) with infinitely many states, including MDPs with continuous state spaces. Such metrics provide a stable quantitative analogue of the notion of bisimulation for MDPs, and are suitable for use in MDP approximation. We show that the optimal value function associated with a discounted infinite horizon planning task varies continuously with respect to our metric distances.


title: Learning Bayesian Network Parameters with Prior Knowledge about Context-Specific Qualitative Influences

abstract: We present a method for learning the parameters of a Bayesian network with prior knowledge about the signs of influences between variables. Our method accommodates not just the standard signs, but provides for context-specific signs as well. We show how the various signs translate into order constraints on the network parameters and how isotonic regression can be used to compute order-constrained estimates from the available data. Our experimental results show that taking prior knowledge about the signs of influences into account leads to an improved fit of the true distribution, especially when only a small sample of data is available. Moreover, the computed estimates are guaranteed to be consistent with the specified signs, thereby resulting in a network that is more likely to be accepted by experts in its domain of application.


title: Planning in POMDPs Using Multiplicity Automata

abstract: Planning and learning in Partially Observable MDPs (POMDPs) are among the most challenging tasks in both the AI and Operation Research communities. Although solutions to these problems are intractable in general, there might be special cases, such as structured POMDPs, which can be solved efficiently. A natural and possibly efficient way to represent a POMDP is through the predictive state representation (PSR) - a representation which recently has been receiving increasing attention. In this work, we relate POMDPs to multiplicity automata- showing that POMDPs can be represented by multiplicity automata with no increase in the representation size. Furthermore, we show that the size of the multiplicity automaton is equal to the rank of the predictive state representation. Therefore, we relate both the predictive state representation and POMDPs to the well-founded multiplicity automata literature. Based on the multiplicity automata representation, we provide a planning algorithm which is exponential only in the multiplicity automata rank rather than the number of states of the POMDP. As a result, whenever the predictive state representation is logarithmic in the standard POMDP representation, our planning algorithm is efficient.


title: On the Number of Experiments Sufficient and in the Worst Case Necessary to Identify All Causal Relations Among N Variables

abstract: We show that if any number of variables are allowed to be simultaneously and independently randomized in any one experiment, log2(N) + 1 experiments are sufficient and in the worst case necessary to determine the causal relations among N >= 2 variables when no latent variables, no sample selection bias and no feedback cycles are present. For all K, 0 < K < 1/(2N) we provide an upper bound on the number experiments required to determine causal structure when each experiment simultaneously randomizes K variables. For large N, these bounds are significantly lower than the N - 1 bound required when each experiment randomizes at most one variable. For kmax < N/2, we show that (N/kmax-1)+N/(2kmax)log2(kmax) experiments aresufficient and in the worst case necessary. We over a conjecture as to the minimal number of experiments that are in the worst case sufficient to identify all causal relations among N observed variables that are a subset of the vertices of a DAG.


title: Unstructuring User Preferences: Efficient Non-Parametric Utility Revelation

abstract: Tackling the problem of ordinal preference revelation and reasoning, we propose a novel methodology for generating an ordinal utility function from a set of qualitative preference statements. To the best of our knowledge, our proposal constitutes the first nonparametric solution for this problem that is both efficient and semantically sound. Our initial experiments provide strong evidence for practical effectiveness of our approach.


title: Existence and Finiteness Conditions for Risk-Sensitive Planning: Results and Conjectures

abstract: Decision-theoretic planning with risk-sensitive planning objectives is important for building autonomous agents or decision-support systems for real-world applications. However, this line of research has been largely ignored in the artificial intelligence and operations research communities since planning with risk-sensitive planning objectives is more complicated than planning with risk-neutral planning objectives. To remedy this situation, we derive conditions that guarantee that the optimal expected utilities of the total plan-execution reward exist and are finite for fully observable Markov decision process models with non-linear utility functions. In case of Markov decision process models with both positive and negative rewards, most of our results hold for stationary policies only, but we conjecture that they can be generalized to non stationary policies.


title: The Graphical Identification for Total Effects by using Surrogate Variables

abstract: Consider the case where cause-effect relationships between variables can be described as a directed acyclic graph and the corresponding linear structural equation model. This paper provides graphical identifiability criteria for total effects by using surrogate variables in the case where it is difficult to observe a treatment/response variable. The results enable us to judge from graph structure whether a total effect can be identified through the observation of surrogate variables.


title: Learning about individuals from group statistics

abstract: We propose a new problem formulation which is similar to, but more informative than, the binary multiple-instance learning problem. In this setting, we are given groups of instances (described by feature vectors) along with estimates of the fraction of positively-labeled instances per group. The task is to learn an instance level classifier from this information. That is, we are trying to estimate the unknown binary labels of individuals from knowledge of group statistics. We propose a principled probabilistic model to solve this problem that accounts for uncertainty in the parameters and in the unknown individual labels. This model is trained with an efficient MCMC algorithm. Its performance is demonstrated on both synthetic and real-world data arising in general object recognition.


title: Near-optimal Nonmyopic Value of Information in Graphical Models

abstract: A fundamental issue in real-world systems, such as sensor networks, is the selection of observations which most effectively reduce uncertainty. More specifically, we address the long standing problem of nonmyopically selecting the most informative subset of variables in a graphical model. We present the first efficient randomized algorithm providing a constant factor (1-1/e-epsilon) approximation guarantee for any epsilon > 0 with high confidence. The algorithm leverages the theory of submodular functions, in combination with a polynomial bound on sample complexity. We furthermore prove that no polynomial time algorithm can provide a constant factor approximation better than (1 - 1/e) unless P = NP. Finally, we provide extensive evidence of the effectiveness of our method on two complex real-world datasets.