@article{1997, abstract = {We prove that the three-state toric homogeneous Markov chain model has Markov degree two. In algebraic terminology this means, that a certain class of toric ideals is generated by quadratic binomials. This was conjectured by Haws, Martin del Campo, Takemura and Yoshida, who proved that they are generated by degree six binomials.}, author = {Noren, Patrik}, journal = {Journal of Symbolic Computation}, number = {May-June}, pages = {285 -- 296}, publisher = {Elsevier}, title = {{The three-state toric homogeneous Markov chain model has Markov degree two}}, doi = {10.1016/j.jsc.2014.09.014}, volume = {68/Part 2}, year = {2015}, } @article{2008, abstract = {The paper describes a generalized iterative proportional fitting procedure that can be used for maximum likelihood estimation in a special class of the general log-linear model. The models in this class, called relational, apply to multivariate discrete sample spaces that do not necessarily have a Cartesian product structure and may not contain an overall effect. When applied to the cell probabilities, the models without the overall effect are curved exponential families and the values of the sufficient statistics are reproduced by the MLE only up to a constant of proportionality. The paper shows that Iterative Proportional Fitting, Generalized Iterative Scaling, and Improved Iterative Scaling fail to work for such models. The algorithm proposed here is based on iterated Bregman projections. As a by-product, estimates of the multiplicative parameters are also obtained. An implementation of the algorithm is available as an R-package.}, author = {Klimova, Anna and Rudas, Tamás}, journal = {Scandinavian Journal of Statistics}, number = {3}, pages = {832 -- 847}, publisher = {Wiley}, title = {{Iterative scaling in curved exponential families}}, doi = {10.1111/sjos.12139}, volume = {42}, year = {2015}, } @article{2006, abstract = {The monotone secant conjecture posits a rich class of polynomial systems, all of whose solutions are real. These systems come from the Schubert calculus on flag manifolds, and the monotone secant conjecture is a compelling generalization of the Shapiro conjecture for Grassmannians (Theorem of Mukhin, Tarasov, and Varchenko). We present some theoretical evidence for this conjecture, as well as computational evidence obtained by 1.9 teraHertz-years of computing, and we discuss some of the phenomena we observed in our data. }, author = {Hein, Nicolas and Hillar, Christopher and Martin Del Campo Sanchez, Abraham and Sottile, Frank and Teitler, Zach}, journal = {Experimental Mathematics}, number = {3}, pages = {261 -- 269}, publisher = {Taylor & Francis}, title = {{The monotone secant conjecture in the real Schubert calculus}}, doi = {10.1080/10586458.2014.980044}, volume = {24}, year = {2015}, } @article{2014, abstract = {The concepts of faithfulness and strong-faithfulness are important for statistical learning of graphical models. Graphs are not sufficient for describing the association structure of a discrete distribution. Hypergraphs representing hierarchical log-linear models are considered instead, and the concept of parametric (strong-) faithfulness with respect to a hypergraph is introduced. Strong-faithfulness ensures the existence of uniformly consistent parameter estimators and enables building uniformly consistent procedures for a hypergraph search. The strength of association in a discrete distribution can be quantified with various measures, leading to different concepts of strong-faithfulness. Lower and upper bounds for the proportions of distributions that do not satisfy strong-faithfulness are computed for different parameterizations and measures of association.}, author = {Klimova, Anna and Uhler, Caroline and Rudas, Tamás}, journal = {Computational Statistics & Data Analysis}, number = {7}, pages = {57 -- 72}, publisher = {Elsevier}, title = {{Faithfulness and learning hypergraphs from discrete distributions}}, doi = {10.1016/j.csda.2015.01.017}, volume = {87}, year = {2015}, } @article{2025, abstract = {Small GTP-binding proteins of the Ras superfamily play diverse roles in intracellular trafficking. Among them, the Rab, Arf, and Rho families function in successive steps of vesicle transport, in forming vesicles from donor membranes, directing vesicle trafficking toward target membranes and docking vesicles onto target membranes. These proteins act as molecular switches that are controlled by a cycle of GTP binding and hydrolysis regulated by guanine nucleotide exchange factors (GEFs) and GTPase-activating proteins (GAPs). In this study we explored the role of GAPs in the regulation of the endocytic pathway using fluorescently labeled yeast mating pheromone α-factor. Among 25 non-essential GAP mutants, we found that deletion of the GLO3 gene, encoding Arf-GAP protein, caused defective internalization of fluorescently labeled α-factor. Quantitative analysis revealed that glo3Δ cells show defective α-factor binding to the cell surface. Interestingly, Ste2p, the α-factor receptor, was mis-localized from the plasma membrane to the vacuole in glo3Δ cells. Domain deletion mutants of Glo3p revealed that a GAP-independent function, as well as the GAP activity, of Glo3p is important for both α-factor binding and Ste2p localization at the cell surface. Additionally, we found that deletion of the GLO3 gene affects the size and number of Arf1p-residing Golgi compartments and causes a defect in transport from the TGN to the plasma membrane. Furthermore, we demonstrated that glo3Δ cells were defective in the late endosome-to-TGN transport pathway, but not in the early endosome-to-TGN transport pathway. These findings suggest novel roles for Arf-GAP Glo3p in endocytic recycling of cell surface proteins.}, author = {Kawada, Daiki and Kobayashi, Hiromu and Tomita, Tsuyoshi and Nakata, Eisuke and Nagano, Makoto and Siekhaus, Daria E and Toshima, Junko and Toshimaa, Jiro}, journal = {Biochimica et Biophysica Acta - Molecular Cell Research}, number = {1}, pages = {144 -- 156}, publisher = {Elsevier}, title = {{The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins}}, doi = {10.1016/j.bbamcr.2014.10.009}, volume = {1853}, year = {2015}, } @article{2030, abstract = {A hybrid-parallel direct-numerical-simulation method with application to turbulent Taylor-Couette flow is presented. The Navier-Stokes equations are discretized in cylindrical coordinates with the spectral Fourier-Galerkin method in the axial and azimuthal directions, and high-order finite differences in the radial direction. Time is advanced by a second-order, semi-implicit projection scheme, which requires the solution of five Helmholtz/Poisson equations, avoids staggered grids and renders very small slip velocities. Nonlinear terms are evaluated with the pseudospectral method. The code is parallelized using a hybrid MPI-OpenMP strategy, which, compared with a flat MPI parallelization, is simpler to implement, allows to reduce inter-node communications and MPI overhead that become relevant at high processor-core counts, and helps to contain the memory footprint. A strong scaling study shows that the hybrid code maintains scalability up to more than 20,000 processor cores and thus allows to perform simulations at higher resolutions than previously feasible. In particular, it opens up the possibility to simulate turbulent Taylor-Couette flows at Reynolds numbers up to O(105). This enables to probe hydrodynamic turbulence in Keplerian flows in experimentally relevant regimes.}, author = {Shi, Liang and Rampp, Markus and Hof, Björn and Avila, Marc}, journal = {Computers and Fluids}, number = {1}, pages = {1 -- 11}, publisher = {Elsevier}, title = {{A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow}}, doi = {10.1016/j.compfluid.2014.09.021}, volume = {106}, year = {2015}, } @article{2035, abstract = {Considering a continuous self-map and the induced endomorphism on homology, we study the eigenvalues and eigenspaces of the latter. Taking a filtration of representations, we define the persistence of the eigenspaces, effectively introducing a hierarchical organization of the map. The algorithm that computes this information for a finite sample is proved to be stable, and to give the correct answer for a sufficiently dense sample. Results computed with an implementation of the algorithm provide evidence of its practical utility. }, author = {Edelsbrunner, Herbert and Jablonski, Grzegorz and Mrozek, Marian}, journal = {Foundations of Computational Mathematics}, number = {5}, pages = {1213 -- 1244}, publisher = {Springer}, title = {{The persistent homology of a self-map}}, doi = {10.1007/s10208-014-9223-y}, volume = {15}, year = {2015}, } @article{2034, abstract = {Opacity is a generic security property, that has been defined on (non-probabilistic) transition systems and later on Markov chains with labels. For a secret predicate, given as a subset of runs, and a function describing the view of an external observer, the value of interest for opacity is a measure of the set of runs disclosing the secret. We extend this definition to the richer framework of Markov decision processes, where non-deterministicchoice is combined with probabilistic transitions, and we study related decidability problems with partial or complete observation hypotheses for the schedulers. We prove that all questions are decidable with complete observation and ω-regular secrets. With partial observation, we prove that all quantitative questions are undecidable but the question whether a system is almost surely non-opaquebecomes decidable for a restricted class of ω-regular secrets, as well as for all ω-regular secrets under finite-memory schedulers.}, author = {Bérard, Béatrice and Chatterjee, Krishnendu and Sznajder, Nathalie}, journal = { Information Processing Letters}, number = {1}, pages = {52 -- 59}, publisher = {Elsevier}, title = {{Probabilistic opacity for Markov decision processes}}, doi = {10.1016/j.ipl.2014.09.001}, volume = {115}, year = {2015}, } @article{2085, abstract = {We study the spectrum of a large system of N identical bosons interacting via a two-body potential with strength 1/N. In this mean-field regime, Bogoliubov's theory predicts that the spectrum of the N-particle Hamiltonian can be approximated by that of an effective quadratic Hamiltonian acting on Fock space, which describes the fluctuations around a condensed state. Recently, Bogoliubov's theory has been justified rigorously in the case that the low-energy eigenvectors of the N-particle Hamiltonian display complete condensation in the unique minimizer of the corresponding Hartree functional. In this paper, we shall justify Bogoliubov's theory for the high-energy part of the spectrum of the N-particle Hamiltonian corresponding to (non-linear) excited states of the Hartree functional. Moreover, we shall extend the existing results on the excitation spectrum to the case of non-uniqueness and/or degeneracy of the Hartree minimizer. In particular, the latter covers the case of rotating Bose gases, when the rotation speed is large enough to break the symmetry and to produce multiple quantized vortices in the Hartree minimizer. }, author = {Nam, Phan and Seiringer, Robert}, journal = {Archive for Rational Mechanics and Analysis}, number = {2}, pages = {381 -- 417}, publisher = {Springer}, title = {{Collective excitations of Bose gases in the mean-field regime}}, doi = {10.1007/s00205-014-0781-6}, volume = {215}, year = {2015}, } @article{2166, abstract = {We consider the spectral statistics of large random band matrices on mesoscopic energy scales. We show that the correlation function of the local eigenvalue density exhibits a universal power law behaviour that differs from the Wigner-Dyson- Mehta statistics. This law had been predicted in the physics literature by Altshuler and Shklovskii in (Zh Eksp Teor Fiz (Sov Phys JETP) 91(64):220(127), 1986); it describes the correlations of the eigenvalue density in general metallic sampleswith weak disorder. Our result rigorously establishes the Altshuler-Shklovskii formulas for band matrices. In two dimensions, where the leading term vanishes owing to an algebraic cancellation, we identify the first non-vanishing term and show that it differs substantially from the prediction of Kravtsov and Lerner in (Phys Rev Lett 74:2563-2566, 1995). The proof is given in the current paper and its companion (Ann. H. Poincaré. arXiv:1309.5107, 2014). }, author = {Erdös, László and Knowles, Antti}, journal = {Communications in Mathematical Physics}, number = {3}, pages = {1365 -- 1416}, publisher = {Springer}, title = {{The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case}}, doi = {10.1007/s00220-014-2119-5}, volume = {333}, year = {2015}, }