title: Entanglement and classical correlations at the doping-driven Mott transition in the two-dimensional Hubbard model

abstract: Tools of quantum information theory offer a new perspective to characterize phases and phase transitions in interacting many-body quantum systems. The Hubbard model is the archetypal model of such systems and can explain rich phenomena of quantum matter with minimal assumptions. Recent measurements of entanglement-related properties of this model using ultracold atoms in optical lattices hint that entanglement could provide the key to understanding open questions of the doped Hubbard model, including the remarkable properties of the pseudogap phase. These experimental findings call for a theoretical framework and new predictions. Here we approach the doped Hubbard model in two dimensions from the perspective of quantum information theory. We study the local entropy and the total mutual information across the doping-driven Mott transition within plaquette cellular dynamical mean-field theory. We find that upon varying doping these two entanglement-related properties detect the Mott insulating phase, the strongly correlated pseudogap phase, and the metallic phase. Imprinted in the entanglement-related properties we also find the pseudogap to correlated metal first-order transition, its finite temperature critical endpoint, and its supercritical crossovers. Through this footprint we reveal an unexpected interplay of quantum and classical correlations. Our work shows that sharp variation in the entanglement-related properties and not broken symmetry phases characterizes the onset of the pseudogap phase at finite temperature.


title: FIRST J1419+3940 as the First Observed Radio Flare from a Neutron Star Merger

abstract: During their violent merger, two neutron stars can shed a few percent of their mass. As this ejecta expands, it collides with the surrounding interstellar gas, producing a slowly-fading radio flare that lasts for years. Radio flares uniquely probe the neutron star merger populations as many events from past decades could still be detectable. Nonetheless, no radio flare observation has been reported to date. Here we show that the radio transient FIRST J1419+3940, first observed in 1993 and still detectable, could have originated from a neutron star merger. We carry out numerical simulations of neutron star merger ejecta to demonstrate that the observed radio light curve is well reproduced by a merger model with astrophysically expected parameters. We examine the observed radio data, as well as the host galaxy, to find clues that could differentiate the transient's neutron star merger origin from the alternative explanation---the afterglow of an off-axis long gamma-ray burst. Near-future observations could find further evidence for the FIRST J1419+3940 radio transient's origin. We show that existing radio surveys likely already recorded multiple radio flares, informing us of the origin and properties of neutrons tar mergers and their role in the nucleosynthesis of the heaviest elements in the Universe.


title: Compensated compactness: continuity in optimal weak topologies

abstract: For $l$-homogeneous linear differential operators $\mathcal{A}$ of constant rank, we study the implication $v_j\rightharpoonup v$ in $X$ and $\mathcal{A} v_j\rightarrow \mathcal{A} v$ in $W^{-l}Y$ implies $F(v_j)\rightsquigarrow F(v)$ in $Z$, where $F$ is an $\mathcal{A}$-quasiaffine function and $\rightsquigarrow$ denotes an appropriate type of weak convergence. Here $Z$ is a local $L^1$-type space, either the space $\mathscr{M}$ of measures, or $L^1$, or the Hardy space $\mathscr{H}^1$; $X,\, Y$ are $L^p$-type spaces, by which we mean Lebesgue or Zygmund spaces. Our conditions for each choice of $X,\,Y,\,Z$ are sharp. Analogous statements are also given in the case when $F(v)$ is not a locally integrable function and it is instead defined as a distribution. In this case, we also prove $\mathscr{H}^p$-bounds for the sequence $(F(v_j))_j$, for appropriate $p<1$, and new convergence results in the dual of H\"older spaces when $(v_j)$ is $\mathcal{A}$-free and lies in a suitable negative order Sobolev space $W^{-\beta,s}$. The choice of these H\"older spaces is sharp, as is shown by the construction of explicit counterexamples. Some of these results are new even for distributional Jacobians.


title: Exact SMEFT formulation and expansion to $\mathcal{O}(v^4/\Lambda^4)$

abstract: The Standard Model Effective Field Theory (SMEFT) theoretical framework is increasingly used to interpret particle physics measurements and constrain physics beyond the Standard Model. We investigate the truncation of the effective-operator expansion using the geometric formulation of the SMEFT, which allows exact solutions, up to mass-dimension eight. Using this construction, we compare the exact solution to the expansion at ${\mathcal{O}}(v^2/\Lambda^2)$, partial ${\mathcal{O}}(v^4/\Lambda^4)$ using a subset of terms with dimension-6 operators, and full ${\mathcal{O}}(v^4/\Lambda^4)$, where $v$ is the vacuum expectation value and $\Lambda$ is the scale of new physics. This comparison is performed for general values of the coefficients, and for the specific model of a heavy U(1) gauge field kinetically mixed with the Standard Model. We additionally determine the input-parameter scheme dependence at all orders in $v/\Lambda$, and show that this dependence increases at higher orders in $v/\Lambda$.


title: The Price of Competition: Effect Size Heterogeneity Matters in High Dimensions

abstract: In high-dimensional sparse regression, would increasing the signal-to-noise ratio while fixing the sparsity level always lead to better model selection? For high-dimensional sparse regression problems, surprisingly, in this paper we answer this question in the negative in the regime of linear sparsity for the Lasso method, relying on a new concept we term effect size heterogeneity. Roughly speaking, a regression coefficient vector has high effect size heterogeneity if its nonzero entries have significantly different magnitudes. From the viewpoint of this new measure, we prove that the false and true positive rates achieve the optimal trade-off uniformly along the Lasso path when this measure is maximal in a certain sense, and the worst trade-off is achieved when it is minimal in the sense that all nonzero effect sizes are roughly equal. Moreover, we demonstrate that the first false selection occurs much earlier when effect size heterogeneity is minimal than when it is maximal. The underlying cause of these two phenomena is, metaphorically speaking, the ``competition'' among variables with effect sizes of the same magnitude in entering the model. Taken together, our findings suggest that effect size heterogeneity shall serve as an important complementary measure to the sparsity of regression coefficients in the analysis of high-dimensional regression problems. Our proofs use techniques from approximate message passing theory as well as a novel technique for estimating the rank of the first false variable.


title: Degree gaps for multipliers and the dynamical Andre-Oort conjecture

abstract: We demonstrate how recent work of Favre and Gauthier, together with a modification of a result of the author, shows that a family of polynomials with infinitely many post-critically finite specializations cannot have any periodic cycles with multiplier of very low degree, except those which vanish, generalizing results of Baker and DeMarco, and Favre and Gauthier.


title: Bayesian nonparametric tests for multivariate locations

abstract: In this paper, we propose novel, fully Bayesian non-parametric tests for one-sample and two-sample multivariate location problems. We model the underlying distribution using a Dirichlet process prior, and develop a testing procedure based on the posterior credible region for the spatial median functional of the distribution. For the one-sample problem, we fail to reject the null hypothesis if the credible set contains the null value. For the two-sample problem, we form a credible set for the difference of the spatial medians of the two samples and we fail to reject the null hypothesis of equality if the credible set contains zero. We derive the local asymptotic power of the tests under shrinking alternatives, and also present a simulation study to compare the finite-sample performance of our testing procedures with existing parametric and non-parametric tests.


title: Infrared Telescope Facility (IRTF) spectral library II: New indices in Y, J, H, and L atmospheric windows

