title: Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions

abstract: We present algorithms for estimating the forward reachable set of a dynamical system using only a finite collection of independent and identically distributed samples. The produced estimate is the sublevel set of a function called an empirical inverse Christoffel function: empirical inverse Christoffel functions are known to provide good approximations to the support of probability distributions. In addition to reachability analysis, the same approach can be applied to general problems of estimating the support of a random variable, which has applications in data science towards detection of novelties and outliers in data sets. In applications where safety is a concern, having a guarantee of accuracy that holds on finite data sets is critical. In this paper, we prove such bounds for our algorithms under the Probably Approximately Correct (PAC) framework. In addition to applying classical Vapnik-Chervonenkis (VC) dimension bound arguments, we apply the PAC-Bayes theorem by leveraging a formal connection between kernelized empirical inverse Christoffel functions and Gaussian process regression models. The bound based on PAC-Bayes applies to a more general class of Christoffel functions than the VC dimension argument, and achieves greater sample efficiency in experiments.


title: Curriculum Based Reinforcement Learning of Grid Topology Controllers to Prevent Thermal Cascading

abstract: This paper describes how domain knowledge of power system operators can be integrated into reinforcement learning (RL) frameworks to effectively learn agents that control the grid's topology to prevent thermal cascading. Typical RL-based topology controllers fail to perform well due to the large search/optimization space. Here, we propose an actor-critic-based agent to address the problem's combinatorial nature and train the agent using the RL environment developed by RTE, the French TSO. To address the challenge of the large optimization space, a curriculum-based approach with reward tuning is incorporated into the training procedure by modifying the environment using network physics for enhanced agent learning. Further, a parallel training approach on multiple scenarios is employed to avoid biasing the agent to a few scenarios and make it robust to the natural variability in grid operations. Without these modifications to the training procedure, the RL agent failed for most test scenarios, illustrating the importance of properly integrating domain knowledge of physical systems for real-world RL learning. The agent was tested by RTE for the 2019 learning to run the power network challenge and was awarded the 2nd place in accuracy and 1st place in speed. The developed code is open-sourced for public use.


title: Cell crawling on a compliant substrate: a biphasic relation with linear friction

abstract: A living cell actively generates traction forces on its environment with its actin cytoskeleton. These forces deform the cell elastic substrate which, in turn, affects the traction forces exerted by the cell and can consequently modify the cell dynamics. By considering a cell constrained to move along a one-dimensional thin track, we take advantage of the problem geometry to explicitly derive the effective law that describes the non-local frictional contact between the cell and the deformable substrate. We then couple such a law with one of the simplest model of the active flow within the cell cytoskeleton. This offers a paradigm that does not invoke any local non-linear friction law to explain that the relation between the cell steady state velocity and the substrate elasticity is non linear as experimentally observed. Additionally, we present an experimental platform to test our theoretical predictions. While our efforts are still not conclusive in this respect as more cell types need to be investigated, our analysis of the coupling between the substrate displacement and the actin flow leads to friction coefficient estimates that are in-line with some previously reported results.


title: Learning-based methods to model small body gravity fields for proximity operations: Safety and Robustness

abstract: Accurate gravity field models are essential for safe proximity operations around small bodies. State-of-the-art techniques use spherical harmonics or high-fidelity polyhedron shape models. Unfortunately, these techniques can become inaccurate near the surface of the small body or have high computational costs, especially for binary or heterogeneous small bodies. New learning-based techniques do not encode a predefined structure and are more versatile. In exchange for versatility, learning-based techniques can be less robust outside the training data domain. In deployment, the spacecraft trajectory is the primary source of dynamics data. Therefore, the training data domain should include spacecraft trajectories to accurately evaluate the learned model's safety and robustness. We have developed a novel method for learning-based gravity models that directly uses the spacecraft's past trajectories. We further introduce a method to evaluate the safety and robustness of learning-based techniques via comparing accuracy within and outside of the training domain. We demonstrate this safety and robustness method for two learning-based frameworks: Gaussian processes and neural networks. Along with the detailed analysis provided, we empirically establish the need for robustness verification of learned gravity models when used for proximity operations.


title: Zero forcing number versus general position number in tree-like graphs

abstract: Let ${\rm Z}(G)$ and ${\rm gp}(G)$ be the zero forcing number and the general position number of a graph $G$, respectively. Known results imply that ${\rm gp}(T)\ge {\rm Z}(T) + 1$ holds for every nontrivial tree $T$. It is proved that the result extends to block graphs. For connected, unicyclic graphs $G$ it is proved that ${\rm gp}(G) \ge {\rm Z}(G)$. The result extends neither to bicyclic graphs nor to quasi-trees. Nevertheless, a large class of quasi-trees is found for which ${\rm gp}(G) \ge {\rm Z}(G)$ holds.


title: Baryon acoustic oscillations in thin redshift shells from BOSS DR12 and eBOSS DR16 galaxies

abstract: In an age of large astronomical dateset and severe cosmological tensions, the case for model independent analyses is compelling. We present a set of 14 baryon acoustic oscillations measurements in thin redshift shells with 3% precision that were obtained by analyzing BOSS DR12 and eBOSS DR16 galaxies in the redshift range $0.32<z<0.66$. Thanks to the use of thin shells, the analysis is carried out using just redshifts and angles so that the fiducial model is only introduced when considering the mock catalogs, necessary for the covariance matrix estimation and the pipeline validation. We compare our measurements, with and without supernova data, to the corresponding constraints from Planck 2018, finding good compatibility. A Monte Python module for this likelihood is available at https://github.com/ranier137/angularBAO .


title: Cross-Domain Federated Learning in Medical Imaging

abstract: Federated learning is increasingly being explored in the field of medical imaging to train deep learning models on large scale datasets distributed across different data centers while preserving privacy by avoiding the need to transfer sensitive patient information. In this manuscript, we explore federated learning in a multi-domain, multi-task setting wherein different participating nodes may contain datasets sourced from different domains and are trained to solve different tasks. We evaluated cross-domain federated learning for the tasks of object detection and segmentation across two different experimental settings: multi-modal and multi-organ. The result from our experiments on cross-domain federated learning framework were very encouraging with an overlap similarity of 0.79 for organ localization and 0.65 for lesion segmentation. Our results demonstrate the potential of federated learning in developing multi-domain, multi-task deep learning models without sharing data from different domains.


title: QED theory of electron beam-induced electronic excitation and its effect on sputtering cross sections in 2D crystals

abstract: Many computational models have been developed to predict the rates of atomic displacements in two-dimensional (2D) materials under electron beam irradiation. However, these models often drastically underestimate the displacement rates in 2D insulators, in which beam-induced electronic excitations can reduce the binding energies of the irradiated atoms. This bond softening leads to a qualitative disagreement between theory and experiment, in that substantial sputtering is experimentally observed at beam energies deemed far to small to drive atomic dislocation by many current models. To address these theoretical shortcomings, this paper develops a first-principles method to calculate the probability of beam-induced electronic excitations by coupling quantum electrodynamics (QED) scattering amplitudes to density functional theory (DFT) single-particle orbitals. The presented theory then explicitly considers the effect of these electronic excitations on the sputtering cross section. Applying this method to 2D hexagonal BN and MoS$_2$ significantly increases their calculated sputtering cross sections and correctly yields appreciable sputtering rates at beam energies previously predicted to leave the crystals intact. The proposed QED-DFT approach can be easily extended to describe a rich variety of beam-driven phenomena in any crystalline material.


title: Image Segmentation Using Text and Image Prompts

abstract: Image segmentation is usually addressed by training a model for a fixed set of object classes. Incorporating additional classes or more complex queries later is expensive as it requires re-training the model on a dataset that encompasses these expressions. Here we propose a system that can generate image segmentations based on arbitrary prompts at test time. A prompt can be either a text or an image. This approach enables us to create a unified model (trained once) for three common segmentation tasks, which come with distinct challenges: referring expression segmentation, zero-shot segmentation and one-shot segmentation. We build upon the CLIP model as a backbone which we extend with a transformer-based decoder that enables dense prediction. After training on an extended version of the PhraseCut dataset, our system generates a binary segmentation map for an image based on a free-text prompt or on an additional image expressing the query. We analyze different variants of the latter image-based prompts in detail. This novel hybrid input allows for dynamic adaptation not only to the three segmentation tasks mentioned above, but to any binary segmentation task where a text or image query can be formulated. Finally, we find our system to adapt well to generalized queries involving affordances or properties. Code is available at https://eckerlab.org/code/clipseg.


title: Impact of the Ligand Shell on Structural Changes and Decomposition of All-Inorganic Mixed-Halide Perovskite (CsPbX3) Nanocrystals under X-Ray Illumination

abstract: We show that the decomposition of caesium lead halide perovskite nanocrystals under continuous X-ray illumination depends on the surface ligand. For oleic acid/oleylamine, we observe a fast decay accompanied by the formation of elemental lead and halogen. Upon surface functionalization with a metal porphyrin derivate, the decay is markedly slower and involves the disproportionation of lead to Pb0 and Pb3+. In both cases, the decomposition is preceded by a contraction of the atomic lattice, which appears to initiate the decay. We find that the metal porphyrin derivative induces a strong surface dipole on the nanocrystals, which we hold responsible for the altered and slower decomposition pathway. These results are important for application of lead halide perovskite nanocrystals in X-ray scintillators.


title: From tensors to qubits

abstract: We discuss recent progress in Tensor Lattice Field Theory and economical, symmetry preserving, truncations suitable for quantum computations or simulations. We focus on spin and gauge models with continuous Abelian symmetries such as the Abelian Higgs model and emphasize noise-robust implementations of Gauss's law. We discuss recent progress concerning the comparison between field digitizations and character expansions, symmetry breaking in tensor language, wave-packet preparation and possible new implementations of Abelian models using Rydberg atoms.


title: Zero-shot and Few-shot Learning with Knowledge Graphs: A Comprehensive Survey

