title: The Bethe and Sinkhorn Permanents of Low Rank Matrices and Implications for Profile Maximum Likelihood

abstract: In this paper we consider the problem of computing the likelihood of the profile of a discrete distribution, i.e., the probability of observing the multiset of element frequencies, and computing a profile maximum likelihood (PML) distribution, i.e., a distribution with the maximum profile likelihood. For each problem we provide polynomial time algorithms that given $n$ i.i.d.\ samples from a discrete distribution, achieve an approximation factor of $\exp\left(-O(\sqrt{n} \log n) \right)$, improving upon the previous best-known bound achievable in polynomial time of $\exp(-O(n^{2/3} \log n))$ (Charikar, Shiragur and Sidford, 2019). Through the work of Acharya, Das, Orlitsky and Suresh (2016), this implies a polynomial time universal estimator for symmetric properties of discrete distributions in a broader range of error parameter. We achieve these results by providing new bounds on the quality of approximation of the Bethe and Sinkhorn permanents (Vontobel, 2012 and 2014). We show that each of these are $\exp(O(k \log(N/k)))$ approximations to the permanent of $N \times N$ matrices with non-negative rank at most $k$, improving upon the previous known bounds of $\exp(O(N))$. To obtain our results on PML, we exploit the fact that the PML objective is proportional to the permanent of a certain Vandermonde matrix with $\sqrt{n}$ distinct columns, i.e. with non-negative rank at most $\sqrt{n}$. As a by-product of our work we establish a surprising connection between the convex relaxation in prior work (CSS19) and the well-studied Bethe and Sinkhorn approximations.

categories: cs.DS cs.IT cs.LG math.IT stat.CO stat.ML


title: Sparse modeling approach to obtaining the shear viscosity from smeared correlation functions

abstract: We propose the sparse modeling method to estimate the spectral function from the smeared correlation functions. We give a description of how to obtain the shear viscosity from the correlation function of the renormalized energy-momentum tensor (EMT) measured by the gradient flow method ($C(t,\tau)$) for the quenched QCD at finite temperature. The measurement of the renormalized EMT in the gradient flow method reduces a statistical uncertainty thanks to its property of the smearing. However, the smearing breaks the sum rule of the spectral function and the over-smeared data in the correlation function may have to be eliminated from the analyzing process of physical observables. In this work, we demonstrate that the sparse modeling analysis in the intermediate-representation basis (IR basis), which connects between the Matsubara frequency data and real frequency data. It works well even using very limited data of $C(t,\tau)$ only in the fiducial window of the gradient flow. We utilize the ADMM algorithm which is useful to solve the LASSO problem under some constraints. We show that the obtained spectral function reproduces the input smeared correlation function at finite flow-time. Several systematic and statistical errors and the flow-time dependence are also discussed.


title: Disorder solutions for generalized 2D Ising Model with multi-spin interaction

abstract: For generalized 2D Ising model in an external magnetic field with the interaction of nearest neighbors, next nearest neighbors, all kinds of triple interactions and the quadruple interaction the formulas for finding free energy per lattice site in the thermodynamic limit were derived on a certain set of exact disordered solutions depending on seven parameters. Lattice models are considered with boundary conditions with a shift (similar to helical ones), and with cyclic closure of the set of all points in natural ordering. The elementary transfer matrix with nonnegative matrix elements are constructed. On the set of disorder solutions the largest eigenvalue of the transfer matrix is constant for every size of considering planar lattice, and, in particular, in the thermodynamic limit. Free energy per lattice site in the thermodynamic limit is expressed through the natural logarithm of the largest eigenvalue of transfer matrix. This largest eigenvalue can be found for a special form of eigenvector with positive components. The numerical example show the existence of nontrivial solutions of the resulting systems of equations. The system of equations and the value of free energy in the thermodynamic limit will remain the same for 2D generalized Ising models with Hamiltonians, in which the values of two (out of four) neighboring maximal spins in the natural ordering are replaced by the values of the spins at any other two lattice points adjacent in the natural ordering, this significantly expands the set of models having disordered exact solutions. The high degree of symmetry and inductive construction of the components of the eigenvectors, which disappear when going beyond the framework of the obtained set of exact solutions, is an occasion to search for phase transitions in the vicinity of this set of disordered solutions.


title: Contrast-weighted Dictionary Learning Based Saliency Detection for Remote Sensing Images

abstract: Object detection is an important task in remote sensing image analysis. To reduce the computational complexity of redundant information and improve the efficiency of image processing, visual saliency models have been widely applied in this field. In this paper, a novel saliency detection model based on Contrast-weighted Dictionary Learning (CDL) is proposed for remote sensing images. Specifically, the proposed CDL learns salient and non-salient atoms from positive and negative samples to construct a discriminant dictionary, in which a contrast-weighted term is proposed to encourage the contrast-weighted patterns to be present in the learned salient dictionary while discouraging them from being present in the non-salient dictionary. Then, we measure the saliency by combining the coefficients of the sparse representation (SR) and reconstruction errors. Furthermore, by using the proposed joint saliency measure, a variety of saliency maps are generated based on the discriminant dictionary. Finally, a fusion method based on global gradient optimization is proposed to integrate multiple saliency maps. Experimental results on four datasets demonstrate that the proposed model outperforms other state-of-the-art methods.


title: Gradient-based Feature Extraction From Raw Bayer Pattern Images

abstract: In this paper, the impact of demosaicing on gradient extraction is studied and a gradient-based feature extraction pipeline based on raw Bayer pattern images is proposed. It is shown both theoretically and experimentally that the Bayer pattern images are applicable to the central difference gradient-based feature extraction algorithms without performance degradation, or even with superior performance in some cases. The color difference constancy assumption, which is widely used in various demosaicing algorithms, is applied in the proposed Bayer pattern image-based gradient extraction pipeline. Experimental results show that the gradients extracted from Bayer pattern images are robust enough to be used in histogram of oriented gradients (HOG)-based pedestrian detection algorithms and shift-invariant feature transform (SIFT)-based matching algorithms.


title: Translation and modulation invariant Hilbert spaces

abstract: We show that for any Hilbert space of distributions on $\textbf{R}^d$ which is translation and modulation invariant, is equal to $L^2(\textbf{R}^d)$, with the same norm apart from a multiplicative constant.


title: Refining the evaluation of eigen-emittances measured by the dedicated four-dimensional emittance scanner ROSE

abstract: A dedicated device to fully determine the four-dimensional beam matrix, called ROSE (ROtating System for Emittance measurements) was successfully commissioned. Results obtained with 83Kr13+ at 1.4 MeV/u are reported in Phys. Rev. Accel. Beams 19, 072802 (2016). Coupled moments were determined with an accuracy of about 10%, which is sufficiently low to reliably determine a lattice which could decouple the beam. However, the remaining uncertainty on the corresponding eigen emittances was still considerable high. The present paper reports on improvement of the evaluation procedure which lowers the inaccuracy of measured eigen emittances significantly to the percent level. The method is based on trimming directly measured data within their intrinsic measurement resolution such that the finally resulting quantity is determined with high precision.


title: Deep Space-Time Video Upsampling Networks

abstract: Video super-resolution (VSR) and frame interpolation (FI) are traditional computer vision problems, and the performance have been improving by incorporating deep learning recently. In this paper, we investigate the problem of jointly upsampling videos both in space and time, which is becoming more important with advances in display systems. One solution for this is to run VSR and FI, one by one, independently. This is highly inefficient as heavy deep neural networks (DNN) are involved in each solution. To this end, we propose an end-to-end DNN framework for the space-time video upsampling by efficiently merging VSR and FI into a joint framework. In our framework, a novel weighting scheme is proposed to fuse input frames effectively without explicit motion compensation for efficient processing of videos. The results show better results both quantitatively and qualitatively, while reducing the computation time (x7 faster) and the number of parameters (30%) compared to baselines.


title: Intrinsically patterned two-dimensional materials for selective adsorption of molecules and nanoclusters

abstract: Two-dimensional (2D) materials have been studied extensively as monolayers 1-5, vertical or lateral heterostructures 6-8. To achieve functionalization, monolayers are often patterned using soft lithography and selectively decorated with molecules 9,10. Here we demonstrate the growth of a family of 2D materials that are intrinsically patterned. We demonstrate that a monolayer of PtSe2 can be grown on a Pt substrate in the form of a triangular pattern of alternating 1T and 1H phases. Moreover, we show that, in a monolayer of CuSe grown on a Cu substrate, strain relaxation leads to periodic patterns of triangular nanopores with uniform size. Adsorption of different species at preferred pattern sites is also achieved, demonstrating that these materials can serve as templates for selective self-assembly of molecules or nanoclusters, as well as for the functionalization of the same substrate with two different species.


title: Class Anchor Clustering: a Loss for Distance-based Open Set Recognition

abstract: In open set recognition, deep neural networks encounter object classes that were unknown during training. Existing open set classifiers distinguish between known and unknown classes by measuring distance in a network's logit space, assuming that known classes cluster closer to the training data than unknown classes. However, this approach is applied post-hoc to networks trained with cross-entropy loss, which does not guarantee this clustering behaviour. To overcome this limitation, we introduce the Class Anchor Clustering (CAC) loss. CAC is a distance-based loss that explicitly trains known classes to form tight clusters around anchored class-dependent centres in the logit space. We show that training with CAC achieves state-of-the-art performance for distance-based open set classifiers on all six standard benchmark datasets, with a 15.2% AUROC increase on the challenging TinyImageNet, without sacrificing classification accuracy. We also show that our anchored class centres achieve higher open set performance than learnt class centres, particularly on object-based datasets and large numbers of training classes.


title: B-SCST: Bayesian Self-Critical Sequence Training for Image Captioning