abstract: Stellar population studies in the infrared (IR) wavelength range have two main advantages with respect to the optical regime: they probe different populations, because most of the light in the IR comes from redder and generally older stars, and they allow us to see through dust because IR light is less affected by extinction. Unfortunately, IR modeling work was halted by the lack of adequate stellar libraries, but this has changed in the recent years. Our project investigates the sensitivity of various spectral features in the 1--5\,$\mu$m wavelength range to the physical properties of stars ($T_{eff}$, [Fe/H], log g and aims to objectively define spectral indices that can characterize the age and metallicity of unresolved stellar populations. We implemented a method that uses derivatives of the indices as functions of $T_{eff}$, [Fe/H] or log g across the entire available wavelength range to reveal the most sensitive indices to these parameters and the ranges in which these indices work. Here, we complement the previous work in the I and K bands, reporting a new system of 14, 12, 22, and 12 indices for Y, J, H, and L atmospheric windows, respectively, and describe their behavior. Our analysis indicates that features sensitive to the effective temperature are present and measurable in all the investigated atmospheric windows at the spectral resolution and in the metallicity range of the IRTF library for a signal-to-noise ratio greater than 20-30. The surface gravity is more challenging and only indices in the H and J windows are best suited for this. The metallicity range of the stars with available spectra is too narrow to search for suitable diagnostics. For the spectra of unresolved galaxies, the defined indices are valuable tools in tracing the properties of the stars in the IR-dominant stellar populations.


title: Forbidden induced subgraph characterization of circle graphs within split graphs

abstract: A graph is circle if its vertices are in correspondence with a family of chords in a circle in such a way that every two distinct vertices are adjacent if and only if the corresponding chords have nonempty intersection. Even though there are diverse characterizations of circle graphs, a structural characterization by minimal forbidden induced subgraphs for the entire class of circle graphs is not known, not even restricted to split graphs (which are the graphs whose vertex set can be partitioned into a clique and a stable set). In this work, we give a characterization by minimal forbidden induced subgraphs of circle graphs, restricted to split graphs.


title: Reasoning with Contextual Knowledge and Influence Diagrams

abstract: Influence diagrams (IDs) are well-known formalisms extending Bayesian networks to model decision situations under uncertainty. Although they are convenient as a decision theoretic tool, their knowledge representation ability is limited in capturing other crucial notions such as logical consistency. We complement IDs with the light-weight description logic (DL) EL to overcome such limitations. We consider a setup where DL axioms hold in some contexts, yet the actual context is uncertain. The framework benefits from the convenience of using DL as a domain knowledge representation language and the modelling strength of IDs to deal with decisions over contexts in the presence of contextual uncertainty. We define related reasoning problems and study their computational complexity.


title: The abundance of S- and Si-bearing molecules in O-rich circumstellar envelopes of AGB stars

abstract: Aims: We aim to determine the abundances of SiO, CS, SiS, SO, and SO$_2$ in a large sample of oxygen-rich AGB envelopes covering a wide range of mass loss rates to investigate the potential role that these molecules could play in the formation of dust in these environments. Methods:We surveyed a sample of 30 oxygen-rich AGB stars in the $\lambda$ 2 mm band using the IRAM 30m telescope. We performed excitation and radiative transfer calculations based on the LVG method to model the observed lines of the molecules and to derive their fractional abundances in the observed envelopes. Results:We detected SiO in all 30 targeted envelopes, as well as CS, SiS, SO, and SO$_2$ in 18, 13, 26, and 19 sources, respectively. Remarkably, SiS is not detected in any envelope with a mass loss rate below $10^{-6}$ M$_{\odot}$ yr$^{-1}$, whereas it is detected in all envelopes with mass loss rates above that threshold. From a comparison with a previous, similar study on C-rich sources, it becomes evident that the fractional abundances of CS and SiS show a marked differentiation between C-rich and O-rich sources, being two orders of magnitude and one order of magnitude more abundant in C-rich sources, respectively, while the fractional abundance of SiO turns out to be insensitive to the C/O ratio. The abundance of SiO in O-rich envelopes behaves similarly to C-rich sources, that is, the denser the envelope the lower its abundance. A similar trend, albeit less clear than for SiO, is observed for SO in O-rich sources. Conclusions: The marked dependence of CS and SiS abundances on the C/O ratio indicates that these two molecules form more efficiently in C- than O-rich envelopes. The decline in the abundance of SiO with increasing envelope density and the tentative one for SO indicate that SiO and possibly SO act as gas-phase precursors of dust in circumstellar envelopes around O-rich AGB stars.


title: Correcting for chromatic stellar activity effects in transits with multiband photometric monitoring: Application to WASP-52

abstract: The properties of inhomogeneities on the surface of active stars (i.e. dark spots and bright faculae) significantly influence the determination of the parameters of an exoplanet. The chromatic effect they have on transmission spectroscopy could affect the analysis of data from future space missions such as JWST and Ariel. To quantify and mitigate the effects of those surface phenomena, we developed a modelling approach to derive the surface distribution and properties of active regions by modelling simultaneous multi-wavelength time-series observables. By using the StarSim code, now featuring the capability to solve the inverse problem, we analysed $\sim$ 600 days of BVRI multiband photometry from TJO and STELLA telescopes exoplanet host star WASP-52. From the results, we simulated the chromatic contribution of surface phenomena on the observables of its transits. We are able to determine the relevant activity parameters of WASP-52 and reconstruct the time-evolving longitudinal map of active regions. The star shows a heterogeneous surface composed of dark spots with a mean temperature contrast of $575\pm150$ K with filling factors ranging from 3 to 14 %. We studied the chromatic effects on the depths of transits obtained at different epochs with different stellar spot distributions. For WASP-52, with peak-to-peak photometric variations of $\sim$7 % in the visible, the residual effects of dark spots on the measured transit depth, after applying the calculated corrections, are about $10^{-4}$ at 550 nm and $3\times10^{-5}$ at 6$\mu$m. We demonstrate that by using contemporaneous ground-based multiband photometry of an active star, it is possible to reconstruct the parameters and distribution of active regions over time, and thus, quantify the chromatic effects on the planetary radii measured with transit spectroscopy and mitigate them by about an order of magnitude.


title: Inheritance of strong mixing and weak dependence under renewal sampling

abstract: Let $X$ be a continuous-time strongly mixing or weakly dependent process and $T$ a renewal process independent of $X$ with inter-arrival times $\tau$. We show general conditions under which the sampled process $(X_{T_i},T_i-T_{i-1})^{\top}$ is strongly mixing or weakly dependent. Moreover, we explicitly compute the strong mixing or weak dependence coefficients of the renewal sampled process and show that exponential or power decay of the coefficients of $X$ is preserved (at least asymptotically). Our results imply that essentially all central limit theorems available in the literature for strongly mixing or weakly dependent processes can be applied when renewal sampled observations of the process $X$ are at disposal.


title: $\mathbb{Z}_2$-projective translational symmetry protected topological phases

abstract: Symmetry is fundamental to topological phases. In the presence of a gauge field, spatial symmetries will be projectively represented, which may alter their algebraic structure and generate novel topological phases. We show that the $\mathbb{Z}_2$ projectively represented translational symmetry operators adopt a distinct commutation relation, and become momentum dependent analogous to twofold nonsymmorphic symmetries. Combined with other internal or external symmetries, they give rise to many exotic band topology, such as the degeneracy over the whole boundary of the Brillouin zone, the single fourfold Dirac point pinned at the Brillouin zone corner, and the Kramers degeneracy at every momentum point. Intriguingly, the Dirac point criticality can be lifted by breaking one primitive translation, resulting in a topological insulator phase, where the edge bands have a M\"{o}bius twist. Our work opens a new arena of research for exploring topological phases protected by projectively represented space groups.


title: COVID-19 Literature Knowledge Graph Construction and Drug Repurposing Report Generation

abstract: To combat COVID-19, both clinicians and scientists need to digest vast amounts of relevant biomedical knowledge in scientific literature to understand the disease mechanism and related biological functions. We have developed a novel and comprehensive knowledge discovery framework, COVID-KG to extract fine-grained multimedia knowledge elements (entities and their visual chemical structures, relations, and events) from scientific literature. We then exploit the constructed multimedia knowledge graphs (KGs) for question answering and report generation, using drug repurposing as a case study. Our framework also provides detailed contextual sentences, subfigures, and knowledge subgraphs as evidence.


title: Incorporating age and delay into models for biophysical systems

abstract: In many biological systems, chemical reactions or changes in a physical state are assumed to occur instantaneously. For describing the dynamics of those systems, Markov models that require exponentially distributed inter-event times have been used widely. However, some biophysical processes such as gene transcription and translation are known to have a significant gap between the initiation and the completion of the processes, which renders the usual assumption of exponential distribution untenable. In this paper, we consider relaxing this assumption by incorporating age-dependent random time delays into the system dynamics. We do so by constructing a measure-valued Markov process on a more abstract state space, which allows us to keep track of the "ages" of molecules participating in a chemical reaction. We study the large-volume limit of such age-structured systems. We show that, when appropriately scaled, the stochastic system can be approximated by a system of Partial Differential Equations (PDEs) in the large-volume limit, as opposed to Ordinary Differential Equations (ODEs) in the classical theory. We show how the limiting PDE system can be used for the purpose of further model reductions and for devising efficient simulation algorithms. In order to describe the ideas, we use a simple transcription process as a running example. We, however, note that the methods developed in this paper apply to a wide class of biophysical systems.


title: Quantitative inductive estimates for Green's functions of non-self-adjoint matrices

abstract: We provide quantitative inductive estimates for Green's functions of matrices with (sub)expoentially decaying off diagonal entries in higher dimensions. Together with Cartan's estimates and discrepancy estimates, we establish explicit bounds for the large deviation theorem for non-self-adjoint Toeplitz operators. As applications, we obtain the modulus of continuity of the integrated density of states with explicit bounds and the pure point spectrum property for analytic quasi-periodic operators. Moreover, our inductions are self-improved and work for perturbations with low complexity interactions.


title: Revisiting the Melvin-Morton-Rozansky Expansion, or There and Back Again

abstract: Alexander polynomial arises in the leading term of a semi-classical Melvin-Morton-Rozansky expansion of colored knot polynomials. In this work, following the opposite direction, we propose how to reconstruct colored HOMFLY-PT polynomials, superpolynomials, and newly introduced $\widehat{Z}$ invariants for some knot complements, from an appropriate rewriting, quantization and deformation of Alexander polynomial. Along this route we rederive conjectural expressions for the above mentioned invariants for various knots obtained recently, thereby proving their consistency with the Melvin-Morton-Rozansky theorem, and derive new formulae for colored superpolynomials unknown before. For a given knot, depending on certain choices, our reconstruction leads to equivalent expressions, which are either cyclotomic, or encode certain features of HOMFLY-PT homology and the knots-quivers correspondence.


title: Equivalence of approaches to relational quantum dynamics in relativistic settings

abstract: We have previously shown (arXiv:1912.00033) that three approaches to relational quantum dynamics -- relational Dirac observables, the Page-Wootters formalism and quantum deparametrizations -- are equivalent. Here we show that this `trinity' of relational quantum dynamics holds in relativistic settings per frequency superselection sector. We ascribe the time according to the clock subsystem to a POVM which is covariant with respect to its (quadratic) Hamiltonian. This differs from the usual choice of a self-adjoint clock observable conjugate to the clock momentum. It also resolves Kucha\v{r}'s criticism that the Page-Wootters formalism yields incorrect localization probabilities for the relativistic particle when conditioning on a Minkowski time operator. We show that conditioning instead on the covariant clock POVM results in a Newton-Wigner type localization probability commonly used in relativistic quantum mechanics. By establishing the equivalence mentioned above, we also assign a consistent conditional-probability interpretation to relational observables and deparametrizations. Finally, we expand a recent method of changing temporal reference frames, and show how to transform states and observables frequency-sector-wise. We use this method to discuss an indirect clock self-reference effect and explore the state and temporal frame-dependence of the task of comparing and synchronizing different quantum clocks.


title: The 2MASS redshift survey galaxy group catalogue derived from a graph-theory based friends-of-friends algorithm

abstract: We present the galaxy group catalogue for the recently-completed 2MASS Redshift Survey (2MRS, Macri2019) which consists of 44572 redshifts, including 1041 new measurements for galaxies mostly located within the Zone of Avoidance. The galaxy group catalogue is generated by using a novel, graph-theory based, modified version of the Friends-of-Friends algorithm. Several graph-theory examples are presented throughout this paper, including a new method for identifying substructures within groups. The results and graph-theory methods have been thoroughly interrogated against previous 2MRS group catalogues and a Theoretical Astrophysical Observatory (TAO) mock by making use of cutting-edge visualization techniques including immersive facilities, a digital planetarium, and virtual reality. This has resulted in a stable and robust catalogue with on-sky positions and line-of-sight distances within 0.5 Mpc and 2 Mpc, respectively, and has recovered all major groups and clusters. The final catalogue consists of 3022 groups, resulting in the most complete "whole-sky" galaxy group catalogue to date. We determine the 3D positions of these groups, as well as their luminosity and comoving distances, observed and corrected number of members, richness metric, velocity dispersion, and estimates of $R_{200}$ and $M_{200}$. We present three additional data products, i.e. the 2MRS galaxies found in groups, a catalogue of subgroups, and a catalogue of 687 new group candidates with no counterparts in previous 2MRS-based analyses.


title: Convergence of elastic flows of curves into manifolds

abstract: For a given $p\in[2,+\infty)$, we define the $p$-elastic energy $\mathscr{E}$ of a closed curve $\gamma:\mathbb{S}^1\to M$ immersed in a complete Riemannian manifold $(M,g)$ as the sum of the length of the curve and the $L^p$--norm of its curvature (with respect to the length measure). We are interested in the convergence of the $(L^p,L^{p'})$--gradient flow of these energies to critical points. By means of parabolic estimates, it is usually possible to prove sub-convergence of the flow, that is, convergence to critical points up to reparametrizations and, more importantly, up to isometry of the ambient. Assuming that the flow sub-converges, we are interested in proving the smooth convergence of the flow, that is, the existence of the full limit of the evolving flow. We first give an overview of the general strategy one can apply for proving such a statement. The crucial step is the application of a Lojasiewicz-Simon gradient inequality, of which we present a versatile version. Then we apply such strategy to the flow of $\mathscr{E}$ of curves into manifolds, proving the desired improvement of sub-convergence to full smooth convergence of the flow to critical points. As corollaries, we obtain the smooth convergence of the flow for $p=2$ in the Euclidean space $\mathbb{R}^n$, in the hyperbolic plane $\mathbb{H}^2$, and in the two-dimensional sphere $\mathbb{S}^2$. In particular, the result implies that such flow in $\mathbb{R}^n$ or $\mathbb{H}^2$ remains in a bounded region of the space for any time.


title: Newly discovered $\Xi_c^{0}$ resonances and their parameters

abstract: The aim of the present article is investigation of the newly observed resonances $\Xi_c(2923)^{0}$, $\Xi_c(2939)^{0}$, and $\Xi_c(2965)^{0}$ which are real candidates to charm-strange baryons. To this end, we calculate the mass and pole residue of the ground-state and excited $1P$ and $2S$ spin-$% 1/2 $ flavor-sextet baryons $\Xi_{c}^{\prime 0}$, $\Xi_{c}^{\prime 0}(1/2^{-})$ and $\Xi_{c}^{\prime 0}(1/2^{+})$ with quark content $csd$, respectively. The masses and pole residues of the ground-state and excited spin-$3/2$ baryons $\Xi_{c}^{\star 0}$ are found as well. Spectroscopic parameters of these particles are computed in the context of the QCD two-point sum rule method. Widths of the excited baryons are evaluated through their decays to final states $\Lambda_{c}^{+}K^{-}$ and $% \Xi_{c}^{\prime 0}\pi$. These processes are explored by means of the full QCD light-cone sum rule method necessary to determine strong couplings at relevant vertices. Obtained predictions for the masses and widths of the four excited baryons, as well as previous results for $1P$ and $2S$ flavor-antitriplet spin-1/2 particles $\Xi_c^{0}$ are confronted with available experimental data on $\Xi_{c}^{0}$ resonances to fix their quantum numbers. Our comparison demonstrates that the resonances $\Xi_c(2923)^{0}$ and $\Xi_c(2939)^{0}$ can be considered as $1P$ excitations of the spin-$1/2$ flavor-sextet and spin-$3/2$ baryons, respectively. The resonance $\Xi _{c}(2965)^{0}$ may be interpreted as the excited $2S$ state of either spin-$% 1/2$ flavor-sextet or antitriplet baryon.


title: HACT-Net: A Hierarchical Cell-to-Tissue Graph Neural Network for Histopathological Image Classification

abstract: Cancer diagnosis, prognosis, and therapeutic response prediction are heavily influenced by the relationship between the histopathological structures and the function of the tissue. Recent approaches acknowledging the structure-function relationship, have linked the structural and spatial patterns of cell organization in tissue via cell-graphs to tumor grades. Though cell organization is imperative, it is insufficient to entirely represent the histopathological structure. We propose a novel hierarchical cell-to-tissue-graph (HACT) representation to improve the structural depiction of the tissue. It consists of a low-level cell-graph, capturing cell morphology and interactions, a high-level tissue-graph, capturing morphology and spatial distribution of tissue parts, and cells-to-tissue hierarchies, encoding the relative spatial distribution of the cells with respect to the tissue distribution. Further, a hierarchical graph neural network (HACT-Net) is proposed to efficiently map the HACT representations to histopathological breast cancer subtypes. We assess the methodology on a large set of annotated tissue regions of interest from H\&E stained breast carcinoma whole-slides. Upon evaluation, the proposed method outperformed recent convolutional neural network and graph neural network approaches for breast cancer multi-class subtyping. The proposed entity-based topological analysis is more inline with the pathological diagnostic procedure of the tissue. It provides more command over the tissue modelling, therefore encourages the further inclusion of pathological priors into task-specific tissue representation.


title: Dual-energy X-ray dark-field material decomposition

abstract: Dual-energy imaging is a clinically well-established technique that offers several advantages over conventional X-ray imaging. By performing measurements with two distinct X-ray spectra, differences in energy-dependent attenuation are exploited to obtain material-specific information. This information is used in various imaging applications to improve clinical diagnosis. In recent years, grating-based X-ray dark-field imaging has received increasing attention in the imaging community. The X-ray dark-field signal originates from ultra small-angle scattering within an object and thus provides information about the microstructure far below the spatial resolution of the imaging system. This property has led to a number of promising future imaging applications that are currently being investigated. However, different microstructures can hardly be distinguished with current X-ray dark-field imaging techniques, since the detected dark-field signal only represents the total amount of ultra small-angle scattering. To overcome these limitations, we present a novel concept called dual-energy X-ray dark-field material decomposition, which transfers the basic material decomposition approach from attenuation-based dual-energy imaging to the dark-field imaging modality. We develop a physical model and algorithms for dual-energy dark-field material decomposition and evaluate the proposed concept in experimental measurements. Our results suggest that by sampling the energy-dependent dark-field signal with two different X-ray spectra, a decomposition into two different microstructured materials is possible. Similar to dual-energy imaging, the additional microstructure-specific information could be useful for clinical diagnosis.


title: Lightweight Temporal Self-Attention for Classifying Satellite Image Time Series

abstract: The increasing accessibility and precision of Earth observation satellite data offers considerable opportunities for industrial and state actors alike. This calls however for efficient methods able to process time-series on a global scale. Building on recent work employing multi-headed self-attention mechanisms to classify remote sensing time sequences, we propose a modification of the Temporal Attention Encoder. In our network, the channels of the temporal inputs are distributed among several compact attention heads operating in parallel. Each head extracts highly-specialized temporal features which are in turn concatenated into a single representation. Our approach outperforms other state-of-the-art time series classification algorithms on an open-access satellite image dataset, while using significantly fewer parameters and with a reduced computational complexity.


title: Hidden and self-exited attractors in a heterogeneous Cournot oligopoly model

abstract: In this paper it is numerically proved that a heterogeneous Cournot oligopoly model presents hidden and self-excited attractors. The system has a single equilibrium and a line of equilibria. The bifurcation diagrams show that the system admits several attractors coexistence windows, where the hidden attractors can be found. Intensive numerical tests have been done.


title: A model structure for weakly horizontally invariant double categories

abstract: We construct a model structure on the category $\mathrm{DblCat}$ of double categories and double functors, whose trivial fibrations are the double functors that are surjective on objects, full on horizontal and vertical morphisms, and fully faithful on squares; and whose fibrant objects are the weakly horizontally invariant double categories. We show that the functor $\mathbb H^{\simeq}\colon \mathrm{2Cat}\to \mathrm{DblCat}$, a more homotopical version of the usual horizontal embedding $\mathbb H$, is right Quillen and homotopically fully faithful when considering Lack's model structure on $\mathrm{2Cat}$. In particular, $\mathbb H^{\simeq}$ exhibits a levelwise fibrant replacement of $\mathbb H$. Moreover, Lack's model structure on $\mathrm{2Cat}$ is right-induced along $\mathbb H^{\simeq}$ from the model structure for weakly horizontally invariant double categories. We also show that this model structure is monoidal with respect to B\"ohm's Gray tensor product. Finally, we prove a Whitehead Theorem characterizing the weak equivalences with fibrant source as the double functors which admit a pseudo inverse up to horizontal pseudo natural equivalence.


title: Operator thermalisation in $d>2$: Huygens or resurgence

abstract: Correlation functions of most composite operators decay exponentially with time at non-zero temperature, even in free field theories. This insight was recently codified in an OTH (operator thermalisation hypothesis). We reconsider an early example, with large $N$ free fields subjected to a singlet constraint. This study in dimensions $d>2$ motivates technical modifications of the original OTH to allow for generalised free fields. Furthermore, Huygens' principle, valid for wave equations only in even dimensions, leads to differences in thermalisation. It works straightforwardly when Huygens' principle applies, but thermalisation is more elusive if it does not apply. Instead, in odd dimensions we find a link to resurgence theory by noting that exponential relaxation is analogous to non-perturbative corrections to an asymptotic perturbation expansion. Without applying the power of resurgence technology we still find support for thermalisation in odd dimensions, although these arguments are incomplete.


title: Decentralized Stochastic Gradient Langevin Dynamics and Hamiltonian Monte Carlo

abstract: Stochastic gradient Langevin dynamics (SGLD) and stochastic gradient Hamiltonian Monte Carlo (SGHMC) are two popular Markov Chain Monte Carlo (MCMC) algorithms for Bayesian inference that can scale to large datasets, allowing to sample from the posterior distribution of the parameters of a statistical model given the input data and the prior distribution over the model parameters. However, these algorithms do not apply to the decentralized learning setting, when a network of agents are working collaboratively to learn the parameters of a statistical model without sharing their individual data due to privacy reasons or communication constraints. We study two algorithms: Decentralized SGLD (DE-SGLD) and Decentralized SGHMC (DE-SGHMC) which are adaptations of SGLD and SGHMC methods that allow scaleable Bayesian inference in the decentralized setting for large datasets. We show that when the posterior distribution is strongly log-concave and smooth, the iterates of these algorithms converge linearly to a neighborhood of the target distribution in the 2-Wasserstein distance if their parameters are selected appropriately. We illustrate the efficiency of our algorithms on decentralized Bayesian linear regression and Bayesian logistic regression problems.


title: Navigating the Dynamics of Financial Embeddings over Time

abstract: Financial transactions constitute connections between entities and through these connections a large scale heterogeneous weighted graph is formulated. In this labyrinth of interactions that are continuously updated, there exists a variety of similarity-based patterns that can provide insights into the dynamics of the financial system. With the current work, we propose the application of Graph Representation Learning in a scalable dynamic setting as a means of capturing these patterns in a meaningful and robust way. We proceed to perform a rigorous qualitative analysis of the latent trajectories to extract real world insights from the proposed representations and their evolution over time that is to our knowledge the first of its kind in the financial sector. Shifts in the latent space are associated with known economic events and in particular the impact of the recent Covid-19 pandemic to consumer patterns. Capturing such patterns indicates the value added to financial modeling through the incorporation of latent graph representations.


title: Optimal convergence and long-time conservation of exponential integration for Schr\"{o}dinger equations in a normal or highly oscillatory regime

abstract: In this paper, we formulate and analyse exponential integrations when applied to nonlinear Schr\"{o}dinger equations in a normal or highly oscillatory regime. A kind of exponential integrators with energy preservation, optimal convergence and long time near conservations of actions, momentum and density will be formulated and analysed. To this end, we derive continuous-stage exponential integrators and show that the integrators can exactly preserve the energy of Hamiltonian systems. Three practical energy-preserving integrators are presented. It is shown that these integrators exhibit optimal convergence and have near conservations of actions, momentum and density over long times. A numerical experiment is carried out to support all the theoretical results presented in this paper. Some applications of the integrators to other kinds of ordinary/partial differential equations are also presented.


title: Bartnik mass minimizing initial data sets and improvability of the dominant energy scalar

abstract: We introduce the concept of improvability of the dominant energy scalar, and we derive strong consequences of non-improvability. In particular, we prove that a non-improvable initial data set without local symmetries must sit inside a null perfect fluid spacetime carrying a global Killing vector field. We also show that the dominant energy scalar is always almost improvable in a precise sense. Using these main results, we provide a characterization of Bartnik mass minimizing initial data sets which makes substantial progress toward Bartnik's stationary conjecture. Along the way we observe that in dimensions greater than eight there exist pp-wave counterexamples (without the optimal decay rate for asymptotically flatness) to the equality case of the spacetime positive mass theorem. As a consequence, there exist counterexamples to Bartnik's stationary and strict positivity conjectures in those dimensions.


title: Network Capabilities for the HL-LHC Era

abstract: High Energy Physics (HEP) experiments rely on the networks as one of the critical parts of their infrastructure both within the participating laboratories and sites as well as globally to interconnect the sites, data centers and experiments instrumentation. Network virtualisation and programmable networks are two key enablers that facilitate agile, fast and more economical network infrastructures as well as service development, deployment and provisioning.Adoption of these technologies by HEP sites and experiments will allow them to design more scalable and robust networks while decreasing the overall cost and improving the effectiveness of the resource utilization.The primary challenge we currently face is ensuring that WLCG and its constituent collaborations will have the networking capabilities required to most effectively exploit LHC data for the lifetime of the LHC. In this paper we provide a high level summary of the HEPiX NFV Working Group report that explored some of the novel network capabilities that could potentially be deployment in time for HL-LHC.


title: HydroNets: Leveraging River Structure for Hydrologic Modeling

abstract: Accurate and scalable hydrologic models are essential building blocks of several important applications, from water resource management to timely flood warnings. However, as the climate changes, precipitation and rainfall-runoff pattern variations become more extreme, and accurate training data that can account for the resulting distributional shifts become more scarce. In this work we present a novel family of hydrologic models, called HydroNets, which leverages river network structure. HydroNets are deep neural network models designed to exploit both basin specific rainfall-runoff signals, and upstream network dynamics, which can lead to improved predictions at longer horizons. The injection of the river structure prior knowledge reduces sample complexity and allows for scalable and more accurate hydrologic modeling even with only a few years of data. We present an empirical study over two large basins in India that convincingly support the proposed model and its advantages.


title: A New Basis for Sparse Principal Component Analysis

abstract: Previous versions of sparse principal component analysis (PCA) have presumed that the eigen-basis (a $p \times k$ matrix) is approximately sparse. We propose a method that presumes the $p \times k$ matrix becomes approximately sparse after a $k \times k$ rotation. The simplest version of the algorithm initializes with the leading $k$ principal components. Then, the principal components are rotated with an $k \times k$ orthogonal rotation to make them approximately sparse. Finally, soft-thresholding is applied to the rotated principal components. This approach differs from prior approaches because it uses an orthogonal rotation to approximate a sparse basis. One consequence is that a sparse component need not to be a leading eigenvector, but rather a mixture of them. In this way, we propose a new (rotated) basis for sparse PCA. In addition, our approach avoids "deflation" and multiple tuning parameters required for that. Our sparse PCA framework is versatile; for example, it extends naturally to a two-way analysis of a data matrix for simultaneous dimensionality reduction of rows and columns. We provide evidence showing that for the same level of sparsity, the proposed sparse PCA method is more stable and can explain more variance compared to alternative methods. Through three applications -- sparse coding of images, analysis of transcriptome sequencing data, and large-scale clustering of social networks, we demonstrate the modern usefulness of sparse PCA in exploring multivariate data.


title: A combined timing/spectral study of IRAS 13224-3809 using XMM-Newton data

abstract: We present the results from an X-ray variability study of IRAS 13224-3809. This is probably the best source for X-ray reverberation studies since it is X-ray bright, extremely variable, and it has been extensively observed with XMM-Newton. We used all the archival XMM-Newton data from the three EPIC cameras (to increase the signal-to-noise) and, given the many observations of the source, we were able to compute the time-lags spectra in three different flux levels/periods. We fitted the time-lags and energy spectra, simultaneously, using a new X-ray reverberation code which computes the time dependent reflection spectra of the disc as a response to an X-ray flash from a point source located on the axis of the black-hole (BH) accretion disc (lamp-post geometry). To the best of our knowledge, this is the first time for an AGN that both time-lags and energy spectra are fitted by a model simultaneously in different flux periods. The model fits in the case when the BH is rapidly rotating are significantly better than the model fits in the case of a Schwarzschild BH. This result strongly favours the hypothesis of a rotating central BH in this source. We also detect significant variations in the height of the X-ray corona. The X-ray height appears to increase from 3-5 gravitational radii when the X-ray luminosity is of the order of 1.5-3 percent of the Eddington limit, up to 10 gravitational radii, when the luminosity doubles.


title: WLCG Networks: Update on Monitoring and Analytics

abstract: WLCG relies on the network as a critical part of its infrastructure and therefore needs to guarantee effective network usage and prompt detection and resolution of any network issues including connection failures, congestion and traffic routing. The OSG Networking Area, in partnership with WLCG, is focused on being the primary source of networking information for its partners and constituents. It was established to ensure sites and experiments can better understand and fix networking issues, while providing an analytics platform that aggregates network monitoring data with higher level workload and data trans-fer services. This has been facilitated by the global network of the perfSONAR instances that have been commissioned and are operated in collaboration with WLCG Network Throughput Working Group. An additional important updateis the inclusion of the newly funded NSF project SAND (Service Analytics and Network Diagnosis) which is focusing on network analytics. This paper describes the current state of the network measurement and analytics platform and summarizes the activities taken by the working group and our collaborators. This includes the progress being made in providing higher level analytics,alerting and alarming from the rich set of network metrics we are gathering.


title: Effective Mass Path Integral Simulations of Quasiparticles in Condensed Phases

abstract: The quantum many-body problem in condensed phases is often simplified using a quasiparticle description, such as effective mass theory for electron motion in a periodic solid. These approaches are often the basis for understanding many fundamental condensed phase processes, including the molecular mechanisms underlying solar energy harvesting and photocatalysis. Despite the importance of these effective particles, there is still a need for computational methods that can explore their behavior on chemically relevant length and time scales. This is especially true when the interactions between the particles and their environment are important. We introduce an approach for studying quasiparticles in condensed phases by combining effective mass theory with the path integral treatment of quantum particles. This framework incorporates the generally anisotropic electronic band structure of materials into path integral simulation schemes to enable modeling of quasiparticles in quantum confinement, for example. We demonstrate the utility of effective mass path integral simulations by modeling an exciton in solid potassium chloride and electron trapping by a sulfur vacancy in monolayer molybdenum disulfide.


title: On the 2PN pericentre precession in the general theory of relativity and the recently discovered fast orbiting S-stars in Sgr A$^\ast$

abstract: Recently, the secular pericentre precession was analytically computed to the second post-Newtonian (2PN) order by the present author with the Gauss equations in terms of the osculating Keplerian orbital elements in order to obtain closer contact with the observations in astronomical and astrophysical scenarios of potential interest. A discrepancy with previous results by other authors was found. Moreover, some of such findings by the same authors were deemed as mutually inconsistent. In this paper, it is demonstrated that, in fact, two calculational errors plagued the most recent calculation by the present author. They are explicitly disclosed and corrected. As a result, all the examined approaches mutually agree yielding the same analytical expression for the total 2PN pericentre precession once the appropriate conversions from the adopted parameterizations are made. It is also shown that, in future, it may become measurable, at least in principle, for some of the recently discovered short-period S-stars in Sgr A$^\ast$ like S62 and S4714.


title: Emergence of polarized ideological opinions in multidimensional topic spaces

abstract: Opinion polarization is on the rise, causing concerns for the openness of public debates. Additionally, extreme opinions on different topics often show significant correlations. The dynamics leading to these polarized ideological opinions pose a challenge: How can such correlations emerge, without assuming them a priori in the individual preferences or in a preexisting social structure? Here we propose a simple model that qualitatively reproduces ideological opinion states found in survey data, even between rather unrelated, but sufficiently controversial, topics. Inspired by skew coordinate systems recently proposed in natural language processing models, we solidify these intuitions in a formalism of opinions unfolding in a multidimensional space where topics form a non-orthogonal basis. Opinions evolve according to the social interactions among the agents, which are ruled by homophily: two agents sharing similar opinions are more likely to interact. The model features phase transitions between a global consensus, opinion polarization, and ideological states. Interestingly, the ideological phase emerges by relaxing the assumption of an orthogonal basis of the topic space, i.e. if topics thematically overlap. Furthermore, we analytically and numerically show that these transitions are driven by the controversialness of the topics discussed, the more controversial the topics, the more likely are opinion to be correlated. Our findings shed light upon the mechanisms driving the emergence of ideology in the formation of opinions.


title: Impact of V substitution on the physical properties of Ni-Zn-Co ferrites: structural, magnetic, dielectric and electrical properties

abstract: We have investigated the Vanadium- (V) substituted Ni-Zn-Co ferrites where the samples were prepared using solid-state reaction technique. The impact of V5+ substitution on the structural, magnetic, dielectric and electrical properties of Ni-Zn-Co ferrites has been studied. XRD analysis confirmed the formation of a single-phase cubic spinel structure. The lattice constants have been calculated both theoretically and experimentally along with other structural parameters such as bulk density, X-ray density and porosity. The FESEM images are taken to study the surface morphology. FTIR measurement is also performed which confirms spinel structure formation. The saturation magnetization (Ms), coercive field (Hc) and Bohr magneton (B) were calculated from the obtained M-H loops. The temperature dependent permeability is studied to obtain the Curie temperature. Frequency and composition dependence of permeability was also analyzed. Dielectric behavior and ac resistivity are also subjected to investigate the frequency dependency. An inverse relationship was observed between the composition dependence of dielectric constant and ac resistivity. The obtained results such as the electrical resistivity, dielectric constants and magnetic properties suggest the appropriateness of the studied ferrites in microwave device applications.


title: Exploiting the Logits: Joint Sign Language Recognition and Spell-Correction

abstract: Machine learning techniques have excelled in the automatic semantic analysis of images, reaching human-level performances on challenging benchmarks. Yet, the semantic analysis of videos remains challenging due to the significantly higher dimensionality of the input data, respectively, the significantly higher need for annotated training examples. By studying the automatic recognition of German sign language videos, we demonstrate that on the relatively scarce training data of 2.800 videos, modern deep learning architectures for video analysis (such as ResNeXt) along with transfer learning on large gesture recognition tasks, can achieve about 75% character accuracy. Considering that this leaves us with a probability of under 25% that a 5 letter word is spelled correctly, spell-correction systems are crucial for producing readable outputs. The contribution of this paper is to propose a convolutional neural network for spell-correction that expects the softmax outputs of the character recognition network (instead of a misspelled word) as an input. We demonstrate that purely learning on softmax inputs in combination with scarce training data yields overfitting as the network learns the inputs by heart. In contrast, training the network on several variants of the logits of the classification output i.e. scaling by a constant factor, adding of random noise, mixing of softmax and hardmax inputs or purely training on hardmax inputs, leads to better generalization while benefitting from the significant information hidden in these outputs (that have 98% top-5 accuracy), yielding a readable text despite the comparably low character accuracy.


title: New Linear Codes as Quasi-Twisted Codes from Long Constacyclic Codes

abstract: One of the most important and challenging problems in coding theory is to determine the optimal values of the parameters of a linear code and to explicitly construct codes with optimal parameters, or as close to the optimal values as possible. The class of quasi-twisted (QT) codes has been very promising in this regard. Over the past few decades various search algorithms to construct QT codes with better parameters have been employed. Most of these algorithms (such as ASR) start by joining constacyclic codes of smaller lengths to obtain QT codes of longer lengths. There has been an algorithm that works in the opposite way that constructs shorter QT codes from long constacyclic codes. We modified and generalized this algorithm and obtained new linear codes via its implementation. We also observe that the new algorithm is related to the ASR algorithm.


title: Effects for Efficiency: Asymptotic Speedup with First-Class Control

abstract: We study the fundamental efficiency of delimited control. Specifically, we show that effect handlers enable an asymptotic improvement in runtime complexity for a certain class of functions. We consider the generic count problem using a pure PCF-like base language $\lambda_b$ and its extension with effect handlers $\lambda_h$. We show that $\lambda_h$ admits an asymptotically more efficient implementation of generic count than any $\lambda_b$ implementation. We also show that this efficiency gap remains when $\lambda_b$ is extended with mutable state. To our knowledge this result is the first of its kind for control operators.


title: Travelling helices and the vortex filament conjecture in the incompressible Euler equations

abstract: We consider the Euler equations in ${\mathbb R}^3$ expressed in vorticity form. A classical question that goes back to Helmholtz is to describe the evolution of solutions with a high concentration around a curve. The work of Da Rios in 1906 states that such a curve must evolve by the so-called binormal curvature flow. Existence of true solutions concentrated near a given curve that evolves by this law is a long-standing open question that has only been answered for the special case of a circle travelling with constant speed along its axis, the thin vortex-rings. We provide what appears to be the first rigorous construction of {\em helical filaments}, associated to a translating-rotating helix. The solution is defined at all times and does not change form with time. The result generalizes to multiple similar helical filaments travelling and rotating together.


title: Oblique tearing mode instability: guide field and Hall effect

abstract: The tearing mode instability is one important mechanism that may explain the triggering of fast magnetic reconnection in astrophysical plasmas such as the solar corona and the Earth's magnetosphere. In this paper, the linear stability analysis of the tearing mode is carried out for a current sheet in the presence of a guide field, including the Hall effect. We show that the presence of a strong guide field does not modify the most unstable mode in the two-dimensional wave vector space orthogonal to the current gradient direction, which remains the fastest growing parallel mode. With the Hall effect, the inclusion of a guide field turns the non-dispersive propagation along the guide field direction to a dispersive one. The oblique modes have a wave-like structure along the normal direction of the current sheet and a strong guide field suppresses this structure while making the eigen-functions asymmetric.


title: Stability and detection performance of a GEM-based Optical Readout TPC with He/CF$_4$ gas mixtures

abstract: The performance and long term stability of an optically readout Time Projection Chamber with an electron amplification structure based on three Gas Electron Multipliers was studied. He/CF$_4$ based gas mixtures were used in two different proportions (60/40 and 70/30) in a CYGNO prototype with 7 litres sensitive volume. With electrical configurations providing very similar electron gains, an almost full detection efficiency in the whole detector volume was found with both mixtures, while a light yield about 20\% larger for the 60/40 was found. The electrostatic stability was tested by monitoring voltages and currents during 25 days. The detector worked in very stable and safe condition for the whole period. In the presence of less CF$_4$, a larger probability of unstable events was clearly detected.


title: The surface brightness of megaconstellation satellites trails on large telescopes

abstract: On large telescopes trails of MegaConstellation's satellites will appears significantly defocused because of their relatively short distance. Because of such effect their apparent surface brightness will be, under a range of conditions, almost constant during their apparent sweeping on the focal plane of such large facilities. A few simple relationships are worked out and discussed to show the apparent brightness of such trails, in order to evaluate their impact on operations of large optical ground based facilities.


title: Compositional layering in Io driven by magmatic segregation and volcanism

abstract: Magmatic segregation and volcanic eruptions transport tidal heat from Io's interior to its surface. Several observed eruptions appear to be extremely high temperature ($\geq$ 1600 K), suggesting either very high degrees of melting, refractory source regions, or large amounts of viscous heating on ascent. To address this ambiguity, we develop a model that couples crust and mantle dynamics to a simple compositional system. We analyse the model to investigate chemical structure and evolution. We demonstrate that magmatic segregation and volcanic eruptions lead to differentiation of the mantle, the extent of which depends on how easily high temperature melts from the more refractory lower mantle can migrate upwards. We propose that Io's highest temperature eruptions originate from this lower mantle region, and that such eruptions act to limit the degree of compositional differentiation.


title: Gradient Temporal-Difference Learning with Regularized Corrections

abstract: It is still common to use Q-learning and temporal difference (TD) learning-even though they have divergence issues and sound Gradient TD alternatives exist-because divergence seems rare and they typically perform well. However, recent work with large neural network learning systems reveals that instability is more common than previously thought. Practitioners face a difficult dilemma: choose an easy to use and performant TD method, or a more complex algorithm that is more sound but harder to tune and all but unexplored with non-linear function approximation or control. In this paper, we introduce a new method called TD with Regularized Corrections (TDRC), that attempts to balance ease of use, soundness, and performance. It behaves as well as TD, when TD performs well, but is sound in cases where TD diverges. We empirically investigate TDRC across a range of problems, for both prediction and control, and for both linear and non-linear function approximation, and show, potentially for the first time, that gradient TD methods could be a better alternative to TD and Q-learning.


title: One property of a planar curve whose convex hull covers a given convex figure

abstract: In this note, we prove the following conjecture by A. Akopyan and V. Vysotsky: If the convex hull of a planar curve $\gamma$ covers a planar convex figure $K$, then $\operatorname{length}(\gamma) \geq \operatorname{per} (K) - \operatorname{diam} (K)$. In addition, all cases of equality in this inequality are studied.


title: Individual-level Anxiety Detection and Prediction from Longitudinal YouTube and Google Search Engagement Logs

abstract: Anxiety disorder is one of the world's most prevalent mental health conditions, arising from complex interactions of biological and environmental factors and severely interfering one's ability to lead normal life activities. Current methods for detecting anxiety heavily rely on in-person interviews, which can be expensive, time-consuming, and blocked by social stigmas. In this work, we propose an alternative method to identify individuals with anxiety and further estimate their levels of anxiety using personal online activity histories from YouTube and the Google Search engine, platforms that are used by millions of people daily. We ran a longitudinal study and collected multiple rounds of anonymized YouTube and Google Search logs from volunteering participants, along with their clinically validated ground-truth anxiety assessment scores. We then developed explainable features that capture both the temporal and contextual aspects of online behaviors. Using those, we were able to train models that (i) identify individuals having anxiety disorder with an average F1 score of 0.83 and (ii) assess the level of anxiety by predicting the gold standard Generalized Anxiety Disorder 7-item scores (ranges from 0 to 21) with a mean square error of 1.87 based on the ubiquitous individual-level online engagement data. Our proposed anxiety assessment framework is cost-effective, time-saving, scalable, and opens the door for it to be deployed in real-world clinical settings, empowering care providers and therapists to learn about anxiety disorders of patients non-invasively at any moment in time.


title: Enhancing surface production of negative ions using nitrogen doped diamond in a deuterium plasma

abstract: The production of negative ions is of significant interest for applications including mass spectrometry, particle acceleration, material surface processing, and neutral beam injection for magnetic confinement fusion. Methods to improve the efficiency of the surface production of negative ions, without the use of low work function metals, are of interest for mitigating the complex engineering challenges these materials introduce. In this study we investigate the production of negative ions by doping diamond with nitrogen. Negatively biased ($-20$ V or $-130$ V), nitrogen doped micro-crystalline diamond films are introduced to a low pressure deuterium plasma (helicon source operated in capacitive mode, 2 Pa, 26 W) and negative ion energy distribution functions (NIEDFs) are measured via mass spectrometry with respect to the surface temperature (30$^{\circ}$C to 750$^{\circ}$C) and dopant concentration. The results suggest that nitrogen doping has little influence on the yield when the sample is biased at $-130$ V, but when a relatively small bias voltage of $-20$ V is applied the yield is increased by a factor of 2 above that of un-doped diamond when its temperature reaches 550$^{\circ}$C. The doping of diamond with nitrogen is a new method for controlling the surface production of negative ions, which continues to be of significant interest for a wide variety of practical applications.


title: Fast low-noise transimpedance amplifier for scanning tunneling microscopy and beyond

abstract: A transimpedance amplifier has been designed for scanning tunneling microscopy (STM). The amplifier features low noise (limited by the Johnson noise of the 1 G{\Omega} feedback resistor at low input current and low frequencies), sufficient bandwidth for most STM applications (50 kHz at 35 pF input capacitance), a large dynamic range (0.1 pA--50 nA without range switching), and a low input voltage offset. The amplifier is also suited for placing its first stage into the cryostat of a low-temperature STM, minimizing the input capacitance and reducing the Johnson noise of the feedback resistor. The amplifier may also find applications for specimen current imaging and electron-beam-induced current measurements in scanning electron microscopy and as a photodiode amplifier with a large dynamic range. This paper also discusses the sources of noise including the often neglected effect of non-balanced input impedance of operational amplifiers and describes how to accurately measure and adjust the frequency response of low-current transimpedance amplifiers.


title: Equational Reasoning for MTL Type Classes

abstract: Ability to use definitions occurring in the code directly in equational reasoning is one of the key strengths of functional programming. This is impossible in the case of Haskell type class methods unless a particular instance type is specified, since class methods can be defined differently for different instances. To allow uniform reasoning for all instances, many type classes in the Haskell library come along with laws (axioms), specified in comments, that all instances are expected to follow (albeit Haskell is unable to force it). For the type classes introduced in the Monad Transformer Library (MTL), such laws have not been specified; nevertheless, some sets of axioms have occurred in the literature and the Haskell mailing lists. This paper investigates sets of laws usable for equational reasoning about methods of the type classes MonadReader and MonadWriter and also reviews analogous earlier proposals for the classes MonadError and MonadState. For both MonadReader and MonadWriter, an equivalence result of two alternative axiomatizations in terms of different sets of operations is established. As a sideline, patterns in the choice of methods of different classes are noticed which may inspire new developments in MTL.


title: Revisiting the Christ-Kiselev's multi-linear operator technique and its applications to Schr\"odinger operators

abstract: We established a generalized version of the Christ-Kiselev's multi-linear operator technique to deal with the spectral theory of Schr\"odinger operators. As applications, several spectral results of perturbed periodic Schr\"odinger operators are obtained, including WKB solutions, sharp transitions of preservation of absolutely continuous spectra, criteria of absence of singular spectra and sharp bounds of the Hausdorff dimension of singular spectra.


title: A Dissipative Photochemical Origin of Life: The UVC Abiogenisis of Adenine

abstract: I describe the non-equilibrium thermodynamics and the photochemical mechanisms which may have been involved in the dissipative structuring, proliferation and evolution of the fundamental molecules at the origin of life from simpler and more common precursor molecules under the impressed UVC photon flux of the Archean. Dissipative structuring of the fundamental molecules is evidenced by their strong and broad wavelength absorption bands and rapid radiationless dexcitation in this wavelength region. Proliferation arises from the auto- and cross-catalytic nature of the intermediate products. Evolution towards states of concentration profiles of generally increasing photon disspative efficacy arises since the system has numerous stationary states, due to the non-linearity of the photochemical and chemical reactions with diffusion, which can be reached by amplification of a molecular concentration fluctuation near a bifurcation. An example is given of photochemical dissipative abiogenisis of adenine from the precursors HCN and H$_2$O within a fatty acid vesicle on a hot ocean surface, driven far from equilibrium by the impressed UVC light. The kinetic equations are resolved under different environmental conditions and the results analyzed within the framework of Classical Irreversible Thermodynamic theory.


title: Particles, Fields, and the Measurement of Electron Spin

abstract: This article compares treatments of the Stern-Gerlach experiment across different physical theories, building up to a novel analysis of electron spin measurement in the context of classical Dirac field theory. Modeling the electron as a classical rigid body or point particle, we can explain why the entire electron is always found at just one location on the detector (uniqueness) but we cannot explain why there are only two locations where the electron is ever found (discreteness). Using non-relativistic or relativistic quantum mechanics, we can explain both uniqueness and discreteness. Moving to more fundamental physics, both features can be explained within a quantum theory of the Dirac field. In a classical theory of the Dirac field, the rotating charge of the electron can split into two pieces that each hit the detector at a different location. In this classical context, we can explain a feature of electron spin that is often described as distinctively quantum (discreteness) but we cannot explain another feature that could be explained within any of the other theories (uniqueness).


title: El Modelo Estandar de la Cosmologia Moderna en Jaque

abstract: The standard model of modern cosmology provides a description of a wide range of astrophysical and astronomical data. However, despite this impressive success, several discrepancies have have persisted. Most strikingly, the emerging tension in the observed and inferred values of the Hubble constant. This constant parameterizes the rate of expansion of the cosmos and thus provides clues about its energy content. In this article we examine the origin of this discrepancy and we explore possible solutions to overcome the problem.


title: In Silico Investigation of Phytoconstituents from Indian Medicinal Herb 'Tinospora cordifolia (Giloy)' against SARS-CoV-2 (COVID-19) by Molecular Dynamics Approach

abstract: The recent appearance of COVID-19 virus has created a global crisis due to unavailability of any vaccine or drug that can effectively and deterministically work against it. Naturally, different possibilities (including herbal medicines having known therapeutic significance) have been explored by the scientists. The systematic scientific study (beginning with in silico study) of herbal medicines in particular and any drug in general is now possible as the structural components (proteins) of COVID-19 are already characterized. The main protease of COVID-19 virus is $\rm{M^{pro}}$ or $\rm{3CL^{pro}}$ which is a key CoV enzyme and an attractive drug target as it plays a pivotal role in mediating viral replication and transcription. In the present study, $\rm{3CL^{pro}}$ is used to study drug:3CLpro interactions and thus to investigate whether all or any of the main chemical constituents of Tinospora cordifolia (e.g., berberine $\rm{(C_{20}H_{18}NO_{4})}$, $\beta$-sitosterol $\rm{(C_{29}H_{50}O)}$, choline $\rm{(C_{5}H_{14}NO)}$, tetrahydropalmatine $\rm{(C_{21}H_{25}NO_{4})}$ and octacosanol $\rm{(C_{28}H_{58}O))}$ can be used as an anti-viral drug against SARS-CoV-2. The in silico study performed using tools of network pharmacology, molecular docking including molecular dynamics have revealed that among all considered phytochemicals in Tinospora cordifolia, berberine can regulate $\rm{3CL^{pro}}$ protein's function due to its easy inhibition and thus can control viral replication. The selection of Tinospora cordifolia was motivated by the fact that the main constituents of it are known to be responsible for various antiviral activities and the treatment of jaundice, rheumatism, diabetes, etc.


title: A Multi-spectral Dataset for Evaluating Motion Estimation Systems

abstract: Visible images have been widely used for motion estimation. Thermal images, in contrast, are more challenging to be used in motion estimation since they typically have lower resolution, less texture, and more noise. In this paper, a novel dataset for evaluating the performance of multi-spectral motion estimation systems is presented. All the sequences are recorded from a handheld multi-spectral device. It consists of a standard visible-light camera, a long-wave infrared camera, an RGB-D camera, and an inertial measurement unit (IMU). The multi-spectral images, including both color and thermal images in full sensor resolution (640 x 480), are obtained from a standard and a long-wave infrared camera at 32Hz with hardware-synchronization. The depth images are captured by a Microsoft Kinect2 and can have benefits for learning cross-modalities stereo matching. For trajectory evaluation, accurate ground-truth camera poses obtained from a motion capture system are provided. In addition to the sequences with bright illumination, the dataset also contains dim, varying, and complex illumination scenes. The full dataset, including raw data and calibration data with detailed data format specifications, is publicly available.


title: Propagators, BCFW Recursion and New Scattering Equations at One Loop

abstract: We investigate how loop-level propagators arise from tree level via a forward-limit procedure in two modern approaches to scattering amplitudes, namely the BCFW recursion relations and the scattering equations formalism. In the first part of the paper, we revisit the BCFW construction of one-loop integrands in momentum space, using a convenient parametrisation of the D-dimensional loop momentum. We work out explicit examples with and without supersymmetry, and discuss the non-planar case in both gauge theory and gravity. In the second part of the paper, we study an alternative approach to one-loop integrands, where these are written as worldsheet formulas based on new one-loop scattering equations. These equations, which are inspired by BCFW, lead to standard Feynman-type propagators, instead of the `linear'-type loop-level propagators that first arose from the formalism of ambitwistor strings. We exploit the analogies between the two approaches, and present a proof of an all-multiplicity worldsheet formula using the BCFW recursion.


title: Cartesian closed bicategories: type theory and coherence

abstract: In this thesis I lift the Curry--Howard--Lambek correspondence between the simply-typed lambda calculus and cartesian closed categories to the bicategorical setting, then use the resulting type theory to prove a coherence result for cartesian closed bicategories. Cartesian closed bicategories---2-categories `up to isomorphism' equipped with similarly weak products and exponentials---arise in logic, categorical algebra, and game semantics. I show that there is at most one 2-cell between any parallel pair of 1-cells in the free cartesian closed bicategory on a set and hence---in terms of the difficulty of calculating---bring the data of cartesian closed bicategories down to the familiar level of cartesian closed categories. In fact, I prove this result in two ways. The first argument is closely related to Power's coherence theorem for bicategories with flexible bilimits. For the second, which is the central preoccupation of this thesis, the proof strategy has two parts: the construction of a type theory, and the proof that it satisfies a form of normalisation I call "local coherence". I synthesise the type theory from algebraic principles using a novel generalisation of the (multisorted) abstract clones of universal algebra, called "biclones". Using a bicategorical treatment of M. Fiore's categorical analysis of normalisation-by-evaluation, I then prove a normalisation result which entails the coherence theorem for cartesian closed bicategories. In contrast to previous coherence results for bicategories, the argument does not rely on the theory of rewriting or strictify using the Yoneda embedding. Along the way I prove bicategorical generalisations of a series of well-established category-theoretic results, present a notion of glueing of bicategories, and bicategorify the folklore result providing sufficient conditions for a glueing category to be cartesian closed.


title: On the Distributed Construction of Stable Networks in Polylogarithmic Parallel Time

abstract: We study the class of networks which can be created in polylogarithmic parallel time by network constructors: groups of anonymous agents that interact randomly under a uniform random scheduler with the ability to form connections between each other. Starting from an empty network, the goal is to construct a stable network which belongs to a given family. We prove that the class of trees where each node has any k >= 2 children can be constructed in O(log n) parallel time with high probability. We show that constructing networks which are k-regular is Omega(n) time, but a minimal relaxation to (l, k)-regular networks, where l = k - 1 can be constructed in polylogarithmic parallel time for any fixed k, where k > 2. We further demonstrate that when the finite-state assumption is relaxed and k is allowed to grow with n, then k = log log n acts as a threshold above which network construction is again polynomial time. We use this to provide a partial characterisation of the class of polylogarithmic time network constructors.


title: Nozzle dynamics and wavepackets in turbulent jets

abstract: We study a turbulent jet issuing from a cylindrical nozzle to characterise coherent structures evolving in the turbulent boundary layer. The analysis is performed using data from a large-eddy simulation of a Mach 0.4 jet. Azimuthal decomposition of the velocity field in the nozzle shows that turbulent kinetic energy predominantly resides in high azimuthal wavenumbers; the first three azimuthal wavenumbers, that are important for sound generation, contain much lower, but non-zero amplitudes. Using two-point statistics, low azimuthal modes in the nozzle boundary layer are shown to exhibit significant correlations with modes of same order in the free-jet region. Spectral Proper Orthogonal Decomposition (SPOD) is used to distill a low-rank approximation of the flow dynamics. This reveals the existence of tilted coherent structures within the nozzle boundary layer and shows that these are coupled with wavepackets in the jet. The educed nozzle boundary-layer structures are modelled using a local linear stability analysis of the nozzle mean flow. Projection of the leading SPOD modes on the stability eigenmodes shows that the organised boundary-layer structures can be modelled using a small number of stable eigenmodes of the boundary-layer branch of the eigenspectrum, indicating the prevalence of non-modal effects. Finally local and global resolvent analysis of the mean-flow are performed. It is shown that the most-energetic nozzle structures can be successfully described with optimal resolvent response modes, whose associated forcing modes are observed to tilt against the nozzle boundary-layer, suggesting that the Orr mechanism underpins these organised, turbulent, boundary-layer structures.


title: A cup-cap duality in Koszul calculus

abstract: We introduce a cup-cap duality in the Koszul calculus of N-homogeneous algebras. As an application, we prove that the graded symmetry of the Koszul cap product is a consequence of the graded commutativity of the Koszul cup product. We propose a conceptual approach that may lead to a proof of the graded commutativity, based on derived categories in the framework of DG algebras and DG bimodules. Various enriched structures are developed in a weaker situation corresponding to N>2.


title: Deriving Bounds and Inequality Constraints Using LogicalRelations Among Counterfactuals

abstract: Causal parameters may not be point identified in the presence of unobserved confounding. However, information about non-identified parameters, in the form of bounds, may still be recovered from the observed data in some cases. We develop a new general method for obtaining bounds on causal parameters using rules of probability and restrictions on counterfactuals implied by causal graphical models. We additionally provide inequality constraints on functionals of the observed data law implied by such causal models. Our approach is motivated by the observation that logical relations between identified and non-identified counterfactual events often yield information about non-identified events. We show that this approach is powerful enough to recover known sharp bounds and tight inequality constraints, and to derive novel bounds and constraints.


title: Nonlocal strain gradient exact solutions for functionally graded inflected nano-beams

abstract: The size-dependent bending behavior of nano-beams is investigated by the modified nonlocal strain gradient elasticity theory. According to this model, the bending moment is expressed by integral convolutions of elastic flexural curvature and of its derivative with a bi-exponential averaging kernel. It has been recently proven that such a relation is equivalent to a differential equation, involving bending moment and flexural curvature fields, equipped with natural higher-order boundary conditions of constitutive type. The associated elastostatic problem of a Bernoulli-Euler functionally graded nanobeam is formulated and solved for simple statical schemes of technical interest. An effective analytical approach is presented and exploited to establish exact expressions of nonlocal strain gradient transverse displacements of doubly clamped, cantilever, clamped-pinned and pinned-pinned nano-beams, detecting thus also new benchmarks for numerical analyses. Comparisons with results of literature, corresponding to selected higher-order boundary conditions are provided and discussed. The considered nonlocal strain gradient model can be advantageously adopted to characterize scale phenomena in nano-engineering problems.


title: Direct Numerical Simulation of Fluid Flow in a 5x5 Square Rod Bundle Using Nek5000

abstract: Rod bundle flows are commonplace in nuclear engineering, and are present in light water reactors (LWRs) as well as other more advanced concepts. Inhomogeneities in the bundle cross section can lead to complex flow phenomena, including varying local conditions of turbulence. Despite the decades of numerical and experimental investigations regarding this topic, and the importance of elucidating the physics of the flow field, to date there are few publicly available direct numerical simulations (DNS) of the flow in multiple-pin rod bundles. Thus a multiple-pin DNS study can provide significant value toward reaching a deeper understanding of the flow physics, as well as a reference simulation for development of various reduced-resolution analysis techniques. To this end, DNS of the flow in a square 5x5 rod bundle at Reynolds number of 19,000 has been performed using the highly-parallel spectral element code Nek5000. The geometrical dimensions were representative of typical LWR fuel designs. The DNS was designed using microscales estimated from an advanced Reynolds-Averaged Navier-Stokes (RANS) model. Characteristics of the velocity field, Reynolds stresses, and anisotropy are presented in detail for various regions of the bundle. The turbulent kinetic energy budget is also presented and discussed


title: Causal Discovery in Physical Systems from Videos

abstract: Causal discovery is at the core of human cognition. It enables us to reason about the environment and make counterfactual predictions about unseen scenarios that can vastly differ from our previous experiences. We consider the task of causal discovery from videos in an end-to-end fashion without supervision on the ground-truth graph structure. In particular, our goal is to discover the structural dependencies among environmental and object variables: inferring the type and strength of interactions that have a causal effect on the behavior of the dynamical system. Our model consists of (a) a perception module that extracts a semantically meaningful and temporally consistent keypoint representation from images, (b) an inference module for determining the graph distribution induced by the detected keypoints, and (c) a dynamics module that can predict the future by conditioning on the inferred graph. We assume access to different configurations and environmental conditions, i.e., data from unknown interventions on the underlying system; thus, we can hope to discover the correct underlying causal graph without explicit interventions. We evaluate our method in a planar multi-body interaction environment and scenarios involving fabrics of different shapes like shirts and pants. Experiments demonstrate that our model can correctly identify the interactions from a short sequence of images and make long-term future predictions. The causal structure assumed by the model also allows it to make counterfactual predictions and extrapolate to systems of unseen interaction graphs or graphs of various sizes.


title: Colossal Seebeck coefficient in Aurivillius Phase-Perovskite Oxide Composite

abstract: We propose an inexpensive scalable approach for achieving extremely high values of Seebeck coefficient ($\alpha$) by exploiting the natural superlattice structure in Aurivillius phase oxides. In particular, we report an $\alpha \approx $ 319\,mV/K at 300\,K in a composite of Aurivillius phase compound SrBi$_4$Ti$_4$O$_{15}$ (as a matrix) and a perovskite phase material (e.g., La$_{0.7}$Sr$_{0.3}$MnO$_3$ or, La$_{0.7}$Sr$_{0.3}$CoO$_3$ as filler). Such a colossal value of $\alpha$ can be attributed to contributions from the enhanced density of states due to the effective low dimensional character of Bi$_2$O$_2$ layer. The corresponding thermal conductivity ($\kappa$) and the electrical conductivity ($\sigma$) lies in the range 0.7 - 1.25 W/m-K and 10 - 100 $\mu$S/m, respectively at 300\,K. Attributed to the high $\alpha$ values, such oxide composites can be used as thermopile sensors and highly sensitive bolometric applications. We anticipate that the demonstration of colossal $\alpha$ in oxide composites using a simple synthesis strategy also sets the stage for future material innovations for high temperature thermoelectric applications.


title: Magnetic phase transitions and spin density distribution in the molecular multiferroic GaV$_4$S$_8$ system

abstract: We have carried out neutron diffraction and small angle neutron scattering measurements on a high quality single crystal of the cubic lacunar spinel multiferroic, GaV$_4$S$_8$, as a function of magnetic field and temperature to determine the magnetic properties for the single electron that is located on the tetrahedrally coordinated V$_4$ molecular unit. Our results are in good agreement with the structural transition at 44 K from cubic to rhombohedral symmetry where the system becomes a robust ferroelectric, while long range magnetic order develops below 13 K in the form of an incommensurate cycloidal magnetic structure, which can transform into a N\'eel-type skyrmion phase in a modest applied magnetic field. Below 5.9(3) K, the crystal enters a ferromagnetic phase, and we find the magnetic order parameter indicates a long range ordered ground state with an ordered moment of 0.23(1) ${\mu}_\mathrm{B}$ per V ion. Both polarized and unpolarized neutron data in the ferroelectric-paramagnetic phase have been measured to determine the magnetic form factor. The data are consistent with a model of the single spin being uniformly distributed across the V$_4$ molecular unit, rather than residing on the single apical V ion, in substantial agreement with the results of first-principles theory. In the magnetically ordered state, polarized neutron measurements are important since both the cycloidal and ferromagnetic order parameters are clearly coupled to the ferroelectricity, causing the structural peaks to be temperature and field dependent. For the ferromagnetic ground state, the spins are locked along the $[1,1,1]$ direction by a surprisingly large anisotropy.


title: On rectification and enrichment of infinity properads

abstract: We develop a theory of infinity properads enriched in a general symmetric monoidal infinity category. These are defined as presheaves, satisfying a Segal condition and a Rezk completeness condition, over certain categories of graphs. In particular, we introduce a new category of level graphs which also allow us to give a framework for algebras over an enriched infinity properad. We show that one can vary the category of graphs without changing the underlying theory. We also show that infinity properads cannot always be rectified, indicating that a conjecture of the second author and Robertson is unlikely to hold. This stands in stark contrast to the situation for infinity operads, and we further demarcate these situations by examining the cases of infinity dioperads and infinity output properads. In both cases, we provide a rectification theorem that says that each up-to-homotopy object is equivalent to a strict one.


title: Limits of effective material properties in the context of an electromagnetic tissue model

abstract: Most calibration schemes for reflection-based tissue spectroscopy in the mm-wave/THz-frequency range are based on homogenized, frequency-dependent tissue models where macroscopic material parameters have either been determined by measurement or calculated using effective material theory. However, as the resolution of measurement at these frequencies captures the underlying microstructure of the tissue, here we will investigate the validity limits of such effective material models over a wide frequency range (10 MHz - 200 GHz) . Embedded in a parameterizable virtual workbench, we implemented a numerical homogenization method using a hierarchical multiscale approach to capture both the dispersive and tensorial electromagnetic properties of the tissue, and determined at which frequency this homogenized model deviated from a full-wave electromagnetic reference model within the framework of a Monte Carlo analysis. Simulations were carried out using a generic hypodermal tissue that emulated the morphology of the microstructure. Results showed that the validity limit occurred at surprisingly low frequencies and thus contradicted the traditional usage of homogenized tissue models. The reasons for this are explained in detail and thus it is shown how both the lower "allowed" and upper "forbidden" frequency ranges can be used for frequency-selective classification/identification of specific material and structural properties employing a supervised machine-learning approach. Using the implemented classifier, we developed a method to identify specific frequency bands in the forbidden frequency range to optimize the reliability of material classification.


title: Using Affective Features from Media Content Metadata for Better Movie Recommendations

abstract: This paper investigates the causality in the decision making of movie recommendations through the users' affective profiles. We advocate a method of assigning emotional tags to a movie by the auto-detection of the affective features in the movie's overview. We apply a text-based Emotion Detection and Recognition model, which trained by tweets short messages and transfers the learned model to detect movie overviews' implicit affective features. We vectorized the affective movie tags to represent the mood embeddings of the movie. We obtain the user's emotional features by taking the average of all the movies' affective vectors the user has watched. We apply five-distance metrics to rank the Top-N movie recommendations against the user's emotion profile. We found Cosine Similarity distance metrics performed better than other distance metrics measures. We conclude that by replacing the top-N recommendations generated by the Recommender with the reranked recommendations list made by the Cosine Similarity distance metrics, the user will effectively get affective aware top-N recommendations while making the Recommender feels like an Emotion Aware Recommender.


title: Minimal witnesses for probabilistic timed automata

abstract: Witnessing subsystems have proven to be a useful concept in the analysis of probabilistic systems, for example as diagnostic information on why a given property holds or as input to refinement algorithms. This paper introduces witnessing subsystems for reachability problems in probabilistic timed automata (PTA). Using a new operation on difference bounds matrices, it is shown how Farkas certificates of finite-state bisimulation quotients of a PTA can be translated into witnessing subsystems. We present algorithms for the computation of minimal witnessing subsystems under three notions of minimality, which capture the timed behavior from different perspectives, and discuss their complexity.


title: A three-wave mixing kinetic inductance traveling-wave amplifier with near-quantum-limited noise performance

abstract: We present a theoretical model and experimental characterization of a microwave kinetic inductance traveling-wave amplifier (KIT), whose noise performance, measured by a shot-noise tunnel junction (SNTJ), approaches the quantum limit. Biased with a dc current, the KIT operates in a three-wave mixing fashion, thereby reducing by several orders of magnitude the power of the microwave pump tone and associated parasitic heating compared to conventional four-wave mixing KIT devices. It consists of a 50 Ohms artificial transmission line whose dispersion allows for a controlled amplification bandwidth. We measure $16.5^{+1}_{-1.3}$ dB of gain across a 2 GHz bandwidth with an input 1 dB compression power of -63 dBm, in qualitative agreement with theory. Using a theoretical framework that accounts for the SNTJ-generated noise entering both the signal and idler ports of the KIT, we measure the system-added noise of an amplification chain that integrates the KIT as the first amplifier. This system-added noise, $3.1\pm0.6$ quanta (equivalent to $0.66\pm0.15$ K) between 3.5 and 5.5 GHz, is the one that a device replacing the SNTJ in that chain would see. This KIT is therefore suitable to read large arrays of microwave kinetic inductance detectors and promising for multiplexed superconducting qubit readout.


title: End-to-End JPEG Decoding and Artifacts Suppression Using Heterogeneous Residual Convolutional Neural Network

abstract: Existing deep learning models separate JPEG artifacts suppression from the decoding protocol as independent task. In this work, we take one step forward to design a true end-to-end heterogeneous residual convolutional neural network (HR-CNN) with spectrum decomposition and heterogeneous reconstruction mechanism. Benefitting from the full CNN architecture and GPU acceleration, the proposed model considerably improves the reconstruction efficiency. Numerical experiments show that the overall reconstruction speed reaches to the same magnitude of the standard CPU JPEG decoding protocol, while both decoding and artifacts suppression are completed together. We formulate the JPEG artifacts suppression task as an interactive process of decoding and image detail reconstructions. A heterogeneous, fully convolutional, mechanism is proposed to particularly address the uncorrelated nature of different spectral channels. Directly starting from the JPEG code in k-space, the network first extracts the spectral samples channel by channel, and restores the spectral snapshots with expanded throughput. These intermediate snapshots are then heterogeneously decoded and merged into the pixel space image. A cascaded residual learning segment is designed to further enhance the image details. Experiments verify that the model achieves outstanding performance in JPEG artifacts suppression, while its full convolutional operations and elegant network structure offers higher computational efficiency for practical online usage compared with other deep learning models on this topic.


title: Universality for the conjugate gradient and MINRES algorithms on sample covariance matrices

abstract: We present a probabilistic analysis of two Krylov subspace methods for solving linear systems. We prove a central limit theorem for norms of the residual vectors that are produced by the conjugate gradient and MINRES algorithms when applied to a wide class of sample covariance matrices satisfying some standard moment conditions. The proof involves establishing a four moment theorem for the so-called spectral measure, implying, in particular, universality for the matrix produced by the Lanczos iteration. The central limit theorem then implies an almost-deterministic iteration count for the iterative methods in question.