abstract: Machine learning especially deep neural networks have achieved great success but many of them often rely on a number of labeled samples for supervision. As sufficient labeled training data are not always ready due to e.g., continuously emerging prediction targets and costly sample annotation in real world applications, machine learning with sample shortage is now being widely investigated. Among all these studies, many prefer to utilize auxiliary information including those in the form of Knowledge Graph (KG) to reduce the reliance on labeled samples. In this survey, we have comprehensively reviewed over 90 papers about KG-aware research for two major sample shortage settings -- zero-shot learning (ZSL) where some classes to be predicted have no labeled samples, and few-shot learning (FSL) where some classes to be predicted have only a small number of labeled samples that are available. We first introduce KGs used in ZSL and FSL as well as their construction methods, and then systematically categorize and summarize KG-aware ZSL and FSL methods, dividing them into different paradigms such as the mapping-based, the data augmentation, the propagation-based and the optimization-based. We next present different applications, including not only KG augmented prediction tasks such as image classification, question answering, text classification and knowledge extraction, but also KG completion tasks, and some typical evaluation resources for each task. We eventually discuss some challenges and open problems from different perspectives.


title: Online Grounding of Symbolic Planning Domains in Unknown Environments

abstract: If a robotic agent wants to exploit symbolic planning techniques to achieve some goal, it must be able to properly ground an abstract planning domain in the environment in which it operates. However, if the environment is initially unknown by the agent, the agent needs to explore it and discover the salient aspects of the environment needed to reach its goals. Namely, the agent has to discover: (i) the objects present in the environment, (ii) the properties of these objects and their relations, and finally (iii) how abstract actions can be successfully executed. The paper proposes a framework that aims to accomplish the aforementioned perspective for an agent that perceives the environment partially and subjectively, through real value sensors (e.g., GPS, and on-board camera) and can operate in the environment through low level actuators (e.g., move forward of 20 cm). We evaluate the proposed architecture in photo-realistic simulated environments, where the sensors are RGB-D on-board camera, GPS and compass, and low level actions include movements, grasping/releasing objects, and manipulating objects. The agent is placed in an unknown environment and asked to find objects of a certain type, place an object on top of another, close or open an object of a certain type. We compare our approach with the state of the art methods on object goal navigation based on reinforcement learning, showing better performances.


title: Theoretical analysis of the role of complex transition dipole phase in XUV transient-absorption probing of charge migration

abstract: We theoretically investigate the role of complex dipole phase in the attosecond probing of charge migration. The iodobromoacetylene ion (ICCBr$^+$) is considered as an example, in which one can probe charge migration by accessing both the iodine and bromine ends of the molecule with different spectral windows of an extreme-ultraviolet (XUV) pulse. The analytical expression for transient absorption shows that the site-specific information of charge migration is encoded in the complex phase of cross dipole products for XUV transitions between the I-$4d$ and Br-$3d$ spectral windows. Ab-initio quantum chemistry calculations on ICCBr$^+$ reveal that there is a constant $\pi$ phase difference between the I-$4d$ and Br-$3d$ transient-absorption spectral windows, irrespective of the fine-structure energy splittings. Transient absorption spectra are simulated with a multistate model including the complex dipole phase, and the results correctly reconstruct the charge-migration dynamics via the quantum beats in the two element spectral windows, exhibiting out-of-phase oscillations.


title: Charged Hadron Identification with dE/dx and Time-of-Flight at Future Higgs Factories

abstract: The design of detector concepts has been driven for a long time by requirements on transverse momentum, impact parameter and jet energy resolutions, as well as hermeticity. Only rather recently it has been realised that the ability to idenfity different types of charged hadrons, in particular kaons and protons, could have important applications at Higgs factories like the International Linear Collider (ILC), ranging from improvements in tracking, vertexing and flavour tagging to measurements requiring strangeness-tagging. While detector concepts with gaseous tracking, like a time projection chamber (TPC), can exploit the specific energy loss, all-silicon-based detectors have to rely on fast timing layers in front of or in the first layers of their electromagnetic calorimeters (ECals). This work will review the different options for realising particle identification (PID) for pions, kaons and protons, introduce recently developed reconstruction algorithms and present full detector simulation prospects for physics applications using the example of the International Large Detector (ILD) concept.


title: On the application of statistical mechanics to diatomic molecules

abstract: We argue that the results proposed recently for the $\mathrm{a}^3\Sigma_u^+$ electronic state of $^7\mathrm{Li}_2$ do not exhibit any physical utility because the canonical vibrational partition function for an excited electronic state makes no sense according to the principles of statistical mechanics. Such an approach may, in principle, be applied to the ground state of a diatomic molecule. We show that the simpler model based on the harmonic oscillator and rigid rotor enables one to derive a theoretical expression for the equilibrium constant of a simple chemical reaction that agrees remarkably well with experimental data. It is not clear whether the complicated formulas mentioned above are suitable for any comparison with experimental data.


title: Mixed State Parametrization and Two-qubit Entanglement

abstract: A generic scheme for the parametrization of mixed state systems is introduced, which is then adapted to bipartite systems, especially to a 2-qubit system. Various features of 2-qubit entanglement are analyzed based on the scheme. Our approach exploit much the interplay between is marked by pure states as Hilbert space vectors and mixed states as density matrices, both for the formulation of the parametrization and the analysis of entanglement properties. Explicit entanglement results, in terms of negativity and concurrence, for all 2-qubit mixed states with one single parameter/coordinate among the full set of fifteen being zero and a few other interesting cases are presented.


title: An Exploration Tool for Retrieval of Travel Information with Personal Photos

abstract: Photos can be treated as life logs of photo owners. Photos can be reliable information to estimate patterns of actions and movements of the owners. Based on this discussion, we are developing an interactive technique to explore the recommended tourist spots based on their past personal travel photos. The technique extracts a set of keywords from the photo set applying a generic object recognition and constructs a tree structure to support the exploration of the keywords. When a user selects a set of interesting keywords, the system provides travel information related to the selected keywords. Our previous paper already introduced the visualizations that demonstrate the appropriateness of the structure of the keywords. This paper focuses on the mechanism for interactive travel information retrieval of our system and user evaluations with this system.


title: Adams-Hilton models and higher Whitehead brackets for polyhedral products

abstract: In this paper, we construct Adams-Hilton models for the polyhedral products of spheres $(\underline{S})^{\mathcal{K}}$ and Davis-Januszkiewicz spaces $\left(\mathbb{C} P^{\infty}\right)^{\mathcal{K}}$. We show that in these cases the Adams-Hilton model can be chosen so that it coincides with the cobar construction of the homology coalgebra. We apply the resulting models to the study of iterated higher Whitehead products in $\left(\mathbb{C} P^{\infty}\right)^{\mathcal{K}}$. Namely, we explicitly construct a chain in the cobar construction representing the homology class of the Hurewicz image of a Whitehead product.


title: Enhanced discrimination of high-dimensional quantum states by concatenated optimal measurement strategies

abstract: The impossibility of deterministic and error-free discrimination among nonorthogonal quantum states lies at the core of quantum theory and constitutes a primitive for secure quantum communication. Demanding determinism leads to errors, while demanding certainty leads to some inconclusiveness. One of the most fundamental strategies developed for this task is the optimal unambiguous measurement. It encompasses conclusive results, which allow for error-free state retrodictions with the maximum success probability, and inconclusive results, which are discarded for not allowing perfect identifications. Interestingly, in high-dimensional Hilbert spaces the inconclusive results may contain valuable information about the input states. Here, we theoretically describe and experimentally demonstrate the discrimination of nonorthogonal states from both conclusive and inconclusive results in the optimal unambiguous strategy, by concatenating a minimum-error measurement at its inconclusive space. Our implementation comprises 4- and 9-dimensional spatially encoded photonic states. By accessing the inconclusive space to retrieve the information that is wasted in the conventional protocol, we achieve significant increases of up to a factor of 2.07 and 3.73, respectively, in the overall probabilities of correct retrodictions. The concept of concatenated optimal measurements demonstrated here can be extended to other strategies and will enable one to explore the full potential of high-dimensional nonorthogonal states for quantum communication with larger alphabets.


title: Lagrangian Cobordisms between Enriched Knot Diagrams

abstract: In this paper, we present new obstructions to the existence of Lagrangian cobordisms in $\mathbb{R}^4$ that depend only on the enriched knot diagrams of the boundary knots or links, using holomorphic curve techniques. We define enriched knot diagrams for generic smooth links. The existence of Lagrangian cobordisms gives a well-defined transitive relation on equivalence classes of enriched knot diagrams that is a strict partial order when restricted to exact enriched knot diagrams To establish obstructions we study $1$-dimensional moduli spaces of holomorphic disks with corners that have boundary on Lagrangian tangles - an appropriate immersed Lagrangian closely related to embedded Lagrangian cobordisms. We adapt existing techniques to prove compactness and transversality, and compute dimensions of these moduli spaces. We produce obstructions as a consequence of characterizing all boundary points of such moduli spaces. We use these obstructions to recover and extend results about ``growing" and ``shrinking" Lagrangian slices. We hope that this investigation will open up new directions in studying Lagrangian surfaces in $\mathbb{R}^4$.


title: A note on the Diximier-Mouglin Equivalence in Leavitt path algebras of arbitrary graphs over a field

abstract: The Dixmier-Moeglin Equivalence (for short, the DM-equivalence) is the equivalence of three distinguishing properties of prime ideals in a non-commutative algebra A. These properties are of (i) being primitive, (ii) being rational, and (iii) being locally closed in the Zariski topology of Spec(A). The DM-equivalence holds in many interesting algebras over a field. Recently, it was shown that the prime ideals of a Leavitt path algebra of a finite graph satisfy the DM-equivalence, In this note, we investigate the occurrence of the DM-equivalence in a Leavitt path algebra L of an arbitrary directed graph E. Our analysis shows that locally closed prime ideals of L satisfy interesting equivalent properties such as being strongly primitive and completely irreducible. Examples illustrate the results and the constraints.