abstract: Bayesian deep neural networks (DNNs) can provide a mathematically grounded framework to quantify uncertainty in predictions from image captioning models. We propose a Bayesian variant of policy-gradient based reinforcement learning training technique for image captioning models to directly optimize non-differentiable image captioning quality metrics such as CIDEr-D. We extend the well-known Self-Critical Sequence Training (SCST) approach for image captioning models by incorporating Bayesian inference, and refer to it as B-SCST. The "baseline" for the policy-gradients in B-SCST is generated by averaging predictive quality metrics (CIDEr-D) of the captions drawn from the distribution obtained using a Bayesian DNN model. We infer this predictive distribution using Monte Carlo (MC) dropout approximate variational inference. We show that B-SCST improves CIDEr-D scores on Flickr30k, MS COCO and VizWiz image captioning datasets, compared to the SCST approach. We also provide a study of uncertainty quantification for the predicted captions, and demonstrate that it correlates well with the CIDEr-D scores. To our knowledge, this is the first such analysis, and it can improve the interpretability of image captioning model outputs, which is critical for practical applications.


title: Ultradense Gases beyond Dusty Torus in a Partially Obscured Quasar

abstract: The co-evolution between black holes and galaxies suggests that feedback of active galactic nuclei influence host galaxies through ejecting radiative and kinetic energies to surroundings. Larger scale outflow in local universe are frequently observed by spatially resolved spectroscopy, while smaller scale outflow cannot be directly resolved by current observations. At the scale of the dusty torus, radiative and kinetic energies ejected from the central active nucleus interact with the materials. However, observations of such outflow are rarely reported due to the lack detection of unambiguously gas emission. Here we report the detection of clear and rich emission lines origin from the scale of dusty tours in an partially obscured quasar. The lines share a common intermediate width with full width at half maximum about 1900 \kmps\ and are shown in two systems: a major system is unshifted and a minor system has a blue-shifts of about 2600 \kmps. The line intensity ratios, combining photo-ionization simulations, indicates an ultradense line-emitting region with the density as high as $\sim$ $10^{13}~\rm cm^{-3}$. We interpret this as the lines being excited by a shock induced by the high-density and high-temperature gases at the scale of dusty torus, rather than photo-ionized by the central accretion disk. We speculate that the outflow, launched from the accretion disk, collides onto the inner wall of the dusty torus and shock-heat the gases to cause the major emission lines. The outflowing gases may also collide onto surrounding isolated clouds, and give rise to blue-shifted minor emission lines.


title: A historical note on the 3/2-approximation algorithm for the metric traveling salesman problem

abstract: One of the most fundamental results in combinatorial optimization is the polynomial-time 3/2-approximation algorithm for the metric traveling salesman problem. It was presented by Christofides in 1976 and is well known as "the Christofides algorithm". Recently, some authors started calling it "Christofides-Serdyukov algorithm", pointing out that it was published independently in the USSR in 1978. We provide some historic background on Serdyukov's findings and a translation of his article from Russian into English.


title: SelfORE: Self-supervised Relational Feature Learning for Open Relation Extraction

abstract: Open relation extraction is the task of extracting open-domain relation facts from natural language sentences. Existing works either utilize heuristics or distant-supervised annotations to train a supervised classifier over pre-defined relations, or adopt unsupervised methods with additional assumptions that have less discriminative power. In this work, we proposed a self-supervised framework named SelfORE, which exploits weak, self-supervised signals by leveraging large pretrained language model for adaptive clustering on contextualized relational features, and bootstraps the self-supervised signals by improving contextualized features in relation classification. Experimental results on three datasets show the effectiveness and robustness of SelfORE on open-domain Relation Extraction when comparing with competitive baselines.


title: Optimal Virtual Cluster-based Multiprocessor Scheduling

abstract: Scheduling of constrained deadline sporadic task systems on multiprocessor platforms is an area which has received much attention in the recent past. It is widely believed that finding an optimal scheduler is hard, and therefore most studies have focused on developing algorithms with good processor utilization bounds. These algorithms can be broadly classified into two categories: partitioned scheduling in which tasks are statically assigned to individual processors, and global scheduling in which each task is allowed to execute on any processor in the platform. In this paper we consider a third, more general, approach called cluster-based scheduling. In this approach each task is statically assigned to a processor cluster, tasks in each cluster are globally scheduled among themselves, and clusters in turn are scheduled on the multiprocessor platform. We develop techniques to support such cluster-based scheduling algorithms, and also consider properties that minimize total processor utilization of individual clusters. In the last part of this paper, we develop new virtual cluster-based scheduling algorithms. For implicit deadline sporadic task systems, we develop an optimal scheduling algorithm that is neither Pfair nor ERfair. We also show that the processor utilization bound of US-EDF{m/(2m-1)} can be improved by using virtual clustering. Since neither partitioned nor global strategies dominate over the other, cluster-based scheduling is a natural direction for research towards achieving improved processor utilization bounds.


title: Stochastic processes associated to multidimensional parabolic transmission problems in divergence form

abstract: In this note we define and study the stochastic process $X$ in link with a parabolic transmission operator $(A,D(A))$ in divergence form. The transmission operator involves a diffraction condition along a transmission boundary. To that aim we gather and clarify some results coming from the theory of Dirichlet forms as exposed in [6] and [14] for general divergence form operators. We show that $X$ is a semimartingale and that it is solution of a stochastic differential equation involving partial reflections in the co-normal directions along the transmission boundary.


title: TraDE: Transformers for Density Estimation

abstract: We present TraDE, a self-attention-based architecture for auto-regressive density estimation with continuous and discrete valued data. Our model is trained using a penalized maximum likelihood objective, which ensures that samples from the density estimate resemble the training data distribution. The use of self-attention means that the model need not retain conditional sufficient statistics during the auto-regressive process beyond what is needed for each covariate. On standard tabular and image data benchmarks, TraDE produces significantly better density estimates than existing approaches such as normalizing flow estimators and recurrent auto-regressive models. However log-likelihood on held-out data only partially reflects how useful these estimates are in real-world applications. In order to systematically evaluate density estimators, we present a suite of tasks such as regression using generated samples, out-of-distribution detection, and robustness to noise in the training data and demonstrate that TraDE works well in these scenarios.


title: MPC-Based Fast Frequency Control of Voltage Source Converters in Low-Inertia Power Systems

abstract: A rapid deployment of renewable generation has led to significant reduction in the rotational system inertia and damping, thus making frequency control in power systems more challenging. This paper proposes a novel control scheme based on Model Predictive Control (MPC) for converter-interfaced generators operating in a grid-forming mode, with the goal of exploiting their fast response capabilities to provide fast frequency control service to the system. The controller manipulates converter power injections to limit the frequency nadir and rate-of-change-of-frequency after a disturbance. Both centralized and decentralized MPC approaches are considered and compared in terms of performance and practical implementation. Special attention is given to the decentralized controller by generating an explicit MPC solution to enhance computational efficiency and reduce hardware requirements. Simulation results obtained from a high-fidelity differential-algebraic equation model of the IEEE 39-bus system demonstrate the effectiveness of the proposed control schemes.


title: Magnetic and vibronic THz excitations in Zn doped Fe$_{2}$Mo$_3$O$_8$

abstract: We report on optical excitations in the magnetically ordered phases of multiferroic Fe$_{1.86}$Zn$_{0.14}$Mo$_3$O$_8$ in the frequency range from 10-130 cm$^{-1}$ (0.3-3.9 THz). In the collinear easy-axis antiferromagnetic phase below $T_N=50$~K eleven optically active modes have been observed in finite magnetic fields, assuming that the lowest-lying mode is doubly degenerate. The large number of modes reflects either a more complex magnetic structure than in pure Fe$_{2}$Mo$_3$O$_8$ or that spin stretching modes become active in addition to the usual spin precessional modes. Their magnetic field dependence, for fields applied along the easy axis, reflects the irreversible magnetic-field driven phase transition from the antiferromagnetic ground state to a ferrimagnetic state, while the number of modes remains unchanged in the covered frequency region. We determined selection rules for some of the AFM modes by investigating all polarization configurations and identified magnetic- and electric-dipole active modes as well. In addition to these sharp resonances, a broad electric-dipole active excitation band, which is not influenced by the external magnetic field, occurs below $T_N$ with an onset at 12 cm$^{-1}$. We are able to model this absorption band as a vibronic excitation related to the lowest-lying Fe$^{2+}$ electronic states in tetrahedral environment.


title: ML-EM algorithm with known continuous movement model

abstract: In Positron Emission Tomography, movement leads to blurry reconstructions when not accounted for. Whether known a priori or estimated jointly to reconstruction, motion models are increasingly defined in continuum rather that in discrete, for example by means of diffeomorphisms. The present work provides both a statistical and functional analytic framework suitable for handling such models. It is based on time-space Poisson point processes as well as regarding images as measures, and allows to compute the maximum likelihood problem for line-of-response data with a known movement model. Solving the resulting optimisation problem, we derive an Maximum Likelihood Expectation Maximisation (ML-EM) type algorithm which recovers the classical ML-EM algorithm as a particular case for a static phantom. The algorithm is proved to be monotone and convergent in the low-noise regime. Simulations confirm that it correctly removes the blur that would have occurred if movement were neglected.


title: Large-time behavior of unbounded solutions of viscous Hamilton-Jacobi Equations in $\mathbb{R}^N$

abstract: We study the large-time behavior of bounded from below solutions of parabolic viscous Hamilton-Jacobi Equations in the whole space $\mathbb{R}^N$ in the case of superquadratic Hamiltonians. Existence and uniqueness of such solutions are shown in a very general framework, namely when the source term and the initial data are only bounded from below with an arbitrary growth at infinity. Our main result is that these solutions have an ergodic behavior when $t\to +\infty$, i.e., they behave like $\lambda^*t + \phi(x)$ where $\lambda^*$ is the maximal ergodic constant and $\phi$ is a solution of the associated ergodic problem. The main originality of this result comes from the generality of the data: in particular, the initial data may have a completely different growth at infinity from those of the solution of the ergodic problem.


title: Cosmological constraints on dark matter particle production rate

