title: Tchebichef Transform Domain-based Deep Learning Architecture for Image Super-resolution

abstract: The recent outbreak of COVID-19 has motivated researchers to contribute in the area of medical imaging using artificial intelligence and deep learning. Super-resolution (SR), in the past few years, has produced remarkable results using deep learning methods. The ability of deep learning methods to learn the non-linear mapping from low-resolution (LR) images to their corresponding high-resolution (HR) images leads to compelling results for SR in diverse areas of research. In this paper, we propose a deep learning based image super-resolution architecture in Tchebichef transform domain. This is achieved by integrating a transform layer into the proposed architecture through a customized Tchebichef convolutional layer ($TCL$). The role of TCL is to convert the LR image from the spatial domain to the orthogonal transform domain using Tchebichef basis functions. The inversion of the aforementioned transformation is achieved using another layer known as the Inverse Tchebichef convolutional Layer (ITCL), which converts back the LR images from the transform domain to the spatial domain. It has been observed that using the Tchebichef transform domain for the task of SR takes the advantage of high and low-frequency representation of images that makes the task of super-resolution simplified. We, further, introduce transfer learning approach to enhance the quality of Covid based medical images. It is shown that our architecture enhances the quality of X-ray and CT images of COVID-19, providing a better image quality that helps in clinical diagnosis. Experimental results obtained using the proposed Tchebichef transform domain super-resolution (TTDSR) architecture provides competitive results when compared with most of the deep learning methods employed using a fewer number of trainable parameters.


title: Ruled Real Hypersurfaces in the Indefinite Complex Projective Space

abstract: The main two families of real hypersurfaces in complex space forms are Hopf and ruled. However, very little is known about real hypersurfaces in the indefinite complex projective space $\cpn$. In a previous work, Kimura and the second author introduced Hopf real hypersurfaces in $\cpn$. In this paper, ruled real hypersurfaces in the indefinite complex projective space are introduced, as those whose maximal holomorphic distribution is integrable, and such that the leaves are totally geodesic holomorphic hyperplanes. A detailed description of the shape operator is computed, obtaining two main different families. A method of construction is exhibited, by gluing in a suitable way totally geodesic holomorphic hyperplanes along a non-null curve. Next, the classification of all minimal ruled real hypersurfaces is obtained, in terms of three main families of curves, namely geodesics, totally real circles and a third case which is not a Frenet curve, but can be explicitly computed. Four examples of minimal ruled real hypersurfaces are described.


title: Multi-Agent Consensus Subject to Communication and Privacy Constraints

abstract: We consider a multi-agent consensus problem in the presence of adversarial agents. The adversaries are able to listen to the inter-agent communications and try to estimate the state of the agents. The agents have a limited bit-rate for communication and are required to quantize the transmitted signal in order to meet the bit-rate constraint of the communication channel. We propose a consensus protocol that is protected against the adversaries, i.e., the expected mean-square error of the adversary state estimate is lower bounded. In order to deal with the bit-rate constraint, we propose a dynamic quantization scheme that guarantees protected consensus.


title: Safe Reinforcement Learning Using Robust Action Governor

abstract: Reinforcement Learning (RL) is essentially a trial-and-error learning procedure which may cause unsafe behavior during the exploration-and-exploitation process. This hinders the application of RL to real-world control problems, especially to those for safety-critical systems. In this paper, we introduce a framework for safe RL that is based on integration of a RL algorithm with an add-on safety supervision module, called the Robust Action Governor (RAG), which exploits set-theoretic techniques and online optimization to manage safety-related requirements during learning. We illustrate this proposed safe RL framework through an application to automotive adaptive cruise control.


title: Surface tension as the destabiliser of a vortical interface

abstract: We study the dynamics of an initially flat interface between two immiscible fluids, with a vortex situated on it. We show how surface tension causes vorticity generation at a general curved interface. This creates a velocity jump across the interface which increases quadratically in time, and causes the Kelvin-Helmholtz instability. Surface tension thus acts as a destabiliser by vorticity creation, winning over its own tendency to stabilize by smoothing out interfacial perturbations to reduce surface energy. We further show that this instability is manifested within the vortex core at times larger than $\sim (k We)^{1/4}$ for a Weber number $We$ and perturbation wavenumber $k$, destroying the flow structure. The vorticity peels off into small-scale structures away from the interface. Using energy balance we provide the growth with time in total interface length. A density difference between the fluids produces additional instabilities outside the vortex core due to centrifugal effects. We demonstrate the importance of this mechanism in two-dimensional turbulence simulations with a prescribed initial interface. We show an increase in kinetic energy at large wave numbers due to the creation of small-scale vortices by the action of surface tension.


title: The Homotopy Class of twisted $L_\infty$-morphisms

abstract: The global formality of Dolgushev depends on the choice of a torsion-free covariant derivative. We prove that the globalized formalities with respect to two different covariant derivatives are homotopic. More explicitly, we derive the statement by proving a more general homotopy equivalence between $L_\infty$-morphisms that are twisted with gauge equivalent Maurer-Cartan elements.


title: A Game-Theoretic Approach for Hierarchical Epidemic Control

abstract: We design and analyze a multi-level game-theoretic model of hierarchical policy interventions for epidemic control, such as those in response to the COVID-19 pandemic. Our model captures the potentially mismatched priorities among a hierarchy of policy-makers (e.g., federal, state, and local governments) with respect to two cost components that have opposite dependence on the policy strength -- post-intervention infection rates and the socio-economic cost of policy implementation. Additionally, our model includes a crucial third factor in decisions: a cost of non-compliance with the policy-maker immediately above in the hierarchy, such as non-compliance of counties with state-level policies. We propose two novel algorithms for approximating solutions to such games. The first is based on best response dynamics (BRD), and exploits the tree structure of the game. The second combines quadratic integer programming (QIP), which enables us to collapse the two lowest levels of the game, with best response dynamics. Through extensive experiments, we show that our QIP-based approach significantly outperforms the BRD algorithm both in running time and the quality of equilibrium solutions. Finally, we apply the QIP-based algorithm to experiments based on both synthetic and real-world data under various parameter configurations and analyze the resulting (approximate) equilibria to gain insight into the impact of decentralization on overall welfare (measured as the negative sum of costs) as well as emergent properties like free-riding and fairness in cost distribution among policy-makers.


title: The quadratic minimum spanning tree problem: lower bounds via extended formulations

abstract: The quadratic minimum spanning tree problem (QMSTP) is the problem of finding a spanning tree of a graph such that the total interaction cost between pairs of edges in the tree is minimized. We first show that most of the bounding approaches for the QMSTP are closely related. Then, we exploit an extended formulation for the minimum spanning tree problem to derive a sequence of relaxations for the QMSTP with increasing complexity. The resulting relaxations differ from the relaxations in the literature. Namely, our relaxations have a polynomial number of constraints and can be efficiently solved by a cutting plane algorithm. Moreover our bounds outperform most of the bounds from the literature.


title: Dimensions of Timescales in Neuromorphic Computing Systems