title: Continual Learning of a Mixed Sequence of Similar and Dissimilar Tasks

abstract: Existing research on continual learning of a sequence of tasks focused on dealing with catastrophic forgetting, where the tasks are assumed to be dissimilar and have little shared knowledge. Some work has also been done to transfer previously learned knowledge to the new task when the tasks are similar and have shared knowledge. To the best of our knowledge, no technique has been proposed to learn a sequence of mixed similar and dissimilar tasks that can deal with forgetting and also transfer knowledge forward and backward. This paper proposes such a technique to learn both types of tasks in the same network. For dissimilar tasks, the algorithm focuses on dealing with forgetting, and for similar tasks, the algorithm focuses on selectively transferring the knowledge learned from some similar previous tasks to improve the new task learning. Additionally, the algorithm automatically detects whether a new task is similar to any previous tasks. Empirical evaluation using sequences of mixed tasks demonstrates the effectiveness of the proposed model.


title: $\delta$-Forms on Lubin--Tate Space

abstract: We extend Gubler--K\"unnemann's theory of $\delta$-forms from algebraic varieties to good Berkovich spaces. This is based on the observation that skeletons in such spaces satisfy a tropical balance condition. Our main result is that complete intersection formal models of cycles give rise to Green $\delta$-forms for their generic fibers. We moreover show that, in certain situations, intersection numbers on formal models are given by the $\star$-product of their Green currents. In this way, we generalize some results for divisor intersection to higher codimension situations. We illustrate the mentioned results in the context of an intersection problem for Lubin--Tate spaces.


title: Resolvent estimates for the magnetic Hamiltonian with singular vector potentials and applications

abstract: For the magnetic Hamiltonian with singular vector potentials, we analytically continue the resolvent to a logarithmic neighborhood of the positive real axis and prove resolvent estimates there. As applications, we obtain asymptotic locations of resonances and a local smoothing estimate for solutions of the corresponding Schr\"odinger equation.


title: Cryptography from Pseudorandom Quantum States

abstract: Pseudorandom states, introduced by Ji, Liu and Song (Crypto'18), are efficiently-computable quantum states that are computationally indistinguishable from Haar-random states. One-way functions imply the existence of pseudorandom states, but Kretschmer (TQC'20) recently constructed an oracle relative to which there are no one-way functions but pseudorandom states still exist. Motivated by this, we study the intriguing possibility of basing interesting cryptographic tasks on pseudorandom states. We construct, assuming the existence of pseudorandom state generators that map a $\lambda$-bit seed to a $\omega(\log\lambda)$-qubit state, (a) statistically binding and computationally hiding commitments and (b) pseudo one-time encryption schemes. A consequence of (a) is that pseudorandom states are sufficient to construct maliciously secure multiparty computation protocols in the dishonest majority setting. Our constructions are derived via a new notion called pseudorandom function-like states (PRFS), a generalization of pseudorandom states that parallels the classical notion of pseudorandom functions. Beyond the above two applications, we believe our notion can effectively replace pseudorandom functions in many other cryptographic applications.


title: Continual Learning with Knowledge Transfer for Sentiment Classification

abstract: This paper studies continual learning (CL) for sentiment classification (SC). In this setting, the CL system learns a sequence of SC tasks incrementally in a neural network, where each task builds a classifier to classify the sentiment of reviews of a particular product category or domain. Two natural questions are: Can the system transfer the knowledge learned in the past from the previous tasks to the new task to help it learn a better model for the new task? And, can old models for previous tasks be improved in the process as well? This paper proposes a novel technique called KAN to achieve these objectives. KAN can markedly improve the SC accuracy of both the new task and the old tasks via forward and backward knowledge transfer. The effectiveness of KAN is demonstrated through extensive experiments.


title: Probabilities and certainties within a causally symmetric model

abstract: This paper is concerned with the causally symmetric version of the familiar de Broglie-Bohm interpretation, this version allowing the spacelike nonlocality and the configuration space ontology of the original model to be avoided via the addition of retrocausality. Two different features of this alternative formulation are considered here. With regard to probabilities, it is shown that the model provides a derivation of the Born rule identical to that in Bohm's original formulation. This derivation holds just as well for a many-particle, entangled state as for a single particle. With regard to "certainties", the description of a particles spin is examined within the model and it is seen that a statistical description is no longer necessary once final boundary conditions are specified in addition to the usual initial state, with the particle then possessing a definite (but hidden) value for every spin component at intermediate times. These values are consistent with being the components of a single, underlying spin vector. The case of a two-particle entangled spin state is also examined and it is found that, due to the retrocausal aspect, each particle possesses its own definite spin during the entanglement, independent of the other particle. In formulating this picture, it is demonstrated how such a realistic model can preserve Lorentz invariance in the face of Bell's theorem and avoid the need for a preferred reference frame.


title: Rademacher expansion of a Siegel modular form for ${\cal N}= 4$ counting

abstract: The degeneracies of $1/4$ BPS states with unit torsion in heterotic string theory compactified on a six-torus are given in terms of the Fourier coefficients of the reciprocal of the Igusa cusp Siegel modular form $\Phi_{10}$ of weight $10$. We use the symplectic symmetries of the latter to construct a fine-grained Rademacher type expansion which expresses these BPS degeneracies as a regularized sum over residues of the poles of $1/\Phi_{10}$. The construction uses two distinct ${\rm SL}(2, \mathbb{Z})$ subgroups of ${\rm Sp}(2, \mathbb{Z})$ which encode multiplier systems, Kloosterman sums and Eichler integrals appearing therein. Additionally, it shows how the polar data are explicitly built from the Fourier coefficients of $1/\eta^{24}$ by means of a continued fraction structure.


title: Supervised laser-speckle image sampling of skin tissue to detect very early stage of diabetes by its effects on skin subcellular properties

abstract: This paper investigates the effectiveness of an expert system based on K-nearest neighbors algorithm for laser speckle image sampling applied to the early detection of diabetes. With the latest developments in artificial intelligent guided laser speckle imaging technologies, it may be possible to optimise laser parameters, such as wavelength, energy level and image texture measures in association with a suitable AI technique to interact effectively with the subcellular properties of a skin tissue to detect early signs of diabetes. The new approach is potentially more effective than the classical skin glucose level observation because of its optimised combination of laser physics and AI techniques, and additionally, it allows non-expert individuals to perform more frequent skin tissue tests for an early detection of diabetes.


title: Improved product structure for graphs on surfaces

abstract: Dujmovi\'c, Joret, Micek, Morin, Ueckerdt and Wood [J. ACM 2020] proved that for every graph $G$ with Euler genus $g$ there is a graph $H$ with treewidth at most 4 and a path $P$ such that $G\subseteq H \boxtimes P \boxtimes K_{\max\{2g,3\}}$. We improve this result by replacing "4" by "3" and with $H$ planar. We in fact prove a more general result in terms of so-called framed graphs. This implies that every $(g,d)$-map graph is contained in $ H \boxtimes P\boxtimes K_\ell$, for some planar graph $H$ with treewidth $3$, where $\ell=\max\{2g\lfloor \frac{d}{2} \rfloor,d+3\lfloor\frac{d}{2}\rfloor-3\}$. It also implies that every $(g,1)$-planar graph (that is, graphs that can be drawn in a surface of Euler genus $g$ with at most one crossing per edge) is contained in $H\boxtimes P\boxtimes K_{\max\{4g,7\}}$, for some planar graph $H$ with treewidth $3$.


title: Sub-100uW Multispectral Riemannian Classification for EEG-based Brain--Machine Interfaces

abstract: Motor imagery brain--machine interfaces enable us to control machines by merely thinking of performing a motor action. Practical use cases require a wearable solution where the classification of the brain signals is done locally near the sensor using machine learning models embedded on energy-efficient microcontroller units, for assured privacy, user comfort, and long-term usage. In this work, we provide practical insights on the accuracy-cost trade-off for embedded BMI solutions. Our multispectral Riemannian classifier reaches 75.1% accuracy on a 4-class MI task. The accuracy is further improved by tuning different types of classifiers to each subject, achieving 76.4%. We further scale down the model by quantizing it to mixed-precision representations with a minimal accuracy loss of 1% and 1.4%, respectively, which is still up to 4.1% more accurate than the state-of-the-art embedded convolutional neural network. We implement the model on a low-power MCU within an energy budget of merely 198uJ and taking only 16.9ms per classification. Classifying samples continuously, overlapping the 3.5s samples by 50% to avoid missing user inputs allows for operation at just 85uW. Compared to related works in embedded MI-BMIs, our solution sets the new state-of-the-art in terms of accuracy-energy trade-off for near-sensor classification.


title: Quantum steering and quantum discord under noisy channels and entanglement swapping

abstract: Quantum entanglement, discord, and EPR-steering are properties which are considered as valuable resources for fuelling quantum information-theoretic protocols. EPR-steering is a property that is more general than Bell-nonlocality and yet more restrictive than entanglement. Quantum discord on the other hand, captures non-classical behaviour beyond that of entanglement, and its study has remained of active research interest during the past two decades. Exploring the behaviour of these quantum properties in different physical scenarios, like those simulated by open quantum systems, is therefore of crucial importance for understanding their viability for quantum technologies. In this work, we analyse the behaviour of EPR-steering, entanglement, and quantum discord, for two-qubit states under various quantum processes. First, we consider the three noisy channel scenarios of; phase damping, generalised amplitude damping and stochastic dephasing channel. Second, we explore the behaviour of these quantum properties in an entanglement swapping scenario. We quantify EPR-steering by means of an inequality with three-input two-output measurement settings, and address quantum discord as the interferometric power of quantum states. Our findings are the following. First, we show that some of the relatively straightforward noisy channels here considered, can induce non-trivial dynamics such as sudden death as well as death and revival of EPR-steering and entanglement. Second, we find that although noisy channels in general reduce the amount of correlations present in the system, the swapping protocol on the other hand displays scenarios where these quantum correlations can be enhanced. These results therefore illustrate that quantum processes do not exclusively affect the quantum properties of physical systems in a negative manner, but that they can also have positive effects on such properties.