abstract: Gravitational particle production has been investigated by using Einstein's gravitational field equations in the presence of a cosmological constant. To study the mechanism of particle creation, the Universe has been considered as a thermodynamics system and non-equilibrium thermodynamics has been employed. In order to estimate the cosmological parameters with observational data, including SNe Ia, BAO, Planck 2015 and HST, we have chosen a phenomenological approach for the rate of particle creation. A non-zero particle production rate was obtained implying that the possibility of the particle production is consistent with recent cosmological observations. In the 1 sigma confidence interval, the ratio of Gamma/3H0 was obtained to be 0.0835.


title: Characterization of the June epsilon Ophiuchids meteoroid stream and the comet 300P/Catalina

abstract: Prior to 2019, the June epsilon Ophiuchids (JEO) were known as a minor unconfirmed meteor shower with activity that was considered typically moderate for bright fireballs. An unexpected bout of enhanced activity was observed in June 2019, which even raised the possibility that it was linked to the impact of the small asteroid 2019 MO near Puerto Rico. Early reports also point out the similarity of the shower to the orbit of the comet 300P/Catalina. We aim to analyze the orbits, emission spectra, and material strengths of JEO meteoroids to provide a characterization of this stream, identify its parent object, and evaluate its link to the impacting asteroid 2019 MO. Our analysis is based on a sample of 22 JEO meteor orbits and four emission spectra observed by the AMOS network at the Canary Islands and in Chile. The link to potential parent objects was evaluated using a combination of orbital-similarity D-criteria and backwards integration of the orbit of comet 300P and the JEO stream. We confirm the reports of an unexpected swarm of meteoroids originating in the JEO stream. JEO meteoroids have low material strengths characteristic for fragile cometary bodies, and they exhibit signs of a porous structure. The emission spectra reveal slightly increased iron content compared to all other measured cometary streams, but they are generally consistent with a primitive chondritic composition. Further dynamical analysis suggests that the JEO stream is likely to originate from comet 300P/Catalina and that it was formed within the last 1000 years. Over longer timescales, the meteoroids in the stream move to chaotic orbits due to the turbulent orbital evolution of the comet. Our results also suggest that the impact of the small asteroid 2019 MO on June 22 was not connected to the JEO activity.


title: A limitation on the KPT interpolation

abstract: We prove a limitation on a variant of the KPT theorem proposed for propositional proof systems by Pich and Santhanam (2020), for all proof systems that prove the disjointness of two NP sets that are hard to distinguish.


title: Score Predictor Factor Analysis as model for the identification of single-item indicators

abstract: Score Predictor Factor Analysis (SPFA) was introduced as a method that allows to compute factor score predictors that are -- under some conditions -- more highly correlated with the common factors resulting from factor analysis than the factor score predictors computed from the common factor model. In the present study, we investigate SPFA as a model in its own rights. In order to provide a basis for this, the properties and the utility of SPFA factor score predictors and the possibility to identify single-item indicators in SPFA loading matrices were investigated. Regarding the factor score predictors, the main result is that the best linear predictor of the score predictor factor analysis has not only perfect determinacy but is also correlation preserving. Regarding the SPFA loadings it was found in a simulation study that five or more population factors that are represented by only one variable with a rather substantial loading can more accurately be identified by means of SPFA than with conventional factor analysis. Moreover, the percentage of correctly identified single-item indicators was substantially larger for SPFA than for the common factor model. It is therefore argued that SPFA is a tool that can be especially helpful when very short scales or single-item indicators are to be identified.


title: A bio-inspired geometric model for sound reconstruction

abstract: The reconstruction mechanisms built by the human auditory system during sound reconstruction are still a matter of debate. The purpose of this study is to propose a mathematical model of sound reconstruction based on the functional architecture of the auditory cortex (A1). The model is inspired by the geometrical modelling of vision, which has undergone a great development in the last ten years. There are however fundamental dissimilarities, due to the different role played by the time and the different group of symmetries. The algorithm transforms the degraded sound in an 'image' in the time-frequency domain via a short-time Fourier transform. Such an image is then lifted in the Heisenberg group and it is reconstructed via a Wilson-Cowan differo-integral equation. Preliminary numerical experiments are provided, showing the good reconstruction properties of the algorithm on synthetic sounds concentrated around two frequencies.


title: An Analysis of the Utility of Explicit Negative Examples to Improve the Syntactic Abilities of Neural Language Models

abstract: We explore the utilities of explicit negative examples in training neural language models. Negative examples here are incorrect words in a sentence, such as "barks" in "*The dogs barks". Neural language models are commonly trained only on positive examples, a set of sentences in the training data, but recent studies suggest that the models trained in this way are not capable of robustly handling complex syntactic constructions, such as long-distance agreement. In this paper, using English data, we first demonstrate that appropriately using negative examples about particular constructions (e.g., subject-verb agreement) will boost the model's robustness on them, with a negligible loss of perplexity. The key to our success is an additional margin loss between the log-likelihoods of a correct word and an incorrect word. We then provide a detailed analysis of the trained models. One of our findings is the difficulty of object-relative clauses for RNNs. We find that even with our direct learning signals the models still suffer from resolving agreement across an object-relative clause. Augmentation of training sentences involving the constructions somewhat helps, but the accuracy still does not reach the level of subject-relative clauses. Although not directly cognitively appealing, our method can be a tool to analyze the true architectural limitation of neural models on challenging linguistic constructions.


title: The effect of shear stress reduction on endothelial cells: a microfluidic study of the actin cytoskeleton

abstract: Reduced blood flow, as occurring in ischemia or resulting from exposure to microgravity such as encountered in space flights, induces a decrease in the level of shear stress sensed by the endothelial cells forming the inner part of blood vessels. In the present study, we use a microvasculature-on-a-chip device in order to investigate in vitro the effect of such a reduction in shear stress on shear-adapted endothelial cells. We find that, within one hour of exposition to reduced wall shear stress, human umbilical vein endothelial cells undergo a reorganization of their actin skeleton, with a decrease in the number of stress fibers and actin being recruited into the cells' peripheral band, indicating a fairly fast change in cells' phenotype due to altered flow.


title: Extending the Choquet theory: Trace convexity

abstract: We introduce the notion of trace convexity for functions and respectively, for subsets of a compact topological space. This notion generalizes both classical convexity of vector spaces, as well as Choquet convexity for compact metric spaces. We provide new notions of trace-convexification for sets and functions as well as a general version of Krein-Milman theorem. We show that the class of upper semicontinuous convex-trace functions attaining their maximum at exactly one Choquet-boundary point is residual and we obtain several enhanced versions of the maximum principle which generalize both the classical Bauer's theorem as well as its abstract version in the Choquet theory. We illustrate our notions and results with concrete examples of three different types.


title: Non-equilibrium dynamics across the BEC-BCS crossover

abstract: We investigate the quench dynamics of strongly coupled superconductors within the time-dependent Gutzwiller approximation from the BCS to the BEC regime and evaluate the out-of-equilibrium transient spectral density and optical conductivity relevant for pump probe experiments. Fourier transformation of the order parameter dynamics reveals a frequency $\Omega_J$ which, as in the BCS case, is controlled by the spectral gap. However, we find a crossover from the BCS dynamics to a new strong coupling regime where a characteristic frequency $\Omega_U$, associated to double occupancy fluctuations controls the order parameter dynamics. The change of regime occurs close to a dynamical phase transition. Both, $\Omega_J$ and $\Omega_U$ give rise to a complex structure of self-driven slow Rabi oscillations which are visible in the non-equilibrium optical conductivity where also side bands appear due to the modulation of the double occupancy by superconducting amplitude oscillations. Analogous results apply to CDW and SDW systems.


title: Theoretical Study of the Anisotropy Spectra of the Valine Zwitterion and Glyceraldehyde

abstract: The electronic absorption (EA), circular dichroism (ECD), and anisotropy spectra of the L-valine zwitterion and D-glyceraldehyde are calculated by time-dependent density functional theory (TDDFT) with the M06-2X and B3LYP functionals. It is found that the absorption and ECD spectra from TDDFT/M06-2X agree well with experimental results measured from amorphous film of L-valine. Moreover, the calculations reproduce all three major peaks observed in the experimental anisotropy spectra. For D-glyceraldehyde, the TDDFT/M06-2X calculations indicate that the excitation wavelengths of the first excited state of 32 stable conformers distribute from 288 to 322 nm, giving rise to two ECD peaks with opposite signs centered at 288 nm and 322 nm. The very weak absorption of the first excited state (S1) induces two high peaks in the anisotropy spectra of D-glyceraldehyde, which should be seen in future experimental works.


title: Recent Progress in Basis Light-front Quantization

abstract: Basis Light-front Quantization (BLFQ) is a nonperturbative approach to quantum field theory. In this paper, we report our recent progress in applying BLFQ to the positronium system in QED and to the meson and the baryon system in QCD. We present preliminary results on the mass spectrum, light-front wave functions and other observables of these systems, where one dynamical gauge boson is retained for the positronium and meson systems.


title: Game on Random Environment, Mean-field Langevin System and Neural Networks

abstract: In this paper we study a type of games regularized by the relative entropy, where the players' strategies are coupled through a random environment variable. Besides the existence and the uniqueness of equilibria of such games, we prove that the marginal laws of the corresponding mean-field Langevin systems can converge towards the games' equilibria in different settings. As applications, the dynamic games can be treated as games on a random environment when one treats the time horizon as the environment. In practice, our results can be applied to analysing the stochastic gradient descent algorithm for deep neural networks in the context of supervised learning as well as for the generative adversarial networks.


title: Optimal Correlators for Detection and Estimation in Optical Receivers

