@article{9781, abstract = {We consider the Pekar functional on a ball in ℝ3. We prove uniqueness of minimizers, and a quadratic lower bound in terms of the distance to the minimizer. The latter follows from nondegeneracy of the Hessian at the minimum.}, author = {Feliciangeli, Dario and Seiringer, Robert}, issn = {1095-7154}, journal = {SIAM Journal on Mathematical Analysis}, keywords = {Applied Mathematics, Computational Mathematics, Analysis}, number = {1}, pages = {605--622}, publisher = {Society for Industrial & Applied Mathematics }, title = {{Uniqueness and nondegeneracy of minimizers of the Pekar functional on a ball}}, doi = {10.1137/19m126284x}, volume = {52}, year = {2020}, } @article{10878, abstract = {Starting from a microscopic model for a system of neurons evolving in time which individually follow a stochastic integrate-and-fire type model, we study a mean-field limit of the system. Our model is described by a system of SDEs with discontinuous coefficients for the action potential of each neuron and takes into account the (random) spatial configuration of neurons allowing the interaction to depend on it. In the limit as the number of particles tends to infinity, we obtain a nonlinear Fokker-Planck type PDE in two variables, with derivatives only with respect to one variable and discontinuous coefficients. We also study strong well-posedness of the system of SDEs and prove the existence and uniqueness of a weak measure-valued solution to the PDE, obtained as the limit of the laws of the empirical measures for the system of particles.}, author = {Flandoli, Franco and Priola, Enrico and Zanco, Giovanni A}, issn = {1553-5231}, journal = {Discrete and Continuous Dynamical Systems}, keywords = {Applied Mathematics, Discrete Mathematics and Combinatorics, Analysis}, number = {6}, pages = {3037--3067}, publisher = {American Institute of Mathematical Sciences}, title = {{A mean-field model with discontinuous coefficients for neurons with spatial interaction}}, doi = {10.3934/dcds.2019126}, volume = {39}, year = {2019}, } @article{11615, abstract = {The recently published Kepler mission Data Release 25 (DR25) reported on ∼197 000 targets observed during the mission. Despite this, no wide search for red giants showing solar-like oscillations have been made across all stars observed in Kepler’s long-cadence mode. In this work, we perform this task using custom apertures on the Kepler pixel files and detect oscillations in 21 914 stars, representing the largest sample of solar-like oscillating stars to date. We measure their frequency at maximum power, νmax, down to νmax≃4μHz and obtain log (g) estimates with a typical uncertainty below 0.05 dex, which is superior to typical measurements from spectroscopy. Additionally, the νmax distribution of our detections show good agreement with results from a simulated model of the Milky Way, with a ratio of observed to predicted stars of 0.992 for stars with 10<νmax<270μHz. Among our red giant detections, we find 909 to be dwarf/subgiant stars whose flux signal is polluted by a neighbouring giant as a result of using larger photometric apertures than those used by the NASA Kepler science processing pipeline. We further find that only 293 of the polluting giants are known Kepler targets. The remainder comprises over 600 newly identified oscillating red giants, with many expected to belong to the Galactic halo, serendipitously falling within the Kepler pixel files of targeted stars.}, author = {Hon, Marc and Stello, Dennis and García, Rafael A and Mathur, Savita and Sharma, Sanjib and Colman, Isabel L and Bugnet, Lisa Annabelle}, issn = {1365-2966}, journal = {Monthly Notices of the Royal Astronomical Society}, keywords = {Space and Planetary Science, Astronomy and Astrophysics, asteroseismology, methods: data analysis, techniques: image processing, stars: oscillations, stars: statistics}, number = {4}, pages = {5616--5630}, publisher = {Oxford University Press}, title = {{A search for red giant solar-like oscillations in all Kepler data}}, doi = {10.1093/mnras/stz622}, volume = {485}, year = {2019}, } @article{11623, abstract = {Brightness variations due to dark spots on the stellar surface encode information about stellar surface rotation and magnetic activity. In this work, we analyze the Kepler long-cadence data of 26,521 main-sequence stars of spectral types M and K in order to measure their surface rotation and photometric activity level. Rotation-period estimates are obtained by the combination of a wavelet analysis and autocorrelation function of the light curves. Reliable rotation estimates are determined by comparing the results from the different rotation diagnostics and four data sets. We also measure the photometric activity proxy Sph using the amplitude of the flux variations on an appropriate timescale. We report rotation periods and photometric activity proxies for about 60% of the sample, including 4431 targets for which McQuillan et al. did not report a rotation period. For the common targets with rotation estimates in this study and in McQuillan et al., our rotation periods agree within 99%. In this work, we also identify potential polluters, such as misclassified red giants and classical pulsator candidates. Within the parameter range we study, there is a mild tendency for hotter stars to have shorter rotation periods. The photometric activity proxy spans a wider range of values with increasing effective temperature. The rotation period and photometric activity proxy are also related, with Sph being larger for fast rotators. Similar to McQuillan et al., we find a bimodal distribution of rotation periods.}, author = {Santos, A. R. G. and García, R. A. and Mathur, S. and Bugnet, Lisa Annabelle and van Saders, J. L. and Metcalfe, T. S. and Simonian, G. V. A. and Pinsonneault, M. H.}, issn = {0067-0049}, journal = {The Astrophysical Journal Supplement Series}, keywords = {Space and Planetary Science, Astronomy and Astrophysics, methods: data analysis, stars: activity, stars: low-mass, stars: rotation, starspots, techniques: photometric}, number = {1}, publisher = {IOP Publishing}, title = {{Surface rotation and photometric activity for Kepler targets. I. M and K main-sequence stars}}, doi = {10.3847/1538-4365/ab3b56}, volume = {244}, year = {2019}, } @unpublished{11630, abstract = {The second mission of NASA’s Kepler satellite, K2, has collected hundreds of thousands of lightcurves for stars close to the ecliptic plane. This new sample could increase the number of known pulsating stars and then improve our understanding of those stars. For the moment only a few stars have been properly classified and published. In this work, we present a method to automaticly classify K2 pulsating stars using a Machine Learning technique called Random Forest. The objective is to sort out the stars in four classes: red giant (RG), main-sequence Solar-like stars (SL), classical pulsators (PULS) and Other. To do this we use the effective temperatures and the luminosities of the stars as well as the FliPer features, that measures the amount of power contained in the power spectral density. The classifier now retrieves the right classification for more than 80% of the stars.}, author = {Saux, A. Le and Bugnet, Lisa Annabelle and Mathur, S. and Breton, S. N. and Garcia, R. A.}, booktitle = {arXiv}, keywords = {asteroseismology - methods, data analysis - thecniques, machine learning - stars, oscillations}, title = {{Automatic classification of K2 pulsating stars using machine learning techniques}}, doi = {10.48550/arXiv.1906.09611}, year = {2019}, } @article{8418, abstract = {For the Restricted Circular Planar 3 Body Problem, we show that there exists an open set U in phase space of fixed measure, where the set of initial points which lead to collision is O(μ120) dense as μ→0.}, author = {Guardia, Marcel and Kaloshin, Vadim and Zhang, Jianlu}, issn = {0003-9527}, journal = {Archive for Rational Mechanics and Analysis}, keywords = {Mechanical Engineering, Mathematics (miscellaneous), Analysis}, number = {2}, pages = {799--836}, publisher = {Springer Nature}, title = {{Asymptotic density of collision orbits in the Restricted Circular Planar 3 Body Problem}}, doi = {10.1007/s00205-019-01368-7}, volume = {233}, year = {2019}, } @inproceedings{6035, abstract = {We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems. JuliaReach consists of two main packages: Reachability, containing implementations of reachability algorithms for continuous and hybrid systems, and LazySets, a standalone library that implements state-of-the-art algorithms for calculus with convex sets. The library offers both concrete and lazy set representations, where the latter stands for the ability to delay set computations until they are needed. The choice of the programming language Julia and the accompanying documentation of our toolbox allow researchers to easily translate set-based algorithms from mathematics to software in a platform-independent way, while achieving runtime performance that is comparable to statically compiled languages. Combining lazy operations in high dimensions and explicit computations in low dimensions, JuliaReach can be applied to solve complex, large-scale problems.}, author = {Bogomolov, Sergiy and Forets, Marcelo and Frehse, Goran and Potomkin, Kostiantyn and Schilling, Christian}, booktitle = {Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control}, isbn = {9781450362825}, keywords = {reachability analysis, hybrid systems, lazy computation}, location = {Montreal, QC, Canada}, pages = {39--44}, publisher = {ACM}, title = {{JuliaReach: A toolbox for set-based reachability}}, doi = {10.1145/3302504.3311804}, volume = {22}, year = {2019}, } @inproceedings{6175, abstract = {We consider the problem of expected cost analysis over nondeterministic probabilistic programs, which aims at automated methods for analyzing the resource-usage of such programs. Previous approaches for this problem could only handle nonnegative bounded costs. However, in many scenarios, such as queuing networks or analysis of cryptocurrency protocols, both positive and negative costs are necessary and the costs are unbounded as well. In this work, we present a sound and efficient approach to obtain polynomial bounds on the expected accumulated cost of nondeterministic probabilistic programs. Our approach can handle (a) general positive and negative costs with bounded updates in variables; and (b) nonnegative costs with general updates to variables. We show that several natural examples which could not be handled by previous approaches are captured in our framework. Moreover, our approach leads to an efficient polynomial-time algorithm, while no previous approach for cost analysis of probabilistic programs could guarantee polynomial runtime. Finally, we show the effectiveness of our approach using experimental results on a variety of programs for which we efficiently synthesize tight resource-usage bounds.}, author = {Wang, Peixin and Fu, Hongfei and Goharshady, Amir Kafshdar and Chatterjee, Krishnendu and Qin, Xudong and Shi, Wenjun}, booktitle = {PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation}, keywords = {Program Cost Analysis, Program Termination, Probabilistic Programs, Martingales}, location = {Phoenix, AZ, United States}, pages = {204--220}, publisher = {Association for Computing Machinery}, title = {{Cost analysis of nondeterministic probabilistic programs}}, doi = {10.1145/3314221.3314581}, year = {2019}, } @phdthesis{6473, abstract = {Single cells are constantly interacting with their environment and each other, more importantly, the accurate perception of environmental cues is crucial for growth, survival, and reproduction. This communication between cells and their environment can be formalized in mathematical terms and be quantified as the information flow between them, as prescribed by information theory. The recent availability of real–time dynamical patterns of signaling molecules in single cells has allowed us to identify encoding about the identity of the environment in the time–series. However, efficient estimation of the information transmitted by these signals has been a data–analysis challenge due to the high dimensionality of the trajectories and the limited number of samples. In the first part of this thesis, we develop and evaluate decoding–based estimation methods to lower bound the mutual information and derive model–based precise information estimates for biological reaction networks governed by the chemical master equation. This is followed by applying the decoding-based methods to study the intracellular representation of extracellular changes in budding yeast, by observing the transient dynamics of nuclear translocation of 10 transcription factors in response to 3 stress conditions. Additionally, we apply these estimators to previously published data on ERK and Ca2+ signaling and yeast stress response. We argue that this single cell decoding-based measure of information provides an unbiased, quantitative and interpretable measure for the fidelity of biological signaling processes. Finally, in the last section, we deal with gene regulation which is primarily controlled by transcription factors (TFs) that bind to the DNA to activate gene expression. The possibility that non-cognate TFs activate transcription diminishes the accuracy of regulation with potentially disastrous effects for the cell. This ’crosstalk’ acts as a previously unexplored source of noise in biochemical networks and puts a strong constraint on their performance. To mitigate erroneous initiation we propose an out of equilibrium scheme that implements kinetic proofreading. We show that such architectures are favored over their equilibrium counterparts for complex organisms despite introducing noise in gene expression. }, author = {Cepeda Humerez, Sarah A}, issn = {2663-337X}, keywords = {Information estimation, Time-series, data analysis}, pages = {135}, publisher = {Institute of Science and Technology Austria}, title = {{Estimating information flow in single cells}}, doi = {10.15479/AT:ISTA:6473}, year = {2019}, } @article{11618, abstract = {Asteroseismology provides global stellar parameters such as masses, radii, or surface gravities using mean global seismic parameters and effective temperature for thousands of low-mass stars (0.8 M⊙ < M < 3 M⊙). This methodology has been successfully applied to stars in which acoustic modes excited by turbulent convection are measured. Other methods such as the Flicker technique can also be used to determine stellar surface gravities, but only works for log g above 2.5 dex. In this work, we present a new metric called FliPer (Flicker in spectral power density, in opposition to the standard Flicker measurement which is computed in the time domain); it is able to extend the range for which reliable surface gravities can be obtained (0.1 < log g < 4.6 dex) without performing any seismic analysis for stars brighter than Kp < 14. FliPer takes into account the average variability of a star measured in the power density spectrum in a given range of frequencies. However, FliPer values calculated on several ranges of frequency are required to better characterize a star. Using a large set of asteroseismic targets it is possible to calibrate the behavior of surface gravity with FliPer through machine learning. This calibration made with a random forest regressor covers a wide range of surface gravities from main-sequence stars to subgiants and red giants, with very small uncertainties from 0.04 to 0.1 dex. FliPer values can be inserted in automatic global seismic pipelines to either give an estimation of the stellar surface gravity or to assess the quality of the seismic results by detecting any outliers in the obtained νmax values. FliPer also constrains the surface gravities of main-sequence dwarfs using only long-cadence data for which the Nyquist frequency is too low to measure the acoustic-mode properties.}, author = {Bugnet, Lisa Annabelle and García, R. A. and Davies, G. R. and Mathur, S. and Corsaro, E. and Hall, O. J. and Rendle, B. M.}, issn = {1432-0746}, journal = {Astronomy & Astrophysics}, keywords = {Space and Planetary Science, Astronomy and Astrophysics, asteroseismology / methods, data analysis / stars, oscillations}, publisher = {EDP Sciences}, title = {{FliPer: A global measure of power density to estimate surface gravities of main-sequence solar-like stars and red giants}}, doi = {10.1051/0004-6361/201833106}, volume = {620}, year = {2018}, } @unpublished{11631, abstract = {The recently launched NASA Transiting Exoplanet Survey Satellite (TESS) mission is going to collect lightcurves for a few hundred million of stars and we expect to increase the number of pulsating stars to analyze compared to the few thousand stars observed by the CoRoT, Kepler and K2 missions. However, most of the TESS targets have not yet been properly classified and characterized. In order to improve the analysis of the TESS data, it is crucial to determine the type of stellar pulsations in a timely manner. We propose an automatic method to classify stars attending to their pulsation properties, in particular, to identify solar-like pulsators among all TESS targets. It relies on the use of the global amount of power contained in the power spectrum (already known as the FliPer method) as a key parameter, along with the effective temperature, to feed into a machine learning classifier. Our study, based on TESS simulated datasets, shows that we are able to classify pulsators with a 98% accuracy.}, author = {Bugnet, Lisa Annabelle and García, R. A. and Davies, G. R. and Mathur, S. and Hall, O. J. and Rendle, B. M.}, booktitle = {arXiv}, keywords = {asteroseismology - methods, data analysis - stars, oscillations}, title = {{FliPer: Classifying TESS pulsating stars}}, doi = {10.48550/arXiv.1811.12140}, year = {2018}, } @article{8422, abstract = {The Birkhoff conjecture says that the boundary of a strictly convex integrable billiard table is necessarily an ellipse. In this article, we consider a stronger notion of integrability, namely integrability close to the boundary, and prove a local version of this conjecture: a small perturbation of an ellipse of small eccentricity which preserves integrability near the boundary, is itself an ellipse. This extends the result in Avila et al. (Ann Math 184:527–558, ADK16), where integrability was assumed on a larger set. In particular, it shows that (local) integrability near the boundary implies global integrability. One of the crucial ideas in the proof consists in analyzing Taylor expansion of the corresponding action-angle coordinates with respect to the eccentricity parameter, deriving and studying higher order conditions for the preservation of integrable rational caustics.}, author = {Huang, Guan and Kaloshin, Vadim and Sorrentino, Alfonso}, issn = {1016-443X}, journal = {Geometric and Functional Analysis}, keywords = {Geometry and Topology, Analysis}, number = {2}, pages = {334--392}, publisher = {Springer Nature}, title = {{Nearly circular domains which are integrable close to the boundary are ellipses}}, doi = {10.1007/s00039-018-0440-4}, volume = {28}, year = {2018}, } @misc{5574, abstract = {Comparison of Scopus' and publisher's data on Austrian publication output at IOP. }, author = {Villányi, Márton}, keywords = {Publication analysis, Bibliography, Open Access}, publisher = {Institute of Science and Technology Austria}, title = {{Data Check IOP Scopus vs. Publisher}}, doi = {10.15479/AT:ISTA:86}, year = {2018}, } @misc{5575, abstract = {Comparison of Scopus' and FWF's data on Austrian publication output at RSC. }, author = {Villányi, Márton}, keywords = {Publication analysis, Bibliography, Open Access}, publisher = {Institute of Science and Technology Austria}, title = {{Data Check RSC Scopus vs. FWF}}, doi = {10.15479/AT:ISTA:87}, year = {2018}, } @misc{5576, abstract = {Comparison of Scopus' and FWF's data on Austrian publication output at T&F.}, author = {Villányi, Márton}, keywords = {Publication analysis, Bibliography, Open Access}, publisher = {Institute of Science and Technology Austria}, title = {{Data Check T&F Scopus vs. FWF}}, doi = {10.15479/AT:ISTA:88}, year = {2018}, } @misc{5577, abstract = {Data on Austrian open access publication output at Emerald from 2013-2017 including data analysis.}, author = {Villányi, Márton}, keywords = {Publication analysis, Bibliography, Open Access}, publisher = {Institute of Science and Technology Austria}, title = {{Emerald Austrian Publications 2013-2017}}, doi = {10.15479/AT:ISTA:89}, year = {2018}, } @misc{5578, abstract = {Data on Austrian open access publication output at IOP from 2012-2015 including data analysis.}, author = {Villányi, Márton}, keywords = {Publication analysis, Bibliography, Open Access}, publisher = {Institute of Science and Technology Austria}, title = {{IOP Austrian Publications 2012-2015}}, doi = {10.15479/AT:ISTA:90}, year = {2018}, } @misc{5579, abstract = {Data on Austrian open access publication output at RSC from 2013-2017 including data analysis.}, author = {Villányi, Márton}, keywords = {Publication analysis, Bibliography, Open Access}, publisher = {Institute of Science and Technology Austria}, title = {{RSC Austrian Publications 2013-2017}}, doi = {10.15479/AT:ISTA:91}, year = {2018}, } @misc{5580, abstract = {Data on Austrian open access publication output at SAGE from 2013-2017 including data analysis.}, author = {Villányi, Márton}, keywords = {Publication analysis, Bibliography, Open Access}, publisher = {Institute of Science and Technology Austria}, title = {{SAGE Austrian Publications 2013-2017}}, doi = {10.15479/AT:ISTA:92}, year = {2018}, } @misc{5581, abstract = {Data on Austrian open access publication output at Springer from 2013-2016 including data analysis.}, author = {Villányi, Márton}, keywords = {Publication analysis, Bibliography, Open Access}, publisher = {Institute of Science and Technology Austria}, title = {{Springer Austrian Publications 2013-2016}}, doi = {10.15479/AT:ISTA:93}, year = {2018}, }