title: Attack of the Knights: A Non Uniform Cache Side-Channel Attack

abstract: For a distributed last-level cache (LLC) in a large multicore chip, the access time to one LLC bank can significantly differ from that to another due to the difference in physical distance. In this paper, we successfully demonstrated a new distance-based side-channel attack by timing the AES decryption operation and extracting part of an AES secret key on an Intel Knights Landing CPU. We introduce several techniques to overcome the challenges of the attack, including the use of multiple attack threads to ensure LLC hits, to detect vulnerable memory locations, and to obtain fine-grained timing of the victim operations. While operating as a covert channel, this attack can reach a bandwidth of 205 kbps with an error rate of only 0.02%. We also observed that the side-channel attack can extract 4 bytes of an AES key with 100% accuracy with only 4000 trial rounds of encryption


title: A tutorial review: probing molecular structure and dynamics with CEI and LIED

abstract: Knowledge of the molecular structure is key to understanding the function of participating molecules in photo-induced chemical reactions. Visualizing the nuclear dynamics of a photochemical reaction requires an ultrafast measurement technique that can identify the location of atoms in molecules with atomic {\AA}ngstrom spatial resolution evolving on the nuclear (i.e. hundreds of femtosecond) timescale. Coulomb explosion imaging (CEI) and laser-induced electron diffraction (LIED) offer the required sub-{\AA}ngstrom spatial and tens of femtosecond temporal resolution to track in real-time changes in the molecular structure. In this tutorial review, details of the tools, analysis procedures, exemplary previous results and future perspectives of both CEI and LIED techniques are described.


title: A Stacking Survey of Gamma-ray Pulsars

abstract: We report on a likelihood stacking search for gamma-ray pulsars at 362 high-latitude locations that coincide with known radio pulsar positions. We observe a stacked signal conservatively 2.5$\sigma$ over the background. Stacking their likelihood profiles in spectral parameter space implies a pulsar-like spectral index and a characteristic flux a factor of 2 below the Fermi-LAT point source sensitivity, assuming isotropic/unbeamed emission from all sample pulsars. The same procedures performed on empty control fields indicate that the pulsars as a population can be distinguished from the background with a $\Delta$(TS) = 28 at the peak location (or 4.8$\sigma$), and the stacked spectra of the control fields are distinctly softer than those of the pulsars. This study also probes a unique region of parameter space populated by low \Edot\ pulsars, most of which have no \gray\ ephemeris available, and is sensitive to high duty cycles. We also discusses the possible \gray\ emission mechanism from such pulsars.


title: Structure of bubbling solutions of Liouville systems with negative singular sources

abstract: For many models in Biology and Physics, Liouville systems defined on Riemann surfaces are used to describe the growth of species and movements of particles. In this article we study one essential difficulty of singular Liouville systems: Bubble interaction. Let $u=(u_1,...,u_n)$ be a solution of the following singular Liouville system: \begin{equation*} \Delta_g u_i+\sum_{j=1}^n a_{ij}\rho_j(\frac{h_je^{u_j}}{\int_M h_je^{u_j}dV_g}-1)=\sum_{l=1}^{N}4\pi\gamma_l(\delta_{p_l}-1), \end{equation*} where $h_i$ are positive smooth functions, $p_1,\cdots,p_N$ are distinct points on $M$, $\delta_{p_l}$ are Dirac masses, $\rho=(\rho_1,,,,\rho_n)$ and $(\gamma_1,\cdots,\gamma_N)(-1<\gamma_l<0)$ are constant vectors. The main achievement of this article is that when blowup phenomenon happens, the profile of bubbling solutions around different blowup points can be described with upmost precision. As a result we know the precise heights of bubbling solutions around each blowup point, the exact values of integration of each component and the locations of blowup points. In addition, if the parameter $\rho$ is tending to a critical hypersurface, we can identity a leading term that is crucial for a number of applications.


title: Pure Differential Privacy from Secure Intermediaries

abstract: Recent work in differential privacy has explored the prospect of combining local randomization with a secure intermediary. Specifically, there are a variety of protocols in the secure shuffle model (where an intermediary randomly permutes messages) as well as the secure aggregation model (where an intermediary adds messages). Most of these protocols are limited to approximate differential privacy. An exception is the shuffle protocol by Ghazi, Golowich, Kumar, Manurangsi, Pagh, and Velingker (arXiv:2002.01919): it computes bounded sums under pure differential privacy. Its additive error is $\tilde{O}(1/\varepsilon^{3/2})$, where $\varepsilon$ is the privacy parameter. In this work, we give a new protocol that ensures $O(1/\varepsilon)$ error under pure differential privacy. We also show how to use it to test uniformity of distributions over $[d]$. The tester's sample complexity has an optimal dependence on $d$. Our work relies on a novel class of secure intermediaries which are of independent interest.


title: Trisections with Kirby-Thompson length 2

abstract: Kirby and Thompson introduced a length of a trisection. They also defined the length of a 4-manifold as the minimum of length among all lengths of trisection of a 4-manifold. In this paper, we consider trisections whose Kirby-Thompson length is 2. Kirby and Thompson conjectured that length 2 trisection is a trisection of 4-manifold with length 0. We shall prove this conjecture in this paper.


title: COX: CUDA on X86 by Exposing Warp-Level Functions to CPUs

abstract: As CUDA programs become the de facto program among data parallel applications such as high-performance computing or machine learning applications, running CUDA on other platforms has been a compelling option. Although several efforts have attempted to support CUDA on other than NVIDIA GPU devices, due to extra steps in the translation, the support is always behind a few years from supporting CUDA's latest features. The examples are DPC, Hipfy, where CUDA source code have to be translated to their native supporting language and then they are supported. In particular, the new CUDA programming model exposes the warp concept in the programming language, which greatly changes the way the CUDA code should be mapped to CPU programs. In this paper, hierarchical collapsing that \emph{correctly} supports CUDA warp-level functions on CPUs is proposed. Based on hierarchical collapsing, a framework, COX, is developed that allows CUDA programs with the latest features to be executed efficiently on CPU platforms. COX consists of a compiler IR transformation (new LLVM pass) and a runtime system to execute the transformed programs on CPU devices. COX can support the most recent CUDA features, and the application coverage is much higher (90%) than for previous frameworks (68%) with comparable performance. We also show that the warp-level functions in CUDA can be efficiently executed by utilizing CPU SIMD (AVX) instructions.


title: hybrid-Falcon: Hybrid Pattern Malware Detection and Categorization with Network Traffic and Program Code

abstract: Nowadays, Android is the most dominant operating system in the mobile ecosystem, with billions of people using its apps daily. As expected, this trend did not go unnoticed by miscreants, and Android became the favorite platform for discovering new victims through malicious apps. Moreover, these apps have become so sophisticated that they can bypass anti-malware measures to protect the users. Therefore, it is safe to admit that traditional anti-malware techniques have become cumbersome, sparking the urge to develop an efficient way to detect Android malware. This paper presents hybrid-Flacon, a hybrid pattern Android malware detection and categorization framework. It combines dynamic and static features of Android malware, which are from network traffic and code graph structure. In hybrid-Flacon, we treat network traffic as a dynamic feature and process it as a 2D image sequence. Meanwhile, hybrid-Flacon handles each network flow in the packet as a 2D image and uses a bidirectional LSTM network to process those 2D-image sequences to obtain vectors representing network packets. We use the program code graph for a static feature and introduce natural language processing (NLP) inspired techniques on function call graph (FCG). We design a graph neural network-based approach to convert the whole graph structure of Android apps to vectors. Finally, We utilize those converted vectors, both network and program code features, and concatenate them to detect and categorize the malware. Our results reveal that hybrid-Flacon yields better results as we get 97.16% accuracy on average for malware detection and 88.32% accuracy for malware categorization. Additionally, we release a dataset AndroNetMnist, which converts the network traffic to a 2D-image sequence and helps to accomplish malware detection on a 2D-image sequence.


title: Pressure-induced charge orders and their coupling to magnetism in hexagonal multiferroic LuFe2O4

abstract: Hexagonal LuFe2O4 is a promising charge-order (CO) driven multiferroic material with high charge and spin ordering temperatures. The coexisting charge and spin orders on Fe3+/Fe2+ sites result in novel magnetoelectric behaviors, but the coupling mechanism between the charge and spin orders remains elusive. Here, by tuning external pressure, we reveal three correlated spin-charge ordered phases in LuFe2O4: i) a centrosymmetric incommensurate three-dimensional CO with ferrimagnetism, ii) a non-centrosymmetric incommensurate quasi-two-dimensional CO with ferrimagnetism, and iii) a centrosymmetric commensurate CO with antiferromagnetism. Experimental in-situ single-crystal X-ray diffraction and X-ray magnetic circular dichroism measurements combined with density functional theory calculations suggest that the charge density redistribution caused by pressure-induced compression in the frustrated double-layer [Fe2O4] cluster is responsible for the correlated spin-charge phase transitions. The pressure-enhanced effective Coulomb interactions among Fe-Fe bonds drive the frustrated (1/3, 1/3) CO to a less frustrated (1/4, 1/4) CO, which induces the ferrimagnetic to antiferromagnetic transition. Our results not only elucidate the coupling mechanism among charge, spin and lattice degrees of freedom in LuFe2O4 but also provide a new way to tune the spin-charge orders in a highly controlled manner.


title: FSpGEMM: An OpenCL-based HPC Framework for Accelerating General Sparse Matrix-Matrix Multiplication on FPGAs