abstract: Motivated by modern applications of light detection and ranging (LIDAR), we study the model of an optical receiver based on an avalanche photo-diode (APD), followed by electronic circuitry for detection of reflected optical signals and estimation of their delay.This model is known to be quite complicated as it consists of at least three different types of noise: thermal noise, shot noise, and multiplicative noise (excess noise) that stems from the random gain associated with the photo-multiplication of the APD. Consequently, the derivation of the optimal likelihood ratio test (LRT) associated with signal detection is a non-trivial task, which has no apparent exact closed--form solution. We consider instead a class of relatively simple detectors, that are based on correlating the noisy received signal with a given deterministic waveform, and our purpose is to characterize the optimal waveform in the sense of the best trade--off between the false-alarm (FA) error exponent and the missed-detection (MD) error exponent. In the same spirit, we also study the problem of estimating the delay on the basis of maximizing the correlation between the received signal and a time-shifted waveform, as a function of this time shift. We characterize the optimal correlator waveform that minimizes the mean square error (MSE) in the regime of high signal-to-noise ratio (SNR). The optimal correlator waveforms for detection and for estimation turn out to be different, but their limiting behavior is the same: when the thermal Gaussian noise is dominant, the optimal correlator waveform becomes proportional to the clean signal, but when the thermal noise is negligible compared to the other noises, then it becomes logarithmic function of the clean signal, as expected.


title: Influence of nuclear motion on resonant two-center photoionization

abstract: Photoionization of an atom in the presence of a neighboring atom of different species is studied. The latter first undergoes resonant photoexcitation, leading to an autoionizing state of the diatomic system. Afterwards, the excitation energy is transferred radiationlessly via a two-center Auger process to the other atom, causing its ionization. Assuming a fixed internuclear distance, it has been predicted theoretically that this indirect ionization pathway can strongly dominate over the direct photoionization. Here, we extend the theory of resonant two-center photoionization by including the nuclear motion in van-der-Waals molecules. An analytical formula is derived reflecting the influence of molecular vibrational dynamics on the relative strength of the two-center channel. For the specific example of Li-He dimers we show that the two-center autoionizing resonances are split by the nuclear motion into multiplets, with the resonance lines reaching a comparable level of enhancement over direct photoionization as is obtained in a model based on spatially fixed nuclei.


title: Robust 3D Self-portraits in Seconds

abstract: In this paper, we propose an efficient method for robust 3D self-portraits using a single RGBD camera. Benefiting from the proposed PIFusion and lightweight bundle adjustment algorithm, our method can generate detailed 3D self-portraits in seconds and shows the ability to handle subjects wearing extremely loose clothes. To achieve highly efficient and robust reconstruction, we propose PIFusion, which combines learning-based 3D recovery with volumetric non-rigid fusion to generate accurate sparse partial scans of the subject. Moreover, a non-rigid volumetric deformation method is proposed to continuously refine the learned shape prior. Finally, a lightweight bundle adjustment algorithm is proposed to guarantee that all the partial scans can not only "loop" with each other but also remain consistent with the selected live key observations. The results and experiments show that the proposed method achieves more robust and efficient 3D self-portraits compared with state-of-the-art methods.


title: Strong consistency of the nonparametric local linear regression estimation under censorship model

abstract: We introduce and study a local linear nonparametric regression estimator for censorship model. The main goal of this paper is, to establish the uniform almost sure consistency result with rate over a compact set for the new estimate. To support our theoretical result, a simulation study has been done to make comparison with the classical regression estimator.


title: Verifying Recurrent Neural Networks using Invariant Inference

abstract: Deep neural networks are revolutionizing the way complex systems are developed. However, these automatically-generated networks are opaque to humans, making it difficult to reason about them and guarantee their correctness. Here, we propose a novel approach for verifying properties of a widespread variant of neural networks, called recurrent neural networks. Recurrent neural networks play a key role in, e.g., natural language processing, and their verification is crucial for guaranteeing the reliability of many critical systems. Our approach is based on the inference of invariants, which allow us to reduce the complex problem of verifying recurrent networks into simpler, non-recurrent problems. Experiments with a proof-of-concept implementation of our approach demonstrate that it performs orders-of-magnitude better than the state of the art.


title: Spectral Rank, Feedback, Causality and the Indirect Method for CARMA Identification

abstract: Building on a recent paper by Georgiou and Lindquist [1] on the problem of rank deficiency of spectral densities and hidden dynamical relations after sampling of continuous-time stochastic processes, this paper is devoted to understanding related questions of feedback and Granger causality that affect stability properties. This then naturally connects to CARMA identification, where we remark on certain oversights in the literature.


title: Three Dimensional Imaging of Proton in Basis Light-Front Quantization

abstract: We employ an effective Hamiltonian that includes the transverse and longitudinal confinement and the one-gluon exchange interaction with fixed coupling constant. By solving the eigenvalue equation in basis light-front quantization (BLFQ), we generate the light-front wavefunctions (LFWFs) for the nucleon in the valence quark Fock space. Fitting the model parameters, we obtain high-quality descriptions of electromagnetic form factors and radius for proton while the results deviate somewhat from experimental data for neutron.


title: Independent sets of closure operations

abstract: In this paper independent sets of closure operations are introduced. We characterize minimal keys and antikeys of closure operations in terms of independent sets. We establish an expression on the connection between minimal keys and antikeys of closure operations based on independent sets. We construct two combinatorial algorithms for finding all minimal keys and all antikeys of a given closure operation based on independent sets. We estimate the time complexity of these algorithms. Finally, we give an NP-complete problem concerning nonkeys of closure operations.


title: Nonparametric local linear estimation of the relative error regression function for censorship model

abstract: In this paper, we built a new nonparametric regression estimator with the local linear method by using the mean squared relative error as a loss function when the data are subject to random right censoring. We establish the uniform almost sure consistency with rate over a compact set of the proposed estimator. Some simulations are given to show the asymptotic behavior of the estimate in different cases.


title: First-principles study of two-dimensional electron and hole gases at the head-to-head and tail-to-tail 180$^\circ$ domain walls in PbTiO$_{3}$ ferroelectric thin films

abstract: We study from first-principles the structural and electronic properties of head-to-head (HH) and tail-to-tail (TT) 180$^\circ$ domain walls in isolated free-standing PbTiO$_{3}$ slabs. For sufficiently thick domains ($n$ = 16 unit cells of PbTiO$_{3}$), a transfer of charge from the free surfaces to the domain walls to form localized electron (in the HH) and hole (in the TT) gases in order to screen the bound polarization charges is observed. The electrostatic driving force behind this electronic reconstruction is clearly visible from the perfect match between the smoothed free charge densities and the bound charge distribution, computed from a finite difference of the polarization profile obtained after the relaxation of the lattice degrees of freedom. The domain wall widths, of around six unit cells, are larger than in the conventional 180$^\circ$ neutral configurations. Since no oxygen vacancies, defects or dopant atoms are introduced in our simulations, all the previous physical quantities are the intrinsic limits of the system. Our results support the existence of an extra source of charge at the domains walls to explain the enhancement of the conductivity observed in some domains walls of prototypical, insulating in bulk, perovskite oxides.


title: Knotted surfaces as vanishing sets of polynomials

abstract: We present an algorithm that takes as input any element $B$ of the loop braid group and constructs a polynomial $f:\mathbb{R}^5\to\mathbb{R}^2$ such that the intersection of the vanishing set of $f$ and the unit 4-sphere contains the closure of $B$. The polynomials can be used to create real analytic time-dependent vector fields with zero divergence and closed flow lines that move as prescribed by $B$. We also show how a family of surface braids in $\mathbb{C}\times S^1\times S^1$ without branch points can be constructed as the vanishing set of a holomorphic polynomial $f:\mathbb{C}^3\to\mathbb{C}$ on $\mathbb{C}\times S^1\times S^1\subset\mathbb{C}^3$. Both constructions allow us to give upper bounds on the degree of the polynomials.


title: Minimal cost-time strategies for population replacement using the IIT

abstract: Vector control plays a central role in the fight against vector-borne diseases and, in particular, arboviruses. The use of the endosymbiotic bacterium Wolbachia has proven effective in preventing the transmission of some of these viruses between mosquitoes and humans, making it a promising control tool. The Incompatible Insect Technique (IIT) consists in replacing the wild population by a population carrying the aforementioned bacterium, thereby preventing outbreaks of the associated vector-borne diseases. In this work, we consider a two species model incorporating both Wolbachia infected and wild mosquitoes. Our system can be controlled thanks to a term representing an artificial introduction of Wolbachia-infected mosquitoes. Under the assumption that the birth rate of mosquitoes is high, we may reduce the model to a simpler one on the proportion of infected mosquitoes. We investigate minimal cost-time strategies to achieve a population replacement both analytically and numerically for the simplified 1D model and only numerically for the full 2D system


title: Risk-Averse Equilibrium Analysis and Computation

abstract: We consider two market designs for a network of prosumers, trading energy: (i) a centralized design which acts as a benchmark, and (ii) a peer-to-peer market design. High renewable energy penetration requires that the energy market design properly handles uncertainty. To that purpose, we consider risk neutral models for market designs (i), (ii), and their risk-averse interpretations in which prosumers are endowed with coherent risk measures reflecting heterogeneity in their risk attitudes. We characterize analytically risk-neutral and risk-averse equilibrium in terms of existence and uniqueness , relying on Generalized Nash Equilibrium and Variational Equilibrium as solution concepts. To hedge their risk towards uncertainty and complete the market, prosumers can trade financial contracts. We provide closed form characterisations of the risk-adjusted probabilities under different market regimes and a distributed algorithm for risk trading mechanism relying on the Generalized potential game structure of the problem. The impact of risk heterogeneity and financial contracts on the prosumers' expected costs are analysed numerically in a three node network and the IEEE 14-bus network.


title: Fractional $BV$ solutions for $2\times 2$ systems of conservation laws with a linearly degenerate field

abstract: The class of $2\times 2$ nonlinear hyperbolic systems with one genuinely nonlinear field and one linearly degenerate field are considered. Existence of global weak solutions for small initial data in fractional BV spaces $BV^s$ is proved. The exponent $s$ is related to the usual fractional Sobolev derivative. Riemann invariants $w$ and $z$ corresponding respectively to the genuinely nonlinear component and to the linearly degenerate component play different key roles in this work. We obtain the existence of a global weak solution provided that the initial data written in Riemann coordinates $ (w_0,z_0)$ are small in $ BV^s \times L^\infty $, $1/3 \leq s<1$. The restriction on the exponent $s$ is due to a fundamental result of P.D. Lax, the variation of the Riemann invariant $z$ on the Lax shock curve depends in a cubic way of the variation of the other Riemann invariant $w$.


