title: NetKet: A Machine Learning Toolkit for Many-Body Quantum Systems

abstract: We introduce NetKet, a comprehensive open source framework for the study of many-body quantum systems using machine learning techniques. The framework is built around a general and flexible implementation of neural-network quantum states, which are used as a variational ansatz for quantum wave functions. NetKet provides algorithms for several key tasks in quantum many-body physics and quantum technology, namely quantum state tomography, supervised learning from wave-function data, and ground state searches for a wide range of customizable lattice models. Our aim is to provide a common platform for open research and to stimulate the collaborative development of computational methods at the interface of machine learning and many-body physics.

categories: quant-ph cond-mat.dis-nn cond-mat.str-el physics.comp-ph physics.data-an


title: More Analytic Bootstrap: Nonperturbative Effects and Fermions

abstract: We develop the analytic bootstrap in several directions. First, we discuss the appearance of nonperturbative effects in the Lorentzian inversion formula, which are exponentially suppressed at large spin but important at finite spin. We show that these effects are important for precision applications of the analytic bootstrap in the context of the 3d Ising and O(2) models. In the former they allow us to reproduce the spin-2 stress tensor with error at the $10^{-5}$ level while in the latter requiring that we reproduce the stress tensor allows us to predict the coupling to the leading charge-2 operator. We also extend perturbative calculations in the lightcone bootstrap to fermion 4-point functions in 3d, predicting the leading and subleading asymptotic behavior for the double-twist operators built out of two fermions.


title: On graded Brown--McCoy radicals of graded rings

abstract: We investigate the graded Brown--McCoy and the classical Brown--McCoy radical of a graded ring, which is the direct sum of a family of its additive subgroups indexed by a nonempty set, under the assumption that the product of homogeneous elements is again homogeneous. There are two kinds of the graded Brown--McCoy radical, the graded Brown--McCoy and the large graded Brown--McCoy radical of a graded ring. Several characterizations of the graded Brown--McCoy radical are given, and it is proved that the large graded Brown--McCoy radical of a graded ring is the largest homogeneous ideal contained in the classical Brown--McCoy radical of that ring.


title: SRB measures and Young towers for surface diffeomorphisms

abstract: We give geometric conditions that are necessary and sufficient for the existence of Sinai-Ruelle-Bowen (SRB) measures for $C^{1+\alpha}$ surface diffeomorphisms, thus proving a version of the Viana conjecture. As part of our argument we give an original method for constructing first return Young towers, proving that every hyperbolic measure, and in particular every SRB measure, can be lifted to such a tower. This method relies on a new general result on hyperbolic branches and shadowing for pseudo-orbits in nonuniformly hyperbolic sets which is of independent interest.


title: Autonomous Highway Driving using Deep Reinforcement Learning

abstract: The operational space of an autonomous vehicle (AV) can be diverse and vary significantly. This may lead to a scenario that was not postulated in the design phase. Due to this, formulating a rule based decision maker for selecting maneuvers may not be ideal. Similarly, it may not be effective to design an a-priori cost function and then solve the optimal control problem in real-time. In order to address these issues and to avoid peculiar behaviors when encountering unforeseen scenario, we propose a reinforcement learning (RL) based method, where the ego car, i.e., an autonomous vehicle, learns to make decisions by directly interacting with simulated traffic. The decision maker for AV is implemented as a deep neural network providing an action choice for a given system state. In a critical application such as driving, an RL agent without explicit notion of safety may not converge or it may need extremely large number of samples before finding a reliable policy. To best address the issue, this paper incorporates reinforcement learning with an additional short horizon safety check (SC). In a critical scenario, the safety check will also provide an alternate safe action to the agent provided if it exists. This leads to two novel contributions. First, it generalizes the states that could lead to undesirable "near-misses" or "collisions ". Second, inclusion of safety check can provide a safe and stable training environment. This significantly enhances learning efficiency without inhibiting meaningful exploration to ensure safe and optimal learned behavior. We demonstrate the performance of the developed algorithm in highway driving scenario where the trained AV encounters varying traffic density in a highway setting.


title: Proton decay at 1-loop

abstract: Proton decay is usually discussed in the context of grand unified theories. However, as is well-known, in the standard model effective theory proton decay appears in the form of higher dimensional non-renormalizable operators. Here, we study systematically the 1-loop decomposition of the $d=6$ $B+L$ violating operators. We exhaustively list the possible 1-loop ultra-violet completions of these operators and discuss that, in general, two distinct classes of models appear. Models in the first class need an additional symmetry in order to avoid tree-level proton decay. These models necessarily contain a neutral particle, which could act as a dark matter candidate. For models in the second class the loop contribution dominates automatically over the tree-level proton decay, without the need for additional symmetries. We also discuss possible phenomenology of two example models, one from each class, and their possible connections to neutrino masses, LHC searches and dark matter.


title: Major mergers are not the dominant trigger for high-accretion AGNs at z = 2

abstract: Research over the past decade has shown diminishing empirical evidence for major galaxy mergers being a dominating or even important mechanism for the growth of supermassive black holes in galaxies and the triggering of optically or X-ray selected active galactic nuclei (AGN). We here for the first time test whether such a connection exists at least in the most plausible part of parameter space for this mechanism: the highest specific accretion rate broad-line AGNs at the peak epoch of black hole activity around z = 2. To that end we examine 21 galaxies hosting a high accreting black hole (L/Ledd > 0.7) observed with HST/WFC3 and 92 stellar mass- and redshift- matched inactive galaxies taken from the CANDELS survey. We removed the AGN point sources from their host galaxies and avoided bias in visual classification by adding and then subtracting mock point sources to and from the comparison galaxies, producing matched residual structures for both sets. The resulting samples were joined, randomized, and subsequently visually ranked with respect to perceived strength of structural distortions by 10 experts. The ensuing individual rankings were combined into a consensus sequence and from this we derived merger fractions for both samples. With the merger fractions f$_{m,agn}$ = 0.24 $\pm$ 0.09 for the AGN host galaxy sample and f$_{m,ina}$ = 0.19 $\pm$ 0.04 for the inactive galaxies, we find no significant difference between the AGN host galaxies and inactive galaxies. Also, both samples display comparable fractions of disk-dominated galaxies. These findings are consistent with previous studies for different AGN populations, and we conclude that even black hole growth at the highest specific accretion rates and at the peak of cosmic AGN activity is not predominantly caused by major mergers. (abriged)


title: Modeling the Formation of the Family of the Dwarf Planet Haumea

