title: A Theoretical Analysis of Superconducting Pairing in Correlated Metallic Systems

abstract: We have introduced a Coulomb correlated normal state to study the superconducting pairing with a Fermi liquid like normal phase background in a 3 dimensional system. The role of the Coulomb correlation has been actively incorporated by means of Gutzwiller projection scheme, in the presence of phonon mediated attractive electron-electron interaction throughout the entire regime of its applicability. We variationally modulate the Coulomb correlation strength from the weak to the strong regime in our calculational procedure. The main highlight of our results is the appearance of a '2-gap-like' structure in the superconducting phase, arising out of the two-body interacting matrix elements, calculated in the presence of the active Coulomb correlation. We have made use of the 'two-square well model' potential to evaluate the superconducting pairing gaps at zero temperature. Our Calculational scheme has been applied to a simple cubic lattice system for a physical realization. All the consequences are elaborated and discussed.


title: Joint alignment and reconstruction of multislice dynamic MRI using variational manifold learning

abstract: Free-breathing cardiac MRI schemes are emerging as competitive alternatives to breath-held cine MRI protocols, enabling applicability to pediatric and other population groups that cannot hold their breath. Because the data from the slices are acquired sequentially, the cardiac/respiratory motion patterns may be different for each slice; current free-breathing approaches perform independent recovery of each slice. In addition to not being able to exploit the inter-slice redundancies, manual intervention or sophisticated post-processing methods are needed to align the images post-recovery for quantification. To overcome these challenges, we propose an unsupervised variational deep manifold learning scheme for the joint alignment and reconstruction of multislice dynamic MRI. The proposed scheme jointly learns the parameters of the deep network as well as the latent vectors for each slice, which capture the motion-induced dynamic variations, from the k-t space data of the specific subject. The variational framework minimizes the non-uniqueness in the representation, thus offering improved alignment and reconstructions.


title: Natural selection of mutants that modify population structure

abstract: Evolution occurs in populations of reproducing individuals. It is well known that population structure can affect evolutionary dynamics. Traditionally, natural selection is studied between mutants that differ in reproductive rate, but are subject to the same population structure. Here we study how natural selection acts on mutants that have the same reproductive rate, but experience different population structures. In our framework, mutation alters population structure, which is given by a graph that specifies the dispersal of offspring. Reproduction can be either genetic or cultural. Competing mutants disperse their offspring on different graphs. A more connected graph implies higher motility. We show that enhanced motility tends to increase an invader's fixation probability, but there are interesting exceptions. For island models, we show that the magnitude of the effect depends crucially on the exact layout of the additional links. Finally, we show that for low-dimensional lattices, the effect of altered motility is comparable to that of altered fitness: in the limit of large population size, the invader's fixation probability is either constant or exponentially small, depending on whether it is more or less motile than the resident.


title: Active Restoration of Lost Audio Signals Using Machine Learning and Latent Information

abstract: Digital audio signal reconstruction of a lost or corrupt segment using deep learning algorithms has been explored intensively in recent years. Nevertheless, prior traditional methods with linear interpolation, phase coding and tone insertion techniques are still in vogue. However, we found no research work on reconstructing audio signals with the fusion of dithering, steganography, and machine learning regressors. Therefore, this paper proposes the combination of steganography, halftoning (dithering), and state-of-the-art shallow and deep learning methods. The results (including comparing the SPAIN, Autoregressive, deep learning-based, graph-based, and other methods) are evaluated with three different metrics. The observations from the results show that the proposed solution is effective and can enhance the reconstruction of audio signals performed by the side information (e.g., Latent representation) steganography provides. Moreover, this paper proposes a novel framework for reconstruction from heavily compressed embedded audio data using halftoning (i.e., dithering) and machine learning, which we termed the HCR (halftone-based compression and reconstruction). This work may trigger interest in optimising this approach and/or transferring it to different domains (i.e., image reconstruction). Compared to existing methods, we show improvement in the inpainting performance in terms of signal-to-noise ratio (SNR), the objective difference grade (ODG) and Hansen's audio quality metric. In particular, our proposed framework outperformed the learning-based methods (D2WGAN and SG) and the traditional statistical algorithms (e.g., SPAIN, TDC, WCP).


title: Deep Image Prior using Stein's Unbiased Risk Estimator: SURE-DIP

abstract: Deep learning algorithms that rely on extensive training data are revolutionizing image recovery from ill-posed measurements. Training data is scarce in many imaging applications, including ultra-high-resolution imaging. The deep image prior (DIP) algorithm was introduced for single-shot image recovery, completely eliminating the need for training data. A challenge with this scheme is the need for early stopping to minimize the overfitting of the CNN parameters to the noise in the measurements. We introduce a generalized Stein's unbiased risk estimate (GSURE) loss metric to minimize the overfitting. Our experiments show that the SURE-DIP approach minimizes the overfitting issues, thus offering significantly improved performance over classical DIP schemes. We also use the SURE-DIP approach with model-based unrolling architectures, which offers improved performance over direct inversion schemes.


title: Dynamical interplay of disc thickness and the interstellar gas: implication for the longevity of spiral density waves

abstract: A typical galactic disc has a finite thickness and in addition to stars it also contains a finite amount of interstellar gas. Here, we investigate the physical impact of the finite thickness of a galactic disc on the disc stability against the non-axisymmetric perturbations and on the longevity of the spiral density waves, with and without the presence of gas. The longevity is quantified via group velocity of density wavepackets. The galactic disc is first modelled as a collisionless stellar disc with finite height and then more realistically as a gravitationally-coupled stars plus gas system (with different thickness for stars and gas). For each case, we derive the appropriate dispersion relation in the WKB approximation, and study the dynamical effect of the disc thickness on the life-time of spiral density waves via a parametric approach. We find the generic trend that the effective reduction in disc self-gravity due to disc thickness makes it more stable against the non-axisymmetric perturbations, and shortens the life-span of the spiral density waves. Further, the interstellar gas and the disc thickness are shown to have a mutually opposite dynamical effect on the disc stability as well as the longevity of the spiral density waves. While the gas supports the non-axisymmetric features for a longer time, the disc thickness has an opposite, quenching effect. Consequently, the net change is set by the relative dominance of the opposite effects of the interstellar gas and the disc thickness.


title: Validity of the Semiclassical Approximation in 1+1 Electrodynamics: Numerical Solutions to the Linear Response Equation

abstract: From previous work arXiv:2010.09811, the semiclassical backreaction equation in 1+1 dimensions was solved and a criterion was implemented to assess the validity of the semiclassical approximation in this case. The criterion involves the behavior of solutions to the linear response equation which describes perturbations about solutions to the semiclassical backreaction equation. The linear response equation involves a time integral over a two-point correlation function for the current induced by the quantum field and it is expected that significant growth in this two-point function (and therefore in quantum fluctuations) will result in significant growth in solutions to the linear response equation. It was conjectured for early times that the difference of two nearby solutions to the semiclassical backreaction equation, with similar initial conditions, can act as an approximate solution to the linear response equation. A comparative analysis between the approximate and numerical solutions to the linear response equation, for the critical scale for particle production, will be presented for the case of a massive, quantized spin 1/2 field in order to determine how robust the approximation method is for representing its solutions.


title: Quantum chaos in a weakly-coupled field theory with nonlocality

abstract: In order to study the chaotic behavior of a system with non-local interactions, we will consider weakly coupled non-commutative field theories. We compute the Lyapunov exponent of this exponential growth in the large Moyal-scale limit to leading order in the t'Hooft coupling and $1/N$. We found that in this limit, the Lyapunov exponent remains comparable in magnitude to (and somewhat smaller than) the exponent in the commutative case. This can possibly be explained by the infrared sensitivity of the Lyapunov exponent. Another possible explanation is that in examples of weakly coupled non-commutative field theories, non-local contributions to various thermodynamic quantities are sub-dominant.


title: Surprise Minimization Revision Operators

abstract: Prominent approaches to belief revision prescribe the adoption of a new belief that is as close as possible to the prior belief, in a process that, even in the standard case, can be described as attempting to minimize surprise. Here we extend the existing model by proposing a measure of surprise, dubbed relative surprise, in which surprise is computed with respect not just to the prior belief, but also to the broader context provided by the new information, using a measure derived from familiar distance notions between truth-value assignments. We characterize the surprise minimization revision operator thus defined using a set of intuitive rationality postulates in the AGM mould, along the way obtaining representation results for other existing revision operators in the literature, such as the Dalal operator and a recently introduced distance-based min-max operator.


title: Health Monitoring of Industrial machines using Scene-Aware Threshold Selection

abstract: This paper presents an autoencoder based unsupervised approach to identify anomaly in an industrial machine using sounds produced by the machine. The proposed framework is trained using log-melspectrogram representations of the sound signal. In classification, our hypothesis is that the reconstruction error computed for an abnormal machine is larger than that of the a normal machine, since only normal machine sounds are being used to train the autoencoder. A threshold is chosen to discriminate between normal and abnormal machines. However, the threshold changes as surrounding conditions vary. To select an appropriate threshold irrespective of the surrounding, we propose a scene classification framework, which can classify the underlying surrounding. Hence, the threshold can be selected adaptively irrespective of the surrounding. The experiment evaluation is performed on MIMII dataset for industrial machines namely fan, pump, valve and slide rail. Our experiment analysis shows that utilizing adaptive threshold, the performance improves significantly as that obtained using the fixed threshold computed for a given surrounding only.


title: Renewable energy integration and microgrid energy trading using multi-agent deep reinforcement learning