title: Schwinger's Picture of Quantum Mechanics IV: Composition and independence

abstract: The groupoids description of Schwinger's picture of quantum mechanics is continued by discussing the closely related notions of composition of systems, subsystems, and their independence. Physical subsystems have a neat algebraic description as subgroupoids of the Schwinger's groupoid of the system. The groupoids picture offers two natural notions of composition of systems: Direct and free products of groupoids, that will be analyzed in depth as well as their universal character. Finally, the notion of independence of subsystems will be reviewed, finding that the usual notion of independence, as well as the notion of free independence, find a natural realm in the groupoids formalism. The ideas described in this paper will be illustrated by using the EPRB experiment. It will be observed that, in addition to the notion of the non-separability provided by the entangled state of the system, there is an intrinsic `non-separability' associated to the impossibility of identifying the entangled particles as subsystems of the total system.


title: Detect Axial Gauge Fields with a Calorimeter

abstract: Torsional strain in Weyl semimetals excites a unidirectional chiral density wave propagating in the direction of the torsional vector. This gapless excitation, named the chiral sound wave, is generated by a particular realization of the axial anomaly via the triple-axial (AAA) anomalous diagram. We show that the presence of the torsion-generated chiral sound leads to a linear behavior of the specific heat of a Weyl semimetal and to an enhancement of the thermal conductivty at experimentally accessible temperatures. We also demonstrate that such an elastic twist lowers the temperature of the sample, thus generating a new, anomalous type of elasto-calorific effect. Measurements of these thermodynamical effects will provide experimental verification of the exotic triple-axial anomaly as well as the reality of the elastic pseudomagnetic fields in Weyl semimetals.


title: Concentration estimates for finite expansions of spherical harmonics on two-point homogeneous spaces via the large sieve principle

abstract: We study the concentration problem on compact two-point homogeneous spaces of finite expansions of eigenfunctions of the Laplace-Beltrami operator using large sieve methods. We derive upper bounds for concentration in terms of the maximum Nyquist density. Our proof uses estimates of the spherical harmonics basis coefficients of certain zonal filters and an ordering result for Jacobi polynomials for arguments close to one.


title: Newton polyhedra and order of contact on real hypersurfaces

abstract: The purpose of this paper is to investigate order of contact on real hypersurfaces in ${\mathbb C}^n$ by using Newton polyhedra which are important notion in the study of singularity theory. To be more precise, an equivalence condition for the equality of regular type and singular type is given by using the Newton polyhedron of a defining function for the respective hypersurface. Furthermore, a sufficient condition for this condition, which is more useful, is also given. This sufficient condition is satisfied by many earlier known cases (convex domains, pseudoconvex Reinhardt domains and pseudoconvex domains whose regular types are 4, etc.). Under the above conditions, the values of the types can be directly seen in a simple geometrical information from the Newton polyhedron.


title: Greedy Block Gauss-Seidel Methods for Solving Large Linear Least Squares Problem

abstract: With a greedy strategy to construct control index set of coordinates firstly and then choosing the corresponding column submatrix in each iteration, we present a greedy block Gauss-Seidel (GBGS) method for solving large linear least squares problem. Theoretical analysis demonstrates that the convergence factor of the GBGS method can be much smaller than that of the greedy randomized coordinate descent (GRCD) method proposed recently in the literature. On the basis of the GBGS method, we further present a pseudoinverse-free greedy block Gauss-Seidel method, which doesn't need to calculate the Moore-Penrose pseudoinverse of the column submatrix in each iteration any more and hence can be achieved greater acceleration. Moreover, this method can also be used for distributed implementations. Numerical experiments show that, for the same accuracy, our methods can far outperform the GRCD method in terms of the iteration number and computing time.


title: Anyonic molecules in atomic fractional quantum Hall liquids: a quantitative probe of fractional charge and anyonic statistics

abstract: We study the quantum dynamics of massive impurities embedded in a strongly interacting two-dimensional atomic gas driven into the fractional quantum Hall (FQH) regime under the effect of a synthetic magnetic field. For suitable values of the atom-impurity interaction strength, each impurity can capture one or more quasi-hole excitations of the FQH liquid, forming a bound molecular state with novel physical properties. An effective Hamiltonian for such anyonic molecules is derived within the Born-Oppenheimer approximation, which provides renormalized values for their effective mass, charge and statistics by combining the finite mass of the impurity with the fractional charge and statistics of the quasi-holes. The renormalized mass and charge of a single molecule can be extracted from the cyclotron orbit that it describes as a free particle in a magnetic field. The anyonic statistics introduces a statistical phase between the direct and exchange scattering channels of a pair of indistinguishable colliding molecules, and can be measured from the angular position of the interference fringes in the differential scattering cross section. Implementations of such schemes beyond cold atomic gases are highlighted, in particular in photonic systems.


title: Vanishing Point Guided Natural Image Stitching

abstract: Recently, works on improving the naturalness of stitching images gain more and more extensive attention. Previous methods suffer the failures of severe projective distortion and unnatural rotation, especially when the number of involved images is large or images cover a very wide field of view. In this paper, we propose a novel natural image stitching method, which takes into account the guidance of vanishing points to tackle the mentioned failures. Inspired by a vital observation that mutually orthogonal vanishing points in Manhattan world can provide really useful orientation clues, we design a scheme to effectively estimate prior of image similarity. Given such estimated prior as global similarity constraints, we feed it into a popular mesh deformation framework to achieve impressive natural stitching performances. Compared with other existing methods, including APAP, SPHP, AANAP, and GSP, our method achieves state-of-the-art performance in both quantitative and qualitative experiments on natural image stitching.


title: External triangulation of the homotopy category of exact quasi-category

abstract: Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.


title: A Count Sketch Kaczmarz Method For Solving Large Overdetermined Linear Systems

abstract: In this paper, combining count sketch and maximal weighted residual Kaczmarz method, we propose a fast randomized algorithm for large overdetermined linear systems. Convergence analysis of the new algorithm is provided. Numerical experiments show that, for the same accuracy, our method behaves better in computing time compared with the state-of-the-art algorithm.


title: What If Your Car Would Care? Exploring Use Cases For Affective Automotive User Interfaces

abstract: In this paper we present use cases for affective user interfaces (UIs) in cars and how they are perceived by potential users in China and Germany. Emotion-aware interaction is enabled by the improvement of ubiquitous sensing methods and provides potential benefits for both traffic safety and personal well-being. To promote the adoption of affective interaction at an international scale, we developed 20 mobile in-car use cases through an inter-cultural design approach and evaluated them with 65 drivers in Germany and China. Our data shows perceived benefits in specific areas of pragmatic quality as well as cultural differences, especially for socially interactive use cases. We also discuss general implications for future affective automotive UI. Our results provide a perspective on cultural peculiarities and a concrete starting point for practitioners and researchers working on emotion-aware interfaces.


title: On an optimal interpolation formula in $K_2(P_2)$ space

abstract: The paper is devoted to the construction of an optimal interpolation formula in $K_2(P_2)$ Hilbert space. Here the interpolation formula consists of a linear combination $\sum_{\beta=0}^NC_{\beta}(z)\varphi(x_\beta)$ of given values of a function $\varphi$ from the space $K_2(P_2)$. The difference between functions and the interpolation formula is considered as a linear functional called the error functional. The error of the interpolation formula is estimated by the norm of the error functional. We obtain the optimal interpolation formula by minimizing the norm of the error functional by coefficients $C_{\beta}(z)$ of the interpolation formula. The obtained optimal interpolation formula is exact for trigonometric functions $\sin\omega x$ and $\cos\omega x$. At the end of the paper, we give some numerical results which confirm our theoretical results.


title: Existence of exponentially growing finite energy solutions for the charged Klein-Gordon equation on the De Sitter-Kerr-Newman metric

abstract: We show the existence of exponentially growing finite energy solutions for the charged Klein-Gordon equation on the De Sitter-Kerr-Newman metric for small charge and mass of the field and small angular momentum of the black hole. The mechanism behind is that the zero resonance that exists for zero charge, mass and angular momentum moves into the upper half plane.


title: A Double-Layer Jacobi Method for PDE-Constrained Nonlinear Model Predictive Control

abstract: This paper presents a real-time optimization method for nonlinear model predictive control (NMPC) of systems governed by partial differential equations (PDEs). The NMPC problem to be solved is formulated by discretizing the PDE system in space and time by using the finite difference method. The proposed method is called the double-layer Jacobi method, which exploits both the spatial and temporal sparsities of the PDE-constrained NMPC problem. In the upper layer, the NMPC problem is solved by ignoring the temporal couplings of either the state or costate (Lagrange multiplier corresponding to the state equation) equations so that the spatial sparsity is preserved. The lower-layer Jacobi method is a linear solver dedicated to PDE-constrained NMPC problems by exploiting the spatial sparsity. Convergence analysis indicates that the convergence of the proposed method is related to the prediction horizon and regularization. Results of a numerical experiment of controlling a heat transfer process show that the proposed method is two orders of magnitude faster than the conventional structure-exploiting Newton's method.


title: Two-level systems in superconducting quantum devices due to trapped quasiparticles

abstract: A major issue for the implementation of large scale superconducting quantum circuits is the interaction with interfacial two-level system defects (TLS) that leads to qubit relaxation and impedes qubit operation in certain frequency ranges that also drift in time. Another major challenge comes from non-equilibrium quasiparticles (QPs) that result in qubit dephasing and relaxation. In this work we show that such QPs can also serve as a source of TLS. Using spectral and temporal mapping of TLS-induced fluctuations in frequency tunable resonators, we identify a subset of the general TLS population that are highly coherent TLS with a low reconfiguration temperature $\sim$ 300 mK, and a non-uniform density of states. These properties can be understood if these TLS are formed by QPs trapped in shallow subgap states formed by spatial fluctutations of the superconducting order parameter $\Delta$. Magnetic field measurements of one such TLS reveals a link to superconductivity. Our results imply that trapped QPs can induce qubit relaxation.


title: New molecular species at redshift z=0.89

abstract: We present the first detections of CH3SH, C3H+, C3N, HCOOH, CH2CHCN, and H2CN in an extragalactic source. Namely the spiral arm of a galaxy located at z=0.89 on the line of sight to the radio-loud quasar PKS 1830-211. OCS, SO2, and NH2CN were also detected, raising the total number of molecular species identified in that early time galaxy to 54, not counting isotopologues. The detections were made in absorption against the SW quasar image, at 2 kpc from the galaxy centre, over the course of a Q band spectral line survey made with the Yebes 40 m telescope (rest-frame frequencies: 58.7-93.5 GHz). We derived the rotational temperatures and column densities of those species, which are found to be subthermally excited. The molecular abundances, and in particular the large abundances of C3H+ and of several previously reported cations, are characteristic of diffuse or translucent clouds with enhanced UV radiation or strong shocks.


title: Long-lived and disorder-free charge transfer states enable endothermic charge separation in efficient non-fullerene organic solar cells

abstract: Organic solar cells (OSCs) based on non-fullerene acceptors can show high charge generation yields despite near-zero donor-acceptor energy offsets to drive charge separation and overcome the mutual Coulomb attraction between electron and hole. Here we use time-resolved optical spectroscopy to show that free charges in these systems are generated by thermally activated dissociation of interfacial charge-transfer excitons (CTEs) that occurs over hundreds of picoseconds at room temperature, three orders of magnitude slower than comparable fullerene-based systems. Upon free electron-hole encounters at later times, CTEs and emissive excitons are regenerated, thus setting up an equilibrium between excitons, CTEs and free charges. This endothermic charge separation process enables these systems to operate close to quasi-thermodynamic equilibrium conditions with no requirement for energy offsets to drive charge separation and achieve greatly suppressed non-radiative recombination.


title: Fusing Online Gaussian Process-Based Learning and Control for Scanning Quantum Dot Microscopy

abstract: Elucidating electrostatic surface potentials contributes to a deeper understanding of the nature of matter and its physicochemical properties, which is the basis for a wide field of applications. Scanning quantum dot microscopy, a recently developed technique allows to measure such potentials with atomic resolution. For an efficient deployment in scientific practice, however, it is essential to speed up the scanning process. To this end we employ a two-degree-of-freedom control paradigm, in which a Gaussian process is used as the feedforward part. We present a tailored online learning scheme of the Gaussian process, adapted to scanning quantum dot microscopy, that includes hyperparameter optimization during operation to enable fast and precise scanning of arbitrary surface structures. For the potential application in practice, the accompanying computational cost is reduced evaluating different sparse approximation approaches. The fully independent training conditional approximation, used on a reduced set of active training data, is found to be the most promising approach.


title: On-device Filtering of Social Media Images for Efficient Storage

abstract: Artificially crafted images such as memes, seasonal greetings, etc are flooding the social media platforms today. These eventually start occupying a lot of internal memory of smartphones and it gets cumbersome for the user to go through hundreds of images and delete these synthetic images. To address this, we propose a novel method based on Convolutional Neural Networks (CNNs) for the on-device filtering of social media images by classifying these synthetic images and allowing the user to delete them in one go. The custom model uses depthwise separable convolution layers to achieve low inference time on smartphones. We have done an extensive evaluation of our model on various camera image datasets to cover most aspects of images captured by a camera. Various sorts of synthetic social media images have also been tested. The proposed solution achieves an accuracy of 98.25% on the Places-365 dataset and 95.81% on the Synthetic image dataset that we have prepared containing 30K instances.


title: Trust-based Multiagent Consensus or Weightings Aggregation

abstract: We introduce a framework for reaching a consensus amongst several agents communicating via a trust network on conflicting information about their environment. We formalise our approach and provide an empirical and theoretical analysis of its properties.


title: A quasi-Monte Carlo data compression algorithm for machine learning

abstract: We introduce an algorithm to reduce large data sets using so-called digital nets, which are well distributed point sets in the unit cube. These point sets together with weights, which depend on the data set, are used to represent the data. We show that this can be used to reduce the computational effort needed in finding good parameters in machine learning algorithms. To illustrate our method we provide some numerical examples for neural networks.


title: Fundamental limit of phase coherence in two-component Bose-Einstein condensates

abstract: We experimentally and theoretically study phase coherence in two-component Bose-Einstein condensates of $^{87}{\rm Rb}$ atoms on an atom chip. Using Ramsey interferometry we measure the temporal decay of coherence between the $|F=1,m_{F}=-1\rangle$ and $|F=2,m_{F}=+1\rangle$ hyperfine ground states. We observe that the coherence is limited by random collisional phase shifts due to the stochastic nature of atom loss. The mechanism is confirmed quantitatively by a quantum trajectory method based on a master equation which takes into account collisional interactions, atom number fluctuations, and losses in the system. This decoherence process can be slowed down by reducing the density of the condensate. Our findings are relevant for experiments on quantum metrology and many-particle entanglement with Bose-Einstein condensates and the development of chip-based atomic clocks.


title: A Generalized Multi-Task Learning Approach to Stereo DSM Filtering in Urban Areas

abstract: City models and height maps of urban areas serve as a valuable data source for numerous applications, such as disaster management or city planning. While this information is not globally available, it can be substituted by digital surface models (DSMs), automatically produced from inexpensive satellite imagery. However, stereo DSMs often suffer from noise and blur. Furthermore, they are heavily distorted by vegetation, which is of lesser relevance for most applications. Such basic models can be filtered by convolutional neural networks (CNNs), trained on labels derived from digital elevation models (DEMs) and 3D city models, in order to obtain a refined DSM. We propose a modular multi-task learning concept that consolidates existing approaches into a generalized framework. Our encoder-decoder models with shared encoders and multiple task-specific decoders leverage roof type classification as a secondary task and multiple objectives including a conditional adversarial term. The contributing single-objective losses are automatically weighted in the final multi-task loss function based on learned uncertainty estimates. We evaluated the performance of specific instances of this family of network architectures. Our method consistently outperforms the state of the art on common data, both quantitatively and qualitatively, and generalizes well to a new dataset of an independent study area.


title: Adaptive Social Learning

abstract: This work proposes a novel strategy for social learning by introducing the critical feature of adaptation. In social learning, several distributed agents update continually their belief about a phenomenon of interest through: i) direct observation of streaming data that they gather locally; and ii) diffusion of their beliefs through local cooperation with their neighbors. Traditional social learning implementations are known to learn well the underlying hypothesis (which means that the belief of every individual agent peaks at the true hypothesis), achieving steady improvement in the learning accuracy under stationary conditions. However, these algorithms do not perform well under nonstationary conditions commonly encountered in online learning, exhibiting a significant inertia to track drifts in the streaming data. In order to address this gap, we propose an Adaptive Social Learning (ASL) strategy, which relies on a small step-size parameter to tune the adaptation degree. First, we provide a detailed characterization of the learning performance by means of a steady-state analysis. Focusing on the small step-size regime, we establish that the ASL strategy achieves consistent learning under standard global identifiability assumptions. We derive reliable Gaussian approximations for the probability of error (i.e., of choosing a wrong hypothesis) at each individual agent. We carry out a large deviations analysis revealing the universal behavior of adaptive social learning: the error probabilities decrease exponentially fast with the inverse of the step-size, and we characterize the resulting exponential learning rate. Second, we characterize the adaptation performance by means of a detailed transient analysis, which allows us to obtain useful analytical formulas relating the adaptation time to the step-size.


title: Implementing two-photon three-degree-of-freedom hyper-parallel controlled phase flip gate through cavity-assisted interactions

abstract: Hyper-parallel quantum information processing is a promising and beneficial research field. In this paper, we present a method to implement a hyper-parallel controlled-phase-flip (hyper-CPF) gate for frequency-, spatial-, and time-bin-encoded qubits by coupling flying photons to trapped nitrogen vacancy (NV) defect centers. The scheme, which differs from their conventional parallel counterparts, is specifically advantageous in decreasing against the dissipate noise, increasing the quantum channel capacity, and reducing the quantum resource overhead. The gate qubits with frequency, spatial, and time-bin degrees of freedom (DOF) are immune to quantum decoherence in optical fibers, whereas the polarization photons are easily disturbed by the ambient noise.


title: Formation of secondary atmospheres on terrestrial planets by late disk accretion

abstract: Recently, gas disks have been discovered around main sequence stars well beyond the usual protoplanetary disk lifetimes (i.e., > 10 Myrs), when planets have already formed. These gas disks, mainly composed of CO, carbon, and oxygen seem to be ubiquitous in systems with planetesimal belts (similar to our Kuiper belt), and can last for hundreds of millions of years. Planets orbiting in these gas disks will accrete a large quantity of gas that will transform their primordial atmospheres into new secondary atmospheres with compositions similar to that of the parent gas disk. Here, we quantify how large a secondary atmosphere can be created for a variety of observed gas disks and for a wide range of planet types. We find that gas accretion in this late phase is very significant and an Earth's atmospheric mass of gas is readily accreted on terrestrial planets in very tenuous gas disks. In slightly more massive disks, we show that massive CO atmospheres can be accreted, forming planets with up to sub-Neptune-like pressures. Our new results demonstrate that new secondary atmospheres with high metallicities and high C/O ratios will be created in these late gas disks, resetting their primordial compositions inherited from the protoplanetary disk phase, and providing a new birth to planets that lost their atmosphere to photoevaporation or giant impacts. We therefore propose a new paradigm for the formation of atmospheres on low-mass planets, which can be tested with future observations (JWST, ELT, ARIEL). We also show that this late accretion would show a very clear signature in Sub-Neptunes or cold exo-Jupiters. Finally, we find that accretion creates cavities in late gas disks, which could be used as a new planet detection method, for low mass planets a few au to a few tens of au from their host stars.


title: Stable Boundary Conditions and Discretization for PN Equations

abstract: A solution to the linear Boltzmann equation satisfies an energy bound, which reflects a natural fact: The energy of particles in a finite volume is bounded in time by the energy of particles initially occupying the volume augmented by the energy transported into the volume by particles entering the volume over time. In this paper, we present boundary conditions (BCs) for the spherical harmonic (PN) approximation, which ensure that this fundamental energy bound is satisfied by the PN approximation. Our BCs are compatible with the characteristic waves of PN equations and determine the incoming waves uniquely. Both, energy bound and compatibility, are shown based on abstract formulations of PN equations and BCs to isolate the necessary structures and properties. The BCs are derived from a Marshak type formulation of BC and base on a non-classical even/odd-classification of spherical harmonic functions and a stabilization step, which is similar to the truncation of the series expansion in the PN method. We show that summation by parts (SBP) finite differences on staggered grids in space and the method of simultaneous approximation terms (SAT) allows to maintain the energy bound also on the semi-discrete level.


title: Image-based phenotyping of diverse Rice (Oryza Sativa L.) Genotypes

abstract: Development of either drought-resistant or drought-tolerant varieties in rice (Oryza sativa L.), especially for high yield in the context of climate change, is a crucial task across the world. The need for high yielding rice varieties is a prime concern for developing nations like India, China, and other Asian-African countries where rice is a primary staple food. The present investigation is carried out for discriminating drought tolerant, and susceptible genotypes. A total of 150 genotypes were grown under controlled conditions to evaluate at High Throughput Plant Phenomics facility, Nanaji Deshmukh Plant Phenomics Centre, Indian Council of Agricultural Research-Indian Agricultural Research Institute, New Delhi. A subset of 10 genotypes is taken out of 150 for the current investigation. To discriminate against the genotypes, we considered features such as the number of leaves per plant, the convex hull and convex hull area of a plant-convex hull formed by joining the tips of the leaves, the number of leaves per unit convex hull of a plant, canopy spread - vertical spread, and horizontal spread of a plant. We trained You Only Look Once (YOLO) deep learning algorithm for leaves tips detection and to estimate the number of leaves in a rice plant. With this proposed framework, we screened the genotypes based on selected traits. These genotypes were further grouped among different groupings of drought-tolerant and drought susceptible genotypes using the Ward method of clustering.


title: Universal spectra of the disjoint union of regular graphs

abstract: A universal adjacency matrix of a graph $G$ with adjacency matrix $A$ is any matrix of the form $U = \alpha A + \beta I + \gamma J + \delta D$ with $\alpha \neq 0$, where $I$ is the identity matrix, $J$ is the all-ones matrix and $D$ is the diagonal matrix with the vertex degrees. In the case that $G$ is the disjoint union of regular graphs, we present an expression for the characteristic polynomials of the various universal adjacency matrices in terms of the characteristic polynomials of the adjacency matrices of the components. As a consequence we obtain a formula for the characteristic polynomial of the Seidel matrix of $G$, and the signless Laplacian of the complement of $G$ (i.e. the join of regular graphs).


title: On the number of quadratic twists with a rational point of almost minimal height

abstract: We investigate the number of curves having a rational point of almost minimal height in the family of quadratic twists of a given elliptic curve. This problem takes its origin in the work of Hooley, who asked this question in the setting of real quadratic fields. In particular, he showed an asymptotic estimate for the number of such fields with almost minimal fundamental unit. Our main result establishes the analogue asymptotic formula in the setting of quadratic twists of a fixed elliptic curve.


title: Cascaded Deep Video Deblurring Using Temporal Sharpness Prior

abstract: We present a simple and effective deep convolutional neural network (CNN) model for video deblurring. The proposed algorithm mainly consists of optical flow estimation from intermediate latent frames and latent frame restoration steps. It first develops a deep CNN model to estimate optical flow from intermediate latent frames and then restores the latent frames based on the estimated optical flow. To better explore the temporal information from videos, we develop a temporal sharpness prior to constrain the deep CNN model to help the latent frame restoration. We develop an effective cascaded training approach and jointly train the proposed CNN model in an end-to-end manner. We show that exploring the domain knowledge of video deblurring is able to make the deep CNN model more compact and efficient. Extensive experimental results show that the proposed algorithm performs favorably against state-of-the-art methods on the benchmark datasets as well as real-world videos.


title: Variable Shift SDD: A More Succinct Sentential Decision Diagram

abstract: The Sentential Decision Diagram (SDD) is a tractable representation of Boolean functions that subsumes the famous Ordered Binary Decision Diagram (OBDD) as a strict subset. SDDs are attracting much attention because they are more succinct than OBDDs, as well as having canonical forms and supporting many useful queries and transformations such as model counting and Apply operation. In this paper, we propose a more succinct variant of SDD named Variable Shift SDD (VS-SDD). The key idea is to create a unique representation for Boolean functions that are equivalent under a specific variable substitution. We show that VS-SDDs are never larger than SDDs and there are cases in which the size of a VS-SDD is exponentially smaller than that of an SDD. Moreover, despite such succinctness, we show that numerous basic operations that are supported in polytime with SDD are also supported in polytime with VS-SDD. Experiments confirm that VS-SDDs are significantly more succinct than SDDs when applied to classical planning instances, where inherent symmetry exists.


title: Model-free Data-Driven Computational Mechanics Enhanced by Tensor Voting

abstract: The data-driven computing paradigm initially introduced by Kirchdoerfer & Ortiz (2016) is extended by incorporating locally linear tangent spaces into the data set. These tangent spaces are constructed by means of the tensor voting method introduced by Mordohai & Medioni (2010) which improves the learning of the underlying structure of a data set. Tensor voting is an instance-based machine learning technique which accumulates votes from the nearest neighbors to build up second-order tensors encoding tangents and normals to the underlying data structure. The here proposed second-order data-driven paradigm is a plug-in method for distance-minimizing as well as entropy-maximizing data-driven schemes. Like its predecessor, the resulting method aims to minimize a suitably defined free energy over phase space subject to compatibility and equilibrium constraints. The method's implementation is straightforward and numerically efficient since the data structure analysis is performed in an offline step. Selected numerical examples are presented that establish the higher-order convergence properties of the data-driven solvers enhanced by tensor voting for ideal and noisy data sets.


title: Bringing GNU Emacs to Native Code

abstract: Emacs Lisp (Elisp) is the Lisp dialect used by the Emacs text editor family. GNU Emacs can currently execute Elisp code either interpreted or byte-interpreted after it has been compiled to byte-code. In this work we discuss the implementation of an optimizing compiler approach for Elisp targeting native code. The native compiler employs the byte-compiler's internal representation as input and exploits libgccjit to achieve code generation using the GNU Compiler Collection (GCC) infrastructure. Generated executables are stored as binary files and can be loaded and unloaded dynamically. Most of the functionality of the compiler is written in Elisp itself, including several optimization passes, paired with a C back-end to interface with the GNU Emacs core and libgccjit. Though still a work in progress, our implementation is able to bootstrap a functional Emacs and compile all lexically scoped Elisp files, including the whole GNU Emacs Lisp Package Archive (ELPA). Native-compiled Elisp shows an increase of performance ranging from 2.3x up to 42x with respect to the equivalent byte-code, measured over a set of small benchmarks.


title: Interassociativity and three-element doppelsemigroups

abstract: In the paper we characterize all interassociates of some non-inverse semigroups and describe up to isomorphism all three-element (strong) doppelsemigroups and their automorphism groups. We prove that there exist $75$ pairwise non-isomorphic three-element doppelsemigroups among which $41$ doppelsemigroups are commutative. Non-commutative doppelsemigroups are divided into $17$ pairs of dual doppelsemigroups. Also up to isomorphism there are $65$ strong doppelsemigroups of order $3$, and all non-strong doppelsemigroups are not commutative.


title: An experimental study of the surface formation of methane in interstellar molecular clouds

abstract: Methane is one of the simplest stable molecules that is both abundant and widely distributed across space. It is thought to have partial origin from interstellar molecular clouds, which are near the beginning of the star formation cycle. Observational surveys of CH$_4$ ice towards low- and high-mass young stellar objects showed that much of the CH$_4$ is expected to be formed by the hydrogenation of C on dust grains, and that CH$_4$ ice is strongly correlated with solid H$_2$O. Yet, this has not been investigated under controlled laboratory conditions, as carbon-atom chemistry of interstellar ice analogues has not been experimentally realized. In this study, we successfully demonstrate with a C-atom beam implemented in an ultrahigh vacuum apparatus the formation of CH$_4$ ice in two separate co-deposition experiments: C + H on a 10 K surface to mimic CH$_4$ formation right before H$_2$O ice is formed on the dust grain, and C + H + H$_2$O on a 10 K surface to mimic CH$_4$ formed simultaneously with H$_2$O ice. We confirm that CH$_4$ can be formed by the reaction of atomic C and H, and that the CH$_4$ formation rate is 2 times greater when CH$_4$ is formed within a H$_2$O-rich ice. This is in agreement with the observational finding that interstellar CH$_4$ and H$_2$O form together in the polar ice phase, i.e., when C- and H-atoms simultaneously accrete with O-atoms on dust grains. For the first time, the conditions that lead to interstellar CH$_4$ (and CD$_4$) ice formation are reported, and can be incorporated into astrochemical models to further constrain CH$_4$ chemistry in the interstellar medium and in other regions where CH$_4$ is inherited.


title: On the case where Adjoint and Coadjoint Orbit Spaces are Symplectomorphic

abstract: Let G be an n-dimensional semisimple compact and connected Lie group acting on both the Lie algebra g of G and its dual g*. We show that a nondegenerate Killing form of G induces an Ad*-equivariant isomorphism of g onto g* which, in turn, induces by passage to quotients a symplectomorphism between adjoint and coadjoint orbit spaces of G.


title: Multiwavelength study of potential blazar candidates among Fermi-LAT unidentified gamma-ray sources

abstract: Studying unidentified {\gamma}-ray sources is important as they may hide new discoveries. We conducted a multiwavelength analysis of 13 unidentified Fermi-LAT sources in the 3FGL catalog that have no known counterparts (Unidentified Gamma-ray Sources, UnIDs). The sample was selected for sources that have a single radio and X-ray candidate counterpart in their uncertainty ellipses. The purpose of this study is to find a possible blazar signature and to model the Spectral Energy Distribution (SED) of the selected sources using an empirical log parabolic model. The results show that the synchrotron emission of all sources peaks in the infrared (IR) band and that the high-energy emission peaks in MeV to GeV bands. The SEDs of sources in our sample are all blazar like. In addition, the peak position of the sample reveals that 6 sources (46%) are Low Synchrotron Peaked (LSP) blazars, 4 (31%) of them are High Synchrotron Peaked (HSP) blazars, while 3 of them (23%) are Intermediate Synchrotron Peaked (ISP) blazars.


title: Building a Norwegian Lexical Resource for Medical Entity Recognition

abstract: We present a large Norwegian lexical resource of categorized medical terms. The resource merges information from large medical databases, and contains over 77,000 unique entries, including automatically mapped terms from a Norwegian medical dictionary. We describe the methodology behind this automatic dictionary entry mapping based on keywords and suffixes and further present the results of a manual evaluation performed on a subset by a domain expert. The evaluation indicated that ca. 80% of the mappings were correct.


title: Neutrinoless double beta decay experiment

abstract: The search for neutrinoless double beta decay ($0\nu\beta\beta$) is one of the key experiments for determining unresolved properties of neutrinos. Experimental observation of $0\nu\beta\beta$ would provide a clear demonstration of the Majorana nature of neutrinos and a lepton number violating process in particle physics. This report is a brief review describing the $0\nu\beta\beta$ process and its significance. The detector technologies used in the present and proposed $0\nu\beta\beta$ experiments are compared among their recent experimental results. Moreover, the sensitivities for $0\nu\beta\beta$ discovery in a number of present and proposed $0\nu\beta\beta$ experiments are introduced.


title: On-surface synthesis of nitrogen-doped nanographenes with 5-7 membered rings

abstract: We report on the formation of nitrogen-doped nanographenes containing five- and seven-membered rings by thermally induced cyclodehydrogenation on the Au(111) surface. Using scanning tunneling microscopy and supported by calculations, we investigated the structure of precursor and targets, as well as of intermediates. Scanning tunneling spectroscopy shows that the electronic properties of the target nanographenes are strongly influenced by the additional formation of non-hexagonal rings.


title: The origin of Neptune's unusual satellites from a planetary encounter

abstract: The Neptunian satellite system is unusual, comprising Triton, a large ($\sim2700$ km) moon on a close-in, circular, yet retrograde orbit, flanked by Nereid, the largest irregular satellite ($\sim$300 km) on a highly eccentric orbit. Capture origins have been previously suggested for both moons. Here we explore an alternative in-situ formation model where the two satellites accreted in the circum-Neptunian disk and are imparted irregular and eccentric orbits by a deep planetary encounter with an ice giant (IG), like that predicted in the Nice scenario of early solar system development. We use $N$-body simulations of an IG approaching Neptune to 20 Neptunian radi ($R_\mathrm{Nep}$), through a belt of circular prograde regular satellites at 10-30 $R_\mathrm{Nep}$. We find that half of these primordial satellites remain bound to Neptune and that 0.4-3\% are scattered directly onto wide and eccentric orbits resembling that of Nereid. With better matches to the observed orbit, our model has a success rate comparable to or higher than capture of large Nereid-sized irregular satellites from heliocentric orbit. At the same time, the IG encounter injects a large primordial moon onto a retrograde orbit with specific angular momentum similar to Triton's in 0.3-3\% of our runs. While less efficient than capture scenarios (Agnor & Hamilton 2006), our model does indicate that an in-situ origin for Triton is dynamically possible. We also simulate the post-encounter collisional and tidal orbital evolution of Triton analogue satellites and find they are decoupled from Nereid on timescales of $\sim$$10^4$ years, in agreement with Cuk & Gladman (2005).


title: Singular hyperbolic metrics and negative subharmonic functions

abstract: We propose a conjecture that the monodromy group of a singular hyperbolic metric on a non-hyperbolic Riemann surface is {\it Zariski dense} in ${\rm PSL}(2,\,{\Bbb R})$. By using meromorphic differentials and affine connections, we obtain an evidence of the conjecture that the monodromy group of the singular hyperbolic metric can not be contained in four classes of one-dimensional Lie subgroups of ${\rm PSL}(2,\,{\Bbb R})$. Moreover, we confirm the conjecture if the Riemann surface is either one of the once punctured Riemann sphere, the twice punctured Riemann sphere, a once punctured torus and a compact Riemann surface.


title: Atomically-Precise, Custom-Design Origami Graphene Nanostructures

abstract: The construction of atomically-precise carbon nanostructures holds promise for developing novel materials for scientific study and nanotechnology applications. Here we show that graphene origami is an efficient way to convert graphene into atomically-precise, complex, and novel nanostructures. By scanning-tunneling-microscope manipulation at low temperature, we repeatedly fold and unfold graphene nanoislands (GNIs) along arbitrarily chosen direction. A bilayer graphene stack featuring a tunable twist angle and a tubular edge connection between the layers are formed. Folding single-crystal GNIs creates tubular edges with specified chirality and one-dimensional electronic features similar to those of carbon nanotubes, while folding bi-crystal GNIs creates well-defined intramolecular junctions. Both origami structural models and electronic band structures were computed to complement analysis of the experimental results. The present atomically-precise graphene origami provides a platform for constructing novel carbon nanostructures with engineered quantum properties and ultimately quantum machines.


title: Casimir elements and Sugawara operators for Takiff algebras

abstract: For every simple Lie algebra $\mathfrak{g}$ we consider the associated Takiff algebra $\mathfrak{g}^{}_{\ell}$ defined as the truncated polynomial current Lie algebra with coefficients in $\mathfrak{g}$. We use a matrix presentation of $\mathfrak{g}^{}_{\ell}$ to give a uniform construction of algebraically independent generators of the center of the universal enveloping algebra ${\rm U}(\mathfrak{g}^{}_{\ell})$. A similar matrix presentation for the affine Kac--Moody algebra $\widehat{\mathfrak{g}}^{}_{\ell}$ is then used to prove an analogue of the Feigin--Frenkel theorem describing the center of the corresponding affine vertex algebra at the critical level. The proof relies on an explicit construction of a complete set of Segal--Sugawara vectors for the Lie algebra $\mathfrak{g}^{}_{\ell}$.


title: Security Analysis and Design for TAGA: a Touch and Go Assistant in the Aerospace Domain

abstract: There is currently a drive in the aerospace domain to introduce machine to machine communication over wireless networks to improve ground processes at airports such as refuelling and air conditiong. To this end a session key has to be established between the aircraft and the respective ground unit such as a fuel truck or a pre-conditiong unit. This is to be provided by a `touch and go assistant in the aerospace domain' (TAGA), which allows an operator to pair up a ground unit and an aircraft present at a parking slot with the help of a NFC system. In this paper, we present the results of our security analysis and co-development of requirements, security concepts, and modular verification thereof. We show that by, and only by, a combination of advanced security protocols and local process measures we obtain secure and resilient designs for TAGA. In particular, the design of choice is fully resilient against long-term key compromises and parallel escalation of attacks.