abstract: The dwarf planet (136108) Haumea has an intriguing combination of unique physical properties: near-breakup spin, two regular satellites, and an unexpectedly compact family. While these properties indicate formation by collision, there is no self-consistent and reasonably probable formation hypothesis that can connect the unusually rapid spin and the low relative velocities of Haumea family members ("Haumeans"). We explore and test the proposed formation hypotheses (catastrophic collision, graze-and-merge, and satellite collision). We flexibly parameterize the properties of the collision (e.g., the collision location) and use simple models for the three-dimensional velocity ejection field expected from each model to generate simulated families. These are compared to observed Kuiper Belt Objects using Bayesian parameter inference, including a mixture model that allows for interlopers from the background population. After testing our methodology, we find the best match to the observed Haumeans is an isotropic ejection field with a typical velocity of 150 m s$^{-1}$. The graze-and-merge and satellite collision hypotheses are disfavored. Including these constraints, we discuss the formation hypotheses in detail, including variations, some of which are tested. Some new hypotheses are proposed (a cratering collision and a collision where Haumea's upper layers are "missing") and scrutinized. We do not identify a satisfactory formation hypothesis, but we do propose several avenues of additional investigation. In addition, we identify many new candidate Haumeans and dynamically confirm 7 of them as consistent with the observed family. We confirm that Haumeans have a shallow size distribution and discuss implications for the identification of new Haumeans.


title: A detailed radio study of the energetic, nearby and puzzling GRB 171010A

abstract: We present the results of an intensive multi-epoch radio frequency campaign on the energetic and nearby GRB 171010A with the Karl G. Janksy Very Large Array and Arcminute Microkelvin Imager Large Array. We began observing GRB 171010A a day after its initial detection, and were able to monitor the temporal and spectral evolution of the source over the following weeks. The spectra and their evolution are compared to the canonical theories for broadband GRB afterglows, with which we find a general agreement. There are, however, a number of features that are challenging to explain with a simple forward shock model, and we discuss possible reasons for these discrepancies. This includes the consideration of the existence of a reverse shock component, potential microphysical parameter evolution and the effect of scintillation.


title: Exact solution of the Schr\"{o}dinger equation for an hydrogen atom at the interface between the vacuum and a topologically insulating surface

abstract: When an hydrogen atom is brought near to the interface between $\theta$-media, the quantum-mechanical motion of the electron will be affected by the electromagnetic interaction between the atomic charges and the $\theta$-interface, which is described by an axionic extension of Maxwell electrodynamics in the presence of a boundary. In this paper we investigate the atom-surface interaction effects upon the energy levels and wave functions of an hydrogen atom placed at the interface between a $\theta$-medium and the vacuum. In the approximation considered, the Schr\"{o}dinger equation can be exactly solved by separation of variables in terms of hypergeometic functions for the angular part and hydrogenic functions for the radial part. In order to make such effects apparent we deal with unrealistic high values of the $\theta$-parameter. We also compute the energy shifts using perturbation theory for a particular small value of $\theta$ and we demonstrate that they are in a very good agreement with the ones obtained from the exact solution.


abstract: We study Hausdorff-Young type inequalities for vector-valued Dirichlet series which allow to compare the norm of a Dirichlet series in the Hardy space $\mathcal{H}_{p} (X)$ with the $q$-norm of its coefficients. In order to obtain inequalities completely analogous to the scalar case, a Banach space must satisfy the restrictive notion of Fourier type/cotype. We show that variants of these inequalities hold for the much broader range of spaces enjoying type/cotype. We also consider Hausdorff-Young type inequalities for functions defined on the infinite torus $\mathbb{T}^{\infty}$ or the boolean cube $\{-1,1\}^{\infty}$.


title: Effective non-adiabatic Hamiltonians for the quantum nuclear motion over coupled electronic states

abstract: The quantum mechanical motion of the atomic nuclei is considered over a single- or a multi-dimensional subspace of electronic states which is separated by a gap from the rest of the electronic spectrum over the relevant range of nuclear configurations. The electron-nucleus Hamiltonian is block-diagonalized up to $\mathcal{O}(\varepsilon^{n+1})$ through a unitary transformation of the electronic subspace and the corresponding $n$th-order effective Hamiltonian is derived for the quantum nuclear motion. Explicit but general formulae are given for the second- and the third-order corrections. As a special case, the second-order Hamiltonian corresponding to an isolated electronic state is recovered which contains the coordinate-dependent mass-correction terms in the nuclear kinetic energy operator. For a multi-dimensional, explicitly coupled electronic band, the second-order Hamiltonian contains the usual BO terms and non-adiabatic corrections but generalized mass-correction terms appear as well. These, earlier neglected terms, perturbatively account for the outlying (discrete and continuous) electronic states not included in the explicitly coupled electronic subspace.


title: Quantum Generative Adversarial Networks for Learning and Loading Random Distributions

abstract: Quantum algorithms have the potential to outperform their classical counterparts in a variety of tasks. The realization of the advantage often requires the ability to load classical data efficiently into quantum states. However, the best known methods require $\mathcal{O}\left(2^n\right)$ gates to load an exact representation of a generic data structure into an $n$-qubit state. This scaling can easily predominate the complexity of a quantum algorithm and, thereby, impair potential quantum advantage. Our work presents a hybrid quantum-classical algorithm for efficient, approximate quantum state loading. More precisely, we use quantum Generative Adversarial Networks (qGANs) to facilitate efficient learning and loading of generic probability distributions -- implicitly given by data samples -- into quantum states. Through the interplay of a quantum channel, such as a variational quantum circuit, and a classical neural network, the qGAN can learn a representation of the probability distribution underlying the data samples and load it into a quantum state. The loading requires $\mathcal{O}\left(poly\left(n\right)\right)$ gates and can, thus, enable the use of potentially advantageous quantum algorithms, such as Quantum Amplitude Estimation. We implement the qGAN distribution learning and loading method with Qiskit and test it using a quantum simulation as well as actual quantum processors provided by the IBM Q Experience. Furthermore, we employ quantum simulation to demonstrate the use of the trained quantum channel in a quantum finance application.


title: Graph Computing based Fast Screening in Contingency Analysis

abstract: During last decades, contingency analysis has been facing challenges from significant load demand increase and high penetrations of intermittent renewable energy, fluctuant responsive loads and non-linear power electronic interfaces. It requires an advanced approach for high-performance contingency analysis as a safeguard of the power system operation. In this paper, a graph-based method is employed for N-1 contingency analysis (CA) fast screening. At first, bi-directional breadth-first search (BFS) is proposed and adopted on graph model to detect the potential shedding component in contingency analysis. It implements hierarchical parallelism of the graph traverse and speedup its process. Then, the idea of evolving graph is introduced in this paper to improve computation performance. For each contingency scenario, N-1 contingency graph quickly derives from system graph in basic status, and parallelly analyzes each contingency scenario using graph computing. The efficiency and effectiveness of the proposed approach have been tested and verified by IEEE 118-bus system and a practical case SC 2645-bus system.


title: Interpreting Black Box Models via Hypothesis Testing

abstract: In science and medicine, model interpretations may be reported as discoveries of natural phenomena or used to guide patient treatments. In such high-stakes tasks, false discoveries may lead investigators astray. These applications would therefore benefit from control over the finite-sample error rate of interpretations. We reframe black box model interpretability as a multiple hypothesis testing problem. The task is to discover "important" features by testing whether the model prediction is significantly different from what would be expected if the features were replaced with uninformative counterfactuals. We propose two testing methods: one that provably controls the false discovery rate but which is not yet feasible for large-scale applications, and an approximate testing method which can be applied to real-world data sets. In simulation, both tests have high power relative to existing interpretability methods. When applied to state-of-the-art vision and language models, the framework selects features that intuitively explain model predictions. The resulting explanations have the additional advantage that they are themselves easy to interpret.


title: Broadband vibrational sum-frequency generation spectrometer at 100 kHz in the 950-1750 cm$^{-1}$ spectral range utilizing a LiGaS$_{2}$ optical parametric amplifier

abstract: We present a 100 kHz broadband vibrational sum-frequency generation (VSFG) spectrometer operating in the 5.5-10.5 $\mu$m (950-1750 cm$^{-1}$) wavelength range. The mid-infrared beam of the system is obtained from a collinear, type-I LiGaS$_{2}$ crystal based optical parametric amplifier seeded by a supercontinuum and pumped directly by 180 fs, ~32 $\mu$J, 1.03 $\mu$m pulses from an Yb:KGd(WO$_{4}$)$_{2}$ laser system. Up to 0.5 $\mu$J mid-infrared pulses with durations below 100 fs were obtained after dispersion compensation utilizing bulk materials. We demonstrate the utility of the spectrometer by recording high-resolution, low-noise vibrational spectra of Langmuir-Blodgett supported lipid monolayers on CaF$_{2}$. The presented VSFG spectrometer scheme offers superior signal-to-noise ratios and constitutes a high-efficiency, low-cost, easy-to-use alternative to traditional schemes relying on optical parametric amplification followed by difference frequency generation.


title: Pronounced drop of $^{17}$O NMR Knight shift in superconducting state of Sr$_2$RuO$_4$

abstract: The superconducting state in the quasi-two-dimensional and strongly correlated Sr$_2$RuO$_4$ is uniquely held up as a solid state analog to superfluid $^3$He-$A$, with an odd-parity order parameter that also breaks time reversal symmetry, and for which the vector order parameter has the same direction in spin space for all electron momenta. The recent discovery that uniaxial pressure causes a steep rise and maximum in transition temperature ($T_c$) in strained samples motivated the study of $^{17}$O nuclear magnetic resonance (NMR) that we describe in this article. A reduction of Knight shifts $K$ was observed for all strain values and temperatures $T<T_c$, consistent with a drop in spin polarization in the superconducting state. In unstrained samples, our results are in contradiction with a body of previous NMR work, and with the most prominent previous proposals for the order parameter of Sr$_2$RuO$_4$. Possible alternative scenarios are discussed.


title: SE2Net: Siamese Edge-Enhancement Network for Salient Object Detection

abstract: Deep convolutional neural network significantly boosted the capability of salient object detection in handling large variations of scenes and object appearances. However, convolution operations seek to generate strong responses on individual pixels, while lack the ability to maintain the spatial structure of objects. Moreover, the down-sampling operations, such as pooling and striding, lose spatial details of the salient objects. In this paper, we propose a simple yet effective Siamese Edge-Enhancement Network (SE2Net) to preserve the edge structure for salient object detection. Specifically, a novel multi-stage siamese network is built to aggregate the low-level and high-level features, and parallelly estimate the salient maps of edges and regions. As a result, the predicted regions become more accurate by enhancing the responses at edges, and the predicted edges become more semantic by suppressing the false positives in background. After the refined salient maps of edges and regions are produced by the SE2Net, an edge-guided inference algorithm is designed to further improve the resulting salient masks along the predicted edges. Extensive experiments on several benchmark datasets have been conducted, which show that our method is superior than the state-of-the-art approaches.


title: Cryptographic key distribution over a public network via variance-based watermarking in compressive measurements

abstract: The optical communication has an increasing need for security in public transmission scenarios. Here we present a protocol for cryptographic key distribution over a public network via photon-counting compressive imaging system with watermarking, which utilizes watermarking technique to distribute secure keys, and uses reconstructed images for simultaneous identity authentication and tampering identification. The watermark is embedded in the rearranged compressed measurements of the object, and then the signal is transmitted through a public network. At the receiving terminal, the legitimate users can easily extract the watermark as the cryptographic key by using initial keys and the variance characteristic of random measurements. Artificial tampering and attacks can be detected by the accurately retrieved images. The realization of this protocol is a step forward toward the practical applications, and will be beneficial for the broader fields of optical security in many ways.


title: The Extended Disk Galaxy Exploration Science Survey: Description and Surface Brightness Profile Properties

abstract: The survey description and near-infrared properties for 92 galaxies are presented for the Extended Disc Galaxy Exploration Science (EDGES) Survey, along with an investigation into the properties of the stellar halos of these galaxies. EDGES is a Spitzer Space Telescope Warm Mission program designed to reach the surface brightness limit ($\sim$0.5 kJy sr$^{-1}$ or 29 AB mag arcsec$^{-2}$) of the Infrared Array Camera (IRAC) 3.6 and 4.5 $\mu$m bands for a wide range of galaxy types found within the local volume. The surface brightness profiles exhibit a large range in disc scalelength, with breaks more frequently seen than in previous studies, owing in large part to the extremely deep near-infrared imaging. A number of these surface brightness profile breaks may be due to stellar halos, up to 7 galaxies out of the full sample of 92 galaxies, and we explore these implications in relation to current cosmological models. We also report the discovery of a new tidal stream near NGC 3953.


title: Solving large Minimum Vertex Cover problems on a quantum annealer

abstract: We consider the minimum vertex cover problem having applications in e.g. biochemistry and network security. Quantum annealers can find the optimum solution of such NP-hard problems, given they can be embedded on the hardware. This is often infeasible due to limitations of the hardware connectivity structure. This paper presents a decomposition algorithm for the minimum vertex cover problem: The algorithm recursively divides an arbitrary problem until the generated subproblems can be embedded and solved on the annealer. To speed up the decomposition, we propose several pruning and reduction techniques. The performance of our algorithm is assessed in a simulation study.


title: Prospects for Pulsar Studies at MeV Energies

abstract: Enabled by the Fermi Large Area Telescope, we now know young and recycled pulsars fill the gamma-ray sky, and we are beginning to understand their emission mechanism and their distribution throughout the Galaxy. However, key questions remain: Is there a large population of pulsars near the Galactic center? Why do the most energetic pulsars shine so brightly in MeV gamma rays but not always at GeV energies? What is the source and nature of the pair plasma in pulsar magnetospheres, and what role does the polar cap accelerator play? Addressing these questions calls for a sensitive, wide-field MeV telescope, which can detect the population of MeV-peaked pulsars hinted at by Fermi and hard X-ray telescopes and characterize their spectral shape and polarization.


title: Adaptive Horizon Model Predictive Control and Al'brekht's Method

abstract: A standard way of finding a feedback law that stabilizes a control system to an operating point is to recast the problem as an infinite horizon optimal control problem. If the optimal cost and the optmal feedback can be found on a large domain around the operating point then a Lyapunov argument can be used to verify the asymptotic stability of the closed loop dynamics. The problem with this approach is that is usually very difficult to find the optimal cost and the optmal feedback on a large domain for nonlinear problems with or without constraints. Hence the increasing interest in Model Predictive Control (MPC). In standard MPC a finite horizon optimal control problem is solved in real time but just at the current state, the first control action is implimented, the system evolves one time step and the process is repeated. A terminal cost and terminal feedback found by Al'brekht's methoddefined in a neighborhood of the operating point is used to shorten the horizon and thereby make the nonlinear programs easier to solve because they have less decision variables. Adaptive Horizon Model Predictive Control (AHMPC) is a scheme for varying the horizon length of Model Predictive Control (MPC) as needed. Its goal is to achieve stabilization with horizons as small as possible so that MPC methods can be used on faster and/or more complicated dynamic processes.


title: Comparing key compositional indicators in Jupiter with those in extra-solar giant planets

abstract: Spectroscopic transiting observations of the atmospheres of hot Jupiters around other stars, first with Hubble Space Telescope and then Spitzer, opened the door to compositional studies of exoplanets. The James Webb Space Telescope will provide such a profound improvement in signal-to-noise ratio that it will enable detailed analysis of molecular abundances, including but not limited to determining abundances of all the major carbon- and oxygen-bearing species in hot Jupiter atmospheres. This will allow determination of the carbon-to-oxygen ratio, an essential number for planet formation models and a motivating goal of the Juno mission currently around Jupiter


title: Joining Sound Event Detection and Localization Through Spatial Segregation

abstract: Identification and localization of sounds are both integral parts of computational auditory scene analysis. Although each can be solved separately, the goal of forming coherent auditory objects and achieving a comprehensive spatial scene understanding suggests pursuing a joint solution of the two problems. This work presents an approach that robustly binds localization with the detection of sound events in a binaural robotic system. Both tasks are joined through the use of spatial stream segregation which produces probabilistic time-frequency masks for individual sources attributable to separate locations, enabling segregated sound event detection operating on these streams. We use simulations of a comprehensive suite of test scenes with multiple co-occurring sound sources, and propose performance measures for systematic investigation of the impact of scene complexity on this segregated detection of sound types. Analyzing the effect of spatial scene arrangement, we show how a robot could facilitate high performance through optimal head rotation. Furthermore, we investigate the performance of segregated detection given possible localization error as well as error in the estimation of number of active sources. Our analysis demonstrates that the proposed approach is an effective method to obtain joint sound event location and type information under a wide range of conditions.


title: Modulated rotating waves in the magnetized spherical Couette system

abstract: We present a study devoted to a detailed description of modulated rotating waves (MRW) in the magnetized spherical Couette system. The set-up consists of a liquid metal confined between two differentially rotating spheres and subjected to an axially applied magnetic field. When the magnetic field strength is varied, several branches of MRW are obtained by means of three dimensional direct numerical simulations (DNS). The MRW originate from parent branches of rotating waves (RW) and are classified according to Rand's (Arch. Ration. Mech. Anal 79:1-37, 182) and Coughling & Marcus (J. Fluid Mech. 234:1-18,1992) theoretical description. We have found relatively large intervals of multistability of MRW at low magnetic field, corresponding to the radial jet instability known from previous studies. However, at larger magnetic field, corresponding to the return flow regime, the stability intervals of MRW are very narrow and thus they are unlikely to be found without detailed knowledge of their bifurcation point. A careful analysis of the spatio-temporal symmetries of the most energetic modes involved in the different classes of MRW will allow in the future a comparison with the HEDGEHOG experiment, a magnetized spherical Couette device hosted at the Helmholtz-Zentrum Dresden-Rossendorf.


title: Statistical learnability of nuclear masses

abstract: After more than 80 years from the seminal work of Weizs\"acker and the liquid drop model of the atomic nucleus, deviations from experiments of mass models ($\sim$ MeV) are orders of magnitude larger than experimental errors ($\lesssim$ keV). Predicting the mass of atomic nuclei with precision is extremely challenging. This is due to the non--trivial many--body interplay of protons and neutrons in nuclei, and the complex nature of the nuclear strong force. Statistical theory of learning will be used to provide bounds to the prediction errors of model trained with a finite data set. These bounds are validated with neural network calculations, and compared with state of the art mass models. Therefore, it will be argued that the nuclear structure models investigating ground state properties explore a system on the limit of the knowledgeable, as defined by the statistical theory of learning.


title: From DB-nets to Coloured Petri Nets with Priorities (Extended Version)

abstract: The recently introduced formalism of DB-nets has brought in a new conceptual way of modelling complex dynamic systems that equally account for the process and data dimensions, considering local data as well as persistent, transactional data. DB-nets combine a coloured variant of Petri nets with name creation and management (which we call nu-CPN), with a relational database. The integration of these two components is realized by equipping the net with special ``view'' places that query the database and expose the resulting answers to the net, with actions that allow transitions to update the content of the database, and with special arcs capturing compensation in case of transaction failure. In this work, we study whether this sophisticated model can be encoded back into nu-CPNs. In particular, we show that the meaningful fragment of DB-nets where database queries are expressed using unions of conjunctive queries with inequalities can be faithfully encoded into $\nu$-CPNs with transition priorities. This allows us to directly exploit state-of-the-art technologies such as CPN Tools to simulate and analyse this relevant class of DB-nets.


title: Nonzero-sum stochastic differential games between an impulse controller and a stopper

abstract: We study a two-player nonzero-sum stochastic differential game where one player controls the state variable via additive impulses while the other player can stop the game at any time. The main goal of this work is characterize Nash equilibria through a verification theorem, which identifies a new system of quasi-variational inequalities whose solution gives equilibrium payoffs with the correspondent strategies. Moreover, we apply the verification theorem to a game with a one-dimensional state variable, evolving as a scaled Brownian motion, and with linear payoff and costs for both players. Two types of Nash equilibrium are fully characterized, i.e. semi-explicit expressions for the equilibrium strategies and associated payoffs are provided. Both equilibria are of threshold type: in one equilibrium players' intervention are not simultaneous, while in the other one the first player induces her competitor to stop the game. Finally, we provide some numerical results describing the qualitative properties of both types of equilibrium.


title: Black Holes and Conformal Regge Bootstrap

abstract: Highly energetic particles traveling in the background of an asymptotically AdS black hole experience a Shapiro time delay and an angle deflection. These quantities are related to the Regge limit of a heavy-heavy-light-light four-point function of scalar operators in the dual CFT. The Schwarzschild radius of the black hole in AdS units is proportional to the ratio of the conformal dimension of the heavy operator and the central charge. This ratio serves as a useful expansion parameter; its power counts the number of stress tensors in the multi-stress tensor operators which contribute to the four-point function. In the cross-channel the four-point function is determined by the OPE coefficients and anomalous dimensions of the heavy-light double-trace operators. We explain how this data can be obtained and explicitly compute the first and second order terms in the expansion of the anomalous dimensions. We observe perfect agreement with known results in the lightcone limit, which were obtained by computing perturbative corrections to the energy eigenstates in AdS spacetimes.


title: Representations of the Lie superalgebra $B(\infty,\infty)$ and parastatistics Fock spaces

abstract: The algebraic structure generated by the creation and annihilation operators of a system of m parafermions and n parabosons, satisfying the mutual parafermion relations, is known to be the Lie superalgebra osp(2m+1|2n). The Fock spaces of such systems are then certain lowest weight representations of osp(2m+1|2n). In the current paper, we investigate what happens when the number of parafermions and parabosons becomes infinite. In order to analyze the algebraic structure, and the Fock spaces, we first need to develop a new matrix form for the Lie superalgebra B(n,n)=osp(2n+1|2n), and construct a new Gelfand-Zetlin basis of the Fock spaces in the finite rank case. The new structures are appropriate for the situation $n\rightarrow\infty$. The algebra generated by the infinite number of creation and annihilation operators is $B(\infty,\infty)$, a well defined infinite rank version of the orthosymplectic Lie superalgebra. The Fock spaces are lowest weight representations of $B(\infty,\infty)$, with a basis consisting of particular row-stable Gelfand-Zetlin patterns.


title: Adiabatic regularization with a Yukawa interaction

abstract: We extend the adiabatic regularization method for an expanding universe to include the Yukawa interaction between a quantized Dirac field and a homogeneous time-dependent scalar field. We present the renormalized semiclassical equations that are needed in order to take into account the backreaction of the produced Dirac fermions in both gravitational and scalar background fields.


title: Multi-Scale Time-Frequency Attention for Acoustic Event Detection

abstract: Most attention-based methods only concentrate along the time axis, which is insufficient for Acoustic Event Detection (AED). Meanwhile, previous methods for AED rarely considered that target events possess distinct temporal and frequential scales. In this work, we propose a Multi-Scale Time-Frequency Attention (MTFA) module for AED. MTFA gathers information at multiple resolutions to generate a time-frequency attention mask which tells the model where to focus along both time and frequency axis. With MTFA, the model could capture the characteristics of target events with different scales. We demonstrate the proposed method on Task 2 of Detection and Classification of Acoustic Scenes and Events (DCASE) 2017 Challenge. Our method achieves competitive results on both development dataset and evaluation dataset.


title: Electronic and magnetic properties of quasi-skutterudite PrCo$_2$Ga$_8$ compound

abstract: PrCo$_2$Ga$_8$ is an orthorhombic quasi-skutterudite type compound which crystallizes in the CaCo$_2$Al$_8$ structure type, with space group $Pbam$ (No. 55). The Pr$^{3+}$ ion has a site symmetry of $C_s$ which predicts a crystal electric field (CEF) level splitting into 9 singlets for $J$ = 4. However, a phase transition at $T_m$ = 1.28~K is observed in electrical resistivity and specific heat results and is reported in this paper. The electrical resistivity shows an upturn below $T_m$ due to the superzone-gap formation. This transition is tuneable in fields and is suppressed to lower temperatures with applied magnetic fields. The electronic specific heat $C_{p}(T)/T$ increases below $T_m$ and reaches a value of 7.37 J/(mol K$^2$) at 0.4~K. The Sommerfeld coefficient, $\gamma$ extracted from the low temperature analysis of $C_\mathrm{4f}(T)/T$ is 637 mJ/(mol K$^2$) indicating a possible mass enhancement of the quasiparticles. The calculated entropy value of 3.05 J/(mol K) is recovered around $T_m$ exhibiting almost 53% of Rln2, where R is the universal gas constant. Magnetic susceptibility results obeys the Curie-Weiss law for data above 100 K with an estimated effective magnetic moment, $\mu_\mathrm{eff}$ = 3.37 $\mu_B$/Pr and Weiss temperature, $\theta_p$ = $-$124 K.


title: Photoreactivity of condensed acetylene on Titan aerosols analogues

abstract: Volatile organic molecules formed by photochemistry in the upper atmosphere of Titan can undergo condensation as pure ices in the stratosphere and the troposphere as well as condense as ice layers onto the organic aerosols that are visible as the haze layers of Titan. As solar photons penetrate through Titan s atmosphere, shorter-wavelength photons are attenuated and longerwavelength photons make it into the lower altitudes, where aerosols become abundant. We conducted an experimental study to evaluate the long wavelength ( > 300 nm) photo-reactivity of these ices accreted on the Titan aerosol-analogs (also known as tholins) made in the laboratory. We have focused on acetylene, the third most abundant hydrocarbon in Titan s atmosphere after CH4 and C2H6. Further, acetylene is the most abundant unsaturated hydrocarbon in Titan s atmosphere. Our results indicate that the aerosols can act as activation centers to drive the photoreactivity of acetylene with the aerosols at the accretion interface at wavelengths where acetylene-ice alone does not show photoreactivity. We found that along with photochemistry, photodesorption plays an important role. We observed that about 15% of the initial acetylene is photodesorbed, with a photodesorption rate of (2.1 +/- 0.2) x 10-6 molecules.photon-1 at 355 nm. This photodesorption is wavelength-dependent, confirming that it is mediated by the UV absorption of the aerosol analogues, similar to photochemistry. We conclude that the UV-Vis properties of aerosols would determine how they evolve further in Titan s atmosphere and on the surface through photochemical alterations involving longer wavelength photons.


title: Parabolic Flows Renormalized by Partially Hyperbolic Maps

abstract: We consider parabolic flows on 3-dimensional manifolds which are renormalized by circle extensions of Anosov diffeormorphisms. This class of flows includes nilflows on the Heisenberg nilmanifold which are renormalized by partially hyperbolic automorphisms. The transfer operators associated to the renormalization maps, acting on anisotropic Sobolev spaces, are known to have good spectral properties (this relies on ideas which have some resemblance to representation theory but also apply to non-algebraic systems). The spectral information is used to describe the deviation of ergodic averages and solutions of the cohomological equation for the parabolic flow.


title: On superdimensions of some infinite-dimensional irreducible representations of $osp(m|n)$

abstract: In a recent paper characters and superdimension formulas were investigated for the class of representations with Dynkin labels $[0,\ldots,0,p]$ of the Lie superalgebra $osp(m|n)$. Such representations are infinite-dimensional, and of relevance in supergravity theories provided their superdimension is finite. We have shown that the superdimension of such representations coincides with the dimension of a $so(m-n)$ representation. In the present contribution, we investigate how this $osp(m|n)\sim so(m-n)$ correspondence can be extended to the class of $osp(2m|2n)$ representations with Dynkin labels $[0,\ldots,0,q,p]$.


title: Brain Tissue Segmentation Using NeuroNet With Different Pre-processing Techniques

abstract: Automatic segmentation of brain Magnetic Resonance Imaging (MRI) images is one of the vital steps for quantitative analysis of brain for further inspection. In this paper, NeuroNet has been adopted to segment the brain tissues (white matter (WM), grey matter (GM) and cerebrospinal fluid (CSF)) which uses Residual Network (ResNet) in encoder and Fully Convolution Network (FCN) in the decoder. To achieve the best performance, various hyper-parameters have been tuned, while, network parameters (kernel and bias) were initialized using the NeuroNet pre-trained model. Different pre-processing pipelines have also been introduced to get a robust trained model. The model has been trained and tested on IBSR18 data-set. To validate the research outcome, performance was measured quantitatively using Dice Similarity Coefficient (DSC) and is reported on average as 0.84 for CSF, 0.94 for GM, and 0.94 for WM. The outcome of the research indicates that for the IBSR18 data-set, pre-processing and proper tuning of hyper-parameters for NeuroNet model have improvement in DSC for the brain tissue segmentation.


title: Unpaired Point Cloud Completion on Real Scans using Adversarial Training

abstract: As 3D scanning solutions become increasingly popular, several deep learning setups have been developed geared towards that task of scan completion, i.e., plausibly filling in regions there were missed in the raw scans. These methods, however, largely rely on supervision in the form of paired training data, i.e., partial scans with corresponding desired completed scans. While these methods have been successfully demonstrated on synthetic data, the approaches cannot be directly used on real scans in absence of suitable paired training data. We develop a first approach that works directly on input point clouds, does not require paired training data, and hence can directly be applied to real scans for scan completion. We evaluate the approach qualitatively on several real-world datasets (ScanNet, Matterport, KITTI), quantitatively on 3D-EPN shape completion benchmark dataset, and demonstrate realistic completions under varying levels of incompleteness.


title: Data Amplification: A Unified and Competitive Approach to Property Estimation

abstract: Estimating properties of discrete distributions is a fundamental problem in statistical learning. We design the first unified, linear-time, competitive, property estimator that for a wide class of properties and for all underlying distributions uses just $2n$ samples to achieve the performance attained by the empirical estimator with $n\sqrt{\log n}$ samples. This provides off-the-shelf, distribution-independent, "amplification" of the amount of data available relative to common-practice estimators. We illustrate the estimator's practical advantages by comparing it to existing estimators for a wide variety of properties and distributions. In most cases, its performance with $n$ samples is even as good as that of the empirical estimator with $n\log n$ samples, and for essentially all properties, its performance is comparable to that of the best existing estimator designed specifically for that property.


title: Analysis of Distributed Congestion Control in Cellular Vehicle-to-everything Networks

abstract: Cellular Vehicle-to-everything (C-V2X) communication has been proposed in the 3rd Generation Partnership Project release 14 standard to address the latency and reliability requirements of cooperative safety applications. Such applications can involve highly congested vehicular scenarios where the network experiences high data loads. Thus, a sophisticated congestion control solution is vital in order to maintain the network performance required for safety-related applications. With the aid of our high-fidelity link-level network simulator, we investigate the feasibility of implementing the distributed congestion control algorithm specified in SAE J2945/1 standard on top of the C-V2X stack. We describe our implementation and evaluate the performance of transmission rate and range control mechanisms using relevant metrics. Additionally, we identify areas for potential design enhancements and further investigation.


title: Quantum Entanglement, Symmetric Nonnegative Quadratic Polynomials and Moment Problems

abstract: Quantum states are represented by positive semidefinite Hermitian operators with unit trace, known as density matrices. An important subset of quantum states is that of separable states, the complement of which is the subset of \textit{entangled} states. We show that the problem of deciding whether a quantum state is entangled can be seen as a moment problem in real analysis. Only a small number of such moments are accessible experimentally, and so in practice the question of quantum entanglement of a many-body system can be reduced to a truncated moment problem. By considering quantum entanglement of $n$ identical atoms we arrive at the truncated moment problem defined for symmetric measures over a product of $n$ copies of unit balls in $\mathbb{R}^d$. We work with moments up to degree $2$. We derive necessary and sufficient conditions for belonging to the moment cone, which can be expressed via a linear matrix inequality of size at most $2d+2$, which is independent of $n$. The linear matrix inequalities can be converted into a set of explicit semialgebraic inequalities giving necessary and sufficient conditions for membership in the moment cone, and show that the two conditions approach each other in the limit of large $n$. The inequalities are derived via considering the dual cone of nonnegative polynomials, and its sum-of-squares relaxation. We show that the sum-of-squares relaxation of the dual cone is asymptotically exact, and using symmetry reduction techniques (J. Pure Appl. Algebra 192, no. 1-3, 95, arXiv:1205.3102), it can be written as a small linear matrix inequality of size at most $2d+2$, which is independent of $n$. For the cone of symmetric nonnegative polynomials with the relevant support we also prove an analogue of the half-degree principle for globally nonnegative symmetric polynomials (J. Math. Anal. Appl. 284, no. 1, 174, J. Pure Appl. Algebra 216, no. 4, 850).

categories: math-ph cond-mat.quant-gas math.MP quant-ph


title: 3D Organ Shape Reconstruction from Topogram Images

abstract: Automatic delineation and measurement of main organs such as liver is one of the critical steps for assessment of hepatic diseases, planning and postoperative or treatment follow-up. However, addressing this problem typically requires performing computed tomography (CT) scanning and complicated postprocessing of the resulting scans using slice-by-slice techniques. In this paper, we show that 3D organ shape can be automatically predicted directly from topogram images, which are easier to acquire and have limited exposure to radiation during acquisition, compared to CT scans. We evaluate our approach on the challenging task of predicting liver shape using a generative model. We also demonstrate that our method can be combined with user annotations, such as a 2D mask, for improved prediction accuracy. We show compelling results on 3D liver shape reconstruction and volume estimation on 2129 CT scans.


title: On characters and superdimensions of some infinite-dimensional irreducible representations of $\mathfrak{osp}(m|n)$

abstract: Chiral spinors and self dual tensors of the Lie superalgebra $\mathfrak{osp}(m|n)$ are infinite dimensional representations belonging to the class of representations with Dynkin labels $[0,\ldots,0,p]$. We have shown that the superdimension of $[0,\ldots,0,p]$ coincides with the dimension of a $\mathfrak{so}(m-n)$ representation. When the superdimension is finite, these representations could play a role in supergravity models. Our technique is based on expansions of characters in terms of supersymmetric Schur functions. In the process of studying these representations, we obtain new character expansions.


title: Optimal stopping for the exponential of a Brownian bridge

abstract: In this paper we study the problem of stopping a Brownian bridge $X$ in order to maximise the expected value of an exponential gain function. In particular, we solve the stopping problem $$\sup_{0\le \tau\le 1}\mathsf{E}[\mathrm{e}^{X_\tau}]$$ which was posed by Ernst and Shepp in their paper [Commun. Stoch. Anal., 9 (3), 2015, pp. 419--423] and was motivated by bond selling with non-negative prices. Due to the non-linear structure of the exponential gain, we cannot rely on methods used in the literature to find closed-form solutions to other problems involving the Brownian bridge. Instead, we develop techniques that use pathwise properties of the Brownian bridge and martingale methods of optimal stopping theory in order to find the optimal stopping rule and to show regularity of the value function.


title: High-order discretization of a stable time-domain integral equation for 3D acoustic scattering

abstract: We develop a high-order, explicit method for acoustic scattering in three space dimensions based on a combined-field time-domain integral equation. The spatial discretization, of Nystr\"om type, uses Gaussian quadrature on panels combined with a special treatment of the weakly singular kernels arising in near-neighbor interactions. In time, a new class of convolution splines is used in a predictor-corrector algorithm. Experiments on a torus and a perturbed torus are used to explore the stability and accuracy of the proposed scheme. This involved around one thousand solver runs, at up to 8th order and up to around 20,000 spatial unknowns, demonstrating 5-9 digits of accuracy. In addition we show that parameters in the combined field formulation, chosen on the basis of analysis for the sphere and other convex scatterers, work well in these cases.


title: Scalable Robust Adaptive Control from the System Level Perspective

abstract: We will present a new general framework for robust and adaptive control that allows for distributed and scalable learning and control of large systems of interconnected linear subsystems. The control method is demonstrated for a linear time-invariant system with bounded parameter uncertainties, disturbances and noise. The presented scheme continuously collects measurements to reduce the uncertainty about the system parameters and adapts dynamic robust controllers online in a stable and performance-improving way. A key enabler for our approach is choosing a time-varying dynamic controller implementation, inspired by recent work on System Level Synthesis. We leverage a new robustness result for this implementation to propose a general robust adaptive control algorithm. In particular, the algorithm allows us to impose communication and delay constraints on the controller implementation and is formulated as a sequence of robust optimization problems that can be solved in a distributed manner. The proposed control methodology performs particularly well when the interconnection between systems is sparse and the dynamics of local regions of subsystems depend only on a small number of parameters. As we will show on a five-dimensional exemplary chain-system, the algorithm can utilize system structure to efficiently learn and control the entire system while respecting communication and implementation constraints. Moreover, although current theoretical results require the assumption of small initial uncertainties to guarantee robustness, we will present simulations that show good closed-loop performance even in the case of large uncertainties, which suggests that this assumption is not critical for the presented technique and future work will focus on providing less conservative guarantees.


title: Autonomous Visual Assistance for Robot Operations Using a Tethered UAV

abstract: This paper develops an autonomous tethered aerial visual assistant for robot operations in unstructured or confined environments. Robotic tele-operation in remote environments is difficult due to lack of sufficient situational awareness, mostly caused by the stationary and limited field-of-view and lack of depth perception from the robot's onboard camera. The emerging state of the practice is to use two robots, a primary and a secondary that acts as a visual assistant to overcome the perceptual limitations of the onboard sensors by providing an external viewpoint. However, problems exist when using a tele-operated visual assistant: extra manpower, manually chosen suboptimal viewpoint, and extra teamwork demand between primary and secondary operators. In this work, we use an autonomous tethered aerial visual assistant to replace the secondary robot and operator, reducing human robot ratio from 2:2 to 1:2. This visual assistant is able to autonomously navigate through unstructured or confined spaces in a risk-aware manner, while continuously maintaining good viewpoint quality to increase the primary operator's situational awareness. With the proposed co-robots team, tele-operation missions in nuclear operations, bomb squad, disaster robots, and other domains with novel tasks or highly occluded environments could benefit from reduced manpower and teamwork demand, along with improved visual assistance quality based on trustworthy risk-aware motion in cluttered environments.


title: Query the model: precomputations for efficient inference with Bayesian Networks

abstract: Variable Elimination is a fundamental algorithm for probabilistic inference over Bayesian networks. In this paper, we propose a novel materialization method for Variable Elimination, which can lead to significant efficiency gains when answering inference queries. We evaluate our technique using real-world Bayesian networks. Our results show that a modest amount of materialization can lead to significant improvements in the running time of queries. Furthermore, in comparison with junction tree methods that also rely on materialization, our approach achieves comparable efficiency during inference using significantly lighter materialization.


title: Extending SAXS instrument ranges through addition of a portable, inexpensive USAXS module

abstract: Ultra-SAXS can enhance the capabilities of existing SAXS/WAXS beamlines and laboratory instruments. A compact Ultra-SAXS module has been developed, which extends the measurable $q$-range with $0.0015 \leq q\mathrm{(nm^{-1})} \leq 0.2$, allowing structural dimensions between $30 \leq D$(nm)$ \leq 4000$ to be probed in addition to the range covered by a high-end SAXS/WAXS instrument. By shifting the module components in and out on their respective motor stages, SAXS/WAXS measurements can be easily and rapidly interleaved with USAXS measurements. In this paper, the design considerations, realization and synchrotron findings are presented. Measurements of silica spheres, an alumina membrane, and a porous carbon catalyst are provided as application examples.


title: Observation of an excited $B_c^+$ state

abstract: Using $pp$ collision data corresponding to an integrated luminosity of $8.5\,\mathrm{fb}^{-1}$ recorded by the LHCb experiment at centre-of-mass energies of $\sqrt{s} = 7$, $8$ and $13\mathrm{\,Te\kern -0.1em V}$, the observation of an excited $B_c^+$ state in the $B_c^+\pi^+\pi^-$ invariant-mass spectrum is reported. The observed peak has a mass of $6841.2 \pm 0.6 {\,\rm (stat)\,} \pm 0.1 {\,\rm (syst)\,} \pm 0.8\,(B_c^+) \mathrm{\,MeV}/c^2$, where the last uncertainty is due to the limited knowledge of the $B_c^+$ mass. It is consistent with expectations of the $B_c^{*}(2^{3}S_{1})^+$ state reconstructed without the low-energy photon from the $B_c^{*}(1^{3}S_{1})^+ \to B_c^+ \gamma$ decay following $B_c^{*}(2^{3}S_{1})^+ \to B_c^{*}(1^{3}S_{1})^+ \pi^+ \pi^-$. A second state is seen with a global (local) statistical significance of $2.2\,\sigma$ ($3.2\,\sigma$) and a mass of $6872.1 \pm 1.3 {\,\rm (stat)\,} \pm 0.1 {\,\rm (syst)\,} \pm 0.8\,(B_c^+) \mathrm{\,MeV}/c^2$, and is consistent with the $B_c(2^{1}S_{0})^+$ state. These mass measurements are the most precise to date.


title: F-KPP Scaling limit and selection principle for a Brunet-Derrida type particle system

abstract: We study a particle system with the following diffusion-branching-selection mechanism. Particles perform independent one dimensional Brownian motions and on top of that, at a constant rate, a pair of particles is chosen uniformly at random and both particles adopt the position of the rightmost one among them. We show that the cumulative distribution function of the empirical measure converges to a solution of the Fisher-Kolmogorov-Petrovskii-Piskunov (F-KPP) equation and use this fact to prove that the system selects the minimal macroscopic speed as the number of particles goes to infinity.


title: Cosmic Inflation, Quantum Information and the Pioneering Role of John S Bell in Cosmology

abstract: According to the theory of cosmic inflation, the large scale structures observed in our Universe (galaxies, clusters of galaxies, Cosmic Background Microwave - CMB - anisotropy ...) are of quantum mechanical origin. They are nothing but vacuum fluctuations, stretched to cosmological scales by the cosmic expansion and amplified by gravitational instability. At the end of inflation, these perturbations are placed in a two-mode squeezed state with the strongest squeezing ever produced in Nature (much larger than anything that can be made in the laboratory on Earth). This article studies whether astrophysical observations could unambiguously reveal this quantum origin by borrowing ideas from quantum information theory. It is argued that some of the tools needed to carry out this task have been discussed long ago by J. Bell in a, so far, largely unrecognized contribution. A detailed study of his paper and of the criticisms that have been put forward against his work is presented. Although J. Bell could not have realized it when he wrote his letter since the quantum state of cosmological perturbations was not yet fully characterized at that time, it is also shown that Cosmology and cosmic inflation represent the most interesting frameworks to apply the concepts he investigated. This confirms that cosmic inflation is not only a successful paradigm to understand the early Universe. It is also the only situation in Physics where one crucially needs General Relativity and Quantum Mechanics to derive the predictions of a theory and, where, at the same time, we have high-accuracy data to test these predictions, making inflation a playground of utmost importance to discuss foundational issues in Quantum Mechanics


title: A Symbolic Algorithm for Computation of Non-degenerate Clifford Algebra Matrix Representations

abstract: Modern advances in general-purpose computer algebra systems offer solutions to a variety of problems, which in the past required substantial time investments by trained mathematicians. An excellent example of such development are the Clifford algebras. The main objective of the paper is to demonstrate an utterly algorithmic construction of a Clifford algebra matrix algebra representation of a non-degenerate signature (p, q). While this is not the most economical way of implementation, it offers a transparent mechanism of translation between a Clifford algebra and its faithful real-valued matrix representation and can be used for automated proof checking. This representation is used to derive an algorithm for the computation of an arbitrary multivector inverse as a proof certificate. The proposed algorithm is a mapping of the Faddeev--LeVerrier--Souriau algorithm for computation of the characteristic polynomial of matrices.


title: Completed K-theory and Equivariant Elliptic Cohomology

abstract: Kitchloo and Morava give a strikingly simple picture of elliptic cohomology at the Tate curve by studying a completed version of $S^1$-equivariant $K$-theory for spaces. Several authors (cf [ABG],[KM],[L]) have suggested that an equivariant version ought to be related to the work of Freed-Hopkins-Teleman ([FHT1],[FHT2],[FHT3]). However, a first attempt at this runs into apparent contradictions concerning twist, degree, and cup product. Several authors (cf. [BET],[G],[K]) have solved the problem over the complex numbers by interpreting the $S^1$-equivariant parameter as a complex variable and using holomorphicity as the technique for completion. This paper gives a solution that works integrally, by constructing a carefully completed model of $K$-theory for $S^1$-equivariant stacks which allows for certain ``convergent" infinite-dimensional cocycles.


title: Real zeros of random Dirichlet series

abstract: Let $F(\sigma)$ be the random Dirichlet series $F(\sigma)=\sum_{p\in\mathcal{P}} \frac{X_p}{p^\sigma}$, where $\mathcal{P}$ is an increasing sequence of positive real numbers and $(X_p)_{p\in\mathcal{P}}$ is a sequence of i.i.d. random variables with $\mathbb{P}(X_1=1)=\mathbb{P}(X_1=-1)=1/2$. We prove that, for certain conditions on $\mathcal{P}$, if $\sum_{p\in\mathcal{P}}\frac{1}{p}<\infty$ then with positive probability $F(\sigma)$ has no real zeros while if $\sum_{p\in\mathcal{P}}\frac{1}{p}=\infty$, almost surely $F(\sigma)$ has an infinite number of real zeros.


title: Multiplicity and stability of the Pohozaev obstruction for Hardy-Schr\"odinger equations with boundary singularity

abstract: Let $\Omega$ be a smooth bounded domain in $\mathbb{R}^n$ ($n\geq 3$) such that $0\in\partial \Omega$. In this memoir, we consider issues of non-existence, existence, and multiplicity of variational solutions in $H_{1,0}^2(\Omega)$ for the borderline Dirichlet problem, $-\Delta u-\gamma \frac{u}{|x|^2}- h(x) u = \frac{|u|^{{2^\star(s)}-2}u}{|x|^s}$ in $\Omega$, where $0<s<2$, ${{2^\star(s)}}:=\frac{2(n-s)}{n-2}$, $\gamma\in\mathbb{R}$ and $h\in C^0(\overline{\Omega})$. We use sharp blow-up analysis on --possibly high energy-- solutions of corresponding subcritical problems to establish, for example, that if $\gamma<\frac{n^2}{4}-1$ and the principal curvatures of $\partial\Omega$ at $0$ are non-positive but not all of them vanishing, then the above equation has an infinite number of (possibly sign-changing) solutions in ${H_{1,0}^2(\Omega)}$. This complements results of the first and third authors, who had previously shown that if $\gamma\leq \frac{n^2}{4}-\frac{1}{4}$ and the mean curvature of $\partial\Omega$ at $0$ is negative, then the equation has a positive solution. On the other hand, the sharp blow-up analysis also allows us to prove that if the mean curvature at $0$ is non-zero and if the mass (when defined) does not vanish, then there is a surprising stability under $C^1$-perturbations of the potential $h$ of those regimes where no variational positive solutions exist. In particular, and in sharp contrast with the non-singular case (i.e., when $\gamma=s=0$), we show non-existence of such solutions for (E) in any dimension, whenever $\Omega$ is star-shaped and $h$ is close to $0$, which include situations not covered by the classical Pohozaev obstruction.


title: Physical constraints on accuracy and persistence during breast cancer cell chemotaxis

abstract: Directed cell motion in response to an external chemical gradient occurs in many biological phenomena such as wound healing, angiogenesis, and cancer metastasis. Chemotaxis is often characterized by the accuracy, persistence, and speed of cell motion, but whether any of these quantities is physically constrained by the others is poorly understood. Using a combination of theory, simulations, and 3D chemotaxis assays on single metastatic breast cancer cells, we investigate the links among these different aspects of chemotactic performance. In particular, we observe in both experiments and simulations that the chemotactic accuracy, but not the persistence or speed, increases with the gradient strength. We use a random walk model to explain this result and to propose that cells' chemotactic accuracy and persistence are mutually constrained. Our results suggest that key aspects of chemotactic performance are inherently limited regardless of how favorable the environmental conditions are.


title: L^{p,q} estimates on the transport density

abstract: In this paper, we show a new regularity result on the transport density {\sigma} in the classical Monge-Kantorovich optimal mass transport problem between two measures, {\mu} and {\nu}, having some summable densities, f^+ and f^-. More precisely, we prove that the transport density {\sigma} belongs to L^{p,q}({\Omega}) as soon as f^+, f^- \in L^{p,q}({\Omega}).


title: Dielectric and electronic properties of three-dimensional Luttinger semimetals with a quadratic band touching

abstract: Due to strong spin-orbit coupling, charge carriers in three-dimensional quadratic band touching Luttinger semimetals have non-trivial wavefunctions characterized by a pseudospin of 3/2. We compute the dielectric permittivity of such semimetals at finite doping, within the random phase approximation. Because of interband coupling, the dielectric screening shows a reduced plasma frequency and an increased spectral weight at small wavevectors, compared to a regular quadratic band. This weakens the effective Coulomb potential, modifying the single-particle self-energy for which we present both analytical and numerical results. At a low carrier density, the quasiparticle properties of this model strongly deviate from that of a single quadratic band. We compare our findings with experimental results for alpha-Sn, HgSe, HgTe, YPtBi and Pr2Ir2O7.


title: From chaos to many-body localization: some introductory notes

abstract: Staring from the kicked rotator as a paradigm for a system exhibiting classical chaos, we discuss the role of quantum coherence resulting in dynamical localization in the kicked quantum rotator. In this context, the disorder-induced Anderson localization is also discussed. Localization in interacting, quantum many-body systems (many-body localization) may also occur in the absence of disorder, and a practical way to identify its occurrence is demonstrated for an interacting spin chain.


title: $\mathcal{PT}$-symmetric tight-binding model with asymmetric couplings

abstract: We study spectral and transport properties of one-dimensional tight-binding $\mathcal{PT}$-symmetric chains with alternating couplings. Based on the transfer matrix method, we have analytically developed the expressions for the transmission and reflection coefficients for any values of control parameters. These expressions are obtained in a very compact form which separately imbed the generic energy dependence valid for any periodic structure, as well as specific properties of a unit cell composing the scattering setup. Out main interest is in specific properties of the left/right reflections that are due to the $\mathcal{PT}$ symmetric structure of the model. We have found that for the case of asymmetric couplings between dimers, a new type of specific points emerge in the spectrum, which are responsible for quite specific properties of the unidirectional reflectivity.


title: A Gaussian process latent force model for joint input-state estimation in linear structural systems

abstract: The problem of combined state and input estimation of linear structural systems based on measured responses and a priori knowledge of structural model is considered. A novel methodology using Gaussian process latent force models is proposed to tackle the problem in a stochastic setting. Gaussian process latent force models (GPLFMs) are hybrid models that combine differential equations representing a physical system with data-driven non-parametric Gaussian process models. In this work, the unknown input forces acting on a structure are modelled as Gaussian processes with some chosen covariance functions which are combined with the mechanistic differential equation representing the structure to construct a GPLFM. The GPLFM is then conveniently formulated as an augmented stochastic state-space model with additional states representing the latent force components, and the joint input and state inference of the resulting model is implemented using Kalman filter. The augmented state-space model of GPLFM is shown as a generalization of the class of input-augmented state-space models, is proven observable, and is robust compared to conventional augmented formulations in terms of numerical stability. The hyperparameters governing the covariance functions are estimated using maximum likelihood optimization based on the observed data, thus overcoming the need for manual tuning of the hyperparameters by trial-and-error. To assess the performance of the proposed GPLFM method, several cases of state and input estimation are demonstrated using numerical simulations on a 10-dof shear building and a 76-storey ASCE benchmark office tower. Results obtained indicate the superior performance of the proposed approach over conventional Kalman filter based approaches.


title: Data-Driven Spectroscopy of Cool Stars at High Spectral Resolution

abstract: The advent of large-scale spectroscopic surveys underscores the need to develop robust techniques for determining stellar properties ("labels", i.e., physical parameters and elemental abundances). However, traditional spectroscopic methods that utilize stellar models struggle to reproduce cool ($<$4700 K) stellar atmospheres due to an abundance of unconstrained molecular transitions, making modeling via synthetic spectral libraries difficult. Because small, cool stars such as K and M dwarfs are both common and good targets for finding small, cool planets, establishing precise spectral modeling techniques for these stars is of high priority. To address this, we apply The Cannon, a data-driven method of determining stellar labels, to Keck High Resolution Echelle Spectrometer (HIRES) spectra of 141 cool ($<$5200 K) stars from the California Planet Search. Our implementation is capable of predicting labels for small ($<$1 $R_{\odot}$) stars of spectral types K and later with accuracies of 68 K in effective temperature ($T_{eff}$), 5% in stellar radius ($R_{*}$), and 0.08 dex in bulk metallicity ([Fe/H]), and maintains this performance at low spectral resolutions ($R$ $<$ 5000). As M-dwarfs are the focus of many future planet-detection surveys, this work can aid efforts to better characterize the cool star population and uncover correlations between cool star abundances and planet occurrence for constraining planet formation theories.


title: Full-Duplex GFDM Radio Transceivers in the Presence of Phase Noise, CFO and IQ Imbalance

abstract: This paper addresses the performance of a full-duplex (FD) generalized frequency division multiplexing (GFDM) transceiver in the presence of radio frequency (RF) impairments including phase noise, carrier frequency offset (CFO) and in-phase (I) and quadrature (Q) imbalance. We study analog and digital self-interference (SI) cancellation and develop a complementary SI suppression method. Closed-form solutions for the residual SI power and the desired signal power and signal-to-interference ratio (SIR) are provided. Simulation results show that the RF impairments degrade SI cancellation and FD GFDM is more sensitive to them compares to FD orthogonal frequency division multiplexing (OFDM). Hence, we propose an FD GFDM receiver filter for maximizing the SIR. Significantly, it achieves 25 dB higher SIR than FD OFDM transceiver.


title: Patterns formation in hyperbolic reaction-diffusion models with cross-diffusion

abstract: A class of hyperbolic reaction--diffusion models with cross-diffusion is derived within the context of Extended Thermodynamics. Linear stability analysis is performed to study the nature of the equilibrium states against uniform and nonuniform perturbations. Emphasis is given to the occurrence of Hopf, Turing and Wave bifurcations. The weakly nonlinear analysis is then employed to deduce the equation governing the time evolution of pattern amplitude and to obtain the analytical approximated solution. The influence of the hyperbolic structure of the model on the pattern formation as well as on the transient regimes is highlighted. The theoretical predictions are illustrated on the hyperbolic Schnakenberg model and linear and weakly nonlinear stability are investigated both analytically and numerically.


title: autoCAS: a program for fully automated multi-configurational calculations

abstract: We present our implementation autoCAS for fully automated multi-configurational calculations, which we also make available free of charge on our webpages. The graphical user interface of autoCAS connects a general electronic structure program with a density matrix renormalization group program to carry out our recently introduced automated active space selection protocol for multi-configurational calculations [J. Chem. Theory Comput., 2016, 12, 1760]. Next to this active space selection, autoCAS carries out several steps of multi-configurational calculations so that only a minimal input is required to start them, comparable to that of a standard Kohn-Sham density functional theory calculation, so that black-box multi-configurational calculations become feasible. Furthermore, we introduce a new extension to the selection algorithm that facilitates automated selections for molecules with large valence orbital spaces consisting of several hundred orbitals.


title: Ultra-fast electric field controlled spin-fluctuations in the Hubbard model

abstract: Highly intense electric field pulses can move the electronic momentum occupation in correlated metals over large portions of the Brillouin zone, leading to phenomena such as dynamic Bloch oscillations. Using the non-equilibrium fluctuation-exchange approximation for the two-dimensional Hubbard model, we study how such non-thermal electron-distributions drive collective spin and charge fluctuations. Suitable pulses can induce a highly anisotropic modification of the occupied momenta, and the corresponding spin dynamics results in a transient change from antiferromagnetic to anisotropic ferromagnetic correlations. To good approximation this behavior is understood in terms of an instantaneous response of the spin fluctuations to the single-particle properties, opposite to the conventional time-scale separation between spin and electron dynamics.


title: Random matrix analysis of Ca$^{2+}$ signals in $\beta$-cell collectives

abstract: Even within small organs like pancreatic islets, different endocrine cell types and subtypes form a heterogeneous collective to sense the chemical composition of the extracellular solution and compute an adequate hormonal output. Erroneous cellular processing and hormonal output due to challenged heterogeneity result in various disorders with diabetes mellitus as a flagship metabolic disease. Here we attempt to address the aforementioned functional heterogeneity with comparing pairwise cell-cell cross-correlations obtained from simultaneous measurements of cytosolic calcium responses in hundreds of islet cells in an optical plane to statistical properties of correlations predicted by the random matrix theory (RMT). We find that the bulk of the empirical eigenvalue spectrum is almost completely described by RMT prediction, however, the deviating eigenvalues that exist below and above RMT spectral edges suggest that there are local and extended modes driving the correlations. We show that empirical nearest neighbor spacing of eigenvalues follows universal RMT properties regardless of glucose stimulation, but that number variance displays clear separation from RMT prediction and can differentiate between empirical spectra obtained under non-stimulated and stimulated conditions. We suggest that RMT approach provides a sensitive tool to assess the functional cell heterogeneity and its effects on the spatio-temporal dynamics a collective of beta cells in pancreatic islets in physiological resting and stimulatory conditions.


title: Intermittency and infinite variance: the case of integrated supOU processes

abstract: SupOU processes are superpositions of Ornstein-Uhlenbeck type processes with a random intensity parameter. They are stationary processes whose marginal distribution and dependence structure can be specified independently. Integrated supOU processes have then stationary increments and satisfy central and non-central limit theorems. Their moments, however, can display an unusual behavior known as "intermittency". We show here that intermittency can also appear when the processes have a heavy tailed marginal distribution and, in particular, an infinite variance.


title: Stabilizer Circuits, Quadratic Forms, and Computing Matrix Rank

abstract: We show that a form of strong simulation for $n$-qubit quantum stabilizer circuits $C$ is computable in $O(s + n^\omega)$ time, where $\omega$ is the exponent of matrix multiplication. Solution counting for quadratic forms over $\mathbb{F}_2$ is also placed into $O(n^\omega)$ time. This improves previous $O(n^3)$ bounds. Our methods in fact show an $O(n^2)$-time reduction from matrix rank over $\mathbb{F}_2$ to computing $p = |\langle \; 0^n \;|\; C \;|\; 0^n \;\rangle|^2$ (hence also to solution counting) and a converse reduction that is $O(s + n^2)$ except for matrix multiplications used to decide whether $p > 0$. The current best-known worst-case time for matrix rank is $O(n^{\omega})$ over $\mathbb{F}_2$, indeed over any field, while $\omega$ is currently upper-bounded by $2.3728\dots$ Our methods draw on properties of classical quadratic forms over $\mathbb{Z}_4$. We study possible distributions of Feynman paths in the circuits and prove that the differences in $+1$ vs. $-1$ counts and $+i$ vs. $-i$ counts are always $0$ or a power of $2$. Further properties of quantum graph states and connections to graph theory are discussed.


title: Simulating Large Quantum Circuits on a Small Quantum Computer

abstract: Limited quantum memory is one of the most important constraints for near-term quantum devices. Understanding whether a small quantum computer can simulate a larger quantum system, or execute an algorithm requiring more qubits than available, is both of theoretical and practical importance. In this Letter, we introduce cluster parameters $K$ and $d$ of a quantum circuit. The tensor network of such a circuit can be decomposed into clusters of size at most $d$ with at most $K$ qubits of inter-cluster quantum communication. We propose a cluster simulation scheme that can simulate any $(K,d)$-clustered quantum circuit on a $d$-qubit machine in time roughly $2^{O(K)}$, with further speedups possible when taking more fine-grained circuit structure into account. We show how our scheme can be used to simulate clustered quantum systems -- such as large molecules -- that can be partitioned into multiple significantly smaller clusters with weak interactions among them. By using a suitable clustered ansatz, we also experimentally demonstrate that a quantum variational eigensolver can still achieve the desired performance for estimating the energy of the BeH$_2$ molecule while running on a physical quantum device with half the number of required qubits.


title: How to Estimate the Ability of a Metaheuristic Algorithm to Guide Heuristics During Optimization

abstract: Metaheuristics are general methods that guide application of concrete heuristic(s) to problems that are too hard to solve using exact algorithms. However, even though a growing body of literature has been devoted to their statistical evaluation, the approaches proposed so far are able to assess only coupled effects of metaheuristics and heuristics. They do not reveal us anything about how efficient the examined metaheuristic is at guiding its subordinate heuristic(s), nor do they provide us information about how much the heuristic component of the combined algorithm contributes to the overall performance. In this paper, we propose a simple yet effective methodology of doing so by deriving a naive, placebo metaheuristic from the one being studied and comparing the distributions of chosen performance metrics for the two methods. We propose three measures of difference between the two distributions. Those measures, which we call BER values (benefit, equivalence, risk) are based on a preselected threshold of practical significance which represents the minimal difference between two performance scores required for them to be considered practically different. We illustrate usefulness of our methodology on the example of Simulated Annealing, Boolean Satisfiability Problem, and the Flip heuristic.


title: Automatic method for detection of solar coronal width using extreme ultra-violet (EUV) radiation

abstract: Solar corona, the last main layer of the atmosphere of the Sun, is detectable in the EUV and X-ray. The corona is expanding into space up to millions of kilometers and is observable during the eclipse. The temperature is increasing about millions of Kelvin. The investigation of this layer is significant for solar physicists because it is dynamic and features. Active regions (AR) and solar mass ejections (CMEs) are the important features in the solar corona. In this research, the solar limb and coronal width is studied from full-disk images at $284 \AA$ taken by SOHO/EIT during eleven-year period (2000-2010). Next, using image processing methods and by applying region growing function, the corona is segmented and extracted from images in different angles. The radial velocities of CMEs are extracted.


title: Super Heat Kernel and One-Loop Divergence of Super Yang-Mills Theory in Conformal Supergravity

abstract: We consider super Yang-Mills Theory in $N=1$ conformal supergravity. Using the background field method and the Feddeev-Popov procedure, the quantized action of the theory is presented. Its one-loop effective action is studied using the heat kernel method. We shall develop a non-iterative scheme, generalizing the non-supersymmetric case, to obtain the super heat kernel coefficients. In particular, the first three coefficients, which govern the one-loop divergence, will be calculated. We shall also demonstrate how to schematically derive the higher order coefficients. The method presented here can be readily applied to various quantum theories. We shall, as an application, derive the full one-loop divergence of SYM in conformal supergravity.


title: Using evolutionary algorithms to model relativistic jets: Application to NGC 1052

abstract: High-resolution Very-Long-Baseline Interferometry observations of NGC 1052 show a two sided jet with several regions of enhanced emission and a clear emission gap between the two jets.This gap shrinks with increasing frequency and vanishes around $\nu\sim43$ GHz. The observed structures are due to both the macroscopic fluid dynamics interacting with the surrounding ambient medium including an obscuring torus and the radiation microphysics. In this paper we investigate the possible physical conditions in relativistic jets of NGC 1052 by directly modelling the observed emission and spectra via state-of-the-art special-relativistic hydrodynamic (SRHD) simulations and radiative transfer calculations. To investigate the physical conditions in the relativistic jet we coupled our radiative transfer code to evolutionary algorithms and performed simultaneous modelling of the observed jet structure and the broadband radio spectrum. During the calculation of the radiation we consider both thermal and non-thermal emission. In order to compare our model to VLBI observations we take into account the sparse sampling of the u-v plane, the array properties and the imaging algorithm. We present for the first time an end-to-end pipeline for fitting numerical simulations to VLBI observations of relativistic jets taking into account the macrophysics including fluid dynamics and ambient medium configurations together with thermal/non-thermal emission and the properties of the observing array. The detailed analysis of our simulations shows that the structure and properties of the observed relativistic jets in NGC 1052 can be reconstructed by a slightly over-pressured jet ($d_k\sim1.5$) embedded in a decreasing pressure ambient medium


title: Group-centered framework towards a positive design of digital collaboration in global settings

abstract: Globally distributed groups require collaborative systems to support their work. Besides being able to support the teamwork, these systems also should promote well-being and maximize the human potential that leads to an engaging system and joyful experience. Designing such system is a significant challenge and requires a thorough understanding of group work. We used the field theory as a lens to view the essential aspects of group motivation and then utilized collaboration personas to analyze the elements of group work. We integrated well-being determinants as engagement factors to develop a group-centered framework for digital collaboration in a global setting. Based on the outcomes, we proposed a conceptual framework to design an engaging collaborative system and recommend system values that can be used to evaluate the system further


title: The Physics of Accretion Onto Highly Magnetized Neutron Stars

abstract: Studying the physical processes occurring in the region just above the magnetic poles of strongly magnetized, accreting binary neutron stars is essential to our understanding of stellar and binary system evolution. Perhaps more importantly, it provides us with a natural laboratory for studying the physics of high temperature and high density plasmas exposed to extreme radiation, gravitational, and magnetic fields. Observations over the past decade have shed new light on the manner in which plasma falling at velocities near the speed of light onto a neutron star surface is halted. Recent advances in modeling these processes have resulted in direct measurement of the magnetic fields and plasma properties. On the other hand, numerous physical processes have been identified that challenge our current picture of how the accretion process onto neutron stars works. Observation and theory are our essential tools in this regime because the extreme conditions cannot be duplicated on Earth. This white paper gives an overview of the current theory, the outstanding theoretical and observational challenges, and the importance of addressing them in contemporary astrophysics research.


title: Cahn-Hilliard equation with capillarity in actual deforming configurations

abstract: The diffusion driven by the gradient of the chemical potential (by the Fick/Darcy law) in deforming continua at large strains is formulated in the reference configuration with both the Fick/Darcy law and the capillarity gradient term considered at the actual configurations deforming in time. Static situations are analysed by the direct method. Evolution (dynamical) problems are treated by the Galerkin method, the actual capillarity giving rise to various new terms as e.g. the Korteweg-like stress and analytical difficulties related to them. Some other models (namely plasticity at small elastic strains or damage) with gradients at actual configuration allow for similar models and analysis.


title: Keyphrase Generation: A Text Summarization Struggle

abstract: Authors' keyphrases assigned to scientific articles are essential for recognizing content and topic aspects. Most of the proposed supervised and unsupervised methods for keyphrase generation are unable to produce terms that are valuable but do not appear in the text. In this paper, we explore the possibility of considering the keyphrase string as an abstractive summary of the title and the abstract. First, we collect, process and release a large dataset of scientific paper metadata that contains 2.2 million records. Then we experiment with popular text summarization neural architectures. Despite using advanced deep learning models, large quantities of data and many days of computation, our systematic evaluation on four test datasets reveals that the explored text summarization methods could not produce better keyphrases than the simpler unsupervised methods, or the existing supervised ones.


title: Simple subvector inference on sharp identified set in affine models

abstract: This paper studies a regularized support function estimator for bounds on components of the parameter vector in the case in which the identified set is a polygon. The proposed regularized estimator has three important properties: (i) it has a uniform asymptotic Gaussian limit in the presence of flat faces in the absence of redundant (or overidentifying) constraints (or vice versa); (ii) the bias from regularization does not enter the first-order limiting distribution;(iii) the estimator remains consistent for sharp identified set for the individual components even in the non-regualar case. These properties are used to construct uniformly valid confidence sets for an element $\theta_{1}$ of a parameter vector $\theta\in\mathbb{R}^{d}$ that is partially identified by affine moment equality and inequality conditions. The proposed confidence sets can be computed as a solution to a small number of linear and convex quadratic programs, which leads to a substantial decrease in computation time and guarantees a global optimum. As a result, the method provides uniformly valid inference in applications in which the dimension of the parameter space, $d$, and the number of inequalities, $k$, were previously computationally unfeasible ($d,k=100$). The proposed approach can be extended to construct confidence sets for intersection bounds, to construct joint polygon-shaped confidence sets for multiple components of $\theta$, and to find the set of solutions to a linear program. Inference for coefficients in the linear IV regression model with an interval outcome is used as an illustrative example.


title: Enabling decentral collaborative innovation processes - a web based real time collaboration platform

abstract: The main goal of this paper is to define a collaborative innovation process as well as a supporting tool. It is motivated through the increasing competition on global markets and the resultant propagation of decentralized projects with a high demand of innovative collaboration in global contexts. It bases on a project accomplished by the author group. A detailed literature review and the action design research methodology of the project led to an enhanced process model for decentral collaborative innovation processes and a basic realization of a browser based real time tool to enable these processes. The initial evaluation in a practical distributed setting has shown that the created tool is a useful way to support collaborative innovation processes.


title: Extraction of the Heavy-Quark Potential from Bottomonium Observables in Heavy-Ion Collisions

abstract: The in-medium color potential is a fundamental quantity for understanding the properties of the strongly coupled quark-gluon plasma (sQGP). Open and hidden heavy-flavor (HF) production in ultrarelativistic heavy-ion collisions (URHICs) has been found to be a sensitive probe of this potential. Here we utilize a previously developed quarkonium transport approach in combination with insights from open HF diffusion to extract the color-singlet potential from experimental results on $\Upsilon$ production in URHICs. Starting from a parameterized trial potential, we evaluate the $\Upsilon$ transport parameters and conduct systematic fits to available data for the centrality dependence of ground and excited states at RHIC and the LHC. The best fits and their statistical significance are converted into a temperature-dependent potential. Including nonperturbative effects in the dissociation rate guided from open HF phenomenology, we extract a rather strongly coupled potential with substantial remnants of the long-range confining force in the QGP.


title: Uniqueness and Stability for the Shock Reflection-Diffraction Problem for Potential Flow

abstract: When a plane shock hits a two-dimensional wedge head on, it experiences a reflection-diffraction process, and then a self-similar reflected shock moves outward as the original shock moves forward in time. The experimental, computational, and asymptotic analysis has indicated that various patterns occur, including regular reflection and Mach reflection. The von Neumann conjectures on the transition from regular to Mach reflection involve the existence, uniqueness, and stability of regular shock reflection-diffraction configurations, generated by concave cornered wedges for compressible flow. In this paper, we discuss some recent developments in the study of the von Neumann conjectures. More specifically, we present our recent results of the uniqueness and stability of regular shock reflection-diffraction configurations governed by the potential flow equation in an appropriate class of solutions. We first show that the transonic shocks in the global solutions obtained in Chen-Feldman [19] are convex. Then we establish the uniqueness of global shock reflection-diffraction configurations with convex transonic shocks for any wedge angle larger than the detachment angle or the critical angle. Moreover, the stability of the solutions with respect to the wedge angle is also shown. Our approach also provides an alternative way of proving the existence of the admissible solutions established first in [19].


title: Derived Functor Cohomology Groups with Yoneda Product

abstract: This work presents an exposition of both the internal structure of derived category of an abelian category D*(A) and its contribution in solving problems, particularly in algebraic geometry. Calculation of some morphisms will be presented between objects in D*(A) as elements in appropriate cohomology groups along with their compositions with the help of Yoneda construction under the assumption that the homological dimension of D*(A) is greater than or equal to 2. These computational settings will then be considered under sheaf cohomological context with a particular case from projective geometry.


title: Elements of given order in Tate-Shafarevich groups of abelian varieties in quadratic twist families

abstract: Let $A$ be an abelian variety over a number field $F$ and let $p$ be a prime. Cohen-Lenstra-Delaunay-style heuristics predict that the Tate-Shafarevich group of $A_s$ should contain an element of order $p$ for a positive proportion of quadratic twists $A_s$ of $A$. We give a general method to prove instances of this conjecture by exploiting independent isogenies of $A$. For each prime $p$, there is a large class of elliptic curves for which our method shows that a positive proportion of quadratic twists have nontrivial $p$-torsion in their Tate-Shafarevich groups. In particular, when the modular curve $X_0(3p)$ has infinitely many $F$-rational points the method applies to ``most'' elliptic curves $E$ having a cyclic $3p$-isogeny. It also applies in certain cases when $X_0(3p)$ has only finitely many points. For example, we find an elliptic curve over $\mathbb{Q}$ for which a positive proportion of quadratic twists have an element of order $5$ in their Tate-Shafarevich groups. The method applies to abelian varieties of arbitrary dimension, at least in principle. As a proof of concept, we give, for each prime $p \equiv 1 \pmod 9$, examples of CM abelian threefolds with a positive proportion of quadratic twists having elements of order $p$ in their Tate-Shafarevich groups.


title: Estimation of cell lineage trees by maximum-likelihood phylogenetics

abstract: CRISPR technology has enabled large-scale cell lineage tracing for complex multicellular organisms by mutating synthetic genomic barcodes during organismal development. However, these sophisticated biological tools currently use ad-hoc and outmoded computational methods to reconstruct the cell lineage tree from the mutated barcodes. Because these methods are agnostic to the biological mechanism, they are unable to take full advantage of the data's structure. We propose a statistical model for the mutation process and develop a procedure to estimate the tree topology, branch lengths, and mutation parameters by iteratively applying penalized maximum likelihood estimation. In contrast to existing techniques, our method estimates time along each branch, rather than number of mutation events, thus providing a detailed account of tissue-type differentiation. Via simulations, we demonstrate that our method is substantially more accurate than existing approaches. Our reconstructed trees also better recapitulate known aspects of zebrafish development and reproduce similar results across fish replicates.