abstract: In this paper, multi-agent reinforcement learning is used to control a hybrid energy storage system working collaboratively to reduce the energy costs of a microgrid through maximising the value of renewable energy and trading. The agents must learn to control three different types of energy storage system suited for short, medium, and long-term storage under fluctuating demand, dynamic wholesale energy prices, and unpredictable renewable energy generation. Two case studies are considered: the first looking at how the energy storage systems can better integrate renewable energy generation under dynamic pricing, and the second with how those same agents can be used alongside an aggregator agent to sell energy to self-interested external microgrids looking to reduce their own energy bills. This work found that the centralised learning with decentralised execution of the multi-agent deep deterministic policy gradient and its state-of-the-art variants allowed the multi-agent methods to perform significantly better than the control from a single global agent. It was also found that using separate reward functions in the multi-agent approach performed much better than using a single control agent. Being able to trade with the other microgrids, rather than just selling back to the utility grid, also was found to greatly increase the grid's savings.


title: Identification of Low Rank Vector Processes

abstract: We study modeling and identification of stationary processes with a spectral density matrix of low rank. Equivalently, we consider processes having an innovation of reduced dimension for which Prediction Error Methods (PEM) algorithms are not directly applicable. We show that these processes admit a special feedback structure with a deterministic feedback channel which can be used to split the identification in two steps, one of which can be based on standard algorithms while the other is based on a deterministic least squares fit. Identifiability of the feedback system is analyzed and a unique identifiable structure is characterized. Simulations show that the proposed procedure works well in some simple examples.


title: Conjectures on the Kodaira dimension

abstract: I propose a few increasingly stronger "superadditivity" conjectures regarding the behavior of Kodaira dimension under morphisms of smooth quasi-projective complex varieties.


title: Explainable Software Defect Prediction: Are We There Yet?

abstract: Explaining the prediction results of software defect prediction models is a challenging while practical task, which can provide useful information for developers to understand and fix the predicted bugs. To address this issue, recently, Jiarpakdee et al. proposed to use {two state-of-the-art} model-agnostic techniques (i.e., LIME and BreakDown) to explain the prediction results of bug prediction models. Their experiments show these tools can generate promising results and the generated explanations can assist developers understand the prediction results. However, the fact that LIME and BreakDown were only examined on a single software defect prediction model setting calls into question about their consistency and reliability across software defect prediction models with various settings. In this paper, we set out to investigate the consistency and reliability of model-agnostic technique based explanation generation approaches (i.e., LIME and BreakDown) on software defect prediction models with different settings , e.g., different data sampling techniques, different machine learning classifiers, and different prediction scenarios. Specifically, we use both LIME and BreakDown to generate explanations for the same instance under software defect prediction models with different settings and then check the consistency of the generated explanations for the instance. We reused the same defect data from Jiarpakdee et al. in our experiments. The results show that both LIME and BreakDown generate inconsistent explanations under different software defect prediction settings for the same test instances, which makes them unreliable for explanation generation. Overall, with this study, we call for more research in explainable software defect prediction towards achieving consistent and reliable explanation generation.


title: Upper bounds on quantum dynamics in arbitrary dimension

abstract: Motivated by the research on upper bounds on the rate of quantum transport for one-dimensional operators, particularly, the recent works of Jitomirskaya--Liu and Jitomirskaya--Powell and the earlier ones of Damanik--Tcheremchantsev, we propose a method to prove similar bounds in arbitrary dimension. The method applies both to Schroedinger and to long-range operators. In the case of ergodic operators, one can use large deviation estimates for the Green function in finite volumes to verify the assumptions of our general theorem. Such estimates have been proved for numerous classes of quasiperiodic operators in one and higher dimension, starting from the works of Bourgain, Goldstein, and Schlag. One of the applications is a power-logarithmic bound on the quantum transport defined by a multidimensional discrete Schr\"odinger (or even long-range) operator associated with an irrational shift, valid for all Diophantine frequencies and uniformly for all phases. To the best of our knowledge, these are the first results on the quantum dynamics for quasiperiodic operators in dimension greater than one that do not require exclusion of a positive measure of phases. Moreover, and in contrast to localisation, the estimates are uniform in the phase. The arguments are also applicable to ergodic operators corresponding to other kinds of base dynamics, such as the skew-shift.


title: Nanoconfinement of Tetraphenylethylene in Zeolitic Metal-Organic Framework for Turn-on Mechanofluorochromic Stress Sensing

abstract: Mechanofluorochromic materials are of great significance for the fabrication of innovative sensors and optoelectronics. However, efficient mechanofluorochromic materials are rarely explored due to the deficiency of existing design strategies. Here, we demonstrate the incarceration of aggregation-induced emission (AIE) materials within metal-organic framework (MOF) single crystals to construct a composite system with turn-on mechanofluorochromism. A new type of AIE@MOF material was designed: integrating a zeolitic MOF (ZIF-71) and tetraphenylethylene (TPE, a topical AIE material) to generate a TPE@ZIF-71 system with exceptional turn-on type mechanofluorochromism. Using terahertz vibrational spectroscopy, we show the unique fluorochromism emanates from the enhanced nanoconfinement effect exerted by ZIF-71 host on TPE guest under pressure and its permanent fluorescence after stress release. Compared with pure TPE, we demonstrate the nanoconfinement in AIE@MOF not only changes the TPE's turn-off type sensing behavior to a turn-on type, but boosts the original sensitivity markedly by tenfold. Significantly, because ZIF-71 prevents the spontaneous recrystallization of TPE upon unloading, this allows TPE@ZIF-71 to record the stress history. This is the first demonstration of the Guest@MOF system combining the concepts of AIE and MOF; its promising properties and potential engineering applications will stimulate new directions pertaining to luminescent stress sensors and smart optics.


title: Orthogonal Policy Learning Under Ambiguity

abstract: This paper studies the problem of estimating individualized treatment rules when treatment effects are partially identified, as it is often the case with observational data. By drawing connections between the treatment assignment problem and classical decision theory, we characterize several notions of optimal treatment policies in the presence of partial identification. Our unified framework allows to incorporate user-defined constraints on the set of allowable policies, such as restrictions for transparency or interpretability, while also ensuring computational feasibility. We show how partial identification leads to a new policy learning problem where the objective function is directionally -- but not fully -- differentiable with respect to the nuisance first-stage. We then propose an estimation procedure that ensures Neyman-orthogonality with respect to the nuisance components and we provide statistical guarantees that depend on the amount of concentration around the points of non-differentiability in the data-generating-process. The proposed methods are illustrated using data from the Job Partnership Training Act study.


title: Casting light on shadow Somos sequences

abstract: Recently Ovsienko and Tabachnikov considered extensions of Somos and Gale-Robinson sequences, defined over the algebra of dual numbers. Ovsienko used the same idea to construct so-called shadow sequences derived from other nonlinear recurrence relations exhibiting the Laurent phenomenon, with the original motivation being the hope that these examples should lead to an appropriate notion of a cluster superalgebra, incorporating Grassmann variables. Here we present various explicit expressions for the shadow of Somos-4 sequences, and describe the solution of a general Somos-4 recurrence defined over the $\mathbb{C}$-algebra of dual numbers from several different viewpoints: analytic formulae in terms of elliptic functions, linear difference equations, and Hankel determinants.


title: Transition between Boundary-Limited Scaling and Mixing-Length Scaling of Turbulent Transport in Internally Heated Convection