title: Dodecacene Generated on Surface: Re-opening of the Energy Gap

abstract: The acene series represents a unique model system to investigate the intriguing electronic properties of extended pi electron structures in the one-dimensional limit, which are important for applications in electronics and spintronics and for the fundamental understanding of electronic transport. Here we present the on-surface generation of the longest acene obtained so far: Dodecacene. Scanning tunneling spectroscopy gives access to the energy position and spatial distribution of its electronic states on the Au(111) surface. We observe that, after a progressive closing of the gap and a stabilization to about 1 eV at the length of decacene and undecacene, the energy gap of dodecacene unexpectedly increases to 1.4 eV. Considering the acene series as an exemplary general case, we discuss the evolution with length of the single tunneling resonances in comparison with ionization energy, electronic affinity, and optical gap.


title: Bundles with even-dimensional spherical space form as fibers and fiberwise quarter pinched Riemannian metrics

abstract: Let $E$ be a smooth bundle with fiber an $n$-dimensional real projective space $\mathbb{R}P^n$. We show that, if every fiber carries a positively curved pointwise strongly $1/4$-pinched Riemannian metric that varies continuously with respect to its base point, then the structure group of the bundle reduces to the isometry group of the standard round metric on $\mathbb{R}P^n$.


title: Dissipative Rabi model in the dispersive regime