abstract: General sparse matrix-matrix multiplication (SpGEMM) is an integral part of many scientific computing, high-performance computing (HPC), and graph analytic applications. This paper presents a new compressed sparse vector (CSV) format for representing sparse matrices and FSpGEMM, an OpenCL-based HPC framework for accelerating general sparse matrix-matrix multiplication on FPGAs. The proposed FSpGEMM framework includes an FPGA kernel implementing a throughput-optimized hardware architecture based on Gustavson's algorithm and a host program implementing pre-processing functions for converting input matrices to the CSV format tailored for the proposed architecture. FSpGEMM utilizes a new buffering scheme tailored to Gustavson's algorithm. We compare FSpGEMM implemented on an Intel Arria 10 GX FPGA development board with Intel Math Kernel Library (MKL) implemented on an Intel Xeon E5-2637 CPU and cuSPARSE on an NVIDIA GTX TITAN X GPU, respectively, for multiplying a set of sparse matrices selected from SuiteSparse Matrix Collection. The experiment results show that the proposed FSpGEMM solution achieves on average 4.9x and 1.7x higher performance with 31.9x and 13.1x lower energy consumption per SpGEMM computation than the CPU and GPU implementations, respectively.


title: Android-COCO: Android Malware Detection with Graph Neural Network for Byte- and Native-Code

abstract: With the popularity of Android growing exponentially, the amount of malware has significantly exploded. It is arguably one of the most viral problems on mobile platforms. Recently, various approaches have been introduced to detect Android malware, the majority of these are either based on the Manifest File features or the structural information, such as control flow graph and API calls. Among those methods, nearly all of them only consider the Java byte-code as the target to detect malicious behaviors. However, Recent research and our own statistics show that native payloads are commonly used in both benign and malicious apps. Current state-of-the-art Android static analysis tools avoid handling native method invocation. None of those tools have the capability to capture the inter-language behaviors. In this work, we explore an ensemble mechanism, which presents how the combination of byte-code and native-code analysis of Android applications can be efficiently used to cope with the advanced sophistication of Android malware. We, therefore, present a multi-layer approach that utilizes deep learning, natural language processing (NLP), as well as graph embedding techniques to handle the threats of Android malware, both from the Java byte-code and native code. After that, we design an ensemble algorithm to get the final result of malware detection system. To be specific, the first layer of our detection approach operates on the byte-code of application and the native code level, whereas the second layer focuses on the ensemble algorithm. Large-scale experiments on 100,113 samples (35,113 malware and 65,000 benign) show that only byte-code sub-system yields 99.8% accuracy and native-code sub-system yields an accuracy of 96.6%, whereas the Android-COCO method attains an accuracy of 99.86% which outperforms various related works.


title: Wasserstein Generative Learning of Conditional Distribution

abstract: Conditional distribution is a fundamental quantity for describing the relationship between a response and a predictor. We propose a Wasserstein generative approach to learning a conditional distribution. The proposed approach uses a conditional generator to transform a known distribution to the target conditional distribution. The conditional generator is estimated by matching a joint distribution involving the conditional generator and the target joint distribution, using the Wasserstein distance as the discrepancy measure for these joint distributions. We establish non-asymptotic error bound of the conditional sampling distribution generated by the proposed method and show that it is able to mitigate the curse of dimensionality, assuming that the data distribution is supported on a lower-dimensional set. We conduct numerical experiments to validate proposed method and illustrate its applications to conditional sample generation, nonparametric conditional density estimation, prediction uncertainty quantification, bivariate response data, image reconstruction and image generation.


title: Basin sizes depend on stable eigenvalues in the Kuramoto model

abstract: We show that for the Kuramoto model (with identical phase oscillators equally coupled) its global statistics and size of the basins of attraction can be estimated through the eigenvalues of all stable (frequency) synchronized states. This result is somehow unexpected since, by doing that, one could just use local analysis to obtain global dynamic properties. But recent works based on Koopman and Perron-Frobenius operators demonstrate that global features of a nonlinear dynamical system, with some specific conditions, are somehow encoded in the local eigenvalues of its equilibrium states. Recognized numerical simulations in the literature reinforce our analytical results.


title: Cosmological Constraints on Non-flat Exponential $f(R)$ Gravity

abstract: We explore the viable $f(R)$ gravity models in FLRW backgrounds with a free spatial curvature parameter $\Omega_{K}$. In our numerical calculation, we concentrate on the exponential $f(R)$ model of $f(R) = R - \lambda R_{ch}(1-\exp{(-R/R_{ch}}))$, where $R_{ch}$ is the characteristic curvature scale, which is independent of $\Omega_K$, and $\lambda$ corresponds to the model parameter, while $R_{ch}\lambda=2\Lambda$ with $\Lambda$ the cosmological constant. In particular, we study the evolutions of the dark energy density and equation of state for exponential $f(R)$ gravity in open, flat and closed universe, and compare with those for $\Lambda$CDM. From the current observational data, we find that $\lambda^{-1}=0.42927^{+0.39921}_{-0.32927}$ at 68$\%$ C.L and $\Omega_K=-0.00050^{+0.00420}_{-0.00414}$ at 95$\%$ C.L. in the exponential $f(R)$ model. By using Akaike information criterion (AIC), Bayesian information criterion (BIC) and Deviance Information Criterion (DIC), we conclude that there is no strong preference between the exponential $f(R)$ gravity and $\Lambda$CDM models in the non-flat universe.