abstract: Heat transport in turbulent thermal convection increases with the thermal forcing, but in almost all studies the rate of this increase is slower than it would be if transport became independent of the molecular diffusivities -- the heat transport scaling is slower than the mixing-length (or `ultimate') scaling. In configurations driven by either thermal boundary conditions or internal heating, thermal boundary layers instead lead to a boundary-limited (or `classical') scaling. With net-zero internal heating and cooling in different regions, mixing-length scaling can occur because heat need not cross a boundary. We report numerical simulations in which heating and cooling are unequal, as in various natural systems, at a Prandtl number of unity. As heating and cooling rates are made closer, the scaling exponent of heat transport varies from its boundary-limited value to its mixing-length value.


title: Engineering single donor detectors in doped silicon

abstract: We demonstrate the possibility of engineering a single donor transistor directly from a phosphorous doped quantum dot by making use of the intrinsic glassy behaviour of the structure as well as the complex electron dynamics during cooldown. Characterisation of the device at low temperatures and in magnetic field shows single donors can be electrostatically isolated near one of the tunnel barrier with either a single or a doubly occupancy. Such a model is well supported by capacitance-based simulations. Ability of using the D0 of such isolated donor as a charge detector is demonstrated by observing the charge stability diagram of a nearby and capacitively coupled semi-connected double quantum dot.


title: Multiscale entropic regularization for MTS on general metric spaces

abstract: We present an $O((\log n)^2)$-competitive algorithm for metrical task systems (MTS) on any $n$-point metric space that is also $1$-competitive for service costs. This matches the competitive ratio achieved by Bubeck, Cohen, Lee, and Lee (2019) and the refined competitive ratios obtained by Coester and Lee (2019). Those algorithms work by first randomly embedding the metric space into an ultrametric and then solving MTS there. In contrast, our algorithm is cast as regularized gradient descent where the regularizer is a multiscale metric entropy defined directly on the metric space. This answers an open question of Bubeck (Highlights of Algorithms, 2019).


title: A note on Humphreys' conjecture on blocks

abstract: Humphreys' conjecture on blocks parametrises the blocks of reduced enveloping algebras $U_\chi({\mathfrak g})$, where ${\mathfrak g}$ is the Lie algebra of a reductive algebraic group over an algebraically closed field of characteristic $p>0$ and $\chi\in{\mathfrak g}^{*}$. It is well-known to hold under Jantzen's standard assumptions. We note here that it holds under slightly weaker assumptions, by utilising the full generality of certain results in the literature. We also provide a new approach to prove the result for ${\mathfrak g}$ of type $G_2$ in characteristic 3, a case in which the previously mentioned weaker assumptions do not hold. This approach requires some dimensional calculations for certain centralisers, which we conduct in the Appendix for all the exceptional Lie algebras in bad characteristic.


title: Isomorphism Testing for T-graphs in FPT

abstract: A T-graph (a special case of a chordal graph) is the intersection graph of connected subtrees of a suitable subdivision of a fixed tree T . We deal with the isomorphism problem for T-graphs which is GI-complete in general - when T is a part of the input and even a star. We prove that the T-graph isomorphism problem is in FPT when T is the fixed parameter of the problem. This can equivalently be stated that isomorphism is in FPT for chordal graphs of (so-called) bounded leafage. While the recognition problem for T-graphs is not known to be in FPT wrt. T, we do not need a T-representation to be given (a promise is enough). To obtain the result, we combine a suitable isomorphism-invariant decomposition of T-graphs with the classical tower-of-groups algorithm of Babai, and reuse some of the ideas of our isomorphism algorithm for S_d-graphs [MFCS 2020].


title: Subproduct systems with quantum group symmetry

abstract: We introduce a class of subproduct systems of finite dimensional Hilbert spaces whose fibers are defined by the Jones-Wenzl projections in Temperley-Lieb algebras. The quantum symmetries of a subclass of these systems are the free orthogonal quantum groups. For this subclass, we show that the corresponding Toeplitz algebras are nuclear C$^*$-algebras that are $KK$-equivalent to $\mathbb C$ and obtain a complete list of generators and relations for them. We also show that their gauge-invariant subalgebras coincide with the algebras of functions on the end compactifications of the duals of the free orthogonal quantum groups. Along the way we prove a few general results on equivariant subproduct systems, in particular, on the behavior of the Toeplitz and Cuntz-Pimsner algebras under monoidal equivalence of quantum symmetry groups.


title: Johnson Coverage Hypothesis: Inapproximability of k-means and k-median in L_p metrics

abstract: K-median and k-means are the two most popular objectives for clustering algorithms. Despite intensive effort, a good understanding of the approximability of these objectives, particularly in $\ell_p$-metrics, remains a major open problem. In this paper, we significantly improve upon the hardness of approximation factors known in literature for these objectives in $\ell_p$-metrics. We introduce a new hypothesis called the Johnson Coverage Hypothesis (JCH), which roughly asserts that the well-studied max k-coverage problem on set systems is hard to approximate to a factor greater than 1-1/e, even when the membership graph of the set system is a subgraph of the Johnson graph. We then show that together with generalizations of the embedding techniques introduced by Cohen-Addad and Karthik (FOCS '19), JCH implies hardness of approximation results for k-median and k-means in $\ell_p$-metrics for factors which are close to the ones obtained for general metrics. In particular, assuming JCH we show that it is hard to approximate the k-means objective: $\bullet$ Discrete case: To a factor of 3.94 in the $\ell_1$-metric and to a factor of 1.73 in the $\ell_2$-metric; this improves upon the previous factor of 1.56 and 1.17 respectively, obtained under UGC. $\bullet$ Continuous case: To a factor of 2.10 in the $\ell_1$-metric and to a factor of 1.36 in the $\ell_2$-metric; this improves upon the previous factor of 1.07 in the $\ell_2$-metric obtained under UGC. We also obtain similar improvements under JCH for the k-median objective. Additionally, we prove a weak version of JCH using the work of Dinur et al. (SICOMP '05) on Hypergraph Vertex Cover, and recover all the results stated above of Cohen-Addad and Karthik (FOCS '19) to (nearly) the same inapproximability factors but now under the standard NP$\neq$P assumption (instead of UGC).


title: Billiard Ordered Games and Books

abstract: The aim of this work is to put together two novel concepts from the theory of integrable billiards: billiard ordered games and confocal billiard books. Billiard books appeared recently in the work of Fomenko's school, in particular of V. Vedyushkina. These more complex billiard domains are obtained by gluing planar sets bounded by arcs of confocal conics along common edges. Such domains are used in this paper to construct the configuration space for billiard ordered games. We analyse dynamical and topological properties of the systems obtained in that way.


title: Structural tunability and origin of two-level systems in amorphous silicon

abstract: Amorphous silicon films prepared by electron beam evaporation have systematically and substantially greater atomic density for higher thickness, higher growth temperature, and slower deposition rate, reaching the density of crystalline Si when films of thickness greater than ~300 nm are grown at 425 $^{\circ}$C and at <1 $\r{A}$/sec. A combination of spectroscopic techniques provide insight into atomic disorder, local strains, dangling bonds, and nanovoids. Electron diffraction shows that the short-range order of the amorphous silicon is similar at all growth temperatures, but fluctuation electron microscopy shows that films grown above room-temperature show a form of medium-range order not previously observed in amorphous silicon. Atomic disorder and local strain obtained from Raman spectroscopy reduce with increasing growth temperature and show a non-monotonic dependence on thickness. Dangling bond density decreases with increasing growth temperature and is only mildly dependent on thickness. Positron annihilation Doppler broadening spectroscopy and electron energy loss spectroscopy show that nanovoids, and not density variations within the network, are responsible for reduced atomic density. Specific heat and mechanical loss measurements, which quantify the density of tunneling two-level systems, in combination with the structural data, suggest that two-level systems in amorphous silicon films are associated with nanovoids and their surroundings; which are in essence loosely bonded regions where atoms are less constrained.


title: Semiexplicit Symplectic Integrators for Non-separable Hamiltonian Systems

abstract: We construct a symplectic integrator for non-separable Hamiltonian systems combining an extended phase space approach of Pihajoki and the symmetric projection method. The resulting method is semiexplicit in the sense that the main time evolution step is explicit whereas the symmetric projection step is implicit. The symmetric projection binds potentially diverging copies of solutions, thereby remedying the main drawback of the extended phase space approach. Moreover, our semiexplicit method is symplectic in the original phase space. This is in contrast to existing extended phase space integrators, which are symplectic only in the extended phase space. We demonstrate that our method exhibits an excellent long-time preservation of invariants, and also that it tends to be as fast as and can be faster than Tao's explicit modified extended phase space integrator particularly for small enough time steps and with higher-order implementations and for higher-dimensional problems.


title: Video Content Swapping Using GAN

abstract: Video generation is an interesting problem in computer vision. It is quite popular for data augmentation, special effect in move, AR/VR and so on. With the advances of deep learning, many deep generative models have been proposed to solve this task. These deep generative models provide away to utilize all the unlabeled images and videos online, since it can learn deep feature representations with unsupervised manner. These models can also generate different kinds of images, which have great value for visual application. However generating a video would be much more challenging since we need to model not only the appearances of objects in the video but also their temporal motion. In this work, we will break down any frame in the video into content and pose. We first extract the pose information from a video using a pre-trained human pose detection and use a generative model to synthesize the video based on the content code and pose code.


title: Deep Reinforced Attention Regression for Partial Sketch Based Image Retrieval

abstract: Fine-Grained Sketch-Based Image Retrieval (FG-SBIR) aims at finding a specific image from a large gallery given a query sketch. Despite the widespread applicability of FG-SBIR in many critical domains (e.g., crime activity tracking), existing approaches still suffer from a low accuracy while being sensitive to external noises such as unnecessary strokes in the sketch. The retrieval performance will further deteriorate under a more practical on-the-fly setting, where only a partially complete sketch with only a few (noisy) strokes are available to retrieve corresponding images. We propose a novel framework that leverages a uniquely designed deep reinforcement learning model that performs a dual-level exploration to deal with partial sketch training and attention region selection. By enforcing the model's attention on the important regions of the original sketches, it remains robust to unnecessary stroke noises and improve the retrieval accuracy by a large margin. To sufficiently explore partial sketches and locate the important regions to attend, the model performs bootstrapped policy gradient for global exploration while adjusting a standard deviation term that governs a locator network for local exploration. The training process is guided by a hybrid loss that integrates a reinforcement loss and a supervised loss. A dynamic ranking reward is developed to fit the on-the-fly image retrieval process using partial sketches. The extensive experimentation performed on three public datasets shows that our proposed approach achieves the state-of-the-art performance on partial sketch based image retrieval.


title: Isotope Separation of Potassium with a magneto-optical combined method

abstract: Due to the similar physical and chemical properties, isotopes are usually hard to separate. On the other hand, the isotope shifts are very well separated in a high-resolution spectrum, making them possible to be addressed individually by lasers, thus separated. Here we report such an isotope separation experiment with Potassium atoms. The isotopes are independently optical pumped to the desired spin states, and then separated with a Stern-Gerlach scheme. A micro-capillary oven is used to collimate the atomic beam, and a Halbach-type magnet array is used to deflect the desired atoms. Finally, the $^{40}$K is enriched by two orders of magnitude. This magneto-optical combined method provides an effective way to separate isotopes and can be extended to other elements if the relevant optical pumping scheme is feasible.


title: Offline Reinforcement Learning: Fundamental Barriers for Value Function Approximation

abstract: We consider the offline reinforcement learning problem, where the aim is to learn a decision making policy from logged data. Offline RL -- particularly when coupled with (value) function approximation to allow for generalization in large or continuous state spaces -- is becoming increasingly relevant in practice, because it avoids costly and time-consuming online data collection and is well suited to safety-critical domains. Existing sample complexity guarantees for offline value function approximation methods typically require both (1) distributional assumptions (i.e., good coverage) and (2) representational assumptions (i.e., ability to represent some or all $Q$-value functions) stronger than what is required for supervised learning. However, the necessity of these conditions and the fundamental limits of offline RL are not well understood in spite of decades of research. This led Chen and Jiang (2019) to conjecture that concentrability (the most standard notion of coverage) and realizability (the weakest representation condition) alone are not sufficient for sample-efficient offline RL. We resolve this conjecture in the positive by proving that in general, even if both concentrability and realizability are satisfied, any algorithm requires sample complexity polynomial in the size of the state space to learn a non-trivial policy. Our results show that sample-efficient offline reinforcement learning requires either restrictive coverage conditions or representation conditions that go beyond supervised learning, and highlight a phenomenon called over-coverage which serves as a fundamental barrier for offline value function approximation methods. A consequence of our results for reinforcement learning with linear function approximation is that the separation between online and offline RL can be arbitrarily large, even in constant dimension.


title: A Bottom-Up Approach: The Data Driven Flavour Model

abstract: A bottom-up approach has been adopted to identify a flavour model that agrees with present experimental measurements. The charged fermion mass hierarchies suggest that only the top Yukawa term should be present at the renormalisable level. The flavour symmetry of the Lagrangian including the fermionic kinetic terms and only the top Yukawa is then a combination of $U(2)$ and $U(3)$ factors. Lighter charged fermion and active neutrino masses and quark and lepton mixings arise considering specific spurion fields. The associated phenomenology is investigated and the model turns out to have almost the same flavour protection of the Minimal Flavour Violation, in both quark and lepton sectors. Promoting the spurions to be dynamical fields, the associated scalar potential is also studied and a minimum is identified such that fermion masses and mixings are correctly reproduced.


title: Kinetic model of excitation of pairing vibrations in superfluid nuclei

abstract: Excitation of pairing vibrations in superfluid nuclei is studied by using a kinetic model based on the Vlasov equation with pairing, derived from the time-dependent Hartree-Fock-Bogolyubov theory. The anomalous density response function is used to find the monopole pairing mode and the dynamic variation of the pairing gap associated with this mode. The spectroscopic factor for the excitation of monopole pairing vibrations in two-neutron transfer reaction is estimated. It is found that the pairing correlations give rise to the same coherent contribution to the semiclassical spectroscopic factor as to the corresponding quantum expression, which is essentially determined by the distribution of the neutron levels near the Fermi energy. A numerical evaluation of the reduced spectroscopic factor for the excitation of monopole pairing vibrations in two-neutron transfer reaction in superfluid nuclei shows that it does not exceed several percent of the spectroscopic factor for the transfer of two neutrons to the ground state. This estimate is in agreement with the experimental data obtained for the ratio of the cross section for the excitation of 0+state in the (p,t) reaction in the energy region of double pairing gap to the cross section for the excitation of the ground state for superfluid nuclei of the rare-earth and actinide regions.


title: Descent of splendid Rickard equivalences in alternating groups

abstract: We show that each block of an alternating group over an arbitrary complete discrete valuation ring is splendidly Rickard equivalent to its Brauer correspondent. This provides new evidence for a refined version of Brou\'{e}'s abelian defect group conjecture proposed by Kessar and Linckelmann.


title: Weighted Minkowski's Existence Theorem and Projection Bodies

abstract: The Brunn-Minkowski Theory has seen several generalizations over the past century. Many of the core ideas have been generalized to measures. With the goal of framing these generalizations as a weighted Brunn-Minkowski theory, we prove the Minkowski existence theorem for a large class of Borel measures with continuous density, denoted by $\Lambda^n$: for $\nu$ a finite, even Borel measure on the unit sphere and even $\mu\in\Lambda^n$, there exists a symmetric convex body $K$ such that $$d\nu(u)=c_{\mu,K}dS^{\mu}_{K}(u),$$ where $c_{\mu,K}$ is a quantity that depends on $\mu$ and $K$ and $dS^{\mu}_{K}(u)$ is the surface area-measure of $K$ with respect to $\mu$. Examples of measures in $\Lambda^n$ are homogeneous measures (with $c_{\mu,K}=1$) and probability measures with radially decreasing densities (e.g. the Gaussian measure). We will also consider weighted projection bodies $\Pi_\mu K$ by classifying them and studying the isomorphic Shephard problem: if $\mu$ and $\nu$ are even, homogeneous measures with density and $K$ and $L$ are symmetric convex bodies such that $\Pi_{\mu} K \subset \Pi_{\nu} L$, then can one find an optimal quantity $\mathcal{A}>0$ such that $\mu(K)\leq \mathcal{A}\nu(L)$? Among other things, we show that, in the case where $\mu=\nu$ and $L$ is a projection body, $\mathcal{A}=1$.


title: Higher order Airy and Painlev\'e asymptotics for the mKdV hierarchy

abstract: In this paper, we consider Cauchy problem for the modified Korteweg-de Vries hierarchy on the real line with decaying initial data. Using the Riemann--Hilbert formulation and nonlinear steepest descent method, we derive a uniform asymptotic expansion to all orders in powers of $t^{-1/(2n+1)}$ with smooth coefficients of the variable $(-1)^{n+1}x((2n+1) t)^{-1/(2n+1)}$ in the self-similarity region for the solution of $n$-th member of the hierarchy. It turns out that the leading asymptotics is described by a family of special solutions of the Painlev\'e II hierarchy, which generalize the classical Ablowitz-Segur solution for the Painelv\'{e} II equation and appear in a variety of random matrix and statistical physics models. We establish the connection formulas for this family of solutions. In the special case that the reflection coefficient vanishes at the origin, the solutions of Painlev\'e II hierarchy in the leading coefficient vanishes as well, the leading and subleading terms in the asymptotic expansion are instead given explicitly in terms of derivatives of the generalized Airy function.


title: Planar black holes configurations and shear viscosity in arbitrary dimensions with shift and reflection symmetric scalar-tensor theories

abstract: In higher dimensions, we explore planar hairy black hole configurations for a special subclass of the Horndeski theory, defined by two coupling functions depending on the kinetic term and enjoying shift symmetry and reflection symmetry. For this analysis, we derive a set of new solutions, given by time-dependent as well as time independent scalar field configurations. Additionally, we calculate their thermodynamic quantities by using Wald formalism, satisfying the First Law of Thermodynamics as well as a Smarr relation. Together with the above, the Wald procedure allows us to compute the shear viscosity, showing that for a suitable choice of the coupling functions the Kovtun-Son-Starinets bound is violated.


title: High robustness quantum walk search algorithm with qudit Householder traversing coin, machine learning study

abstract: In this work the quantum random walk search algorithm with walk coin constructed by generalized Householder reflection and phase multiplier has been studied. The coin register is one qudit with arbitrary dimension. Monte Carlo simulations, in combination with supervised machine learning, are used to find walk coins making the quantum algorithm more robust to deviations in the coin's parameters. By applying deep neural network we make prediction for the parameters of an optimal coin with arbitrary size and estimate the stability for such coin.


title: Disjoining Pressure Driven Transpiration of Water in a Simulated Tree

abstract: We present an investigation of transpiration of water in a 100 m tall tree using continuum simulations. Disjoining pressure is found to induce absolute negative pressures as high as -23.5 atm at the liquid-vapor meniscus during evaporation, thus presenting a sufficient stand-alone explanation of the transpiration mechanism. In this work, we begin by first developing an expression of disjoining pressure in a water film as a function of distance from the surface from prior experimental findings. The expression is then implemented in a commercial computational fluid dynamics solver and the disjoining pressure effect on water wicking in nanochannels of height varying from 59 nm to 1 micron is simulated. The simulation results are in excellent agreement with experimental data, thus demonstrating and validating that near-surface molecular interactions can be integrated in continuum numerical simulations through the disjoining pressure term. Following the implementation, we simulate the transpiration process of passive water transport over a height of 100 m by using a domain comprising of nanopore connected to a tube with a ground-based water tank, thus mimicking the stomata-xylem-soil pathway in trees. By varying the evaporation rate from liquid-vapor interface in the nanopore, effects on naturally-created pressure difference and liquid flow velocity are estimated. Further, kinetic theory analysis is performed to study the combined effect of absolute negative liquid-film pressure and accommodation coefficient on the maximum mass flux feasible during transpiration. Continuum simulations coupled with kinetic theory reiterate the existence of an upper limit to height of trees. The numerical model developed here is adept to be employed to design and advance several other nanofluidics-based natural and engineering systems.


title: WalkingTime: Dynamic Graph Embedding Using Temporal-Topological Flows

abstract: Increased attention has been paid over the last four years to dynamic network embedding. Existing dynamic embedding methods, however, consider the problem as limited to the evolution of a topology over a sequence of global, discrete states. We propose a novel embedding algorithm, WalkingTime, based on a fundamentally different handling of time, allowing for the local consideration of continuously occurring phenomena; while others consider global time-steps to be first-order citizens of the dynamic environment, we hold flows comprised of temporally and topologically local interactions as our primitives, without any discretization or alignment of time-related attributes being necessary. Keywords: dynamic networks , representation learning , dynamic graph embedding , time-respecting paths , temporal-topological flows , temporal random walks , temporal networks , real-attributed knowledge graphs , streaming graphs , online networks , asynchronous graphs , asynchronous networks , graph algorithms , deep learning , network analysis , datamining , network science


title: Design of proton deflectometry with in situ X-ray fiducial for magnetized HED systems

abstract: We report a design and implementation of proton radiography with an in situ reference X-ray image of a mesh to precisely measure non-uniform magnetic fields in expanding plasmas at the OMEGA and OMEGA EP laser facilities. The technique has been developed with proton and x-ray sources generated from both directly-driven capsule implosions and short pulse laser-solid interactions. The accuracy of the measurement depends on the contrast of both the proton and x-ray images. We present numerical and analytic studies to optimize the image contrast using a variety of mesh materials and grid spacing. Our results show a clear enhancement of the image contrast by a factor of 4-6 using a high Z mesh with large grid spacing. This would lead to a further factor of two improvement in accuracy of the magnetic field measurement.


title: Memory erasure with finite-sized spin reservoir

abstract: Landauer's erasure principle puts a fundamental constraint on the amount of work required to erase information using thermal reservoirs. Recently this bound was improved to include corrections for finite-sized thermal reservoirs. In conventional information-erasure schemes, conservation of energy plays a key role with the cost of erasure. However, it has been shown that erasure can be achieved through the manipulation of spin angular momentum rather than energy, using a reservoir composed of energy-degenerate spin particles under the constraint of the conservation of spin angular momentum, in the limit of an infinite number of particles. In this case the erasure cost is in terms of dissipation of spin angular momentum. Here we analyze the erasure of memory using a finite-sized spin reservoir. We compute the erasure cost to compare it with its infinite counterpart and determine what size of finite reservoir gives similar erasure cost statistics using the Jensen-Shannon Divergence as the measure of difference. Our findings show that erasure with finite-sized reservoirs results in the erasure of less information compared to the infinite reservoir counterpart when compared on this basis. In addition we discuss the cost of resetting the state of the ancillary spin particles used in the erasure process, and we investigate the degradation in erasure performance when a finite reservoir is repeatedly reused to erase a sequence of memories.

categories: quant-ph cond-mat.stat-mech cs.IT math.IT


title: A code for two-dimensional frequency analysis using the Least Absolute Shrinkage and Selection Operator (Lasso) for multidisciplinary use

abstract: In Kato and Uemura (2012), we introduced the Least Absolute Shrinkage and Selection Operator (Lasso) method, a kind of sparse modeling, to study frequency structures of variable stars. A very high frequency resolution was achieved compared to traditional Fourier-type frequency analysis. This method has been extended to two-dimensional frequency analysis to obtain dynamic spectra. This two-dimensional Lasso frequency analysis yielded a wide range of results including separation of the orbital, superhump and negative superhump signals in Kepler data of SU UMa stars. In this paper, I briefly reviewed the progress and applications of this method. I present a full R code with examples of its usage. This code has been confirmed to detect the appearance of the orbital signal and the variation of the spin period after the eruption of the nova V1674 Her. This code also can be used in multidisciplinary purposes and I provide applications to analysis of avian vocalizations. I found fine structures in the call of the Eurasian wren ($\textit{Troglodytes troglodytes}$), which is likely to be used species identification. This code would be a new tool in studying avian vocalizations with high temporal and frequency resolutions. Interpretations of the power spectra of avian vocalizations will also be helpful in interpreting the power spectra of variable stars.


title: Self-supervised Semi-supervised Learning for Data Labeling and Quality Evaluation

abstract: As the adoption of deep learning techniques in industrial applications grows with increasing speed and scale, successful deployment of deep learning models often hinges on the availability, volume, and quality of annotated data. In this paper, we tackle the problems of efficient data labeling and annotation verification under the human-in-the-loop setting. We showcase that the latest advancements in the field of self-supervised visual representation learning can lead to tools and methods that benefit the curation and engineering of natural image datasets, reducing annotation cost and increasing annotation quality. We propose a unifying framework by leveraging self-supervised semi-supervised learning and use it to construct workflows for data labeling and annotation verification tasks. We demonstrate the effectiveness of our workflows over existing methodologies. On active learning task, our method achieves 97.0% Top-1 Accuracy on CIFAR10 with 0.1% annotated data, and 83.9% Top-1 Accuracy on CIFAR100 with 10% annotated data. When learning with 50% of wrong labels, our method achieves 97.4% Top-1 Accuracy on CIFAR10 and 85.5% Top-1 Accuracy on CIFAR100.


title: Decentralized Multi-Armed Bandit Can Outperform Classic Upper Confidence Bound: A Homogeneous Case over Strongly Connected Graphs

abstract: This paper studies a homogeneous decentralized multi-armed bandit problem, in which a network of multiple agents faces the same set of arms, and each agent aims to minimize its own regret. A fully decentralized upper confidence bound (UCB) algorithm is proposed for a multi-agent network whose neighbor relations are described by a directed graph. It is shown that the decentralized algorithm guarantees each agent to achieve a lower logarithmic asymptotic regret compared to the classic UCB algorithm, provided the neighbor graph is strongly connected. The improved asymptotic regret upper bound is reciprocally related to the maximal size of a local neighborhood within the network. The roles of graph connectivity, maximum local degree, and network size are analytically elucidated in the expression of regret.


title: Privacy-preserving Federated Adversarial Domain Adaption over Feature Groups for Interpretability

abstract: We present a novel privacy-preserving federated adversarial domain adaptation approach ($\textbf{PrADA}$) to address an under-studied but practical cross-silo federated domain adaptation problem, in which the party of the target domain is insufficient in both samples and features. We address the lack-of-feature issue by extending the feature space through vertical federated learning with a feature-rich party and tackle the sample-scarce issue by performing adversarial domain adaptation from the sample-rich source party to the target party. In this work, we focus on financial applications where interpretability is critical. However, existing adversarial domain adaptation methods typically apply a single feature extractor to learn feature representations that are low-interpretable with respect to the target task. To improve interpretability, we exploit domain expertise to split the feature space into multiple groups that each holds relevant features, and we learn a semantically meaningful high-order feature from each feature group. In addition, we apply a feature extractor (along with a domain discriminator) for each feature group to enable a fine-grained domain adaptation. We design a secure protocol that enables performing the PrADA in a secure and efficient manner. We evaluate our approach on two tabular datasets. Experiments demonstrate both the effectiveness and practicality of our approach.


title: Mesh Sensitivity Analysis for Finite Element Solution of Linear Elliptic Partial Differential Equations

abstract: Mesh sensitivity of finite element solution for linear elliptic partial differential equations is analyzed. A bound for the change in the finite element solution is obtained in terms of the mesh deformation and its gradient. The bound shows how the finite element solution changes continuously with the mesh. The result holds in any dimension and for arbitrary unstructured simplicial meshes, general linear elliptic partial differential equations, and general finite element approximations.


title: A data-driven dynamic nonlocal subgrid-scale model for turbulent flows

abstract: We developed a novel autonomously dynamic nonlocal turbulence model for the large and very large eddy simulation (LES, VLES) of the homogeneous isotropic turbulent flows (HIT). The model is based on a generalized (integer-to-noninteger) order Laplacian of the filtered velocity field, and a novel dynamic model has been formulated to avoid the need for tuning the model constant. Three data-driven approaches were introduced for the determination of the fractional-order to have a model which is totally free of any tuning parameter. Our analysis includes both the $\textit{a priori}$ and the $\textit{a posteriori}$ tests. In the former test, using a high-fidelity and well-resolved dataset from direct numerical simulations (DNS), we computed the correlation coefficients for the stress components of the subgrid-scale (SGS) stress tensor and the one we get directly from the DNS results. Moreover, we compared the probability density function of the ensemble-averaged SGS forces for different filter sizes. In the latter, we employed our new model along with other conventional models including static and dynamic Smagorinsky into our pseudo-spectral solver and tested the final predicted quantities. The results of the newly developed model exhibit an expressive agreement with the ground-truth DNS results in all components of the SGS stress and forces. Also, the model exhibits promising results in the VLES region as well as the LES region, which could be remarkably important for the cost-efficient nonlocal turbulence modelings e.g., in meteorological and environmental applications.


title: Adaptive Transfer Learning: a simple but effective transfer learning

abstract: Transfer learning (TL) leverages previously obtained knowledge to learn new tasks efficiently and has been used to train deep learning (DL) models with limited amount of data. When TL is applied to DL, pretrained (teacher) models are fine-tuned to build domain specific (student) models. This fine-tuning relies on the fact that DL model can be decomposed to classifiers and feature extractors, and a line of studies showed that the same feature extractors can be used to train classifiers on multiple tasks. Furthermore, recent studies proposed multiple algorithms that can fine-tune teacher models' feature extractors to train student models more efficiently. We note that regardless of the fine-tuning of feature extractors, the classifiers of student models are trained with final outputs of feature extractors (i.e., the outputs of penultimate layers). However, a recent study suggested that feature maps in ResNets across layers could be functionally equivalent, raising the possibility that feature maps inside the feature extractors can also be used to train student models' classifiers. Inspired by this study, we tested if feature maps in the hidden layers of the teacher models can be used to improve the student models' accuracy (i.e., TL's efficiency). Specifically, we developed 'adaptive transfer learning (ATL)', which can choose an optimal set of feature maps for TL, and tested it in the few-shot learning setting. Our empirical evaluations suggest that ATL can help DL models learn more efficiently, especially when available examples are limited.


title: Assessing the commonly used assumptions in estimating the principal causal effect in clinical trials

abstract: In clinical trials, it is often of interest to understand the principal causal effect (PCE), the average treatment effect for a principal stratum (a subset of patients defined by the potential outcomes of one or more post-baseline variables). Commonly used assumptions include monotonicity, principal ignorability, and cross-world assumptions of principal ignorability and principal strata independence. In this article, we evaluate these assumptions through a 2$\times$2 cross-over study in which the potential outcomes under both treatments can be observed, provided there are no carry-over and study period effects. From this example, it seemed the monotonicity assumption and the within-treatment principal ignorability assumptions did not hold well. On the other hand, the assumptions of cross-world principal ignorability and cross-world principal stratum independence conditional on baseline covariates seemed reasonable. With the latter assumptions, we estimated the PCEs, defined by whether the blood glucose standard deviation increased in each treatment period, without relying on the cross-over feature, producing estimates close to the results when exploiting the cross-over feature. To the best of our knowledge, this article is the first attempt to evaluate the plausibility of commonly used assumptions for estimating PCEs using a cross-over trial.


title: A Dynamic Programming Algorithm to Compute Joint Distribution of Order Statistics on Graphs

abstract: Order statistics play a fundamental role in statistical procedures such as risk estimation, outlier detection, and multiple hypothesis testing as well as in the analyses of mechanism design, queues, load balancing, and various other logistical processes involving ranks. In some of these cases, it may be desirable to compute the \textit{exact} values from the joint distribution of $d$ order statistics. While this problem is already computationally difficult even in the case of $n$ independent random variables, the random variables often have no such independence guarantees. Existing methods obtain the cumulative distribution indirectly by first computing and then aggregating over the marginal distributions. In this paper, we provide a more direct, efficient algorithm to compute cumulative joint order statistic distributions of dependent random variables that improves an existing dynamic programming solution via dimensionality reduction techniques. Our solution guarantees a $O(\frac{d^{d-1}}{n})$ and $O(d^{d})$ factor of improvement in both time and space complexity respectively over previous methods.


title: How do kernel-based sensor fusion algorithms behave under high dimensional noise?

abstract: We study the behavior of two kernel based sensor fusion algorithms, nonparametric canonical correlation analysis (NCCA) and alternating diffusion (AD), under the nonnull setting that the clean datasets collected from two sensors are modeled by a common low dimensional manifold embedded in a high dimensional Euclidean space and the datasets are corrupted by high dimensional noise. We establish the asymptotic limits and convergence rates for the eigenvalues of the associated kernel matrices assuming that the sample dimension and sample size are comparably large, where NCCA and AD are conducted using the Gaussian kernel. It turns out that both the asymptotic limits and convergence rates depend on the signal-to-noise ratio (SNR) of each sensor and selected bandwidths. On one hand, we show that if NCCA and AD are directly applied to the noisy point clouds without any sanity check, it may generate artificial information that misleads scientists' interpretation. On the other hand, we prove that if the bandwidths are selected adequately, both NCCA and AD can be made robust to high dimensional noise when the SNRs are relatively large.


title: A self-consistent hybrid model of kinetic striations in low-current Argon discharges

abstract: A self-consistent hybrid model of standing and moving striations was developed for low-current DC discharges in noble gases. We introduced the concept of surface diffusion in phase space described by a tensor diffusion in the nonlocal Fokker-Planck kinetic equation for electrons in the collisional plasma. Electrons diffuse along surfaces of constant total energy between energy jumps in inelastic collisions with atoms. Numerical solutions of the 1d1u kinetic equation for electrons were obtained by two methods and coupled to ion transport and Poisson solver. We studied the dynamics of striation formation in Townsend and glow discharges in Argon gas at low discharge currents using a two-level excitation-ionization model and a full chemistry model, which includes stepwise and Penning ionization. Standing striations appeared in Townsend and glow discharges at low currents. Moving striations were obtained for glow discharges at currents exceeding a critical value. They originate at the anode and propagate towards the cathode. We have obtained two types of moving striations with the two-level and full chemistry models, which resemble the s and p striations previously observed in the experiments. Simulations indicate that processes in the anode region could control moving striations in the positive column plasma. The developed model helps clarify the nature of standing and moving striations in DC discharges of noble gases at low discharge currents and low gas pressures.


title: Low Energy Effective Theory for Axion Strings

abstract: We consider aspects of the low energy description of global cosmic strings. In the non-relativistic limit, we study the extent to which these are described by the combination of the Nambu-Gotto and Kalb-Ramond actions. While in a formal sense this is the case for infiniately long strings, for more realistic situations, the collective coordinates of the system do not provide a complete description for more than brief intervals; as time evolves it becomes necessary to include low momentum goldstone excitations as well.


title: Model-Based Single Image Deep Dehazing

abstract: Model-based single image dehazing algorithms restore images with sharp edges and rich details at the expense of low PSNR values. Data-driven ones restore images with high PSNR values but with low contrast, and even some remaining haze. In this paper, a novel single image dehazing algorithm is introduced by fusing model-based and data-driven approaches. Both transmission map and atmospheric light are initialized by the model-based methods, and refined by deep learning approaches which form a neural augmentation. Haze-free images are restored by using the transmission map and atmospheric light. Experimental results indicate that the proposed algorithm can remove haze well from real-world and synthetic hazy images.


title: Zee model in a modular $A_4$ symmetry

abstract: We study a Zee model applying a modular $A_4$ symmetry, where we construct our lepton model as minimum modular weight as possible. We show our predictions on phases and neutrino masses through our $\Delta \chi^2$ analysis. We find that normal hierarchy is favored, and $\tau$ is localized to 2.3$i$ that is close to a fixed point of $i\times \infty$. In this limit, our neutrino mass matrix comes to a two zero texture, which is called $B_1$ of the neutrino mass matrix. We show that our phase predictions are in good agreement with the ones of $B_1$.


title: Conformal Boundary Conditions of Symmetry-Enriched Quantum Critical Spin Chains

abstract: Some quantum critical states cannot be smoothly deformed into each other without either crossing some multicritical points or explicitly breaking certain symmetries even if they belong to the same universality class. This brings up the notion of ``symmetry-enriched'' quantum criticality. While recent works in the literature focused on critical states with robust degenerate edge modes, we propose that the conformal boundary condition (b.c.) is a more generic characteristic of such quantum critical states. We show that in two families of quantum spin chains, which generalize the Ising and the three-state Potts models, the quantum critical point between a symmetry-protected topological phase and a symmetry-breaking order realizes a conformal b.c. distinct from the simple Ising and Potts chains. Furthermore, we argue that the conformal b.c. can be derived from the bulk effective field theory, which realizes a novel bulk-boundary correspondence in symmetry-enriched quantum critical states.


title: A General Framework for Lifelong Localization and Mapping in Changing Environment

abstract: The environment of most real-world scenarios such as malls and supermarkets changes at all times. A pre-built map that does not account for these changes becomes out-of-date easily. Therefore, it is necessary to have an up-to-date model of the environment to facilitate long-term operation of a robot. To this end, this paper presents a general lifelong simultaneous localization and mapping (SLAM) framework. Our framework uses a multiple session map representation, and exploits an efficient map updating strategy that includes map building, pose graph refinement and sparsification. To mitigate the unbounded increase of memory usage, we propose a map-trimming method based on the Chow-Liu maximum-mutual-information spanning tree. The proposed SLAM framework has been comprehensively validated by over a month of robot deployment in real supermarket environment. Furthermore, we release the dataset collected from the indoor and outdoor changing environment with the hope to accelerate lifelong SLAM research in the community. Our dataset is available at https://github.com/sanduan168/lifelong-SLAM-dataset.


title: Comparison of Numerical Solvers for Differential Equations for Holonomic Gradient Method in Statistics

abstract: Definite integrals with parameters of holonomic functions satisfy holonomic systems of linear partial differential equations. When we restrict parameters to a one dimensional curve, the system becomes a linear ordinary differential equation (ODE) with respect to a curve in the parameter space. We can evaluate the integral by solving the linear ODE numerically. This approach to evaluate numerically definite integrals is called the holonomic gradient method (HGM) and it is useful to evaluate several normalizing constants in statistics. We will discuss and compare methods to solve linear ODE's to evaluate normalizing constants.


title: Hybrid Imitative Planning with Geometric and Predictive Costs in Off-road Environments

abstract: Geometric methods for solving open-world off-road navigation tasks, by learning occupancy and metric maps, provide good generalization but can be brittle in outdoor environments that violate their assumptions (e.g., tall grass). Learning-based methods can directly learn collision-free behavior from raw observations, but are difficult to integrate with standard geometry-based pipelines. This creates an unfortunate conflict -- either use learning and lose out on well-understood geometric navigational components, or do not use it, in favor of extensively hand-tuned geometry-based cost maps. In this work, we reject this dichotomy by designing the learning and non-learning-based components in a way such that they can be effectively combined in a self-supervised manner. Both components contribute to a planning criterion: the learned component contributes predicted traversability as rewards, while the geometric component contributes obstacle cost information. We instantiate and comparatively evaluate our system in both in-distribution and out-of-distribution environments, showing that this approach inherits complementary gains from the learned and geometric components and significantly outperforms either of them. Videos of our results are hosted at https://sites.google.com/view/hybrid-imitative-planning


title: Positronium Decays with Dark $Z$ and Fermionic Dark Matter

abstract: We investigate the invisible decay of positronium to probe the fermionic light dark matter mediated by the dark $Z$ boson. Too tiny is the invisible decay rate of positronium through weak interaction in the standard model to be detected in the experiment. We show that it can be enhanced to be observed in the future if the dark matter is lighter than the electron in the dark $Z$ model. We also compute the relic abundance of such light dark matter and discuss the Big Bang Nucleosynthesis constraint with an alternative thermal history scenario.


title: Holomorphic stability for Carleman pairs of function spaces

abstract: We introduce a notion of holomorphic stability for pairs of function spaces on a planar domain $\Omega$. In the case of the open unit disk $\Omega = \mathbb{D}$ equipped with a radial measure $\mu$, by establishing Bourgain-Brezis type inequalities, we show that the pair \[(B^2(\mathbb{D}, \mu), h^1(\mathbb{D}))\] of weighted harmonic Bergman space and harmonic Hardy space is holomorphically stable if and only if $\mu$ is a $(1,2)$-Carleson measure. With some extra efforts, we also obtain an analogous result for the upper half plane equipped with horizontal-translation invariant measures.


title: Can depth-adaptive BERT perform better on binary classification tasks

abstract: In light of the success of transferring language models into NLP tasks, we ask whether the full BERT model is always the best and does it exist a simple but effective method to find the winning ticket in state-of-the-art deep neural networks without complex calculations. We construct a series of BERT-based models with different size and compare their predictions on 8 binary classification tasks. The results show there truly exist smaller sub-networks performing better than the full model. Then we present a further study and propose a simple method to shrink BERT appropriately before fine-tuning. Some extended experiments indicate that our method could save time and storage overhead extraordinarily with little even no accuracy loss.


title: ExT5: Towards Extreme Multi-Task Scaling for Transfer Learning

abstract: Despite the recent success of multi-task learning and transfer learning for natural language processing (NLP), few works have systematically studied the effect of scaling up the number of tasks during pre-training. Towards this goal, this paper introduces ExMix (Extreme Mixture): a massive collection of 107 supervised NLP tasks across diverse domains and task-families. Using ExMix, we study the effect of multi-task pre-training at the largest scale to date, and analyze co-training transfer amongst common families of tasks. Through this analysis, we show that manually curating an ideal set of tasks for multi-task pre-training is not straightforward, and that multi-task scaling can vastly improve models on its own. Finally, we propose ExT5: a model pre-trained using a multi-task objective of self-supervised span denoising and supervised ExMix. Via extensive experiments, we show that ExT5 outperforms strong T5 baselines on SuperGLUE, GEM, Rainbow, Closed-Book QA tasks, and several tasks outside of ExMix. ExT5 also significantly improves sample efficiency while pre-training.


title: Constraining the Rotation Profile in a Low-Luminosity Subgiant with a Surface Rotation Measurement

abstract: Rotationally-induced mode splitting frequencies of low-luminosity subgiants suggest that angular momentum transport mechanisms are 1-2 orders of magnitude more efficient in these stars than predicted by theory. Constraints on the rotation profile of low-luminosity subgiants could be used to identify the dominant mechanism for angular momentum transport. We develop a forward model for the rotation profile given observed rotational splittings, assuming a step-like rotation profile. We identify a consistent degeneracy between the position of the profile discontinuity and the surface rotation rate. We perform mock experiments that show the discontinuity position can be better constrained with a prior on the surface rotation rate, which is informed by star spot modulations. We finally apply this approach to KIC 12508433, a well-studied low-luminosity subgiant, as an example case. With the observed surface rotation prior, we obtain a factor of two increase in precision of the position of strong rotation gradient. We recover the literature values of the core and surface rotation rates and find the highest support for a discontinuity in the radiative zone. Auxiliary measurements of surface rotation could substantially improve inferences on the rotation profile of low-luminosity subgiants with already available data.


title: Generation Drawing/Grinding Trajectoy Based on Hierarchical CVAE

abstract: In this study, we propose a method to model the local and global features of the drawing/grinding trajectory with hierarchical Variational Autoencoders (VAEs). By combining two separately trained VAE models in a hierarchical structure, it is possible to generate trajectories with high reproducibility for both local and global features. The hierarchical generation network enables the generation of higher-order trajectories with a relatively small amount of training data. The simulation and experimental results demonstrate the generalization performance of the proposed method. In addition, we confirmed that it is possible to generate new trajectories, which have never been learned in the past, by changing the combination of the learned models.


title: Condensation of cometary silicate dust using an induction thermal plasma system I. Enstatite and CI chondritic composition

abstract: Glass with embedded metal and sulfides (GEMS) is a major component of chondritic porous interplanetary dust particles. Although GEMS is one of the most primitive components in the Solar System, its formation process and conditions have not been constrained. We performed condensation experiments of gases in the system of Mg-Si-O (MgSiO3 composition) and of the S-free CI chondritic composition (Si-Mg-Fe-Na-Al-Ca-Ni-O system) in induction thermal plasma equipment. Amorphous Mg-silicate particles condensed in the experiments of the Mg-Si-O system, and their grain size distribution depended on the experimental conditions (mainly partial pressure of SiO). In the CI chondritic composition experiments, irregularly shaped amorphous silicate particles of less than a few hundred nanometers embedded with multiple Fe-Ni nanoparticles of ~<20 nm were successfully synthesized. These characteristics are very similar to those of GEMS, except for the presence of FeSi instead of sulfide grains. We propose that the condensation of amorphous silicate grains smaller than a few tens of nanometers and with metallic cores, followed by coagulation, could be the precursor material that forms GEMS prior to sulfidation.

categories: astro-ph.EP astro-ph.IM cond-mat.mtrl-sci physics.geo-ph


title: Quantum reservoir computing using arrays of Rydberg atoms

abstract: Quantum computing promises to provide machine learning with computational advantages. However, noisy intermediate-scale quantum (NISQ) devices pose engineering challenges to realizing quantum machine learning (QML) advantages. Recently, a series of QML computational models inspired by the noise-tolerant dynamics on the brain have emerged as a means to circumvent the hardware limitations of NISQ devices. In this article, we introduce a quantum version of a recurrent neural network (RNN), a well-known model for neural circuits in the brain. Our quantum RNN (qRNN) makes use of the natural Hamiltonian dynamics of an ensemble of interacting spin-1/2 particles as a means for computation. In the limit where the Hamiltonian is diagonal, the qRNN recovers the dynamics of the classical version. Beyond this limit, we observe that the quantum dynamics of the qRNN provide it quantum computational features that can aid it in computation. To this end, we study a qRNN based on arrays of Rydberg atoms, and show that the qRNN is indeed capable of replicating the learning of several cognitive tasks such as multitasking, decision making, and long-term memory by taking advantage of several key features of this platform such as interatomic species interactions, and quantum many-body scars.


title: Hierarchical Knowledge Distillation for Dialogue Sequence Labeling

abstract: This paper presents a novel knowledge distillation method for dialogue sequence labeling. Dialogue sequence labeling is a supervised learning task that estimates labels for each utterance in the target dialogue document, and is useful for many applications such as dialogue act estimation. Accurate labeling is often realized by a hierarchically-structured large model consisting of utterance-level and dialogue-level networks that capture the contexts within an utterance and between utterances, respectively. However, due to its large model size, such a model cannot be deployed on resource-constrained devices. To overcome this difficulty, we focus on knowledge distillation which trains a small model by distilling the knowledge of a large and high performance teacher model. Our key idea is to distill the knowledge while keeping the complex contexts captured by the teacher model. To this end, the proposed method, hierarchical knowledge distillation, trains the small model by distilling not only the probability distribution of the label classification, but also the knowledge of utterance-level and dialogue-level contexts trained in the teacher model by training the model to mimic the teacher model's output in each level. Experiments on dialogue act estimation and call scene segmentation demonstrate the effectiveness of the proposed method.


title: MUM : Mix Image Tiles and UnMix Feature Tiles for Semi-Supervised Object Detection

abstract: Many recent semi-supervised learning (SSL) studies build teacher-student architecture and train the student network by the generated supervisory signal from the teacher. Data augmentation strategy plays a significant role in the SSL framework since it is hard to create a weak-strong augmented input pair without losing label information. Especially when extending SSL to semi-supervised object detection (SSOD), many strong augmentation methodologies related to image geometry and interpolation-regularization are hard to utilize since they possibly hurt the location information of the bounding box in the object detection task. To address this, we introduce a simple yet effective data augmentation method, Mix/UnMix (MUM), which unmixes feature tiles for the mixed image tiles for the SSOD framework. Our proposed method makes mixed input image tiles and reconstructs them in the feature space. Thus, MUM can enjoy the interpolation-regularization effect from non-interpolated pseudo-labels and successfully generate a meaningful weak-strong pair. Furthermore, MUM can be easily equipped on top of various SSOD methods. Extensive experiments on MS-COCO and PASCAL VOC datasets demonstrate the superiority of MUM by consistently improving the mAP performance over the baseline in all the tested SSOD benchmark protocols.


title: Maximality of moduli spaces of vector bundles on curves

abstract: We prove that moduli spaces of semistable vector bundles of coprime rank and degree over a non-singular real projective curve are maximal real algebraic varieties if and only if the base curve itself is maximal. This provides a new family of maximal varieties, with members of arbitrarily large dimension. We prove the result by comparing the Betti numbers of the real locus to the Hodge numbers of the complex locus and showing that moduli spaces of vector bundles over a maximal curve actually satisfy a property which is stronger than maximality and that we call Hodge-expressivity. We also give a brief account on other varieties for which this property was already known.


title: Extending the Dissipating Energy Flow Method to Flexible AC Transmission Systems

abstract: In recent years, the dissipating energy flow (DEF) method has emerged as a promising tool for online localization of oscillation sources. In literature, the mathematical foundations of this method are well-studied for networks with synchronous generators. In this paper, we extend the analysis to flexible AC transmission systems (FACTS). To that end, we derive the DEF-expressions for a thyristor controlled series capacitor (TCSC) and a static synchronous compensator (STATCOM) operating with conventional control strategies. Analyzing their respective DEFs, we obtain the conditions for which these FACTS devices could behave as the sources of oscillation energy. Our findings are structured into propositions and are supported through numerical case studies on IEEE test systems.


title: MidNet: An Anchor-and-Angle-Free Detector for Oriented Ship Detection in Aerial Images

abstract: Ship detection in aerial images remains an active yet challenging task due to arbitrary object orientation and complex background from a bird's-eye perspective. Most of the existing methods rely on angular prediction or predefined anchor boxes, making these methods highly sensitive to unstable angular regression and excessive hyper-parameter setting. To address these issues, we replace the angular-based object encoding with an anchor-and-angle-free paradigm, and propose a novel detector deploying a center and four midpoints for encoding each oriented object, namely MidNet. MidNet designs a symmetrical deformable convolution customized for enhancing the midpoints of ships, then the center and midpoints for an identical ship are adaptively matched by predicting corresponding centripetal shift and matching radius. Finally, a concise analytical geometry algorithm is proposed to refine the centers and midpoints step-wisely for building precise oriented bounding boxes. On two public ship detection datasets, HRSC2016 and FGSD2021, MidNet outperforms the state-of-the-art detectors by achieving APs of 90.52% and 86.50%. Additionally, MidNet obtains competitive results in the ship detection of DOTA.


title: Enhancing Multilingual Language Model with Massive Multilingual Knowledge Triples

abstract: Knowledge-enhanced language representation learning has shown promising results across various knowledge-intensive NLP tasks. However, prior methods are limited in efficient utilization of multilingual knowledge graph (KG) data for language model (LM) pretraining. They often train LMs with KGs in indirect ways, relying on extra entity/relation embeddings to facilitate knowledge injection. In this work, we explore methods to make better use of the multilingual annotation and language agnostic property of KG triples, and present novel knowledge based multilingual language models (KMLMs) trained directly on the knowledge triples. We first generate a large amount of multilingual synthetic sentences using the Wikidata KG triples. Then based on the intra- and inter-sentence structures of the generated data, we design pretraining tasks to enable the LMs to not only memorize the factual knowledge but also learn useful logical patterns. Our pretrained KMLMs demonstrate significant performance improvements on a wide range of knowledge-intensive cross-lingual tasks, including named entity recognition (NER), factual knowledge retrieval, relation classification, and a newly designed logical reasoning task.


title: Higher-order synchronization on the sphere

abstract: We construct a system of $N$ interacting particles on the unit sphere $S^{d-1}$ in $d$-dimensional space, which has $d$-body interactions only. The equations have a gradient formulation derived from a rotationally-invariant potential of a determinantal form summed over all nodes, with antisymmetric coefficients. For $d=3$, for example, all trajectories lie on the 2-sphere and the potential is constructed from the triple scalar product summed over all oriented 2-simplices. We investigate the cases $d=3,4,5$ in detail, and find that the system synchronizes from generic initial values, for both positive and negative coupling coefficients, to a static final configuration in which the particles lie equally spaced on $S^{d-1}$. Completely synchronized configurations also exist, but are unstable under the $d$-body interactions. We compare the relative effect of 2-body and $d$-body forces by adding the well-studied 2-body interactions to the potential, and find that higher-order interactions enhance the synchronization of the system, specifically, synchronization to a final configuration consisting of equally spaced particles occurs for all $d$-body and 2-body coupling constants of any sign, unless the attractive 2-body forces are sufficiently strong relative to the $d$-body forces. In this case the system completely synchronizes as the 2-body coupling constant increases through a positive critical value, with either a continuous transition for $d=3$, or discontinuously for $d=5$. Synchronization also occurs if the nodes have distributed natural frequencies of oscillation, provided that the frequencies are not too large in amplitude, even in the presence of repulsive 2-body interactions which by themselves would result in asynchronous behaviour.


title: Directed exfoliating and ordered stacking of transition-metal-dichalcogenides

abstract: Two-dimensional van der Waals crystals arise limitless scope for designing novel combinations of physical properties via controlling the stacking order or twist angle of individual layers. Lattice orientation between stacked monolayers is significant not only for the engineering symmetry breaking but also for the study of many-body quantum phases and band topology. So far the state-of-art exfoliation approaches focusing on achievements of quality, size, yield, and scalability while lacking sufficient information on lattice orientation. Consequently, interlayer alignment is usually determined by later experiments, such as second harmonic generation spectroscopy, which increased the number of trials and errors for a designed artificial ordering and hampered the efficiency of systematic study. Herein, we report a lattice orientation distinguishable exfoliation method via gold favor epitaxy along the specific atomic step edges, meanwhile, fulfill requirements of high-quality, large-size, and high-yield of monolayers. Hexagonal- and rhombohedral-stacking configurations of bilayer transition metal dichalcogenides are built directly at once result of foreseeing the lattice orientation. Optical spectroscopy, electron diffraction, and angle-resolved photoemission spectroscopy are used to study crystals quality, symmetric breaking, and band tuning, which supports the exfoliating mechanism we proposed. This strategy shows the ability for facilitates the development of ordering stacking especially for multilayers assembling in the future.


title: Maximum first Zagreb index of orientations of unicyclic graphs with given matching number

abstract: Let $D=(V,A)$ be a digraphs without isolated vertices. The first Zagreb index of a digraph $D$ defined as a summation over all arcs, $M_1(D)=\frac{1}{2}\sum\limits_{uv\in A}(d^{+}_{u}+d^{-}_v)$, where $d^{+}_u$(resp. $d^{-}_u$) denotes the out-degree (resp. in-degree) of the vertex $u$. In this paper, we give the maximal values and maximal digraphs of first Zagreb index over the set of all orientations of unicyclic graphs with $n$ vertices and matching number $m$ $(2\leq m\leq \lfloor \frac{n}{2}\rfloor)$.


title: HSC Year 1 cosmology results with the minimal bias method: HSC$\times$BOSS galaxy-galaxy weak lensing and BOSS galaxy clustering

abstract: We present cosmological parameter constraints from a blinded joint analysis of galaxy-galaxy weak lensing, $\Delta\!\Sigma(R)$, and projected correlation function, $w_\mathrm{p}(R)$, measured from the first-year HSC (HSC-Y1) data and SDSS spectroscopic galaxies over $0.15<z<0.7$. We use luminosity-limited samples as lens samples for $\Delta\!\Sigma$ and as large-scale structure tracers for $w_\mathrm{p}$ in three redshift bins, and use the HSC-Y1 galaxy catalog to define a secure sample of source galaxies at $z_\mathrm{ph}>0.75$ for the $\Delta\!\Sigma$ measurements, selected based on their photometric redshifts. For theoretical template, we use the "minimal bias" model for the cosmological clustering observables for the flat $\Lambda$CDM cosmological model. We compare the model predictions with the measurements in each redshift bin on large scales, $R>12$ and $8~h^{-1}\mathrm{Mpc}$ for $\Delta\!\Sigma(R)$ and $w_\mathrm{p}(R)$, respectively, where the perturbation theory-inspired model is valid. When we employ weak priors on cosmological parameters, without CMB information, we find $S_8=0.936^{+0.092}_{-0.086}$, $\sigma_8=0.85^{+0.16}_{-0.11}$, and $\Omega_\mathrm{m}=0.283^{+0.12}_{-0.035}$ for the flat $\Lambda$CDM model. Although the central value of $S_8$ appears to be larger than those inferred from other cosmological experiments, we find that the difference is consistent with expected differences due to sample variance, and our results are consistent with the other results to within the statistical uncertainties. (abriged)


title: Towards a Zero-Trust Micro-segmentation Network Security Strategy: An Evaluation Framework

abstract: Micro-segmentation is an emerging security technique that separates physical networks into isolated logical micro-segments (workloads). By tying fine-grained security policies to individual workloads, it limits the attacker's ability to move laterally through the network, even after infiltrating the perimeter defences. While micro-segmentation is proved to be effective for shrinking enterprise networks attack surface, its impact assessment is almost absent in the literature. This research is dedicated to developing an analytical framework to characterise and quantify the effectiveness of micro-segmentation on enhancing networks security. We rely on a twofold graph-feature based framework of the network connectivity and attack graphs to evaluate the network exposure and robustness, respectively. While the former assesses the network assets connectedness, reachability and centrality, the latter depicts the ability of the network to resist goal-oriented attackers. Tracking the variations of formulated metrics values post the deployment of micro-segmentation reveals exposure reduction and robustness improvement in the range of 60% - 90%.


title: Functorial aggregation

abstract: Aggregating data in a database could also be called "integrating along fibers": given functions $\pi\colon E\to D$ and $s\colon E\to R$, where $(R,\circledast)$ is a commutative monoid, we want a new function $(\circledast s)_\pi$ that sends each $d\in D$ to the "sum" of all $s(e)$ for which $\pi(e)=d$. The operation lives alongside querying -- or more generally data migration -- in typical database usage: one wants to know how much Canadians spent on cell phones in 2021, for example, and such requests typically require both aggregation and querying. But whereas querying has an elegant category-theoretic treatment in terms of parametric right adjoints between copresheaf categories, a categorical formulation of aggregation -- especially one that lives alongside that for querying -- appears to be completely absent from the literature. In this paper we show how both querying and aggregation fit into the "polynomial ecosystem". Starting with the category $\mathbf{Poly}$ of polynomial functors in one variable, we review the relatively recent results of Ahman-Uustalu and Garner, which showed that the framed bicategory $\mathbb{C}\mathbf{at}^\sharp$ of comonads in $\mathbf{Poly}$ is precisely the right setting for data migration: its objects are categories and its bicomodules are parametric right adjoints between their copresheaf categories. We then develop a great deal of theory, compressed for space reasons, including local monoidal closed structures, a coclosure to bicomodule composition, and an understanding of adjoints in $\mathbb{C}\mathbf{at}^\sharp$. Doing so allows us to derive interesting mathematical results, e.g.\ that the ordinary operation of transposing a span can be decomposed into the composite of two more primitive operations, and then finally to explain how aggregation arises, alongside querying, in $\mathbb{C}\mathbf{at}^\sharp$.


title: Medical Aegis: Robust adversarial protectors for medical images

abstract: Deep neural network based medical image systems are vulnerable to adversarial examples. Many defense mechanisms have been proposed in the literature, however, the existing defenses assume a passive attacker who knows little about the defense system and does not change the attack strategy according to the defense. Recent works have shown that a strong adaptive attack, where an attacker is assumed to have full knowledge about the defense system, can easily bypass the existing defenses. In this paper, we propose a novel adversarial example defense system called Medical Aegis. To the best of our knowledge, Medical Aegis is the first defense in the literature that successfully addresses the strong adaptive adversarial example attacks to medical images. Medical Aegis boasts two-tier protectors: The first tier of Cushion weakens the adversarial manipulation capability of an attack by removing its high-frequency components, yet posing a minimal effect on classification performance of the original image; the second tier of Shield learns a set of per-class DNN models to predict the logits of the protected model. Deviation from the Shield's prediction indicates adversarial examples. Shield is inspired by the observations in our stress tests that there exist robust trails in the shallow layers of a DNN model, which the adaptive attacks can hardly destruct. Experimental results show that the proposed defense accurately detects adaptive attacks, with negligible overhead for model inference.


title: Operations for Autonomous Spacecraft

abstract: Onboard autonomy technologies such as planning and scheduling, identification of scientific targets, and content-based data summarization, will lead to exciting new space science missions. However, the challenge of operating missions with such onboard autonomous capabilities has not been studied to a level of detail sufficient for consideration in mission concepts. These autonomy capabilities will require changes to current operations processes, practices, and tools. We have developed a case study to assess the changes needed to enable operators and scientists to operate an autonomous spacecraft by facilitating a common model between the ground personnel and the onboard algorithms. We assess the new operations tools and workflows necessary to enable operators and scientists to convey their desired intent to the spacecraft, and to be able to reconstruct and explain the decisions made onboard and the state of the spacecraft. Mock-ups of these tools were used in a user study to understand the effectiveness of the processes and tools in enabling a shared framework of understanding, and in the ability of the operators and scientists to effectively achieve mission science objectives.