abstract: The dispersive regime of circuit QED is the main workhorse for todays quantum computing prototypes based on superconducting qubits. Analytic descriptions of this model typically rely on the rotating wave approximation of the interaction between the qubits and resonators, using the Jaynes-Cummings model as starting point for the dispersive transformation. Here we present analytic results on the dispersive regime of the dissipative Rabi model, without taking the rotating wave approximation of the underlying Hamiltonian. Using a recently developed hybrid perturbation theory based on the expansion of the time evolution on the Keldysh contour [Phys. Rev. A 95, 013847 (2017)], we derive simple analytic expressions for all experimentally relevant dynamical parameters like dispersive shift and resonator induced Purcell decay rate, focussing our analysis on a generic multi-level qubit. The analytical equations are easily tractable and reduce to the known Jaynes-Cummings results in the relevant limit. They however show qualitative differences at intermediate and large detuning, allowing for more accurate modelling of the interaction between superconducting qubits and resonators. In the limit of strong resonator driving, our results additionally predict new types of drive induced qubit dissipation and dephasing, not present in previous theories.


title: Area of intrinsic graphs and coarea formula in Carnot Groups

abstract: We consider submanifolds of sub-Riemannian Carnot groups with intrinsic $C^1$ regularity ($C^1_H$). Our first main result is an area formula for $C^1_H$ intrinsic graphs; as an application, we deduce density properties for Hausdorff measures on rectifiable sets. Our second main result is a coarea formula for slicing $C^1_H$ submanifolds into level sets of a $C^1_H$ function.