title: The Dirichlet problem for the Monge-Amp\`ere equation on Hermitian manifolds with boundary

abstract: We study weak quasi-plurisubharmonic solutions to the Dirichlet problem for the complex Monge-Am\`ere equation on a general Hermitian manifold with non-empty boundary. We prove optimal subsolution theorems: for bounded and H\"older continuous quasi-plurisubharmonic functions. The continuity of the solution is proved for measures that well dominated by capacity, for example measures with $L^p$, $p>1$ densities, or moderate measures in the sense of Dinh-Nguyen-Sibony.


title: Reconfigurable Intelligent Surface for Physical Layer Key Generation: Constructive or Destructive?

abstract: Physical layer key generation (PKG) is a promising means to provide on-the-fly shared secret keys by exploiting the intrinsic randomness of the radio channel. However, the performance of PKG is highly dependent on the propagation environments. Due to its feature of controlling the wireless environment, reconfigurable intelligent surface~(RIS) is appealing to be applied in PKG. In this paper, in contrast to the existing literature, we investigate both the constructive and destructive effects of RIS on the PKG scheme. For the constructive aspect, we have identified static and wave-blockage environments as two RIS-empowered-PKG applications in future wireless systems. In particular, our experimental results in a static environment showed that RIS can enhance the entropy of the secret key, achieving a key generation rate (KGR) of 97.39 bit/s with a bit disagreement rate (BDR) of 0.083. In multi-user systems where some remote users are in worse channel conditions, the proposed RIS-assisted PKG algorithm improves the sum secret key rate by more than 2 dB, compared to the literature. Furthermore, we point out that RIS could be utilized by an attacker to perform new jamming and leakage attacks and give countermeasures, respectively. Finally, we outline future research directions for PKG systems in light of the RIS.


title: Effectiveness of Variable Distance Quantum Error Correcting Codes

abstract: Quantum error correction is capable of digitizing quantum noise and increasing the robustness of qubits. Typically, error correction is designed with the target of eliminating all errors - making an error so unlikely it can be assumed that none occur. In this work, we use statistical quantum fault injection on the quantum phase estimation algorithm to test the sensitivity to quantum noise events. Our work suggests that quantum programs can tolerate non-trivial errors and still produce usable output. We show that it may be possible to reduce error correction overhead by relaxing tolerable error rate requirements. In addition, we propose using variable strength (distance) error correction, where overhead can be reduced by only protecting more sensitive parts of the quantum program with high distance codes.


title: p-wave superconductivity in Luttinger semimetals

abstract: We consider the three-dimensional spin-orbit-coupled Luttinger semimetal of "spin" $3/2$ particles in presence of weak attractive interaction in the $l=1$ (p-wave) channel, and determine the low-temperature phase diagram for both particle- and hole-dopings. The phase diagram depends crucially on the sign of the chemical potential, with two different states (with total angular momentum $j=0$ and $j=3$) competing on the hole-doped side, and three (one $j=1$ and two different $j=2$) states on the particle-doped side. The ground state condensates of Cooper pairs with the total angular momentum $j=1,2,3$ are selected by the quartic, and even sextic terms in the Ginzburg-Landau free energy. Interestingly, we find that all the p-wave ground states that appear in the phase diagram, while displaying different patterns of reduction of the rotational symmetry, preserve the time reversal symmetry. The resulting quasiparticle spectrum is either fully gapped or with point nodes, with nodal lines being absent.

categories: cond-mat.supr-con cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: A-ESRGAN: Training Real-World Blind Super-Resolution with Attention U-Net Discriminators

abstract: Blind image super-resolution(SR) is a long-standing task in CV that aims to restore low-resolution images suffering from unknown and complex distortions. Recent work has largely focused on adopting more complicated degradation models to emulate real-world degradations. The resulting models have made breakthroughs in perceptual loss and yield perceptually convincing results. However, the limitation brought by current generative adversarial network structures is still significant: treating pixels equally leads to the ignorance of the image's structural features, and results in performance drawbacks such as twisted lines and background over-sharpening or blurring. In this paper, we present A-ESRGAN, a GAN model for blind SR tasks featuring an attention U-Net based, multi-scale discriminator that can be seamlessly integrated with other generators. To our knowledge, this is the first work to introduce attention U-Net structure as the discriminator of GAN to solve blind SR problems. And the paper also gives an interpretation for the mechanism behind multi-scale attention U-Net that brings performance breakthrough to the model. Through comparison experiments with prior works, our model presents state-of-the-art level performance on the non-reference natural image quality evaluator metric. And our ablation studies have shown that with our discriminator, the RRDB based generator can leverage the structural features of an image in multiple scales, and consequently yields more perceptually realistic high-resolution images compared to prior works.


title: Controlling the Quality of Distillation in Response-Based Network Compression

abstract: The performance of a distillation-based compressed network is governed by the quality of distillation. The reason for the suboptimal distillation of a large network (teacher) to a smaller network (student) is largely attributed to the gap in the learning capacities of given teacher-student pair. While it is hard to distill all the knowledge of a teacher, the quality of distillation can be controlled to a large extent to achieve better performance. Our experiments show that the quality of distillation is largely governed by the quality of teacher's response, which in turn is heavily affected by the presence of similarity information in its response. A well-trained large capacity teacher loses similarity information between classes in the process of learning fine-grained discriminative properties for classification. The absence of similarity information causes the distillation process to be reduced from one example-many class learning to one example-one class learning, thereby throttling the flow of diverse knowledge from the teacher. With the implicit assumption that only the instilled knowledge can be distilled, instead of focusing only on the knowledge distilling process, we scrutinize the knowledge inculcation process. We argue that for a given teacher-student pair, the quality of distillation can be improved by finding the sweet spot between batch size and number of epochs while training the teacher. We discuss the steps to find this sweet spot for better distillation. We also propose the distillation hypothesis to differentiate the behavior of the distillation process between knowledge distillation and regularization effect. We conduct all our experiments on three different datasets.


title: Predictive Coding Theories of Cortical Function

abstract: Predictive coding is a unifying framework for understanding perception, action and neocortical organization. In predictive coding, different areas of the neocortex implement a hierarchical generative model of the world that is learned from sensory inputs. Cortical circuits are hypothesized to perform Bayesian inference based on this generative model. Specifically, the Rao-Ballard hierarchical predictive coding model assumes that the top-down feedback connections from higher to lower order cortical areas convey predictions of lower-level activities. The bottom-up, feedforward connections in turn convey the errors between top-down predictions and actual activities. These errors are used to correct current estimates of the state of the world and generate new predictions. Through the objective of minimizing prediction errors, predictive coding provides a functional explanation for a wide range of neural responses and many aspects of brain organization.


title: The role of entropic-instabilities in laminar-turbulent transition on a blunted flat plate

abstract: The effects of entropic-instabilities on the laminar-turbulent transition dynamics of a blunted flat plate at Mach~$4$ are numerically investigated through linear and nonlinear approaches. Linear wavepacket analysis reveals amplifying oblique first-modes as well as planar and oblique entropy-layer disturbances. The receptivity of entropic-instabilities is found to be largest for actuation seeded in the entropy-layer; the corresponding linear evolution is characterized by an intensification in the wall-normal plane, coupled with streamwise tilting. The transition process that arises from entropy-layer wave interactions via the oblique breakdown mechanism is examined in detail. Oblique entropy-layer disturbances interact non-linearly with each other and induce streamwise streaks in the boundary-layer. These undergo further destabilization downstream, through a combination of lift-up and Orr-like mechanisms, leading to turbulence onset. Sinuous subharmonic oscillations induced by the entropic-disturbances are the dominant streak instabilities. Slanted hook-shaped structures are observed in the temperature perturbations, and are attributed to an Orr-like mechanism in the entropy-layer. Further, temperature perturbations amplify on the crests of the low-speed streaks in the entropy-layer and generate disturbances through triadic interactions. These disturbances aid in the transfer of perturbation energy into the boundary-layer, eventually leading to spanwise homogenization and near-wall streak generation. Towards the end of the breakdown region, spectral broadening accompanied by the appearance of an inertial sub-range in the boundary-layer indicates the approach of the flow towards turbulence.


title: Using script generators for pipeline prototyping

abstract: Fully automated astronomical data calibration and imaging pipelines are difficult to develop without a good prototyping method which permits to bridge the time between observatory commissioning and the moment when the special features and possible problems of the data and their processing are fully understood. In this paper I present a method which has worked well for the ALMA observatory and which is sufficiently general to be transferable to most other projects. In short, the idea is to use a three-level data analysis software design (scriptable toolkit, script generator, automated pipeline) and a corresponding timing of the software development which is ramping up the effort in three stages starting at the beginning of construction, at the beginning of commissioning, and at the end of commissioning respectively. The important design pattern which I would like to underline here is the use of script generators as prototypes for the automated pipeline.


title: Branched Polymers with Excluded Volume Effects/ Configurations of Comb Polymers in Two- and Three-dimensions

abstract: We investigate the excluded volume effects in good solvents for the isolated comb polymers having $\nu_{0}=1/4$. In particular, we investigate the change of the size exponent, $\nu$, defined by $\langle s_{N}^{2}\rangle\propto N^{2\nu}$, for the various fully-expanded configurations. The results show that, given the fully stretched backbone and side chains, the exponent takes the value, $\nu=1/2$, irrespective of the configurational isomerization of side chains; only the pre-exponential factor changes.


title: Global critical chart for local Calabi-Yau threefolds

abstract: In this paper, we investigate Keller's deformed Calabi--Yau completion of the derived category of coherent sheaves on a smooth variety. In particular, for an $n$-dimensional smooth variety $Y$, we describe the derived category of the total space of an $\omega_Y$-torsor as a certain deformed $(n+1)$-Calabi--Yau completion of the derived category of $Y$. As an application, we investigate the geometry of the derived moduli stack of compactly supported coherent sheaves on a local curve, i.e., a Calabi--Yau threefold of the form $\mathrm{Tot}_C(N)$, where $C$ is a smooth projective curve and $N$ is a rank two vector bundle on $C$. We show that the derived moduli stack is equivalent to the derived critical locus of a function on a certain smooth moduli space. This result will be used by the first author and Naoki Koseki in their joint work on Higgs bundles and Gopakumar--Vafa invariants.


title: Cohomological $\chi$-independence for Higgs bundles and Gopakumar-Vafa invariants

abstract: The aim of this paper is two-fold: Firstly, we prove Toda's $\chi$-independence conjecture for Gopakumar--Vafa invariants of arbitrary local curves. Secondly, following Davison's work, we introduce the BPS cohomology for moduli spaces of Higgs bundles of rank $r$ and Euler characteristic $\chi$ which are not necessary coprime, and show that it does not depend on $\chi$. This result extends the Hausel--Thaddeus conjecture on the $\chi$-independence of E-polynomials proved by Mellit, Groechenig--Wyss--Ziegler and Yu in two ways: we obtain an isomorphism of mixed Hodge modules on the Hitchin base rather than an equality of E-polynomials, and we do not need the coprime assumption. The proof of these results is based on a description of the moduli stack of one-dimensional coherent sheaves on a local curve as a global critical locus which is obtained in the companion paper by the first author and Naruki Masuda.


title: Changes in polarization dictate necessary approximations for modeling electronic de-excitation intensity: an application to X-ray emission

abstract: We systematically investigate the underlying relations among different levels of approximation for simulating electronic de-excitations, with a focus on modeling X-ray emission spectroscopy (XES). Using Fermi's golden rule and explicit modeling of the initial, core-excited state and the final, valence-hole state, we show that XES can be accurately modeled by using orbital optimization for the various final states within a Slater-determinant framework. However, in this paper, we introduce a much cheaper approach reliant only on a single self-consistent field for all the final states, and show that it is typically sufficient. Further approximations reveal that these fundamentally many-body transitions can be reasonably approximated by projections of ground state orbitals, but that the ground state alone is insufficient. Furthermore, except in cases where the core-ionization induces negligible changes in polarization, linear-response approaches within the adiabatic approximation will have difficulty in accurately modeling de-excitation to the core level. Therefore, change in the net dipole moment of the valence electrons can serve as a metric for the validity of the linear-response approximation.


title: Cylinders' percolation: decoupling and applications

abstract: In this paper we establish a strong decoupling inequality for the cylinder's percolation process introduced by Tykesson and Windisch in arXiv:1010.5338 . This model features a very strong dependency structure, making it difficult to study, and this is why such decoupling inequalities are desirable. It is important to notice that the type of dependencies featured by cylinder's percolation is particularly intricate, given that the cylinders have infinite range (unlike some models like Boolean percolation) while at the same time being rigid bodies (unlike processes such as Random Interlacements). Our work introduces a new notion of fast decoupling, proves that it holds for the model in question and finishes with an application. More precisely, we prove that for a small enough density of cylinders, a random walk on a connected component of the vacant set is transient for all dimensions $d \geq 3$.


title: Reproducibility Challenges and Their Impacts on Technical Q&A Websites: The Practitioners' Perspectives

abstract: Software developers often look for solutions to their code-level problems by submitting questions to technical Q&A websites like Stack Overflow (SO). They usually include example code segments with questions to describe the programming issues. SO users prefer to reproduce the reported issues using the given code segments when they attempt to answer the questions. Unfortunately, such code segments could not always reproduce the issues due to several unmet challenges (e.g., external library not found) that might prevent questions from receiving prompt and appropriate solutions. A previous study produced a catalog of potential challenges that hinder the reproducibility of issues reported at SO questions. However, it is unknown how the practitioners (i.e., developers) perceive the challenge catalog. Understanding the developers' perspective is inevitable to introduce interactive tool support that promotes reproducibility. We thus attempt to understand developers' perspectives by surveying 53 users of SO. In particular, we attempt to -- (1) see developers' viewpoints on the agreement to those challenges, (2) find the potential impact of those challenges, (3) see how developers address them, and (4) determine and prioritize tool support needs. Survey results show that about 90% of participants agree to the already exposed challenges. However, they report some additional challenges (e.g., error log missing) that might prevent reproducibility. According to the participants, too short code segment and absence of required Class/Interface/Method from code segments severely prevent reproducibility, followed by missing important part of code. To promote reproducibility, participants strongly recommend introducing tool support that interacts with question submitters with suggestions for improving the code segments if the given code segments fail to reproduce the issues.


title: Precondition and Effect Reasoning for Action Recognition

abstract: Human action recognition has drawn a lot of attention in the recent years due to the research and application significance. Most existing works on action recognition focus on learning effective spatial-temporal features from videos, but neglect the strong causal relationship among the precondition, action and effect. Such relationships are also crucial to the accuracy of action recognition. In this paper, we propose to model the causal relationships based on the precondition and effect to improve the performance of action recognition. Specifically, a Cycle-Reasoning model is proposed to capture the causal relationships for action recognition. To this end, we annotate precondition and effect for a large-scale action dataset. Experimental results show that the proposed Cycle-Reasoning model can effectively reason about the precondition and effect and can enhance action recognition performance.


title: Fourier Transform of Anisotropic Mixed-norm Hardy Spaces with Applications to Hardy-Littlewood Inequalities

abstract: Let $\vec{p}\in(0,1]^n$ be a $n$-dimensional vector and $A$ a dilation. Let $H_A^{\vec{p}}(\mathbb{R}^n)$ denote the anisotropic mixed-norm Hardy space defined via the radial maximal function. Using the known atomic characterization of $H_{A}^{\vec{p}}(\mathbb{R}^n)$ and establishing a uniform estimate for corresponding atoms, the authors prove that the Fourier transform of $f\in H_A^{\vec{p}}(\mathbb{R}^n)$ coincides with a continuous function $F$ on $\mathbb{R}^n$ in the sense of tempered distributions. Moreover, the function $F$ can be controlled pointwisely by the product of the Hardy space norm of $f$ and a step function with respect to the transpose matrix of $A$. As applications, the authors obtain a higher order of convergence for the function $F$ at the origin, and an analogue of Hardy--Littlewood inequalities in the present setting of $H_A^{\vec{p}}(\mathbb{R}^n)$.


title: Adaptive Strategies to Fast Multipole Method in Photoionization Calculations

abstract: Recently, a new framework to compute the photoionization rate in streamer discharges accurately and efficiently using the integral form and the fast multipole method (FMM) was presented. This paper further improves the efficiency of this framework with adaptive strategies. The adaptive strategies are based on the magnitude of radiation and the electric field during the streamer propagation, and are applied to the selection of the source and target points. The accuracy and efficiency of this adaptive FMM are studied quantitatively for different domain sizes, pressures and adaptive criteria, in comparison with some existing efficient approaches to compute the photoionization. It is shown that appropriate adaptive strategies reduce the calculation time of the FMM greatly, and maintain the high accuracy that the numerical error is still much smaller than other models based on partial differential equations. The performance of the proposed adaptive method is also studied for a three-dimensional positive streamer interacting problem with a plasma cloud.


title: Hamiltonian analysis of ModMax nonlinear electrodynamics in the first order formalism

abstract: In this work we study the so-called ModMax nonlinear electrodynamics, which is a novel model designed to preserve duality rotations and conformal transformations, such as the Maxwell's equations do. This model allows to study diverse gravitational phenomena when is coupled to General Relativity, in particular charged black holes and gravitational waves. In the present work we focus in the dynamics and Hamiltonian analysis of the model. Specifically, we analyze the propagation of the discontinuities of the field and obtain the corresponding dispersion relations. To perform the Hamiltonian analysis we adopt the first order formalism develop by Pleba\'nski and follow the Dirac method for theories with constraints. We derive the effective Hamiltonian, classify all the constraints and identify the degrees of freedom. We prove that the effective Hamiltonian is strictly bounded from below and investigate the existence of non trivial minima.


title: Redycler: Daily Outfit Texture Fabrication Appliance Using Re-Programmable Dyes

abstract: We present a speculative design for a novel appliance for future fabrication in the home to revitalize textiles using re-programmable multi-color textures. Utilizing colored photochromic dyes activated by ultraviolet (UV) light, we can selectively deactivate hues using complementary colors in visible light to result in the final desired dye pattern. Our proposed appliance would automate this process within a box placed in the bedroom. We envision a future where people are able to transform old apparel into unique and fashionable pieces of clothing. We discuss how the user would interact with the appliance and how this device elongates the life-cycle of clothing through modification. We also outline the central issues to integrate such a concept into the home. Finally, we analyze how this device fits into personal modification trends in HCI to show how this device could change existing conceptions around sustainable fashion and personal style.


title: Almost Cohen-Macaulay bipartite graphs and connected in codimension two

abstract: In this paper we study almost Cohen-Macaulay bipartite graphs. Furthermore, we prove that if $G$ is almost Cohen-Macaulay bipartite graph with at least one vertex of positive degree, then there is a vertex of $\deg(v) \leq 2$. In particular, if $G$ is an almost Cohen-Macaulay bipartite graph and $u$ is a vertex of degree one of $G$ and $v$ its adjacent vertex, then $G\setminus\{v\}$ is almost Cohen-Macaulay. Also, we show that an unmixed Ferrers graph is almost Cohen-Macaulay if and only if it is connected in codimension two. Moreover, we give some examples.


title: Deep Graph-level Anomaly Detection by Glocal Knowledge Distillation

abstract: Graph-level anomaly detection (GAD) describes the problem of detecting graphs that are abnormal in their structure and/or the features of their nodes, as compared to other graphs. One of the challenges in GAD is to devise graph representations that enable the detection of both locally- and globally-anomalous graphs, i.e., graphs that are abnormal in their fine-grained (node-level) or holistic (graph-level) properties, respectively. To tackle this challenge we introduce a novel deep anomaly detection approach for GAD that learns rich global and local normal pattern information by joint random distillation of graph and node representations. The random distillation is achieved by training one GNN to predict another GNN with randomly initialized network weights. Extensive experiments on 16 real-world graph datasets from diverse domains show that our model significantly outperforms seven state-of-the-art models. Code and datasets are available at https://git.io/GLocalKD.


title: Data Augmentation for Mental Health Classification on Social Media

abstract: The mental disorder of online users is determined using social media posts. The major challenge in this domain is to avail the ethical clearance for using the user generated text on social media platforms. Academic re searchers identified the problem of insufficient and unlabeled data for mental health classification. To handle this issue, we have studied the effect of data augmentation techniques on domain specific user generated text for mental health classification. Among the existing well established data augmentation techniques, we have identified Easy Data Augmentation (EDA), conditional BERT, and Back Translation (BT) as the potential techniques for generating additional text to improve the performance of classifiers. Further, three different classifiers Random Forest (RF), Support Vector Machine (SVM) and Logistic Regression (LR) are employed for analyzing the impact of data augmentation on two publicly available social media datasets. The experiments mental results show significant improvements in classifiers performance when trained on the augmented data.


title: Efficient Strong Scaling Through Burst Parallel Training

abstract: As emerging deep neural network (DNN) models continue to grow in size, using large GPU clusters to train DNNs is becoming an essential requirement to achieving acceptable training times. In this paper, we consider the case where future increases in cluster size will cause the global batch size that can be used to train models to reach a fundamental limit: beyond a certain point, larger global batch sizes cause sample efficiency to degrade, increasing overall time to accuracy. As a result, to achieve further improvements in training performance, we must instead consider "strong scaling" strategies that hold the global batch size constant and allocate smaller batches to each GPU. Unfortunately, this makes it significantly more difficult to use cluster resources efficiently. We present DeepPool, a system that addresses this efficiency challenge through two key ideas. First, burst parallelism allocates large numbers of GPUs to foreground jobs in bursts to exploit the unevenness in parallelism across layers. Second, GPU multiplexing prioritizes throughput for foreground training jobs, while packing in background training jobs to reclaim underutilized GPU resources, thereby improving cluster-wide utilization. Together, these two ideas enable DeepPool to deliver a 1.2 - 2.3x improvement in total cluster throughput over standard data parallelism with a single task when the cluster scale is large.


title: LocFormer: Enabling Transformers to Perform Temporal Moment Localization on Long Untrimmed Videos With a Feature Sampling Approach

abstract: We propose LocFormer, a Transformer-based model for video grounding which operates at a constant memory footprint regardless of the video length, i.e. number of frames. LocFormer is designed for tasks where it is necessary to process the entire long video and at its core lie two main contributions. First, our model incorporates a new sampling technique that splits the input feature sequence into a fixed number of sections and selects a single feature per section using a stochastic approach, which allows us to obtain a feature sample set that is representative of the video content for the task at hand while keeping the memory footprint constant. Second, we propose a modular design that separates functionality, enabling us to learn an inductive bias via supervising the self-attention heads, while also effectively leveraging pre-trained text and video encoders. We test our proposals on relevant benchmark datasets for video grounding, showing that not only LocFormer can achieve excellent results including state-of-the-art performance on YouCookII, but also that our sampling technique is more effective than competing counterparts and that it consistently improves the performance of prior work, by up to 3.13\% in the mean temporal IoU, ultimately leading to a new state-of-the-art performance on Charades-STA.


title: CORE: A Knowledge Graph Entity Type Prediction Method via Complex Space Regression and Embedding

abstract: Entity type prediction is an important problem in knowledge graph (KG) research. A new KG entity type prediction method, named CORE (COmplex space Regression and Embedding), is proposed in this work. The proposed CORE method leverages the expressive power of two complex space embedding models; namely, RotatE and ComplEx models. It embeds entities and types in two different complex spaces using either RotatE or ComplEx. Then, we derive a complex regression model to link these two spaces. Finally, a mechanism to optimize embedding and regression parameters jointly is introduced. Experiments show that CORE outperforms benchmarking methods on representative KG entity type inference datasets. Strengths and weaknesses of various entity type prediction methods are analyzed.


title: Lerna: Transformer Architectures for Configuring Error Correction Tools for Short- and Long-Read Genome Sequencing

abstract: Sequencing technologies are prone to errors, making error correction (EC) necessary for downstream applications. EC tools need to be manually configured for optimal performance. We find that the optimal parameters (e.g., k-mer size) are both tool- and dataset-dependent. Moreover, evaluating the performance (i.e., Alignment-rate or Gain) of a given tool usually relies on a reference genome, but quality reference genomes are not always available. We introduce Lerna for the automated configuration of k-mer-based EC tools. Lerna first creates a language model (LM) of the uncorrected genomic reads; then, calculates the perplexity metric to evaluate the corrected reads for different parameter choices. Next, it finds the one that produces the highest alignment rate without using a reference genome. The fundamental intuition of our approach is that the perplexity metric is inversely correlated with the quality of the assembly after error correction. Results: First, we show that the best k-mer value can vary for different datasets, even for the same EC tool. Second, we show the gains of our LM using its component attention-based transformers. We show the model's estimation of the perplexity metric before and after error correction. The lower the perplexity after correction, the better the k-mer size. We also show that the alignment rate and assembly quality computed for the corrected reads are strongly negatively correlated with the perplexity, enabling the automated selection of k-mer values for better error correction, and hence, improved assembly quality. Additionally, we show that our attention-based models have significant runtime improvement for the entire pipeline -- 18X faster than previous works, due to parallelizing the attention mechanism and the use of JIT compilation for GPU inferencing.


title: The rational cohomology groups of the classifying spaces of Kac-Moody groups

abstract: In this paper, we compute the rational cohomology groups of the classifying space of a simply connected Kac-Moody group of infinite type. The fundamental principle is "from finite to infinite". That is, for a Kac-Moody group G(A) of infinite type, the input data for computation are the rational cohomology of classifying spaces of parabolic subgroups of G(A)(which are of finite type), and the homomorphisms induced by inclusions of these subgroups. In some special cases, we can further determine the cohomology rings. Our method also applies to study the mod p cohomology of the classifying spaces of Kac-Moody groups.


title: Unified Named Entity Recognition as Word-Word Relation Classification

abstract: So far, named entity recognition (NER) has been involved with three major types, including flat, overlapped (aka. nested), and discontinuous NER, which have mostly been studied individually. Recently, a growing interest has been built for unified NER, tackling the above three jobs concurrently with one single model. Current best-performing methods mainly include span-based and sequence-to-sequence models, where unfortunately the former merely focus on boundary identification and the latter may suffer from exposure bias. In this work, we present a novel alternative by modeling the unified NER as word-word relation classification, namely W^2NER. The architecture resolves the kernel bottleneck of unified NER by effectively modeling the neighboring relations between entity words with Next-Neighboring-Word (NNW) and Tail-Head-Word-* (THW-*) relations. Based on the W^2NER scheme we develop a neural framework, in which the unified NER is modeled as a 2D grid of word pairs. We then propose multi-granularity 2D convolutions for better refining the grid representations. Finally, a co-predictor is used to sufficiently reason the word-word relations. We perform extensive experiments on 14 widely-used benchmark datasets for flat, overlapped, and discontinuous NER (8 English and 6 Chinese datasets), where our model beats all the current top-performing baselines, pushing the state-of-the-art performances of unified NER.


title: A New Image Codec Paradigm for Human and Machine Uses

abstract: With the AI of Things (AIoT) development, a huge amount of visual data, e.g., images and videos, are produced in our daily work and life. These visual data are not only used for human viewing or understanding but also for machine analysis or decision-making, e.g., intelligent surveillance, automated vehicles, and many other smart city applications. To this end, a new image codec paradigm for both human and machine uses is proposed in this work. Firstly, the high-level instance segmentation map and the low-level signal features are extracted with neural networks. Then, the instance segmentation map is further represented as a profile with the proposed 16-bit gray-scale representation. After that, both 16-bit gray-scale profile and signal features are encoded with a lossless codec. Meanwhile, an image predictor is designed and trained to achieve the general-quality image reconstruction with the 16-bit gray-scale profile and signal features. Finally, the residual map between the original image and the predicted one is compressed with a lossy codec, used for high-quality image reconstruction. With such designs, on the one hand, we can achieve scalable image compression to meet the requirements of different human consumption; on the other hand, we can directly achieve several machine vision tasks at the decoder side with the decoded 16-bit gray-scale profile, e.g., object classification, detection, and segmentation. Experimental results show that the proposed codec achieves comparable results as most learning-based codecs and outperforms the traditional codecs (e.g., BPG and JPEG2000) in terms of PSNR and MS-SSIM for image reconstruction. At the same time, it outperforms the existing codecs in terms of the mAP for object detection and segmentation.


title: Descent for internal multicategory functors

abstract: We give sufficient conditions for effective descent in categories of (generalized) internal multicategories. Two approaches to study effective descent morphisms are pursued. The first one relies on establishing the category of internal multicategories as an equalizer of categories of diagrams. The second approach extends the techniques developed by Ivan Le Creurer in his study of descent for internal essentially algebraic structures.


title: Temporal and spectral governing dynamics of Australian hydrological streamflow time series

abstract: We use new and established methodologies in multivariate time series analysis to study the dynamics of 414 Australian hydrological stations' streamflow. First, we analyze our collection of time series in the temporal domain, and compare the similarity in hydrological stations' candidate trajectories. Then, we introduce a Whittle Likelihood-based optimization framework to study the collective similarity in periodic phenomena among our collection of stations. Having identified noteworthy similarity in the temporal and spectral domains, we introduce an algorithmic procedure to estimate a governing hydrological streamflow process across Australia. To determine the stability of such behaviours over time, we then study the evolution of the governing dynamics and underlying time series with time-varying applications of principal components analysis (PCA) and spectral analysis.


title: QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation - Analysis of Ranking Scores and Benchmarking Results

abstract: Deep learning (DL) models have provided state-of-the-art performance in various medical imaging benchmarking challenges, including the Brain Tumor Segmentation (BraTS) challenges. However, the task of focal pathology multi-compartment segmentation (e.g., tumor and lesion sub-regions) is particularly challenging, and potential errors hinder translating DL models into clinical workflows. Quantifying the reliability of DL model predictions in the form of uncertainties could enable clinical review of the most uncertain regions, thereby building trust and paving the way toward clinical translation. Several uncertainty estimation methods have recently been introduced for DL medical image segmentation tasks. Developing scores to evaluate and compare the performance of uncertainty measures will assist the end-user in making more informed decisions. In this study, we explore and evaluate a score developed during the BraTS 2019 and BraTS 2020 task on uncertainty quantification (QU-BraTS) and designed to assess and rank uncertainty estimates for brain tumor multi-compartment segmentation. This score (1) rewards uncertainty estimates that produce high confidence in correct assertions and those that assign low confidence levels at incorrect assertions, and (2) penalizes uncertainty measures that lead to a higher percentage of under-confident correct assertions. We further benchmark the segmentation uncertainties generated by 14 independent participating teams of QU-BraTS 2020, all of which also participated in the main BraTS segmentation task. Overall, our findings confirm the importance and complementary value that uncertainty estimates provide to segmentation algorithms, highlighting the need for uncertainty quantification in medical image analyses. Finally, in favor of transparency and reproducibility, our evaluation code is made publicly available at: https://github.com/RagMeh11/QU-BraTS.


title: Distributed switched model-based predictive control for distributed large-scale systems with switched topology

abstract: Distributed switched large-scale systems are composed by dynamically coupled subsystems, in which interactions among subsystems vary over time according to an exogenous input signal named switching signal. In this paper, we present a distributed robust switched model-based predictive control (DSwMPC) to control such systems that are subject to local state and input constraints. The proposed method guarantees stabilizing the origin of the whole closed-loop system and ensures the constraints satisfaction in the presence of an unknown switching signal. In the distributed model-based predictive control (DMPC) used in this work, by considering the interactions among subsystems as an additive disturbance, the effect of the switch is reflected on the dynamic equation, local, and consistency constraint sets of the nominal subsystems. In the DSwMPC, to compensate the effect of switching signal which creates a time-varying network topology, a robust tube-based switched model-based predictive control (RSwMPC) with switched robust control invariant (switchRCI) set as the target set robust to unknown mode switching is used as local controller. The scheme performance is assessed using three typical examples. In the first example, the switching times are unknown in prior, but the next neighborhood sets are assumed to be known in prior. In the second and third cases, both of them are supposed to be unknown in prior. The simulation results show that the input and state constraints are satisfied by the proposed DSwMPC at all times. They also validate that the closed-loop system converges to the origin. Also, a comparison of the DSwMPC with a centralized SwMPC (CSwMPC) and a decentralized SwMPC (DeSwMPC) shows that the DSwMPC outperforms the DecSwMPC and also the shapes of response curves under the CSwMPC are very similar to those obtained by the DSwMPC.


title: The origin of insulating and non-ferromagnetic SrRuO3 monolayers

abstract: The electro-magnetic properties of ultrathin epitaxial ruthenate films have long been the subject of debate. Here we combine experimental with theoretical investigations of (SrTiO3)5-(SrRuO3)n-(SrTiO3)5 (STO5-SROn-STO5) heterostructures with n = 1 and 2 unit cells, including extensive atomic-resolution scanning-transmission-electron-microscopy imaging, electron-energy-loss-spectroscopy chemical mapping, as well as transport and magneto-transport measurements. The experimental data demonstrate that the STO5-SRO2-STO5 heterostructure is stoichiometric, metallic, and ferromagnetic with TC ~ 128 K, even though it lacks the characteristic bulk-SRO octahedral tilts and matches the cubic STO structure. In contrast, the STO5-SRO1-STO5 heterostructure features Ru-Ti intermixing in the RuO2 layer, also without octahedral tilts, but is accompanied by a loss of metallicity and ferromagnetism. Density-functional-theory calculations show that stoichiometric n = 1 and n = 2 heterostructures are metallic and ferromagnetic with no octahedral tilts, while non-stoichiometry in the Ru sublattice in the n = 1 case opens an energy gap and induces antiferromagnetic ordering. Thus, the results indicate that the observed non-stoichiometry is the cause of the observed loss of metallicity and ferromagnetism in the n = 1 case.


title: Uniqueness and numerical inversion in the time-domain fluorescence diffuse optical tomography

abstract: This work considers the time-domain fluorescence diffuse optical tomography (FDOT). We recover the distribution of fluorophores in biological tissue by the boundary measurements. With the Laplace transform and the knowledge of complex analysis, we build the uniqueness theorem of this inverse problem. After that, the numerical reconstructions are considered. We introduce a non-iterative inversion strategy by peak detection and an iterative inversion algorithm under the framework of regularizing scheme, then give several numerical examples in three-dimensional space illustrating the performance of the proposed inversion schemes.