abstract: This article is a public deliverable of the EU project "Memory technologies with multi-scale time constants for neuromorphic architectures" (MeMScales, https://memscales.eu, Call ICT-06-2019 Unconventional Nanoelectronics, project number 871371). This arXiv version is a verbatim copy of the deliverable report, with administrative information stripped. It collects a wide and varied assortment of phenomena, models, research themes and algorithmic techniques that are connected with timescale phenomena in the fields of computational neuroscience, mathematics, machine learning and computer science, with a bias toward aspects that are relevant for neuromorphic engineering. It turns out that this theme is very rich indeed and spreads out in many directions which defy a unified treatment. We collected several dozens of sub-themes, each of which has been investigated in specialized settings (in the neurosciences, mathematics, computer science and machine learning) and has been documented in its own body of literature. The more we dived into this diversity, the more it became clear that our first effort to compose a survey must remain sketchy and partial. We conclude with a list of insights distilled from this survey which give general guidelines for the design of future neuromorphic systems.


title: Blandford-Znajek mechanism in the general stationary axially-symmetric black-hole spacetime

abstract: We consider the Blandford-Znajek process of electromagnetic extraction of energy from a general axially symmetric asymptotically flat slowly rotating black hole. Using the general parametrization of the black-hole spacetime we construct formulas for the flux of the magnetic field and the rate of energy extraction, which are valid not only for the Kerr spacetime, but also for its arbitrary axially symmetric deformations. We show that in the dominant order these quantities depend only on a single deformation parameter, which relates the spin frequency of a black hole with its rotation parameter.


abstract: Formal solutions of any-order mass, angular-momentum, dipole perturbations on the Schwarzschild background spacetime are derived in a gauge-invariant manner. Once we accept the proposal in [K. Nakamura, Class. Quantum Grav. {\bf 38} (2021), 145010.], we can extend the gauge-invariant linear perturbation theory on the Schwarzschild background spacetime including the monopole ($l=0$) and dipole ($l=1$) modes to any-order perturbations of the same background spacetime through the arguments in [K. Nakamura, Class. Quantum Grav. {\bf 31} (2014), 135013.]. As a result of this resolution, we reached to a simple derivation of the above formal solutions of any order.


title: Stability and convergence of Galerkin schemes for parabolic equations with application to Kolmogorov pricing equations in time-inhomogeneous L\'evy models

abstract: Two essential quantities for the analysis of approximation schemes of evolution equations are stability and convergence. We derive stability and convergence of fully discrete approximation schemes of solutions to linear parabolic evolution equations governed by time dependent coercive operators. We consider abstract Galerkin approximations in space combined with theta-schemes in time. The level of generality of our analysis comprises both a large class of time-dependent operators and a large choice of approximating Galerkin spaces. In particular the results apply to partial integro differential equations for option pricing in time-inhomogeneous L\'evy models and allows for a large variety of option types and models. The derivation builds on the strong foundation laid out by von Petersdorff and Schwab (2003) who provide the respective results for the time-homogeneous case. We discuss the assumptions in the context of option pricing.


title: Observer Design for Linear Aperiodic Sampled-Data Systems: A Hybrid Systems Approach

abstract: Observer design for linear systems with aperiodic sampled-data measurements is addressed. To solve this problem, a novel hybrid observer is designed. The main peculiarity of the proposed observer consists of the use two output injection terms, one acting at the sampling instants and one providing an intersample injection. The error dynamics are augmented with a timer variable triggering the arrival of a new measurement and analyzed via hybrid system tools. Using Lyapunov theory, sufficient conditions for the convergence of the observer are provided. Relying on those conditions, an optimal LMI-based design is proposed for the observer gains. The effectiveness of the approach is illustrated in an example.


title: Experimental method to determine specific heat and transition enthalpy at a first order phase transition: fundamentals and application to a NiMnIn Heusler alloy

abstract: A new method that characterizes thermal properties during a first-order phase transition is described. The technique consists in exciting the sample by a series of constant frequency thermal pulses which one in every N pulses (N is a small number like four) being exceedingly large in amplitude. This pulse induces phase transformation which is inhibited during the following smaller pulses due to thermal hysteresis. That way the specific heat for a given mixture of phases can be determined. The results obtained are independent of experimental parameters like the rate and the amplitude of the pulses, unlike what happens in other calorimetric techniques. The method also provides the enthalpy excess by analyzing the energy balance between the dissipated heat and the heat flowing during each pulse of measurement. The protocol is tested to analyze the phase transitions of a Heusler alloy Ni 50.54 Mn 33.65 In 15.82 . The paramagnetic-ferromagnetic transition for the austenite phase is continuous and the specific heat shows a lambda anomaly. The martensitic phase transition shows a first-order character and the specific heat follows a step-like behaviour in contrast with previously reported large-peak anomalies.

categories: cond-mat.mtrl-sci physics.app-ph physics.chem-ph physics.ins-det


title: (Almost Full) EFX Exists for Four Agents (and Beyond)

abstract: The existence of EFX allocations is a major open problem in fair division, even for additive valuations. The current state of the art is that no setting where EFX allocations are impossible is known, and EFX is known to exist for ($i$) agents with identical valuations, ($ii$) 2 agents, ($iii$) 3 agents with additive valuations, ($iv$) agents with one of two additive valuations and ($v$) agents with two-valued instances. It is also known that EFX exists if one can leave $n-1$ items unallocated, where $n$ is the number of agents. We develop new techniques that allow us to push the boundaries of the enigmatic EFX problem beyond these known results, and, arguably, to simplify proofs of earlier results. Our main results are ($i$) every setting with 4 additive agents admits an EFX allocation that leaves at most a single item unallocated, ($ii$) every setting with $n$ additive valuations has an EFX allocation with at most $n-2$ unallocated items. Moreover, all of our results extend beyond additive valuations to all nice cancelable valuations (a new class, including additive, unit-demand, budget-additive and multiplicative valuations, among others). Furthermore, using our new techniques, we show that previous results for additive valuations extend to nice cancelable valuations.


title: A physiologically realistic virtual patient database for the study of arterial haemodynamics

abstract: This study creates a physiologically realistic virtual patient database (VPD), representing the human arterial system, for the primary purpose of studying the affects of arterial disease on haemodynamics. A low dimensional representation of an anatomically detailed arterial network is outlined, and a physiologically realistic posterior distribution for its parameters is constructed through a Bayesian approach. This approach combines both physiological/geometrical constraints and the available measurements reported in the literature. A key contribution of this work is to present a framework for including all such available information for the creation of virtual patients (VPs). The Markov Chain Monte Carlo (MCMC) method is used to sample random VPs from this posterior distribution, and the pressure and flow-rate profiles associated with the VPs are computed through a model of pulse wave propagation. This combination of the arterial network parameters (representing the VPs) and the haemodynamics waveforms of pressure and flow-rates at various locations (representing functional response of the VPs) makes up the VPD. While 75,000 VPs are sampled from the posterior distribution, 10,000 are discarded as the initial burn-in period. A further 12,857 VPs are subsequently removed due to the presence of negative average flow-rate. Due to an undesirable behaviour observed in some VPs -- asymmetric under- and over-damped pressure and flow-rate profiles in the left and right sides of the arterial system -- a filter is proposed for their removal. The final VPD has 28,868 subjects. It is shown that the methodology is appropriate by comparing the VPD statistics to those reported in literature across real populations. A good agreement between the two is found while respecting physiological/geometrical constraints. The pre-filter database is made available at https://doi.org/10.5281/zenodo.4549764.


title: Background Field Method and Generalized Field Redefinitions in Effective Field Theories

abstract: We show that in a spontaneously broken effective gauge field theory, quantized in a general background $R_\xi$-gauge, also the background fields undergo a non-linear (albeit background-gauge invariant) field redefinition induced by radiative corrections. This redefinition proves to be crucial in order to renormalize the coupling constants of gauge-invariant operators in a gauge-independent way. The classical background-quantum splitting is also in general non-linearly deformed (in a non gauge-invariant way) by radiative corrections. Remarkably, such deformations vanish in the Landau gauge, to all orders in the loop expansion.


title: A construction of swap or switch polynomials

abstract: We discuss several constructions of swap polynomials, that is 2--tensor valued matrix polynomials which are multiples of the swap or switch operator.


title: A stiction oscillator under slowly varying forcing: Uncovering small scale phenomena using blowup

abstract: In this paper, we consider a mass-spring-friction oscillator with the friction modelled by a regularized stiction model in the limit where the ratio of the natural spring frequency and the forcing frequency is on the same order of magnitude as the scale associated with the regularized stiction model. The motivation for studying this situation comes from \cite{bossolini2017b} which demonstrated new friction phenomena in this regime. The results of Bossolini et al 2017 led to some open problems, that we resolve in this paper. In particular, using GSPT and blowup we provide a simple geometric description of the bifurcation of stick-slip limit cycles through a combination of a canard and a global return mechanism. We also show that this combination leads to a canard-based horseshoe and are therefore able to prove existence of chaos in this fundamental oscillator system.


title: Magneto-rotational dissociation of heavy hadrons in Relativistic Heavy-Ion Collisions

abstract: A heavy hadron traversing Quark-Gluon Plasma and dragged along in rotational motion is subject to the Lorentz and centrifugal forces. The Lorentz force, sourced by the valence quarks of heavy-ions, possesses the electric and magnetic components in the hadron comoving frame. The electric component renders the hadron unstable by empowering one of its quarks to tunnel through the potential barrier. Assuming that the magnetic field is parallel to the plasma vorticity, the hadron dissociation probability is computed using the Imaginary Time Method and is found to strongly depend on the sign of the quark electric charge. The dissociation probability monotonically increases as a function of vorticity for negative electric charges, whereas for positive charges it exhibits a minimum at a finite value of vorticity. The dissociation probability for the negative charges is larger than for the positive ones at the same magnetic field and vorticity. In relativistic heavy-ion collisions this implies lower abundance of the negatively charged hadrons as compared to the positively charges ones. This effect is significant at moderate collision energies where the plasma vorticity is comparable or larger than the synchrotron frequency.


title: Bi-factor and second-order copula models for item response data

abstract: Bi-factor and second-order models based on copulas are proposed for item response data, where the items can be split into non-overlapping groups such that there is a homogeneous dependence within each group. Our general models include the Gaussian bi-factor and second-order models as special cases and can lead to more probability in the joint upper or lower tail compared with the Gaussian bi-factor and second-order models. Details on maximum likelihood estimation of parameters for the bi-factor and second-order copula models are given, as well as model selection and goodness-of-fit techniques. Our general methodology is demonstrated with an extensive simulation study and illustrated for the Toronto Alexithymia Scale. Our studies suggest that there can be a substantial improvement over the Gaussian bi-factor and second-order models both conceptually, as the items can have interpretations of latent maxima/minima or mixtures of means in comparison with latent means, and in fit to data.


title: Analysis of Dirac and Weyl points in topological semimetals via oscillation effects

abstract: We calculate the extremal cross sectional areas and cyclotron masses for the Fermi-surface pockets in Dirac and Weyl topological semimetals. The calculation is carried out for the most general form of the electron energy bands in the vicinity of the Weyl and Dirac points. Using the obtained formulas, one can find parameters characterizing the Dirac and Weyl electrons in the topological semimetals from appropriate experimental data. As an example, we consider the W1 electrons in TaAs.


title: Medical Transformer: Gated Axial-Attention for Medical Image Segmentation

abstract: Over the past decade, Deep Convolutional Neural Networks have been widely adopted for medical image segmentation and shown to achieve adequate performance. However, due to the inherent inductive biases present in the convolutional architectures, they lack understanding of long-range dependencies in the image. Recently proposed Transformer-based architectures that leverage self-attention mechanism encode long-range dependencies and learn representations that are highly expressive. This motivates us to explore Transformer-based solutions and study the feasibility of using Transformer-based network architectures for medical image segmentation tasks. Majority of existing Transformer-based network architectures proposed for vision applications require large-scale datasets to train properly. However, compared to the datasets for vision applications, for medical imaging the number of data samples is relatively low, making it difficult to efficiently train transformers for medical applications. To this end, we propose a Gated Axial-Attention model which extends the existing architectures by introducing an additional control mechanism in the self-attention module. Furthermore, to train the model effectively on medical images, we propose a Local-Global training strategy (LoGo) which further improves the performance. Specifically, we operate on the whole image and patches to learn global and local features, respectively. The proposed Medical Transformer (MedT) is evaluated on three different medical image segmentation datasets and it is shown that it achieves better performance than the convolutional and other related transformer-based architectures. Code: https://github.com/jeya-maria-jose/Medical-Transformer


title: MedAug: Contrastive learning leveraging patient metadata improves representations for chest X-ray interpretation

abstract: Self-supervised contrastive learning between pairs of multiple views of the same image has been shown to successfully leverage unlabeled data to produce meaningful visual representations for both natural and medical images. However, there has been limited work on determining how to select pairs for medical images, where availability of patient metadata can be leveraged to improve representations. In this work, we develop a method to select positive pairs coming from views of possibly different images through the use of patient metadata. We compare strategies for selecting positive pairs for chest X-ray interpretation including requiring them to be from the same patient, imaging study or laterality. We evaluate downstream task performance by fine-tuning the linear layer on 1% of the labeled dataset for pleural effusion classification. Our best performing positive pair selection strategy, which involves using images from the same patient from the same study across all lateralities, achieves a performance increase of 14.4% in mean AUC from the ImageNet pretrained baseline. Our controlled experiments show that the keys to improving downstream performance on disease classification are (1) using patient metadata to appropriately create positive pairs from different images with the same underlying pathologies, and (2) maximizing the number of different images used in query pairing. In addition, we explore leveraging patient metadata to select hard negative pairs for contrastive learning, but do not find improvement over baselines that do not use metadata. Our method is broadly applicable to medical image interpretation and allows flexibility for incorporating medical insights in choosing pairs for contrastive learning.


title: Dispersionless Davey-Stewartson system: Lie symmetry algebra, symmetry group and exact solutions

abstract: Lie symmetry algebra of the dispersionless Davey-Stewartson (dDS) system is shown to be infinite-dimensional. The structure of the algebra turns out to be Kac-Moody-Virasoro one, which is typical for integrable evolution equations in $2+1$-dimensions. Symmetry group transformations are constructed using a direct (global) approach. They are split into both connected and discrete ones. Several exact solutions are obtained as an application of the symmetry properties.


title: Strongly Coupled String-inspired Infinite Derivative Non-local Yang-Mills: Diluted Mass Gap

abstract: We investigate the non-perturbative regimes in the class of non-Abelian theories that have been proposed as an ultraviolet completion 4-D Quantum Field Theory (QFT) generalizing the kinetic energy operators to an infinite series of higher-order derivatives inspired by string field theory. We prove that, at the non-perturbative level, the physical spectrum of the theory is actually corrected by the 'infinite number of derivatives' present in the action. We derive a set of Dyson-Schwinger equations in differential form, for correlation functions till two-points, the solution for which are known in the local theory. We obtain that just like in the local theory, the non-local counterpart displays a mass gap, depending also on the mass scale of non-locality, and show that it is damped in the deep UV reaching asymptotically the conformal limit. We point out some possible implications of our result in particle physics and cosmology and discuss aspects of non-local QCD-like scenarios. We end with some comments on the infinite-derivative non-local gravity which is quantum gravity approach to ghost-free, re-normalizable theories of gravity valid upto infinte ebergy scales in the UV.


title: Electromagnetic Model of Reflective Intelligent Surfaces

abstract: An accurate and simple analytical model for the computation of the reflection amplitude and phase of Reconfigurable Intelligent Surfaces is presented. The model is based on a transmission-line circuit representation of the RIS which takes into account the physics behind the structure including the effect of all relevant geometrical and electrical parameters. The proposed representation of the RIS allows to take into account the effect of incidence angle, mutual coupling among elements and the effect of the interaction of the periodic surface with the RIS ground plane. It is shown that the proposed approach allows to design a physically realisable RIS without recurring to onerous electromagnetic simulations. The proposed model aims at filling the gap between RIS assisted communications algorithms and physical implementation issues which determine realistic performance of these surfaces.


title: An optimal transport approach of hypocoercivity for the 1d kinetic Fokker-Plank equation

abstract: A quadratic optimal transport metric on the set of probability measure over $\R^2$ is introduced. The quadratic cost is given by the euclidean norm on $\R^2$ associated to some well chosen symmetric positive matrix, which makes the metric equivalent to the usual Wasserstein-2 metric. The dissipation of the distance to the equilibrium along the kinetic Fokker-Planck flow, is bounded by below in terms of the distance itself. It enables to obtain some new type of trend to equilibrium estimate in Wasserstein-2 like metric, in the case of non-convex confinement potential.


title: Integral feedback in synthetic biology: Negative-equilibrium catastrophe

abstract: A central goal of synthetic biology is the design of molecular controllers that can manipulate the dynamics of intracellular networks in a stable and accurate manner. To address the fact that detailed knowledge about intracellular networks is unavailable, integral-feedback controllers (IFCs) have been put forward for controlling molecular abundances. These controllers can maintain accuracy in spite of the uncertainties in the controlled networks. However, this desirable feature is achieved only if stability is also maintained. In this paper, we show that molecular IFCs can suffer from a hazardous instability called negative-equilibrium catastrophe (NEC), whereby all nonnegative equilibria vanish under the action of the controllers, and some of the molecular abundances blow up. We show that unimolecular IFCs do not exist due to a NEC. We then derive a family of bimolecular IFCs that are safeguarded against NECs when uncertain unimolecular networks, with any number of molecular species, are controlled. However, when IFCs are applied on uncertain bimolecular (and hence most intracellular) networks, we show that preventing NECs generally becomes an intractable problem as the number of interacting molecular species increases.


title: Autocovariance Estimation in the Presence of Changepoints

abstract: This article studies estimation of a stationary autocovariance structure in the presence of an unknown number of mean shifts. Here, a Yule-Walker moment estimator for the autoregressive parameters in a dependent time series contaminated by mean shift changepoints is proposed and studied. The estimator is based on first order differences of the series and is proven consistent and asymptotically normal when the number of changepoints $m$ and the series length $N$ satisfies $m/N \rightarrow 0$ as $N \rightarrow \infty$


title: Group Inverse-Gamma Gamma Shrinkage for Sparse Regression with Block-Correlated Predictors

abstract: Heavy-tailed continuous shrinkage priors, such as the horseshoe prior, are widely used for sparse estimation problems. However, there is limited work extending these priors to predictors with grouping structures. Of particular interest in this article, is regression coefficient estimation where pockets of high collinearity in the covariate space are contained within known covariate groupings. To assuage variance inflation due to multicollinearity we propose the group inverse-gamma gamma (GIGG) prior, a heavy-tailed prior that can trade-off between local and group shrinkage in a data adaptive fashion. A special case of the GIGG prior is the group horseshoe prior, whose shrinkage profile is correlated within-group such that the regression coefficients marginally have exact horseshoe regularization. We show posterior consistency for regression coefficients in linear regression models and posterior concentration results for mean parameters in sparse normal means models. The full conditional distributions corresponding to GIGG regression can be derived in closed form, leading to straightforward posterior computation. We show that GIGG regression results in low mean-squared error across a wide range of correlation structures and within-group signal densities via simulation. We apply GIGG regression to data from the National Health and Nutrition Examination Survey for associating environmental exposures with liver functionality.


title: Comparison between different methods of model selection in cosmology

abstract: There are several methods for model selection in cosmology which have at least two major goals, that of finding the correct model or predicting well. In this work we discuss through a study of well-known model selection methods like Akaike information criterion (AIC), Bayesian information criterion (BIC), deviance information criterion (DIC) and Bayesian evidence, how these different goals are pursued in each paradigm. We also apply another method for model selection which less seen in cosmological literature, the Cross-validation method. Using these methods we will compare two different scenarios in cosmology, $\Lambda$CDM model and dynamical dark energy. We show that each of the methods tends to different results in model selection. While BIC and Bayesian evidence overrule the dynamical dark energy scenarios with 2 or 3 extra degree of freedom, the DIC and cross-validation method prefer these dynamical models to $\Lambda$CDM model. Assuming the numerical results of different analysis and combining cosmological and statistical aspects of the subject, we propose cross-validation as an interesting method for model selection in cosmology that can lead to different results in comparison with usual methods of model selection.


title: How to beat the 1/e-strategy of best choice (the random arrivals problem)

abstract: In the best choice problem with random arrivals, an unknown number $n$ of rankable items arrive at times sampled from the uniform distribution. As is well known, a real-time player can ensure stopping at the overall best item with probability at least $1/e$, by waiting until time $1/e$ then selecting the first relatively best item to appear (if any). This paper discusses the issue of dominance in a wide class of stopping strategies of best choice, and argues that in fact the player faces a trade-off between success probabilities for various values of $n$. We argue that the $1/e$-strategy is not a unique minimax strategy and that it can be improved in various ways.


title: Strong couplings for static locally tree-like random graphs

abstract: The goal of this paper is to provide a general purpose result for the coupling of exploration processes of random graphs, both undirected and directed, with their local weak limits when this limit is a marked Galton-Watson process. This class includes in particular the configuration model and the family of inhomogeneous random graphs with rank-1 kernel. Vertices in the graph are allowed to have attributes on a general separable metric space and can potentially influence the construction of the graph itself. The coupling holds for any fixed depth of a breadth-first exploration process.


title: Diffuse bands 9577 and 9633 -- relations to other interstellar features

abstract: We study, for the first time, the relations of two strong diffuse bands (DIBs) at 9633 and 9577~\AA, commonly attributed to C$_{60}^+$, to other interstellar features seen in optical and UV spectra including H{\sc i}, Ca{\sc i}, Fe{\sc ii}, Na{\sc i}, Ti{\sc ii}, CN, CH, CH$^+$, and C$_2$ and DIBs 5780, 5797, 6196, 6269, 6284, and 6614. We analyzed 62 lines of sight where the stellar contamination by Mg{\sc ii} was corrected or found negligible for DIB 9633. Equivalent widths of DIB 9577 were measured in 62 lines of sight. Poor mutual correlation between the strengths of the above features and the major diffuse bands (5780 and 5797) as well as with other DIBs (with some exceptions) were revealed. The considered DIBs are also poorly correlated with the features of neutral hydrogen, molecular carbon, and those of simple interstellar radicals. Perhaps this phenomenon can be explained if the diffuse band 9577 is an unresolved blend of two or more interstellar features. There are indications that 9633 and 9577 diffuse bands are stronger in $\sigma$-type clouds, i.e. these features resemble the behavior of reasonably broad DIBs, which are strong in the lines of sight where the UV flux from the very hot nearby stars plays an important role.


title: Information Bottleneck for a Rayleigh Fading MIMO Channel with an Oblivious Relay

abstract: This paper considers the information bottleneck (IB) problem of a Rayleigh fading multiple-input multiple-out (MIMO) channel with an oblivious relay. The relay is constrained to operate without knowledge of the codebooks, i.e., it performs oblivious processing. Moreover, due to the bottleneck constraint, it is impossible for the relay to inform the destination node of the perfect channel state information (CSI) in each channel realization. To evaluate the bottleneck rate, we first provide an upper bound by assuming that the destination node can get the perfect CSI at no cost. Then, we provide four achievable schemes where each scheme satisfies the bottleneck constraint and gives a lower bound to the bottleneck rate. In the first and second schemes, the relay splits the capacity of the relay-destination link into two parts, and conveys both the CSI and its observation to the destination node. Due to CSI transmission, the performance of these two schemes is sensitive to the MIMO channel dimension, especially the channel input dimension. To ensure that it still performs well when the channel dimension grows large, in the third and fourth achievable schemes, the relay only transmits compressed observation to the destination node. Numerical results show that with simple symbol-by-symbol oblivious relay processing and compression, the proposed achievable schemes work well and can demonstrate lower bounds coming quite close to the upper bound on a wide range of relevant system parameters.


title: On Quantum Anomalous Effects in Electrodynamics of the Early Universe

abstract: This dissertation studies the quantum anomalous effects on the description of high energy electrodynamics. We argue that on the temperatures comparable to the electroweak scale, characteristic for the early Universe and objects like neutron stars, the description of electromagnetic fields in conductive plasmas needs to be extended to include the effects of chiral anomaly. It is demonstrated that chiral effects can have a significant influence on the evolution of magnetic fields, tending to produce exponential amplification, creation of magnetic helicity from initially non-helical fields, and can lead to an inverse energy transfer. We further discuss the modified magnetohydrodynamic equations around the electroweak transition. The obtained solutions demonstrate that the asymmetry between right-handed and left-handed charged fermions of negligible mass typically grows with time when approaching the electroweak crossover from higher temperatures, until it undergoes a fast decrease at the transition, and then eventually gets damped at lower temperatures in the broken phase. At the same time, the dissipation of magnetic fields gets slower due to the chiral effects. We furthermore report some first analytical attempts in the study of chiral magnetohydrodynamic turbulence. Using the analysis of simplified regimes and qualitative arguments, it is shown that anomalous effects can strongly support turbulent inverse cascade and lead to a faster growth of the correlation length, when compared to the evolution predicted by the non-chiral magnetohydrodynamics. Finally, the discussion of relaxation towards minimal energy states in the chiral magnetohydrodynamic turbulence is also presented.


title: Improve Unscented Kalman Inversion With Low-Rank Approximation and Reduced-Order Model

abstract: The unscented Kalman inversion (UKI) presented in [1] is a general derivative-free approach to solving the inverse problem. UKI is particularly suitable for inverse problems where the forward model is given as a black box and may not be differentiable. The regularization strategy and convergence property of the UKI are thoroughly studied, and the method is demonstrated effectively handling noisy observation data and solving chaotic inverse problems. In this paper, we aim to make the UKI more efficient in terms of computational and memory costs for large scale inverse problems. We take advantages of the low-rank covariance structure to reduce the number of forward problem evaluations and the memory cost, related to the need to propagate large covariance matrices. And we leverage reduced-order model techniques to further speed up these forward evaluations. The effectiveness of the enhanced UKI is demonstrated on a barotropic model inverse problem with O($10^5$) unknown parameters and a 3D generalized circulation model (GCM) inverse problem, where each iteration is as efficient as that of gradient-based optimization methods.


title: Towards Immersive Virtual Reality Simulations of Bionic Vision

abstract: Bionic vision is a rapidly advancing field aimed at developing visual neuroprostheses ('bionic eyes') to restore useful vision to people who are blind. However, a major outstanding challenge is predicting what people 'see' when they use their devices. The limited field of view of current devices necessitates head movements to scan the scene, which is difficult to simulate on a computer screen. In addition, many computational models of bionic vision lack biological realism. To address these challenges, we propose to embed biologically realistic models of simulated prosthetic vision (SPV) in immersive virtual reality (VR) so that sighted subjects can act as 'virtual patients' in real-world tasks.


title: General parametrization of wormhole spacetimes and its application to shadows and quasinormal modes

abstract: The general parametrization for spacetimes of spherically symmetric Lorentzian, traversable wormholes in an arbitrary metric theory of gravity is presented. The parametrization is similar in spirit to the post-Newtonian parametrized formalism, but with validity that extends beyond the weak field region and covers the whole space. Our method is based on a continued-fraction expansion in terms of a compactified radial coordinate. Calculations of shadows and quasinormal modes for various examples of parametrization of known wormhole metrics that we have performed show that, for most cases, the parametrization provides excellent accuracy already at the first order. Therefore, only a few parameters are dominant and important for finding potentially observable quantities in a wormhole background. We have also extended the analysis to the regime of slow rotation.


title: Transferable Visual Words: Exploiting the Semantics of Anatomical Patterns for Self-supervised Learning

abstract: This paper introduces a new concept called "transferable visual words" (TransVW), aiming to achieve annotation efficiency for deep learning in medical image analysis. Medical imaging--focusing on particular parts of the body for defined clinical purposes--generates images of great similarity in anatomy across patients and yields sophisticated anatomical patterns across images, which are associated with rich semantics about human anatomy and which are natural visual words. We show that these visual words can be automatically harvested according to anatomical consistency via self-discovery, and that the self-discovered visual words can serve as strong yet free supervision signals for deep models to learn semantics-enriched generic image representation via self-supervision (self-classification and self-restoration). Our extensive experiments demonstrate the annotation efficiency of TransVW by offering higher performance and faster convergence with reduced annotation cost in several applications. Our TransVW has several important advantages, including (1) TransVW is a fully autodidactic scheme, which exploits the semantics of visual words for self-supervised learning, requiring no expert annotation; (2) visual word learning is an add-on strategy, which complements existing self-supervised methods, boosting their performance; and (3) the learned image representation is semantics-enriched models, which have proven to be more robust and generalizable, saving annotation efforts for a variety of applications through transfer learning. Our code, pre-trained models, and curated visual words are available at https://github.com/JLiangLab/TransVW.


title: Probabilistic Vehicle Reconstruction Using a Multi-Task CNN

abstract: The retrieval of the 3D pose and shape of objects from images is an ill-posed problem. A common way to object reconstruction is to match entities such as keypoints, edges, or contours of a deformable 3D model, used as shape prior, to their corresponding entities inferred from the image. However, such approaches are highly sensitive to model initialisation, imprecise keypoint localisations and/or illumination conditions. In this paper, we present a probabilistic approach for shape-aware 3D vehicle reconstruction from stereo images that leverages the outputs of a novel multi-task CNN. Specifically, we train a CNN that outputs probability distributions for the vehicle's orientation and for both, vehicle keypoints and wireframe edges. Together with 3D stereo information we integrate the predicted distributions into a common probabilistic framework. We believe that the CNN-based detection of wireframe edges reduces the sensitivity to illumination conditions and object contrast and that using the raw probability maps instead of inferring keypoint positions reduces the sensitivity to keypoint localisation errors. We show that our method achieves state-of-the-art results, evaluating our method on the challenging KITTI benchmark and on our own new 'Stereo-Vehicle' dataset.


title: Generalized Gapped-kmer Filters for Robust Frequency Estimation

abstract: In this paper, we study the generalized gapped k-mer filters and derive a closed form solution for their coefficients. We consider nonnegative integers $\ell$ and $k$, with $k\leq \ell$, and an $\ell$-tuple $B=(b_1,\ldots,b_{\ell})$ of integers $b_i\geq 2$, $i=1,\ldots,\ell$. We introduce and study an incidence matrix $A=A_{\ell,k;B}$. We develop a M\"obius-like function $\nu_B$ which helps us to obtain closed forms for a complete set of mutually orthogonal eigenvectors of $A^{\top} A$ as well as a complete set of mutually orthogonal eigenvectors of $AA^{\top}$ corresponding to nonzero eigenvalues. The reduced singular value decomposition of $A$ and combinatorial interpretations for the nullity and rank of $A$, are among the consequences of this approach. We then combine the obtained formulas, some results from linear algebra, and combinatorial identities of elementary symmetric functions and $\nu_B$, to provide the entries of the Moore-Penrose pseudo-inverse matrix $A^{+}$ and the Gapped k-mer filter matrix $A^{+} A$.


title: Differential analysis of incompressibility in neutron-rich nuclei

abstract: Both the incompressibility \Ka of a finite nucleus of mass A and that ($K_{\infty}$) of infinite nuclear matter are fundamentally important for many critical issues in nuclear physics and astrophysics. While some consensus has been reached about the $K_{\infty}$, accurate theoretical predictions and experimental extractions of $K_{\tau}$ characterizing the isospin dependence of \Ka have been very difficult. We propose a differential approach to extract the \Kt and \Ki independently from the \Ka data of any two nuclei in a given isotope chain. Applying this new method to the \Ka data from isoscalar giant monopole resonances (ISGMR) in even-even Pb, Sn, Cd and Ca isotopes taken by U. Garg {\it et al.} at the Research Center for Nuclear Physics (RCNP), Osaka University, Japan, we find that the $^{106}$Cd-$^{116}$Cd and $^{112}$Sn-$^{124}$Sn pairs having the largest differences in isospin asymmetries in their respective isotope chains measured so far provide consistently the most accurate up-to-date \Kt value of $K_{\tau}=-616\pm 59$ MeV and $K_{\tau}=-623\pm 86$ MeV, respectively, largely independent of the remaining uncertainties of the surface and Coulomb terms in expanding the $K_{\rm A}$, while the $K_{\infty}$ values extracted from different isotopes chains are all well within the current uncertainty range of the community consensus for $K_{\infty}$. Moreover, the size and origin of the "Soft Sn Puzzle" is studied with respect to the "Stiff Pb Phenomenon". It is found that the latter is favored due to a much larger (by $\sim 380$ MeV) \Kt for Pb isotopes than for Sn isotopes, while the \Ki from analyzing the \Ka data of Sn isotopes is only about 5 MeV less than that from analyzing the Pb data.


title: Pre-Training BERT on Arabic Tweets: Practical Considerations

abstract: Pretraining Bidirectional Encoder Representations from Transformers (BERT) for downstream NLP tasks is a non-trival task. We pretrained 5 BERT models that differ in the size of their training sets, mixture of formal and informal Arabic, and linguistic preprocessing. All are intended to support Arabic dialects and social media. The experiments highlight the centrality of data diversity and the efficacy of linguistically aware segmentation. They also highlight that more data or more training step do not necessitate better models. Our new models achieve new state-of-the-art results on several downstream tasks. The resulting models are released to the community under the name QARiB.


title: EvoK: Connecting loved ones through Heart Rate sharing

abstract: In this work, we present EvoK, a new way of sharing one's heart rate with feedback from their close contacts to alleviate social isolation and loneliness. EvoK consists of a pair of wearable prototype devices (i.e., sender and receiver). The sender is designed as a headband enabling continuous sensing of heart rate with aesthetic designs to maximize social acceptance. The receiver is designed as a wristwatch enabling unobtrusive receiving of the loved one's continuous heart rate with multi-modal notification systems.


title: Concentration estimates for functions of finite high-dimensional random arrays

abstract: Let $\boldsymbol{X}$ be a $d$-dimensional random array on $[n]$ whose entries take values in a finite set $\mathcal{X}$, that is, $\boldsymbol{X}=\langle X_s:s\in \binom{[n]}{d}\rangle$ is an $\mathcal{X}$-valued stochastic process indexed by the set $\binom{[n]}{d}$ of all $d$-element subsets of $[n]:=\{1,\dots,n\}$. We give easily checked conditions on $\boldsymbol{X}$ that ensure, for instance, that for every function $f\colon \mathcal{X}^{\binom{[n]}{d}}\to\mathbb{R}$ that satisfies $\mathbb{E}[f(\boldsymbol{X})]=0$ and $\|f(\boldsymbol{X})\|_{L_p}=1$ for some $p>1$, the random variable $f(\boldsymbol{X})$ becomes concentrated after conditioning it on a large subarray of $\boldsymbol{X}$. These conditions cover several classes of random arrays with not necessarily independent entries. Applications are given in combinatorics, and examples are also presented that show the optimality of various aspects of the results.


title: An agile and distributed mechanism for inter-domain network slicing in next generation mobile networks

abstract: Network slicing is emerging as a promising method to provide sought-after versatility and flexibility to cope with ever-increasing demands. To realize such potential advantages and to meet the challenging requirements of various network slices in an on-demand fashion, we need to develop an agile and distributed mechanism for resource provisioning to different network slices in a heterogeneous multi-resource multi-domain mobile network environment. We formulate inter-domain resource provisioning to network slices in such an environment as an optimization problem which maximizes social welfare among network slice tenants (so that maximizing tenants' satisfaction), while minimizing operational expenditures for infrastructure service providers at the same time. To solve the envisioned problem, we implement an iterative auction game among network slice tenants, on one hand, and a plurality of price-taking subnet service providers, on the other hand. We show that the proposed solution method results in a distributed privacy-saving mechanism which converges to the optimal solution of the described optimization problem. In addition to providing analytical results to characterize the performance of the proposed mechanism, we also employ numerical evaluations to validate the results, demonstrate convergence of the presented algorithm, and show the enhanced performance of the proposed approach (in terms of resource utilization, fairness and operational costs) against the existing solutions.


title: Covariant singularities in Quantum Field Theory and Quantum Gravity

abstract: It is rather well-known that spacetime singularities are not covariant under field redefinitions. A manifestly covariant approach to singularities in classical gravity was proposed in arXiv:2008.09387. In this paper, we start to extend this analysis to the quantum realm. We identify two types of covariant singularities in field space corresponding to geodesic incompleteness and ill-defined path integrals (hereby dubbed functional singularities). We argue that the former might not be harmful after all, whilst the latter makes all observables undefined. We show that the path-integral measure is regular in any four-dimensional theory of gravity without matter or in any theory in which gravity is either absent or treated semi-classically. This might suggest the absence of functional singularities in these cases, however it can only be confirmed with a thorough analysis, case by case, of the path integral. We provide a topological and model-independent classification of functional singularities using homotopy groups and we discuss examples of theories with and without such singularities.


title: Mining EL Bases with Adaptable Role Depth

abstract: In Formal Concept Analysis, a base for a finite structure is a set of implications that characterizes all valid implications of the structure. This notion can be adapted to the context of Description Logic, where the base consists of a set of concept inclusions instead of implications. In this setting, concept expressions can be arbitrarily large. Thus, it is not clear whether a finite base exists and, if so, how large concept expressions may need to be. We first revisit results in the literature for mining EL bases from finite interpretations. Those mainly focus on finding a finite base or on fixing the role depth but potentially losing some of the valid concept inclusions with higher role depth. We then present a new strategy for mining EL bases which is adaptable in the sense that it can bound the role depth of concepts depending on the local structure of the interpretation. Our strategy guarantees to capture all EL concept inclusions holding in the interpretation, not only the ones up to a fixed role depth.


title: $H^0$ of Igusa varieties via automorphic forms

abstract: Our main theorem describes the degree 0 cohomology of Igusa varieties in terms of one-dimensional automorphic representations in the setup of mod p Hodge-type Shimura varieties with hyperspecial level at p, mirroring the well known analogue for complex Shimura varieties. As an application, we obtain a completely new approach to two geometric questions. (See Sect. 1.5 for a comparison with independent results by van Hoften and Xiao via a different approach.) Firstly, we verify the discrete part of the Hecke orbit conjecture, which amounts to irreducibility of central leaves, generalizing preceding works by Chai, Oort, Yu, et al. Secondly, we deduce irreducibility of Igusa towers and its generalization to non-basic Igusa varieties in the same generality, extending previous results by Igusa, Ribet, Faltings--Chai, Hida, and others. Our proof is based on a Langlands--Kottwitz-type formula for Igusa varieties due to Mack-Crane, an asymptotic study of the trace formula, and an estimate for unitary representations and their Jacquet modules in representation theory of $p$-adic groups due to Howe--Moore and Casselman.


title: Climate Change Valuation Adjustment (CCVA) using parameterized climate change impacts

abstract: We introduce Climate Change Valuation Adjustment (CCVA) to capture climate change impacts on CVA+FVA that are currently invisible assuming typical market practice. To discuss such impacts on CVA+FVA from changes to instantaneous hazard rates we introduce a flexible and expressive parameterization to capture the path of this impact to climate change endpoints, and transient transition effects. Finally we provide quantification of examples of typical interest where there is risk of economic stress from sea level change up to 2101, and from transformations of business models. We find that even with the slowest possible uniform approach to a climate change impact in 2101 there can still be significant CVA+FVA impacts on interest rate swaps of 20 years or more maturity. Transformation effects on CVA+FVA are strongly dependent on timing and duration of business model transformation. Using a parameterized approach enables discussion with stakeholders of economic impacts on CVA+FVA, whatever the details behind the climate impact.


title: Period Rings with Big Coefficients and Applications III

abstract: We continue our study on the corresponding period rings with big coefficients, with the corresponding application in mind on relative $p$-adic Hodge theory and noncommutative analytic geometry. In this article, we extend the discussion of the corresponding noncommutative descent over \'etale topology to the corresponding noncommutative descent over pro-\'etale topology in both Tate and analytic setting.


title: Topics on Geometric and Representation Theoretic Aspects of Period Rings I

abstract: We consider more general framework than the corresponding one considered in our previous work on the Hodge-Iwasawa theory. In our current consideration we consider the corresponding more general base spaces, namely the analytic adic spaces and analytic perfectoid spaces in Kedlaya's AWS Lecture notes. We hope our discussion will also shed some light on further generalization to even more general spaces such as those considered by Gabber-Ramero namely one just considers certain topological rings which satisfy the Fontaine-Wintenberger idempotent correspondence and calls them perfectoid generalizing the notions from Scholze, Fontaine, Kedlaya-Liu and Kedlaya (AWS Lecture notes). Actually some of the discussion we presented here is already in some more general form for this purpose (although we have not made enough efforts to write all the things).


title: On potentials of It\^o's processes with drift in $L_{d+1}$

abstract: This paper is a natural continuation of \cite{Kr_20_2}, where strong Markov processes are constructed in time inhomogeneous setting with Borel measurable uniformly bounded and uniformly nondegenerate diffusion and drift in $L_{d+1}(\mathbb{R}^{d+1})$. Here we study some properties of these processes such as the probability to pass through narrow tubes, higher summability of Green's functions, and so on. The results seem to be new even if the diffusion is constant.


title: Survey on Enterprise Internet-of-Things Systems (E-IoT): A Security Perspective

abstract: As technology becomes more widely available, millions of users worldwide have installed some form of smart device in their homes or workplaces. These devices are often off-the-shelf commodity systems, such as Google Home or Samsung SmartThings, that are installed by end-users looking to automate a small deployment. In contrast to these "plug-and-play" systems, purpose-built Enterprise Internet-of-Things (E-IoT) systems such as Crestron, Control4, RTI, Savant offer a smart solution for more sophisticated applications (e.g., complete lighting control, A/V management, security). In contrast to commodity systems, E-IoT systems are usually closed source, costly, require certified installers, and are overall more robust for their use cases. Due to this, E-IoT systems are often found in expensive smart homes, government and academic conference rooms, yachts, and smart private offices. However, while there has been plenty of research on the topic of commodity systems, no current study exists that provides a complete picture of E-IoT systems, their components, and relevant threats. As such, lack of knowledge of E-IoT system threats, coupled with the cost of E-IoT systems has led many to assume that E-IoT systems are secure. To address this research gap, raise awareness on E-IoT security, and motivate further research, this work emphasizes E-IoT system components, E-IoT vulnerabilities, solutions, and their security implications. In order to systematically analyze the security of E-IoT systems, we divide E-IoT systems into four layers: E-IoT Devices Layer, Communications Layer, Monitoring and Applications Layer, and Business Layer. We survey attacks and defense mechanisms, considering the E-IoT components at each layer and the associated threats. In addition, we present key observations in state-of-the-art E-IoT security and provide a list of open research problems that need further research.


title: Synthesizing Irreproducibility in Deep Networks

abstract: The success and superior performance of deep networks is spreading their popularity and use to an increasing number of applications. Very recent works, however, demonstrate that modern day deep networks suffer from irreproducibility (also referred to as nondeterminism or underspecification). Two or more models that are identical in architecture, structure, training hyper-parameters, and parameters, and that are trained on exactly the same training data, yield different predictions on individual previously unseen examples. Thus, a model that performs well on controlled test data, may perform in unexpected ways when deployed in the real world, whose data is expected to be similar to the test data. We study simple synthetic models and data to understand the origins of these problems. We show that even with a single nonlinearity and for very simple data and models, irreproducibility occurs. Our study demonstrates the effects of randomness in initialization, training data shuffling window size, and activation functions on prediction irreproducibility, even under very controlled synthetic data. While, as one would expect, randomness in initialization and in shuffling the training examples exacerbates the phenomenon, we show that model complexity and the choice of nonlinearity also play significant roles in making deep models irreproducible.


title: Pruning the Index Contents for Memory Efficient Open-Domain QA

abstract: This work presents a novel pipeline that demonstrates what is achievable with a combined effort of state-of-the-art approaches. Specifically, it proposes the novel R2-D2 (Rank twice, reaD twice) pipeline composed of retriever, passage reranker, extractive reader, generative reader and a simple way to combine them. Furthermore, previous work often comes with a massive index of external documents that scales in the order of tens of GiB. This work presents a simple approach for pruning the contents of a massive index such that the open-domain QA system altogether with index, OS, and library components fits into 6GiB docker image while retaining only 8% of original index contents and losing only 3% EM accuracy.


title: Certifying Choreography Compilation

abstract: Choreographic programming is a paradigm for developing concurrent and distributed systems, where programs are choreographies that define, from a global viewpoint, the computations and interactions that communicating processes should enact. Choreography compilation translates choreographies into the local definitions of process behaviours, given as terms in a process calculus. Proving choreography compilation correct is challenging and error-prone, because it requires relating languages in different paradigms (global interactions vs local actions) and dealing with a combinatorial explosion of proof cases. We present the first certified program for choreography compilation for a nontrivial choreographic language supporting recursion.


title: Phase slips dynamics in gated Ti and V all-metallic supercurrent nano-transistors: a review

abstract: The effect of electrostatic gating on metallic elemental superconductors was recently demonstrated in terms of modulation of the switching current and control of the current phase relation in superconducting quantum interferometers. The latter suggests the existence of a direct connection between the macroscopic quantum phase in a superconductor and the applied gate voltage. The measurement of the switching current cumulative probability distributions (SCCPD) is a convenient and powerful tool to analyze such relation. In particular, the comparison between the conventional Kurkijarvi-Fulton-Dunkleberger model and the gate-driven distributions give useful insights into the microscopic origin of the gating effect. In this review, we summarize the main results obtained in the analysis of the phase slip events in elemental gated superconducting weak-links in a wide range of temperatures between 20 mK and 3.5 K. Such a large temperature range demonstrates both that the gating effect is robust as the temperature increases, and that fluctuations induced by the electric field are not negligible in a wide temperature range.


title: Meteoritic Proteins with Glycine, Iron and Lithium

abstract: We report that polymer amide [1] with a protein backbone of mainly glycine units and iron is present in the CV3 meteorites Acfer 086, Allende and KABA. The evidence for this is from particles of these meteorites after Folch extraction being analyzed by MALDI mass spectrometry and from the 3D physical structures that form in the various Folch solvent phases. The two physical forms we observe are branching rods and entrapping spheres on the 100micron scale. Two potential molecular structures of polymer amide are presented in this report. One we term hemolithin of mass 2320Da, contains glycine, hydroxy-glycine, Fe, O and Li. The other, we term hemoglycin of mass 1494Da is of glycine, hydroxy-glycine, Fe and O. Hemoglycin is connected covalently in triplets by silicon to form a triskelion. Analysis of the complete spectrum of isotopes associated with each molecular fragment shows very high 2H enhancement above terrestrial averaging 25,700 parts per thousand (sigma = 3,500, n=15), confirming extra-terrestrial origin and hence the existence of these molecules within the asteroid parent body of the CV3 meteorite class. The hemoglycin triskelia join via silicon bonds into an extended lattice, as seen in mass spectrometry of lattice fragments at m/z 4641 and above [2]. The identification of hemolithin and hemoglycin required careful methodology at room temperature with the minimum of steps up to mass spectrometry analysis ensuring that only the laser step fragmented the molecules. The 3D structures were imaged through permanently closed Folch extraction V-vials at a magnification of 10.


title: The Resonant and Normal Auger spectra of Ozone

abstract: In this work we outline a general method for calculating Auger spectra in molecules, which accounts for the underlying symmetry of the system. This theory starts from Fano's formulation of the interaction between discrete and continuum states and generalizes this formalism to deal with the simultaneous presence of several intermediate quasi-bound states and several non-interacting decay channels. Our theoretical description is specifically tailored to resonant autoionization and Auger processes, and includes explicitly the incoming wave boundary conditions for the continuum states and an accurate treatment of the Coulomb repulsion. This approach is implemented and applied to the calculation of the $K-LL$ Auger and autoionization spectra of ozone, which is a $C_{2v}$ symmetric molecule, whose importance in our atmosphere to filter out radiation has been widely confirmed. We also show the effect that the molecular point group, and in particular the localization of the core-hole in the oxygen atoms related by symmetry operations, has on the electronic structure of the Auger states and on the spectral lineshape by comparing our results with experimental data.


title: Representing and computing the B-derivative of an $EC^r$ vector field's $PC^r$ flow

abstract: This paper concerns the first-order approximation of the piecewise-differentiable flow generated by a class of nonsmooth vector fields. Specifically, we represent and compute the Bouligand (or B-)derivative of the piecewise-$C^r$ flow generated by an event-selected $C^r$ vector field. Our results are remarkably efficient: although there are factorially many "pieces" of the desired derivative, we provide an algorithm that evaluates its action on a given tangent vector using polynomial time and space, and verify the algorithm's correctness by deriving a representation for the B-derivative that requires "only" exponential time and space to construct. We apply our methods in two classes of illustrative examples: piecewise-constant vector fields and mechanical systems subject to unilateral constraints.


title: Stochastic AC Network-constrained Scheduling of CAES and Wind Power Generation in Joint Energy and reserve market: Toward More Realistic Results

abstract: In this paper, a two-stage stochastic day-ahead (DA) scheduling model is proposed incorporating wind power units and compressed air energy storage (CAES) to clear a co-optimized energy and reserve market. The two-stage stochastic programming method is employed to deal with the wind power generation uncertain nature. A linearized AC optimal power flow (LAC-OPF) approach with consideration of network losses, reactive power, and voltage magnitude constraints is utilized in the proposed two-stage stochastic DA scheduling model. Using an engineering insight, a two-level LAC-OPF (TL-LAC-OPF) approach is proposed to (i) reduce the number of binary variables of the LAC-OPF approach which decreases the computational burden, and (ii) obtain LAC-OPF pre-defined parameters adaptively so that the accuracy of LAC-OPF approach is increased as a result of reducing artificial losses. Furthermore, as the CAES efficiency depends on its thermodynamic and operational conditions, the proposed two-stage stochastic DA scheduling model is developed by considering its thermodynamic characteristics to obtain a more realistic market decision at the first place. The proposed model is applied to IEEE 30-bus and 57-bus test systems using GAMS software, and is compared with three traditional approaches, i.e., AC-OPF, DC-OPF, and LAC-OPF. Simulation results demonstrate effectiveness of the proposed methodology.


title: On well-connected sets of strings

abstract: Given $n$ pairwise disjoint sets $X_1,\ldots, X_n$, we call the elements of $S=X_1\times\ldots\times X_n$ strings. A nonempty set of strings $W\subseteq S$ is said to be well-connected if for every $v\in W$ and for every $i\, (1\le i\le n)$, there is another element $v'\in W$ which differs from $v$ only in its $i$th coordinate. We prove a conjecture of Yaokun Wu and Yanzhen Xiong by showing that every set of more than $\prod_{i=1}^n|X_i|-\prod_{i=1}^n(|X_i|-1)$ strings has a well-connected subset. This bound is tight.


title: Differentiable thermodynamic modeling

abstract: A new framework of thermodynamic modeling is proposed by introducing the concept of differentiable programming, where all the thermodynamic observables including both thermochemical quantities and phase equilibria can be differentiated with respect to the underlying model parameters, thus allowing the models learned by gradient-based optimization. It is shown that thermodynamic modeling and deep learning can be seamlessly integrated and unified within this framework. A preliminary successful application is demonstrated for the Cu-Rh system. It is expected that thermodynamic modeling in a deep learning style can increase prediction power of models, and provide more effective guidance for design, synthesis and optimization of multi-component materials with complex chemistry via learning various types of data.


title: The ALMA Spectroscopic Survey in the HUDF: A Search for [CII] Emitters at $6 \leq z \leq 8$

abstract: The ALMA Spectroscopic Survey in the Hubble Ultra Deep Field (ASPECS) Band 6 scan (212-272 GHz) covers potential [CII] emission in galaxies at $6\leq z \leq8$ throughout a 2.9 arcmin$^2$ area. By selecting on known Lyman-$\alpha$ emitters (LAEs) and photometric dropout galaxies in the field, we perform targeted searches down to a 5$\sigma$ [CII] luminosity depth $L_{\mathrm{[CII]}}\sim2.0\times10^8$ L$_{\odot}$, corresponding roughly to star formation rates (SFRs) of $10$-$20$ M$_{\odot}$ yr$^{-1}$ when applying a locally calibrated conversion for star-forming galaxies, yielding zero detections. While the majority of galaxies in this sample are characterized by lower SFRs, the resulting upper limits on [CII] luminosity in these sources are consistent with the current literature sample of targeted ALMA observations of $z=6$-$7$ LAEs and Lyman-break galaxies (LBGs), as well as the locally calibrated relations between $L_{\mathrm{[CII]}}$ and SFR -- with the exception of a single [CII]-deficient, UV luminous LBG. We also perform a blind search for [CII]-bright galaxies that may have been missed by optical selections, resulting in an upper limit on the cumulative number density of [CII] sources with $L_{\mathrm{[CII]}}>2.0\times10^8$ L$_{\odot}$ ($5\sigma $) to be less than $1.8\times10^{-4}$ Mpc$^{-3}$ (90% confidence level). At this luminosity depth and volume coverage, we present an observed evolution of the [CII] luminosity function from $z=6$-$8$ to $z\sim0$ by comparing the ASPECS measurement to literature results at lower redshift.


title: A Zeroth-Order Block Coordinate Descent Algorithm for Huge-Scale Black-Box Optimization

abstract: We consider the zeroth-order optimization problem in the huge-scale setting, where the dimension of the problem is so large that performing even basic vector operations on the decision variables is infeasible. In this paper, we propose a novel algorithm, coined ZO-BCD, that exhibits favorable overall query complexity and has a much smaller per-iteration computational complexity. In addition, we discuss how the memory footprint of ZO-BCD can be reduced even further by the clever use of circulant measurement matrices. As an application of our new method, we propose the idea of crafting adversarial attacks on neural network based classifiers in a wavelet domain, which can result in problem dimensions of over 1.7 million. In particular, we show that crafting adversarial examples to audio classifiers in a wavelet domain can achieve the state-of-the-art attack success rate of 97.9%.


title: Software Engineering for Internet of Things: The Practitioner's Perspective

abstract: Internet of Things based systems (IoT systems for short) are becoming increasingly popular across different industrial domains and their development is rapidly increasing to provide value-added services to end-users and citizens. Little research to date uncovers the core development process lifecycle needed for IoT systems, and thus software engineers find themselves unprepared and unfamiliar with this new genre of system development. To ameliorate this gap, we conducted a mixed quantitative and qualitative research study where we derived a conceptual process framework from the extant literature on IoT, that identifies 27 key tasks for incorporating into development processes for IoT systems. The framework was then validated by means of a survey of 127 IoT systems practitioners developers from 35 countries across 6 continents with 15 different industry backgrounds. Our research provides an understanding of the most important development process tasks and informs both software engineering practitioners and researchers of the challenges and recommendations related to the development of next generation of IoT systems.


title: Design, Integration and Sea Trials of 3D Printed Unmanned Aerial Vehicle and Unmanned Surface Vehicle for Cooperative Missions

abstract: In recent years, Unmanned Surface Vehicles (USV) have been extensively deployed for maritime applications. However, USV has a limited detection range with sensor installed at the same elevation with the targets. In this research, we propose a cooperative Unmanned Aerial Vehicle - Unmanned Surface Vehicle (UAV-USV) platform to improve the detection range of USV. A floatable and waterproof UAV is designed and 3D printed, which allows it to land on the sea. A catamaran USV and landing platform are also developed. To land UAV on the USV precisely in various lighting conditions, IR beacon detector and IR beacon are implemented on the UAV and USV, respectively. Finally, a two-phase UAV precise landing method, USV control algorithm and USV path following algorithm are proposed and tested.


title: 3D Vision-guided Pick-and-Place Using Kuka LBR iiwa Robot

abstract: This paper presents the development of a control system for vision-guided pick-and-place tasks using a robot arm equipped with a 3D camera. The main steps include camera intrinsic and extrinsic calibration, hand-eye calibration, initial object pose registration, objects pose alignment algorithm, and pick-and-place execution. The proposed system allows the robot be able to to pick and place object with limited times of registering a new object and the developed software can be applied for new object scenario quickly. The integrated system was tested using the hardware combination of kuka iiwa, Robotiq grippers (two finger gripper and three finger gripper) and 3D cameras (Intel realsense D415 camera, Intel realsense D435 camera, Microsoft Kinect V2). The whole system can also be modified for the combination of other robotic arm, gripper and 3D camera.


title: Accelerated Sim-to-Real Deep Reinforcement Learning: Learning Collision Avoidance from Human Player

abstract: This paper presents a sensor-level mapless collision avoidance algorithm for use in mobile robots that map raw sensor data to linear and angular velocities and navigate in an unknown environment without a map. An efficient training strategy is proposed to allow a robot to learn from both human experience data and self-exploratory data. A game format simulation framework is designed to allow the human player to tele-operate the mobile robot to a goal and human action is also scored using the reward function. Both human player data and self-playing data are sampled using prioritized experience replay algorithm. The proposed algorithm and training strategy have been evaluated in two different experimental configurations: \textit{Environment 1}, a simulated cluttered environment, and \textit{Environment 2}, a simulated corridor environment, to investigate the performance. It was demonstrated that the proposed method achieved the same level of reward using only 16\% of the training steps required by the standard Deep Deterministic Policy Gradient (DDPG) method in Environment 1 and 20\% of that in Environment 2. In the evaluation of 20 random missions, the proposed method achieved no collision in less than 2~h and 2.5~h of training time in the two Gazebo environments respectively. The method also generated smoother trajectories than DDPG. The proposed method has also been implemented on a real robot in the real-world environment for performance evaluation. We can confirm that the trained model with the simulation software can be directly applied into the real-world scenario without further fine-tuning, further demonstrating its higher robustness than DDPG. The video and code are available: https://youtu.be/BmwxevgsdGc https://github.com/hanlinniu/turtlebot3_ddpg_collision_avoidance


title: Optimal Transportation Methods in Nonlinear Filtering: The feedback particle filter

abstract: Feedback particle filter (FPF) is a Monte-Carlo (MC) algorithm to approximate the solution of a stochastic filtering problem. In contrast to conventional particle filters, the Bayesian update step in FPF is implemented via a mean-field type feedback control law. The objective for this paper is to situate the development of FPF and related controlled interacting particle system algorithms within the framework of optimal transportation theory. Starting from the simplest setting of the Bayes' update formula, a coupling viewpoint is introduced to construct particle filters. It is shown that the conventional importance sampling resampling particle filter implements an independent coupling. Design of optimal couplings is introduced first for the simple Gaussian settings and subsequently extended to derive the FPF algorithm. The final half of the paper provides a review of some of the salient aspects of the FPF algorithm including the feedback structure, algorithms for gain function design, and comparison with conventional particle filters. The comparison serves to illustrate the benefit of feedback in particle filtering.


title: One-dimensional symmetry of positive bounded solutions to the nonlinear Schr\"{o}dinger equation in the half-space

abstract: We are concerned with the half-space Dirichlet problem \[\begin{array}{ll} -\Delta v+v=|v|^{p-1}v & \textrm{in}\ \mathbb{R}^N_+, v=c\ \textrm{on}\ \partial\mathbb{R}^N_+, &\lim_{x_N\to \infty}v(x',x_N)=0\ \textrm{uniformly in}\ x'\in\mathbb{R}^{N-1}, \end{array} \] where $\mathbb{R}^N_+=\{x\in \mathbb{R}^N \ : \ x_N>0\}$ for some $N\geq 2$, and $p>1$, $c>0$ are constants. It was shown recently by Fernandez and Weth [Math. Ann. (2021)] that there exists an explicit number $c_p\in (1,\sqrt{e})$, depending only on $p$, such that for $0<c<c_p$ there are infinitely many bounded positive solutions, whereas, for $c>c_p$ there are no bounded positive solutions. If $N=2,\ 3$, we show that in the case $c = c_p$ there is no other bounded positive solution besides the one-dimensional one.


title: A set of $q$-coherent states for the Rogers-Szeg\H{o} oscillator

abstract: We discuss a model of a $q$-harmonic oscillator based on Rogers-Szeg\H{o} functions. We combine these functions with a class of $q$-analogs of complex Hermite polynomials to construct a new set of coherent states depending on a nonnegative integer parameter $m$. Our construction leads to a new $q$-deformation of the $m$-true-polyanalytic Bargmann transform whose range defines a generalization of the Arik-Coon space. We also give an explicit formula for the reproducing kernel of this space. The obtained results may be exploited to define a $q$-deformation of the Ginibre-$m$-type process on the complex plane.


title: Mass and polyhedra in asymptotically hyperbolic manifolds

abstract: Using the upper half space model, we evaluate a component of the hyperbolic mass functional evaluated on a special family of polyhedra extending a formula of Miao-Piubello.


title: A Data-Driven Energy Storage System-Based Algorithm for Monitoring the Small-Signal Stability of Power Grids with Volatile Wind Power

abstract: In this paper, we propose a data-driven energy storage system (ESS)-based method to enhance the online small-signal stability monitoring of power networks with high penetration of intermittent wind power. To accurately estimate inter-area modes that are closely related to the system's inherent stability characteristics, a novel algorithm that leverages on recent advances in wide-area measurement systems (WAMSs) and ESS technologies is developed. It is shown that the proposed approach can smooth the wind power fluctuations in near real-time using a small additional ESS capacity and thus significantly enhance the monitoring of small-signal stability. Dynamic Monte Carlo simulations on the IEEE 68-bus system are used to illustrate the effectiveness of the proposed algorithm in smoothing wind power and estimating the inter-area mode statistical properties.


title: Abstraction and Analogy-Making in Artificial Intelligence

abstract: Conceptual abstraction and analogy-making are key abilities underlying humans' abilities to learn, reason, and robustly adapt their knowledge to new domains. Despite of a long history of research on constructing AI systems with these abilities, no current AI system is anywhere close to a capability of forming humanlike abstractions or analogies. This paper reviews the advantages and limitations of several approaches toward this goal, including symbolic methods, deep learning, and probabilistic program induction. The paper concludes with several proposals for designing challenge tasks and evaluation measures in order to make quantifiable and generalizable progress in this area.


title: Near-unity radiative quantum efficiency of excitons in carbon nanotubes

abstract: The efficiencies of photonic devices are primarily governed by radiative quantum efficiency, which is a property given by the light emitting material. Quantitative characterization for carbon nanotubes, however, has been difficult despite being a prominent material for nanoscale photonics. Here we determine the radiative quantum efficiency of bright excitons in carbon nanotubes by modifying the exciton dynamics through cavity quantum electrodynamical effects. Silicon photonic crystal nanobeam cavities are used to induce the Purcell effect on individual carbon nanotubes. Spectral and temporal behavior of the cavity enhancement is characterized by photoluminescence microscopy, and the fraction of the radiative decay process is evaluated. We find that the radiative quantum efficiency is near unity for bright excitons in carbon nanotubes at room temperature.


title: Polar-Coded Non-Coherent Communication

abstract: A polar-coded transmission (PCT) scheme with joint channel estimation and decoding is proposed for channels with unknown channel state information (CSI). The CSI is estimated via successive cancellation (SC) decoding and the constraints imposed by the frozen bits. SC list decoding with an outer code improves performance, including resolving a phase ambiguity when using quadrature phase-shift keying (QPSK) and Gray labeling. Simulations with 5G polar codes and QPSK show gains of up to $2$~dB at a frame error rate (FER) of $10^{-4}$ over pilot-assisted transmission for various non-coherent models. Moreover, PCT performs within a few tenths of a dB to a coherent receiver with perfect CSI. For Rayleigh block-fading channels, PCT outperforms an FER upper bound based on random coding and within one dB of a lower bound.


title: The distribution of ionized, atomic and PDR gas around S1 in Rho Ophiuchus

abstract: The early B star S1 in the Rho Ophiuchus cloud excites an HII region and illuminates a large egg-shaped photodissociation (PDR) cavity. The PDR is restricted to the west and south-west by the dense molecular Rho Oph A ridge, expanding more freely into the diffuse low density cloud to the north-east. We analyze new SOFIA GREAT, GMRT and APEX data together with archival data from Herschel/PACS, JCMT/HARPS to study the properties of the photo-irradiated ionized and neutral gas in this region. The tracers include [C II] at 158 micron, [O I] at 63 and 145 micron, J=6-5 transitions of CO and 13CO, HCO+ (4-3), radio continuum at 610 and 1420 MHz and HI at 21 cm. The PDR emission is strongly red-shifted to the south-east of the nebula, and primarily blue-shifted on the north western side. The [C II] and and [O I]63 spectra are strongly self-absorbed over most of the PDR. By using the optically thin counterparts, [13C II] and [O I]145 respectively, we conclude that the self-absorption is dominated by the warm (>80 K) foreground PDR gas and not by the surrounding cold molecular cloud. We estimate the column densities of C+ and O of the PDR to be 3e18 and 2e19 cm^-2, respectively. Comparison of stellar far-ultraviolet flux and reprocessed infrared radiation suggest enhanced clumpiness of the gas to the north-west. Analysis of the emission from the PDR gas suggests the presence of at least three density components consisting of high density (10^6 cm^-3) clumps, medium density (10^4 cm^-3) and diffuse (10^3 cm^-3) interclump medium. The medium density component primarily contributes to the thermal pressure of the PDR gas which is in pressure equilibrium with the molecular cloud to the west. We find that the PDR is tilted and warped with the south-eastern side of the cavity being denser on the front and the north-western side being denser on the rear.


title: Robust skyrmion mediated reversal of ferromagnetic nanodots of 20 nm lateral dimension with high Ms and moderate DMI

abstract: Implementation of skyrmion based energy efficient and high-density data storage devices requires aggressive scaling of skyrmion size. Ferrimagnetic materials are considered to be a suitable platform for this purpose due to their low saturation magnetization (i.e. smaller stray field). However, we show by performing rigorous micromagnetic simulation that such scaling of skyrmion size by lowering saturation magnetization while applicable in infinite films or where the skyrmion size is very small compared to the film's lateral dimension, does not hold in confined geometries. We also found in confined geometries, where skyrmion occupies the whole volume of a nanodot, high saturation magnetization helps form stable skyrmions. Specifically, such skyrmions can be formed in 20 nm lateral dimension nanodots with high saturation magnetization (1.6-1.71 MA/m) and moderate DMI (3 mJ/m2). This result could stimulate experiments on implementation of highly dense skyrmion devices. In particular, we show that Voltage Controlled Magnetic Anisotropy (VCMA) based switching mediated by an intermediate skyrmion state can be achieved in the soft layer of a ferromagnetic p-MTJ of lateral dimensions 20 nm with sub 1fJ/bit energy in the presence of room temperature thermal noise with reasonable DMI ~3 mJ/m2.


title: Non-flat elliptic four-folds, three-form cohomology and strongly coupled theories in four dimensions

abstract: In this note we consider smooth elliptic Calabi-Yau four-folds whose fiber ceases to be flat over compact Riemann surfaces of genus $g$ in the base. These non-flat fibers contribute Kaehler moduli to the four-fold but also add to the three-form cohomology for $g>0$. In F-/M-theory these sectors are to be interpreted as compactifications of six/five dimensional $\mathcal{N}=(1,0)$ superconformal matter theories. The three-form cohomology leads to additional chiral singlets proportional to the dimension of five dimensional Coulomb branch of those sectors. We construct explicit examples for E-string theories as well as higher rank cases. For the E-string theories we further investigate conifold transitions that remove those non-flat fibers. First, we show how non-flat fibers can be deformed from curves down to isolated points in the base. This removes the chiral singlet of the three-forms and leads to non-perturbative four-point couplings among matter fields which can be understood as remnants of the former E-string. Alternatively, the non-flat fibers can be avoided by performing birational base changes, analogous to 6D tensor branches. For compact bases these transitions alternate all Hodge numbers but leave the Euler number invariant.


title: On multiplier systems and theta functions of half-integral weight for the Hilbert modular group $\mathrm{SL}_2(\mathfrak{o})$

abstract: Let $F$ be a totally real number field and $\mathfrak{o}$ the ring of integers of $F$. We study theta functions which are Hilbert modular forms of half-integral weight for the Hilbert modular group $\mathrm{SL}_2(\mathfrak{o})$. We obtain an equivalent condition that there exists a multiplier system of half-integral weight for $\mathrm{SL}_2(\mathfrak{o})$. We determine the condition of $F$ that there exists a theta function which is a Hilbert modular form of half-integral weight for $\mathrm{SL}_2(\mathfrak{o})$. The theta function is defined by a sum on a fractional ideal $\mathfrak{a}$ of $F$.


title: A Small-Uniform Statistic for the Inference of Functional Linear Regressions

abstract: We propose a "small-uniform" statistic for the inference of the functional PCA estimator in a functional linear regression model. The literature has shown two extreme behaviors: on the one hand, the FPCA estimator does not converge in distribution in its norm topology; but on the other hand, the FPCA estimator does have a pointwise asymptotic normal distribution. Our statistic takes a middle ground between these two extremes: after a suitable rate normalization, our small-uniform statistic is constructed as the maximizer of a fractional programming problem of the FPCA estimator over a finite-dimensional subspace, and whose dimensions will grow with sample size. We show the rate for which our scalar statistic converges in probability to the supremum of a Gaussian process. The small-uniform statistic has applications in hypothesis testing. Simulations show our statistic has comparable to slightly better power properties for hypothesis testing than the two statistics of Cardot, Ferraty, Mas and Sarda (2003).


title: 10 W injection-locked single-frequency continuous-wave titanium:sapphire laser

abstract: High-power tunable lasers with good longitudinal and transverse modes are fundamental tools for exploring quantum physics. Here we report a high-power continuous-wave injection-locked titanium:sapphire laser with a low-loss cavity configuration, where only a laser crystal was installed in the laser cavity. Although the transverse mode was affected by a thermal lens formed in the laser crystal, the focal length of the thermal lens could be shifted via the temperature of the laser crystal holder or the pump power. As a result, we found a condition that 10 W single-frequency oscillation with a good transverse mode and a slope efficiency of 51% were achieved.


title: Quantum differential and difference equations for $\mathrm{Hilb}^{n}(\mathbb{C}^2)$

abstract: We consider the quantum difference equation of the Hilbert scheme of points in $\mathbb{C}^2$. This equation is the K-theoretic generalization of the quantum differential equation discovered by A. Okounkov and R. Pandharipande. We obtain two explicit descriptions for the monodromy of these equations - representation-theoretic and algebro-geometric. In the representation-theoretic description, the monodromy acts via certain explicit elements in the quantum toroidal algebra $\frak{gl}_1$. In the algebro-geometric description, the monodromy features as transition matrices between the stable envelope bases in the equivariant K-theory and elliptic cohomology. Using the second approach we identify the monodromy matrices for the differential equation with the K-theoretic $R$-matrices of cyclic quiver varieties, which appear as subvarieties in the $3D$-mirror Hilbert scheme. Most of the results in the paper are illustrated by explicit examples for cases $n=2$ and $n=3$ in the Appendix.


title: Molecular gas distribution perpendicular to the Galactic plane

abstract: We use the ~370 square degrees data from the MWISP CO survey to study the vertical distribution of the molecular clouds (MCs) toward the tangent points in the region of l=[16,52]deg and |b|<5.1deg. The molecular disk consists of two components with the layer thickness (FWHM) of ~85pc and ~280pc, respectively. In the inner Galaxy, the molecular mass in the thin disk is dominant, while the molecular mass traced by the discrete MCs with weak CO emission in the thick disk is probably <10% of the whole molecular disk. For the CO gas in the thick disk, we identified 1055 high-z MCs that are >100pc from the Galactic plane. However, only a few samples (i.e., 32 MCs) are located in the |z|>360pc region. Typically, the discrete MCs of the thick disk population have a median peak temperature of 2.1 K, a median velocity dispersion of 0.8km/s, and a median effective radius of 2.5pc. The median surface density of these MCs is 6.8 Msun/pc^2, indicating very faint CO emission for these high-z MCs. The cloud-cloud velocity dispersion is 4.9+-1.3 km/s and a linear variation with a slope of -0.4 km/s/kpc is obtained in the region of R_GC=2.2-6.4kpc. Assuming that these clouds are supported by their turbulent motions against the gravitational pull of the disk, a model of rho0(R) = 1.28exp(-R/3.2kpc) Msun/pc^3 can be used to describe the distribution of the total mass density in the Galactic midplane.


title: Infinite-dimensional Thurston theory and transcendental dynamics II: classification of entire functions with escaping singular orbits

abstract: We classify transcendental entire functions that are compositions of a polynomial and the exponential for which all singular values escape on disjoint rays. The construction involves an iteration procedure on an infinite-dimensional Teichm\"uller space, analogously to the Thurston's classical Topological Characterization of Rational Functions, but for an infinite set of marked points.