title: On multipartite derangement graphs

abstract: Given a finite transitive permutation group $G\leq \operatorname{Sym}(\Omega)$, with $|\Omega|\geq 2$, the derangement graph $\Gamma_G$ of $G$ is the Cayley graph $\operatorname{Cay}(G,\operatorname{Der}(G))$, where $\operatorname{Der}(G)$ is the set of all derangements of $G$. Meagher et al. [On triangles in derangement graphs, {\it J. Combin. Theory Ser. A}, 180:105390, 2021] recently proved that $\operatorname{Sym}(2)$ acting on $\{1,2\}$ is the only transitive group whose derangement graph is bipartite and any transitive group of degree at least three has a triangle in its derangement graph. They also showed that there exist transitive groups whose derangement graphs are complete multipartite. This paper gives two new families of transitive groups with complete multipartite derangement graphs. In addition, we prove that if $p$ is an odd prime and $G$ is a transitive group of degree $2p$, then the independence number of $\Gamma_{G}$ is at most twice the size of a point-stabilizer of $G$.


title: Ice, glass, and solid phases in artificial spin systems with quenched disorder

abstract: We present a numerical study on a disordered artificial spin-ice system which interpolates between the long-range ordered square ice and the fully degenerate shakti ice. Starting from the square-ice geometry, disorder is implemented by adding vertical/horizontal magnetic islands to the center of some randomly chosen square plaquettes of the array, at different densities. When no island is added we have ordered square ice. When all square plaquettes have been modified we obtain shakti ice, which is disordered yet in a topological phase corresponding to the Rys F-model. In between, geometrical frustration due to these additional center spins disrupts the long-range Ising order of square-ice, giving rise to a spin-glass regime at low temperatures. The artificial spin system proposed in our work provides an experimental platform to study the interplay between quenched disorder and geometrical frustration.


title: Flow Past Stationary and Oscillating Airfoil at Low Reynolds number Using Sharp Interface Immersed Boundary Approach

abstract: The present study reports on flow past airfoils (stationary and moving) using sharp interface immersed-boundary approach. Non-boundary conforming approach like immersed-boundary method offers a viable alternative over traditional boundary conforming approach by allowing us to model flow past arbitrarily complex shapes, by eliminating the need to re-grid the flow domain as the body exhibits motion. We present flow past a NACA 0012 airfoil at stationary conditions as well as exhibiting pitching motion. Evolution of vortex dynamics and wake structures are presented to show that the developed sharp interface immersed-boundary approach captures the flow physics of dynamic stall accurately. Moving body problems involving immersed-boundary approach usually encounter the issues of spurious oscillations and mass conservation. This is handled through a field extension strategy based on ghost cell approach, which allows for extrapolating the flow field value onto the ghost nodes, ensuring smooth temporal transition as the immersed surface moves through time. The results presented here show excellent agreement with the experimental results found in the literature.


title: Pore-scale Simulation of Shear-Thinning Fluid Flow using Lattice Boltzmann Method

abstract: Present work attempts to identify the roles of flow- and geometric-variables on the scaling factor which is a necessary parameter for modeling the apparent viscosity of non-Newtonian fluid in porous media. While idealizing the porous media microstructure as arrays of circular and square cylinders, present study uses multi-relaxation time lattice Boltzmann method to conduct pore-scale simulation of shear thinning non-Newtonian fluid flow. Variation in the size and inclusion ratio of the solid cylinders generates wide range of porous media with varying porosity and permeability. Present study also used stochastic reconstruction technique to generate realistic, random porous microstructures. For each case, pore-scale fluid flow simulation enables the calculation of equivalent viscosity based on the computed shear rate within the pores. It is observed that the scaling factor has strong dependence on porosity, permeability, tortuosity and the percolation threshold, while approaching the maximum value at the percolation threshold porosity. Present investigation quantifies and proposes meaningful correlations between the scaling factor and the macroscopic properties of the porous media.


title: Velocity-vorticity-pressure formulation for the Oseen problem with variable viscosity

abstract: We propose and analyse an augmented mixed finite element method for the Oseen equations written in terms of velocity, vorticity, and pressure with non-constant viscosity and homogeneous Dirichlet boundary condition for the velocity. The weak formulation includes least-squares terms arising from the constitutive equation and from the incompressibility condition, and we show that it satisfies the hypotheses of the Babu\vska-Brezzi theory. Repeating the arguments of the continuous analysis, the stability and solvability of the discrete problem are established. The method is suited for any Stokes inf-sup stable finite element pair for velocity and pressure, while for vorticity any generic discrete space (of arbitrary order) can be used. A priori and a posteriori error estimates are derived using two specific families of discrete subspaces. Finally, we provide a set of numerical tests illustrating the behaviour of the scheme, verifying the theoretical convergence rates, and showing the performance of the adaptive algorithm guided by residual a posteriori error estimation.


title: Some properties of K-frame in n-Hilbert space

abstract: The notion of a K-frame in n-Hilbert space is presented and some of their characterizations are given. We verify that sum of two K-frames is also a K-frame in n-Hilbert space. Also, the concept of tight K-frame in n-Hilbert space is described and some properties of its are going to be established.


title: Proximal Decoding for LDPC-coded Massive MIMO Channels

abstract: We propose a novel optimization-based decoding algorithm for LDPC-coded massive MIMO channels. The proposed decoding algorithm is based on a proximal gradient method for solving an approximate maximum a posteriori (MAP) decoding problem. The key idea is the use of a code-constraint polynomial penalizing a vector far from a codeword as a regularizer in the approximate MAP objective function. The code proximal operator is naturally derived from code-constraint polynomials. The proposed algorithm, called proximal decoding, can be described by a simple recursion consisting of the gradient descent step for a negative log-likelihood function and the code proximal operation. Several numerical experiments show that the proposed algorithm outperforms known massive MIMO detection algorithms, such as an MMSE detector with belief propagation decoding.


title: Robust Federated Learning with Attack-Adaptive Aggregation

abstract: Federated learning is vulnerable to various attacks, such as model poisoning and backdoor attacks, even if some existing defense strategies are used. To address this challenge, we propose an attack-adaptive aggregation strategy to defend against various attacks for robust federated learning. The proposed approach is based on training a neural network with an attention mechanism that learns the vulnerability of federated learning models from a set of plausible attacks. To the best of our knowledge, our aggregation strategy is the first one that can be adapted to defend against various attacks in a data-driven fashion. Our approach has achieved competitive performance in defending model poisoning and backdoor attacks in federated learning tasks on image and text datasets.


title: Locally Free Weight Sharing for Network Width Search

abstract: Searching for network width is an effective way to slim deep neural networks with hardware budgets. With this aim, a one-shot supernet is usually leveraged as a performance evaluator to rank the performance \wrt~different width. Nevertheless, current methods mainly follow a manually fixed weight sharing pattern, which is limited to distinguish the performance gap of different width. In this paper, to better evaluate each width, we propose a locally free weight sharing strategy (CafeNet) accordingly. In CafeNet, weights are more freely shared, and each width is jointly indicated by its base channels and free channels, where free channels are supposed to loCAte FrEely in a local zone to better represent each width. Besides, we propose to further reduce the search space by leveraging our introduced FLOPs-sensitive bins. As a result, our CafeNet can be trained stochastically and get optimized within a min-min strategy. Extensive experiments on ImageNet, CIFAR-10, CelebA and MS COCO dataset have verified our superiority comparing to other state-of-the-art baselines. For example, our method can further boost the benchmark NAS network EfficientNet-B0 by 0.41\% via searching its width more delicately.


title: VACE-WPE: Virtual Acoustic Channel Expansion Based On Neural Networks for Weighted Prediction Error-Based Speech Dereverberation

abstract: Speech dereverberation is an important issue for many real-world speech processing applications. Among the techniques developed, the weighted prediction error (WPE) algorithm has been widely adopted and advanced over the last decade, which blindly cancels out the late reverberation component from the reverberant mixture of microphone signals. In this study, we extend the neural-network-based virtual acoustic channel expansion (VACE) framework for the WPE-based speech dereverberation, a variant of the WPE that we recently proposed to enable the use of dual-channel WPE algorithm in a single-microphone speech dereverberation scenario. Based on the previous study, some ablation studies are conducted regarding the constituents of the VACE-WPE in an offline processing scenario. These studies help understand the dynamics of the system, thereby simplifying the architecture and leading to the introduction of new strategies for training the neural network for the VACE. Experimental results in noisy reverberant environments reveal that VACE-WPE considerably outperforms its single-channel counterpart in terms of objective speech quality and is complementary to the single-channel WPE when employed as the front-end for the far-field automatic speech recognizer.


title: SensPick: Sense Picking for Word Sense Disambiguation

abstract: Word sense disambiguation (WSD) methods identify the most suitable meaning of a word with respect to the usage of that word in a specific context. Neural network-based WSD approaches rely on a sense-annotated corpus since they do not utilize lexical resources. In this study, we utilize both context and related gloss information of a target word to model the semantic relationship between the word and the set of glosses. We propose SensPick, a type of stacked bidirectional Long Short Term Memory (LSTM) network to perform the WSD task. The experimental evaluation demonstrates that SensPick outperforms traditional and state-of-the-art models on most of the benchmark datasets with a relative improvement of 3.5% in F-1 score. While the improvement is not significant, incorporating semantic relationships brings SensPick in the leading position compared to others.


title: Simple Agent, Complex Environment: Efficient Reinforcement Learning with Agent States

abstract: We design a simple reinforcement learning (RL) agent that implements an optimistic version of $Q$-learning and establish through regret analysis that this agent can operate with some level of competence in any environment. While we leverage concepts from the literature on provably efficient RL, we consider a general agent-environment interface and provide a novel agent design and analysis. This level of generality positions our results to inform the design of future agents for operation in complex real environments. We establish that, as time progresses, our agent performs competitively relative to policies that require longer times to evaluate. The time it takes to approach asymptotic performance is polynomial in the complexity of the agent's state representation and the time required to evaluate the best policy that the agent can represent. Notably, there is no dependence on the complexity of the environment. The ultimate per-period performance loss of the agent is bounded by a constant multiple of a measure of distortion introduced by the agent's state representation. This work is the first to establish that an algorithm approaches this asymptotic condition within a tractable time frame.


title: Input Similarity from the Neural Network Perspective

abstract: We first exhibit a multimodal image registration task, for which a neural network trained on a dataset with noisy labels reaches almost perfect accuracy, far beyond noise variance. This surprising auto-denoising phenomenon can be explained as a noise averaging effect over the labels of similar input examples. This effect theoretically grows with the number of similar examples; the question is then to define and estimate the similarity of examples. We express a proper definition of similarity, from the neural network perspective, i.e. we quantify how undissociable two inputs $A$ and $B$ are, taking a machine learning viewpoint: how much a parameter variation designed to change the output for $A$ would impact the output for $B$ as well? We study the mathematical properties of this similarity measure, and show how to use it on a trained network to estimate sample density, in low complexity, enabling new types of statistical analysis for neural networks. We analyze data by retrieving samples perceived as similar by the network, and are able to quantify the denoising effect without requiring true labels. We also propose, during training, to enforce that examples known to be similar should also be seen as similar by the network, and notice speed-up training effects for certain datasets.


title: Regression Oracles and Exploration Strategies for Short-Horizon Multi-Armed Bandits

abstract: This paper explores multi-armed bandit (MAB) strategies in very short horizon scenarios, i.e., when the bandit strategy is only allowed very few interactions with the environment. This is an understudied setting in the MAB literature with many applications in the context of games, such as player modeling. Specifically, we pursue three different ideas. First, we explore the use of regression oracles, which replace the simple average used in strategies such as epsilon-greedy with linear regression models. Second, we examine different exploration patterns such as forced exploration phases. Finally, we introduce a new variant of the UCB1 strategy called UCBT that has interesting properties and no tunable parameters. We present experimental results in a domain motivated by exergames, where the goal is to maximize a player's daily steps. Our results show that the combination of epsilon-greedy or epsilon-decreasing with regression oracles outperforms all other tested strategies in the short horizon setting.


title: Player Modeling via Multi-Armed Bandits

abstract: This paper focuses on building personalized player models solely from player behavior in the context of adaptive games. We present two main contributions: The first is a novel approach to player modeling based on multi-armed bandits (MABs). This approach addresses, at the same time and in a principled way, both the problem of collecting data to model the characteristics of interest for the current player and the problem of adapting the interactive experience based on this model. Second, we present an approach to evaluating and fine-tuning these algorithms prior to generating data in a user study. This is an important problem, because conducting user studies is an expensive and labor-intensive process; therefore, an ability to evaluate the algorithms beforehand can save a significant amount of resources. We evaluate our approach in the context of modeling players' social comparison orientation (SCO) and present empirical results from both simulations and real players.


title: Complex Ball Quotients and New Symplectic 4-manifolds with Nonnegative Signatures

abstract: We present the various constructions of new symplectic $4$-manifolds with non-negative signatures using the complex surfaces on the BMY line $c_1^2 = 9\chi_h$, the Cartwright-Steger surfaces, the quotients of Hirzebruch's certain line-arrangement surfaces, along with the exotic symplectic $4$-manifolds constructed in \cite{AP2, AS}. In particular, our constructions yield to (i) an irreducible symplectic and infinitely many non-symplectic $4$-manifolds that are homeomorphic but not diffeomorphic to $(2n-1)CP^{2}\#(2n-1)\bar{CP}^{2}$ for each integer $n \geq 9$, (ii) the families of simply connected irreducible nonspin symplectic $4$-manifolds that have the smallest Euler characteristics among the all known simply connected $4$-manifolds with positive signatures and with more than one smooth structure. We also construct a complex surface with positive signature from the Hirzebruch's line-arrangement surfaces, which is a ball quotient.


title: The effect of hadronic scatterings on the measurement of vector meson spin alignments in heavy-ion collisions

abstract: Spin alignments of vector mesons and hyperons in relativistic heavy-ion collisions have been proposed as signals of the global polarization. The STAR experiment first observed the $\rm \Lambda$ polarization. Recently, the ALICE collaboration measured the transverse momentum ($p_T$) and the collision centrality dependence of $K^*$ and $\phi$ spin alignments in Pb-Pb collisions at $\rm \sqrt{s_{NN}}$ = 2.76 TeV. A large signal is observed in the low $p_T$ region of mid-central collisions for $K^*$ while the signal is much smaller for $\phi$, and these have not been understood yet. Since vector mesons have different lifetimes and their decay products have different scattering cross sections, they suffer from different hadronic effects. In this paper, we study the effect of hadronic interactions on the spin alignment of $K^*$, $\phi$ and $\rho$ mesons in relativistic heavy-ion collisions with a multi-phase transport model. We find that hadronic scatterings lead to a deviation of the observed spin alignment matrix element $\rho_{00}$ away from the true value for $\rho$ and $K^*$ mesons (with a bigger effect on $\rho$) while the effect is negligible for the $\phi$ meson. The effect depends on the kinematic acceptance: the observed $\rho_{00}$ value is lower than the true value when the pseudorapidity ($\eta$) coverage is small while there is little effect when the $\eta$ coverage is big. Our study thus provides valuable information to understand the vector meson spin alignment signals observed in the experiments.


title: Constraints on the Symmetry Energy from PREX-II in the Multimessenger Era

abstract: The neutron skin thickness $\Delta r_{\rm{np}}$ of heavy nuclei is essentially determined by the symmetry energy density slope $L({\rho })$ at $\rho_c = 0.11~{\rm {fm}^{-3}}\approx 2/3\rho_0$ ($\rho_0$ is nuclear saturation density), roughly corresponding to the average density of finite nuclei. The PREX collaboration recently reported a model-independent extraction of $\Delta r^{208}_{\rm{np}} = 0.283 \pm 0.071$ fm for the $\Delta r_{\rm{np}}$ of $^{208}$Pb, suggesting a rather stiff symmetry energy $E_{\rm{sym}}({\rho })$ with $L({\rho_c }) \ge 52$ MeV. We show that the $E_{\rm{sym}}({\rho })$ cannot be too stiff and $L({\rho_c }) \le 73$ MeV is necessary to be compatible with (1) the ground-state properties and giant monopole resonances of finite nuclei, (2) the constraints on the equation of state of symmetric nuclear matter at suprasaturation densities from flow data in heavy-ion collisions, (3) the largest neutron star (NS) mass reported so far for PSR J0740+6620, (4) the NS tidal deformability extracted from gravitational wave signal GW170817 and (5) the mass-radius of PSR J0030+045 measured simultaneously by NICER. This allows us to obtain $52 \le L({\rho_c }) \le 73$ MeV and $0.212 \le \Delta r^{208}_{\rm{np}} \le 0.271$ fm, and further $E_{\rm{sym}}({\rho_0 }) = 34.3 \pm 1.7$ MeV, $L({\rho_0 }) = 83.1 \pm 24.7$ MeV, and $E_{\rm{sym}}({2\rho_0 }) = 62.8 \pm 15.9$ MeV. A number of critical implications on nuclear physics and astrophysics are discussed.


title: Characterizing the Online Learning Landscape: What and How People Learn Online

abstract: Hundreds of millions of people learn something new online every day. Simultaneously, the study of online education has blossomed within the human computer interaction community, with new systems, experiments, and observations creating and exploring previously undiscovered online learning environments. In this study we endeavor to characterize this entire landscape of online learning experiences using a national survey of 2260 US adults who are balanced to match the demographics of the U.S. We examine the online learning resources that they consult, and we analyze the subjects that they pursue using those resources. Furthermore, we compare both formal and informal online learning experiences on a larger scale than has ever been done before, to our knowledge, to better understand which subjects people are seeking for intensive study. We find that there is a core set of online learning experiences that are central to other experiences and these are shared among the majority of people who learn online. We conclude by showing how looking outside of these core online learning experiences can reveal opportunities for innovation in online education.


title: Reinforcement Learning for Optimized Beam Training in Multi-Hop Terahertz Communications

abstract: Communication at terahertz (THz) frequency bands is a promising solution for achieving extremely high data rates in next-generation wireless networks. While the THz communication is conventionally envisioned for short-range wireless applications due to the high atmospheric absorption at THz frequencies, multi-hop directional transmissions can be enabled to extend the communication range. However, to realize multi-hop THz communications, conventional beam training schemes, such as exhaustive search or hierarchical methods with a fixed number of training levels, can lead to a very large time overhead. To address this challenge, in this paper, a novel hierarchical beam training scheme with dynamic training levels is proposed to optimize the performance of multi-hop THz links. In fact, an optimization problem is formulated to maximize the overall spectral efficiency of the multi-hop THz link by dynamically and jointly selecting the number of beam training levels across all the constituent single-hop links. To solve this problem in presence of unknown channel state information, noise, and path loss, a new reinforcement learning solution based on the multi-armed bandit (MAB) is developed. Simulation results show the fast convergence of the proposed scheme in presence of random channels and noise. The results also show that the proposed scheme can yield up to 75% performance gain, in terms of spectral efficiency, compared to the conventional hierarchical beam training with a fixed number of training levels.

categories: cs.IT cs.LG cs.NI eess.SP math.IT stat.ML


title: The second vanishing theorem in Stanley-Reisner ring with topological interpretation

abstract: For regular local ring, the ``second vanishing theorem'' or ``SVT'' of local cohomology has been proved in several cases. In this paper, we explore the result similar to that of the SVT to Stanley-Reisner ring with an interpretation from combinatorial topology.


title: Hybrid In-memory Computing Architecture for the Training of Deep Neural Networks

abstract: The cost involved in training deep neural networks (DNNs) on von-Neumann architectures has motivated the development of novel solutions for efficient DNN training accelerators. We propose a hybrid in-memory computing (HIC) architecture for the training of DNNs on hardware accelerators that results in memory-efficient inference and outperforms baseline software accuracy in benchmark tasks. We introduce a weight representation technique that exploits both binary and multi-level phase-change memory (PCM) devices, and this leads to a memory-efficient inference accelerator. Unlike previous in-memory computing-based implementations, we use a low precision weight update accumulator that results in more memory savings. We trained the ResNet-32 network to classify CIFAR-10 images using HIC. For a comparable model size, HIC-based training outperforms baseline network, trained in floating-point 32-bit (FP32) precision, by leveraging appropriate network width multiplier. Furthermore, we observe that HIC-based training results in about 50% less inference model size to achieve baseline comparable accuracy. We also show that the temporal drift in PCM devices has a negligible effect on post-training inference accuracy for extended periods (year). Finally, our simulations indicate HIC-based training naturally ensures that the number of write-erase cycles seen by the devices is a small fraction of the endurance limit of PCM, demonstrating the feasibility of this architecture for achieving hardware platforms that can learn in the field.


title: Sampling Subgraph Network with Application to Graph Classification

abstract: Graphs are naturally used to describe the structures of various real-world systems in biology, society, computer science etc., where subgraphs or motifs as basic blocks play an important role in function expression and information processing. However, existing research focuses on the basic statistics of certain motifs, largely ignoring the connection patterns among them. Recently, a subgraph network (SGN) model is proposed to study the potential structure among motifs, and it was found that the integration of SGN can enhance a series of graph classification methods. However, SGN model lacks diversity and is of quite high time complexity, making it difficult to widely apply in practice. In this paper, we introduce sampling strategies into SGN, and design a novel sampling subgraph network model, which is scale-controllable and of higher diversity. We also present a hierarchical feature fusion framework to integrate the structural features of diverse sampling SGNs, so as to improve the performance of graph classification. Extensive experiments demonstrate that, by comparing with the SGN model, our new model indeed has much lower time complexity (reduced by two orders of magnitude) and can better enhance a series of graph classification methods (doubling the performance enhancement).


title: On the Hofer-Zehnder conjecture for non-contractible periodic orbits in Hamiltonian dynamics

abstract: In this paper, we treat an open problem related to the number of periodic orbits of Hamiltonian diffeomorphisms on closed symplectic manifolds. Hofer-Zehnder conjecture states that a Hamiltonian diffeomorphisms has infinitely many periodic orbits if it has "homologically unnecessary periodic orbits"". For example, non-contractible periodic orbits are homologically unnecessary periodic orbits because Floer homology of non-contractible periodic orbits is trivial. We prove Hofer-Zehnder conjecture for non-contractible periodic orbits for very wide classes of symplectic manifolds.


title: Stability of SGD: Tightness Analysis and Improved Bounds

abstract: Stochastic Gradient Descent (SGD) based methods have been widely used for training large-scale machine learning models that also generalize well in practice. Several explanations have been offered for this generalization performance, a prominent one being algorithmic stability [18]. However, there are no known examples of smooth loss functions for which the analysis can be shown to be tight. Furthermore, apart from the properties of the loss function, data distribution has also been shown to be an important factor in generalization performance. This raises the question: is the stability analysis of [18] tight for smooth functions, and if not, for what kind of loss functions and data distributions can the stability analysis be improved? In this paper we first settle open questions regarding tightness of bounds in the data-independent setting: we show that for general datasets, the existing analysis for convex and strongly-convex loss functions is tight, but it can be improved for non-convex loss functions. Next, we give a novel and improved data-dependent bounds: we show stability upper bounds for a large class of convex regularized loss functions, with negligible regularization parameters, and improve existing data-dependent bounds in the non-convex setting. We hope that our results will initiate further efforts to better understand the data-dependent setting under non-convex loss functions, leading to an improved understanding of the generalization abilities of deep networks.


title: A Generic Object Re-identification System for Short Videos

abstract: Short video applications like TikTok and Kwai have been a great hit recently. In order to meet the increasing demands and take full advantage of visual information in short videos, objects in each short video need to be located and analyzed as an upstream task. A question is thus raised -- how to improve the accuracy and robustness of object detection, tracking, and re-identification across tons of short videos with hundreds of categories and complicated visual effects (VFX). To this end, a system composed of a detection module, a tracking module and a generic object re-identification module, is proposed in this paper, which captures features of major objects from short videos. In particular, towards the high efficiency demands in practical short video application, a Temporal Information Fusion Network (TIFN) is proposed in the object detection module, which shows comparable accuracy and improved time efficiency to the state-of-the-art video object detector. Furthermore, in order to mitigate the fragmented issue of tracklets in short videos, a Cross-Layer Pointwise Siamese Network (CPSN) is proposed in the tracking module to enhance the robustness of the appearance model. Moreover, in order to evaluate the proposed system, two challenge datasets containing real-world short videos are built for video object trajectory extraction and generic object re-identification respectively. Overall, extensive experiments for each module and the whole system demonstrate the effectiveness and efficiency of our system.


title: Estimation of Gaussian random displacement using non-Gaussian states

abstract: In continuous-variable quantum information processing, quantum error correction of Gaussian errors requires simultaneous estimation of both quadrature components of displacements on phase space. However, quadrature operators $x$ and $p$ are non-commutative conjugate observables, whose simultaneous measurement is prohibited by the uncertainty principle. Gottesman-Kitaev-Preskill (GKP) error correction deals with this problem using complex non-Gaussian states called GKP states. On the other hand, simultaneous estimation of displacement using experimentally feasible non-Gaussian states has not been well studied. In this paper, we consider a multi-parameter estimation problem of displacements assuming an isotropic Gaussian prior distribution and allowing post-selection of measurement outcomes. We derive a lower bound for the estimation error when only Gaussian operations are used, and show that even simple non-Gaussian states such as single-photon states can beat this bound. Based on Ghosh's bound, we also obtain a lower bound for the estimation error when the maximum photon number of the input state is given. Our results reveal the role of non-Gaussianity in the estimation of displacements, and pave the way toward the error correction of Gaussian errors using experimentally feasible non-Gaussian states.


title: Approximation of weak geodesics and subharmonicity of Mabuchi energy, II: $\epsilon$-geodesics

abstract: The purpose of this article is to study the strict convexity of the Mabuchi functional along a $C^{1,1}$-geodesic, with the aid of the $\epsilon$-geodesics. We proved the $L^2$-convergence of the fiberwise volume element of the $\epsilon$-geodesic. Moreover, the geodesic is proved to be uniformly fiberwise non-degenerate if the Mabuchi functional is $\epsilon$-affine.


title: Doublon-like excitations and their phononic coupling in a Mott charge-density-wave system

abstract: Electron-phonon-driven charge density waves can in some circumstances allow electronic correlations to become predominant, driving a system into a Mott insulating state. New insights into both the Mott state and preceding charge density wave may result from observations of the coupled dynamics of their underlying degrees of freedom. Here, tunneling injection of single electrons into the upper Hubbard band of the Mott charge-density-wave material 1T-TaS2 reveals extraordinarily narrow electronic excitations which couple to amplitude mode phonons associated with the charge density wave's periodic lattice distortion. This gives a vivid microscopic view of the interplay between excitations of the Mott state and the lattice dynamics of its charge density wave precursor.


title: Cutoff phenomenon of the Glauber dynamics for the Ising model on complete multipartite graphs in the high temperature regime

abstract: In this paper, the Glauber dynamics for the Ising model on the complete multipartite graph $K_{np_1,\dots,np_m}$ is investigated where $0<p_i<1$ is the proportion of the vertices in the $i$th component. We show that the dynamics exhibits the cutoff phenomena at $t_n = \frac{1}{2(1-\beta/\beta_{cr})} n\ln n $ with window size $O(n)$ in the high temperature regime $\beta< \beta_{cr}$ where $\beta_{cr}$ is a constant only depending on $p_1,\dots,p_m$. Exponentially slow mixing is shown in the low temperature regime $\beta>\beta_{cr}$.


title: Reconstruction of Primordial Power Spectrum of curvature perturbation from the merger rate of Primordial Black Hole Binaries

abstract: The properties of primordial curvature perturbations on small scales are still unknown while those on large scales have been well probed by the observations of the cosmic microwave background anisotropies and the large scale structure. In this paper, we propose the reconstruction method of primordial curvature perturbations on small scales through the merger rate of binary primordial black holes, which could form from large primordial curvature perturbation on small scales.


title: Biomedical Question Answering: A Survey of Approaches and Challenges

abstract: Automatic Question Answering (QA) has been successfully applied in various domains such as search engines and chatbots. Biomedical QA (BQA), as an emerging QA task, enables innovative applications to effectively perceive, access and understand complex biomedical knowledge. There have been tremendous developments of BQA in the past two decades, which we classify into 5 distinctive approaches: classic, information retrieval, machine reading comprehension, knowledge base and question entailment approaches. In this survey, we introduce available datasets and representative methods of each BQA approach in detail. Despite the developments, BQA systems are still immature and rarely used in real-life settings. We identify and characterize several key challenges in BQA that might lead to this issue, and discuss some potential future directions to explore.


title: Thermodynamics of Exotic Black Holes in Lovelock Gravity

abstract: We examine the thermodynamics of a new class of asymptotically AdS black holes with non-constant curvature event horizons in Gauss-Bonnet Lovelock gravity, with the cosmological constant acting as thermodynamic pressure. We find that non-trivial curvature on the horizon can significantly affect their thermodynamic behaviour. We observe novel triple points in 6 dimensions between large and small uncharged black holes and thermal AdS. For charged black holes we find a continuous set of triple points whose range depends on the parameters in the horizon geometry. We also find new generalizations of massless and negative mass solutions previously observed in Einstein gravity.


title: A Regular Gonosomal Evolution Operator with uncountable set of fixed points

abstract: In this paper we study dynamical systems generated by a gonosomal evolution operator of a bisexual population. We find explicitly all (uncountable set) of fixed points of the operator. It is shown that each fixed point has eigenvalues less or equal to 1. Moreover, we show that each trajectory converges to a fixed point, i.e. the operator is reqular. There are uncountable family of invariant sets each of which consisting unique fixed point. Thus there is one-to-one correspondence between such invariant sets and the set of fixed points. Any trajectory started at a point of the invariant set converges to the corresponding fixed point.


title: Finding the Stochastic Shortest Path with Low Regret: The Adversarial Cost and Unknown Transition Case

abstract: We make significant progress toward the stochastic shortest path problem with adversarial costs and unknown transition. Specifically, we develop algorithms that achieve $\widetilde{O}(\sqrt{S^2ADT_\star K})$ regret for the full-information setting and $\widetilde{O}(\sqrt{S^3A^2DT_\star K})$ regret for the bandit feedback setting, where $D$ is the diameter, $T_\star$ is the expected hitting time of the optimal policy, $S$ is the number of states, $A$ is the number of actions, and $K$ is the number of episodes. Our work strictly improves (Rosenberg and Mansour, 2020) in the full information setting, extends (Chen et al., 2020) from known transition to unknown transition, and is also the first to consider the most challenging combination: bandit feedback with adversarial costs and unknown transition. To remedy the gap between our upper bounds and the current best lower bounds constructed via a stochastically oblivious adversary, we also propose algorithms with near-optimal regret for this special case.


title: Data capacity scaling of a distributed Rydberg atomic receiver array

abstract: The data transfer capacity of a communication channel is limited by the Shannon-Hartley theorem and scales as $\text{log}_2(1 + \text{SNR})$ for a single channel with the power signal-to-noise ratio (SNR). We implement an array of atom-optical receivers in a single-input-multi-output (SIMO) configuration by using spatially distributed probe light beams. The data capacity of the distributed receiver configuration is observed to scale as $\text{log}_2(1 + N\times\text{SNR})$ for an array consisting of $N$ receivers. Our result is independent on the modulation frequency, and we show that such enhancement of the bandwidth cannot be obtained by a single receiver with a similar level of combined optical power. We investigate both theoretically and experimentally the origins of the single channel capacity limit for our implementation.


title: The high dimensional Fisher-KPP nonlocal diffusion equation with free boundary and radial symmetry

abstract: We study the radially symmetric high dimensional Fisher-KPP nonlocal diffusion equation with free boundary, and reveal some fundamental differences from its one dimensional version considered in \cite{cdjfa} recently. Technically, this high dimensional problem is much more difficult to treat since it involves two kernel functions which arise from the original kernel function $J(|x|)$ in rather implicit ways. By introducing new techniques, we are able to determine the long-time dynamics of the model, including firstly finding the threshold condition on the kernel function that governs the onset of accelerated spreading, and the determination of the spreading speed when it is finite. Moreover, for two important classes of kernel functions, sharp estimates of the spreading profile are obtained. More precisely, for kernel functions with compact support, we show that logarithmic shifting occurs from the finite wave speed propagation, which is strikingly different from the one dimension case; for kernel functions $J(|x|)$ behaving like $|x|^{-\beta}$ for $x\in\R^N$ near infinity, we obtain the rate of accelerated spreading when $\beta\in (N, N+1]$, which is the exact range of $\beta$ where accelerated spreading is possible. These sharp estimates are obtained by constructing subtle upper and lower solutions, based on careful analysis of the involved kernel functions.


title: A positivity-preserving high-order weighted compact nonlinear scheme for compressible gas-liquid flows

abstract: We present a robust, highly accurate, and efficient positivity- and boundedness-preserving diffuse interface method for the simulations of compressible gas-liquid two-phase flows with the five-equation model by Allaire et al. using high-order finite difference weighted compact nonlinear scheme (WCNS) in the explicit form. The equation of states of gas and liquid are given by the ideal gas and stiffened gas laws respectively. Under a mild assumption on the relative magnitude between the ratios of specific heats of the gas and liquid, we can construct limiting procedures for the fifth order incremental-stencil WCNS (WCNS-IS) with the first order Harten-Lax-van Leer contact (HLLC) flux such that positive partial densities and squared speed of sound can be ensured in the solutions, together with bounded volume fractions and mass fractions. The limiting procedures are discretely conservative for all conservative equations in the five-equation model and can also be easily extended for any other conservative finite difference or finite volume scheme. Numerical tests with liquid water and air are reported to demonstrate the robustness and high accuracy of the WCNS-IS with the positivity- and boundedness-preserving limiters even under extreme conditions.


title: Sound Event Detection Based on Curriculum Learning Considering Learning Difficulty of Events

abstract: In conventional sound event detection (SED) models, two types of events, namely, those that are present and those that do not occur in an acoustic scene, are regarded as the same type of events. The conventional SED methods cannot effectively exploit the difference between the two types of events. All time frames of sound events that do not occur in an acoustic scene are easily regarded as inactive in the scene, that is, the events are easy-to-train. The time frames of the events that are present in a scene must be classified as active in addition to inactive in the acoustic scene, that is, the events are difficult-to-train. To take advantage of the training difficulty, we apply curriculum learning into SED, where models are trained from easy- to difficult-to-train events. To utilize the curriculum learning, we propose a new objective function for SED, wherein the events are trained from easy- to difficult-to-train events. Experimental results show that the F-score of the proposed method is improved by 10.09 percentage points compared with that of the conventional binary cross entropy-based SED.


title: Bayesian Inference with Certifiable Adversarial Robustness

abstract: We consider adversarial training of deep neural networks through the lens of Bayesian learning, and present a principled framework for adversarial training of Bayesian Neural Networks (BNNs) with certifiable guarantees. We rely on techniques from constraint relaxation of non-convex optimisation problems and modify the standard cross-entropy error model to enforce posterior robustness to worst-case perturbations in $\epsilon$-balls around input points. We illustrate how the resulting framework can be combined with methods commonly employed for approximate inference of BNNs. In an empirical investigation, we demonstrate that the presented approach enables training of certifiably robust models on MNIST, FashionMNIST and CIFAR-10 and can also be beneficial for uncertainty calibration. Our method is the first to directly train certifiable BNNs, thus facilitating their deployment in safety-critical applications.


title: A First Look at COVID-19 Domain Names: Origin and Implications

abstract: This work takes a first look at domain names related to COVID-19 (Cov19doms in short), using a large-scale registered Internet domain name database, which accounts for 260M of distinct domain names registered for 1.6K of distinct top-level domains. We extracted 167K of Cov19doms that have been registered between the end of December 2019 and the end of September 2020. We attempt to answer the following research questions through our measurement study: RQ1: Is the number of Cov19doms registrations correlated with the COVID-19 outbreaks?, RQ2: For what purpose do people register Cov19doms? Our chief findings are as follows: (1) Similar to the global COVID-19 pandemic observed around April 2020, the number of Cov19doms registrations also experienced the drastic growth, which, interestingly, pre-ceded the COVID-19 pandemic by about a month, (2) 70 % of active Cov19doms websites with visible content provided useful information such as health, tools, or product sales related to COVID-19, and (3) non-negligible number of registered Cov19doms was used for malicious purposes. These findings imply that it has become more challenging to distinguish domain names registered for legitimate purposes from others and that it is crucial to pay close attention to how Cov19doms will be used/misused in the future.


title: Clusterability as an Alternative to Anchor Points When Learning with Noisy Labels

abstract: The label noise transition matrix, characterizing the probabilities of a training instance being wrongly annotated, is crucial to designing popular solutions to learning with noisy labels. Existing works heavily rely on finding "anchor points" or their approximates, defined as instances belonging to a particular class almost surely. Nonetheless, finding anchor points remains a non-trivial task, and the estimation accuracy is also often throttled by the number of available anchor points. In this paper, we propose an alternative option to the above task. Our main contribution is the discovery of an efficient estimation procedure based on a clusterability condition. We prove that with clusterable representations of features, using up to third-order consensuses of noisy labels among neighbor representations is sufficient to estimate a unique transition matrix. Compared with methods using anchor points, our approach uses substantially more instances and benefits from a much better sample complexity. We demonstrate the estimation accuracy and advantages of our estimates using both synthetic noisy labels (on CIFAR-10/100) and real human-level noisy labels (on Clothing1M and our self-collected human-annotated CIFAR-10). Our code and human-level noisy CIFAR-10 labels are available at https://github.com/UCSC-REAL/HOC.


title: Baryonic matter and the medium modification of the baryon masses

abstract: We investigate the properties of baryonic matter within the framework of the in-medium modified chiral soliton model by taking into account the effects of surrounding baryonic environment on the properties of in-medium baryons. The internal parameters of the model are determined based on nuclear phenomenology at nonstrange sector and fitted by reproducing nuclear matter properties near the saturation point. We discuss the equations of state in different nuclear environments such as symmetric nuclear matter, neutron and strange matters. We show that the results for the equations of state are in good agreement with the phenomenology of nuclear matter. We also discuss how the SU(3) baryons masses undergo changes in these various types of nuclear matter.


title: $\eta^{(\prime)}$-meson twist-2 distribution amplitude within QCD sum rule approach and its application to the semi-leptonic decay $ D_s^+ \to\eta^{(\prime)}\ell^+ \nu_\ell$

abstract: In this paper, we make a detailed discussion on the $\eta$ and $\eta'$-meson leading-twist light-cone distribution amplitude $\phi_{2;\eta^{(\prime)}}(u,\mu)$ by using QCD sum rules approach under the background field theory. Taking both the non-perturbative condensates up to dimension-six and NLO QCD corrections to the perturbative part, its first three moments $\langle\xi^n_{2;\eta^{(\prime)}}\rangle|_{\mu_0} $ with $n = (2,4,6)$ at initial scale $\mu_0 = 1$ GeV can be determined. e.g. $\langle\xi_{2;\eta}^2\rangle|_{\mu_0} =0.231_{-0.013}^{+0.010}$, $\langle\xi_{2;\eta}^4 \rangle|_{\mu_0} =0.109_{-0.007}^{+0.007}$, and $\langle\xi_{2;\eta}^6 \rangle|_{\mu_0} =0.066_{-0.006}^{+0.006}$ for $\eta$-meson, $\langle\xi_{2;\eta'}^2\rangle|_{\mu_0} =0.211_{-0.017}^{+0.015}$, $\langle\xi_{2;\eta'}^4 \rangle|_{\mu_0} =0.093_{-0.009}^{+0.009}$, and $\langle\xi_{2;\eta'}^6 \rangle|_{\mu_0} =0.054_{-0.008}^{+0.008}$ for $\eta'$-meson. Next, we calculate $D_s\to\eta^{(\prime)}$ TFFs $f^{\eta^{(\prime)}}_+(q^2)$ within QCD light-cone sum rules approach up to NLO level. The values at large recoil region are $f^{\eta}_+(0) = 0.476_{-0.036}^{+0.040}$ and $f^{\eta'}_+(0) = 0.544_{-0.042}^{+0.046}$. After extrapolating TFFs to the allowable physical regions within the series expansion, we obtain the branching fractions of the semi-leptonic decay, i.e. $D_s^+\to\eta^{(\prime)}\ell^+ \nu_\ell$, i.e. ${\cal B}(D_s^+\to\eta^{(\prime)} e^+\nu_e)=2.346_{-0.331}^{+0.418}(0.792_{-0.118}^{+0.141})\times10^{-2}$ and ${\cal B}(D_s^+\to\eta^{(\prime)} \mu^+\nu_\mu)=2.320_{-0.327}^{+0.413}(0.773_{-0.115}^{+0.138})\times10^{-2}$ for $\ell = (e, \mu)$ channels respectively. And in addition to that, the mixing angle for $\eta-\eta'$ with $\varphi$ and ratio for the different decay channels ${\cal R}_{\eta'/\eta}^\ell$ are given, which show good agreement with the recent BESIII measurements.


title: Detecting scale anomaly in chiral phase transition of QCD: new critical endpoint pinned down

abstract: Violation of scale symmetry, scale anomaly, being a radical concept in quantum field theory, is of importance to comprehend the vacuum structure of QCD, and should potentially contribute to the chiral phase transition in thermal QCD, as well as the chiral and U(1) axial symmetry. Though it should be essential, direct evidence of scale anomalies has never been observed in the chiral phase transition. We propose a methodology to detect a scale anomaly in the chiral phase transition, which is an electromagnetically induced scale anomaly: apply a weak magnetic field background onto two-flavor massless QCD with an extremely heavy strange quark, first observe the chiral crossover; second, adjusting the strange quark mass to be smaller and smaller, observe the second-order chiral phase transition, and then the first-order one in the massless-three flavor limit. Thus, the second-order chiral phase transition, observed as the evidence of the quantum scale anomaly, is a new critical endpoint. It turns out that this electromagnetic scale anomaly gets most operative in the weak magnetic field regime, rather than a strong field region. We also briefly address accessibility of lattice QCD, a prospected application to dense matter system, and implications to astrophysical observations, such as gravitational wave productions provided from thermomagnetic QCD-like theories.


title: An Efficient Pessimistic-Optimistic Algorithm for Stochastic Linear Bandits with General Constraints

abstract: This paper considers stochastic linear bandits with general nonlinear constraints. The objective is to maximize the expected cumulative reward over horizon $T$ subject to a set of constraints in each round $\tau\leq T$. We propose a pessimistic-optimistic algorithm for this problem, which is efficient in two aspects. First, the algorithm yields $\tilde{\cal O}\left(\left(\frac{K^{0.75}}{\delta}+d\right)\sqrt{\tau}\right)$ (pseudo) regret in round $\tau\leq T,$ where $K$ is the number of constraints, $d$ is the dimension of the reward feature space, and $\delta$ is a Slater's constant; and zero constraint violation in any round $\tau>\tau',$ where $\tau'$ is independent of horizon $T.$ Second, the algorithm is computationally efficient. Our algorithm is based on the primal-dual approach in optimization and includes two components. The primal component is similar to unconstrained stochastic linear bandits (our algorithm uses the linear upper confidence bound algorithm (LinUCB)). The computational complexity of the dual component depends on the number of constraints, but is independent of the sizes of the contextual space, the action space, and the feature space. Thus, the overall computational complexity of our algorithm is similar to that of the linear UCB for unconstrained stochastic linear bandits.


title: On inhomogeneous extension of Thue-Roth's type inequality with moving targets

abstract: Let $\Gamma\subset \overline{\mathbb Q}^{\times}$ be a finitely generated multiplicative group of algebraic numbers. Let $\delta, \beta\in\overline{\mathbb Q}^\times$ be algebraic numbers with $\beta$ irrational. In this paper, we prove that there exist only finitely many triples $(u, q, p)\in\Gamma\times\mathbb{Z}^2$ with $d = [\mathbb{Q}(u):\mathbb{Q}]$ such that $$ 0<|\delta qu+\beta-p|<\frac{1}{H^\varepsilon(u)q^{d+\varepsilon}}, $$ where $H(u)$ denotes the absolute Weil height. As an application of this result, we also prove a transcendence result, which states as follows: Let $\alpha>1$ be a real number. Let $\beta$ be an algebraic irrational and $\lambda$ be a non-zero real algebraic number. For a given real number $\varepsilon >0$, if there are infinitely many natural numbers $n$ for which $||\lambda\alpha^n+\beta|| < 2^{- \varepsilon n}$ holds true, then $\alpha$ is transcendental, where $||x||$ denotes the distance from its nearest integer. When $\alpha$ and $\beta$ both are algebraic satisfying same conditions, then a particular result of Kulkarni, Mavraki and Nguyen, proved in [3] asserts that $\alpha^d$ is a Pisot number. When $\beta $ is algebraic irrational, our result implies that no algebraic number $\alpha$ satisfies the inequality for infinitely many natural numbers $n$. Also, our result strengthens a result of Wagner and Ziegler [6]. The proof of our results uses the Subspace Theorem based on the idea of Corvaja and Zannier [2] together with various modification play a crucial role in the proof.


title: Using hardware performance counters to speed up autotuning convergence on GPUs

abstract: Nowadays, GPU accelerators are commonly used to speed up general-purpose computing tasks on a variety of hardware. However, due to the diversity of GPU architectures and processed data, optimization of codes for a particular type of hardware and specific data characteristics can be extremely challenging. The autotuning of performance-relevant source-code parameters allows for automatic optimization of applications and keeps their performance portable. Although the autotuning process typically results in code speed-up, searching the tuning space can bring unacceptable overhead if (i) the tuning space is vast and full of poorly-performing implementations, or (ii) the autotuning process has to be repeated frequently because of changes in processed data or migration to different hardware. In this paper, we introduce a novel method for searching tuning spaces. The method takes advantage of collecting hardware performance counters (also known as profiling counters) during empirical tuning. Those counters are used to navigate the searching process towards faster implementations. The method requires the tuning space to be sampled on any GPU. It builds a problem-specific model, which can be used during autotuning on various, even previously unseen inputs or GPUs. Using a set of five benchmarks, we experimentally demonstrate that our method can speed up autotuning when an application needs to be ported to different hardware or when it needs to process data with different characteristics. We also compared our method to state of the art and show that our method is superior in terms of the number of searching steps and typically outperforms other searches in terms of convergence time.


title: Inductive Granger Causal Modeling for Multivariate Time Series

abstract: Granger causal modeling is an emerging topic that can uncover Granger causal relationship behind multivariate time series data. In many real-world systems, it is common to encounter a large amount of multivariate time series data collected from different individuals with sharing commonalities. However, there are ongoing concerns regarding Granger causality's applicability in such large scale complex scenarios, presenting both challenges and opportunities for Granger causal structure reconstruction. Existing methods usually train a distinct model for each individual, suffering from inefficiency and over-fitting issues. To bridge this gap, we propose an Inductive GRanger cAusal modeling (InGRA) framework for inductive Granger causality learning and common causal structure detection on multivariate time series, which exploits the shared commonalities underlying the different individuals. In particular, we train one global model for individuals with different Granger causal structures through a novel attention mechanism, called prototypical Granger causal attention. The model can detect common causal structures for different individuals and infer Granger causal structures for newly arrived individuals. Extensive experiments, as well as an online A/B test on an E-commercial advertising platform, demonstrate the superior performances of InGRA.


title: Searching CUDA code autotuning spaces with hardware performance counters: data from benchmarks running on various GPU architectures

abstract: We have developed several autotuning benchmarks in CUDA that take into account performance-relevant source-code parameters and reach near peak-performance on various GPU architectures. We have used them during the development and evaluation of a novel search method for tuning space proposed in [1]. With our framework Kernel Tuning Toolkit, freely available at Github, we measured computation times and hardware performance counters on several GPUs for the complete tuning spaces of five benchmarks. These data, which we provide here, might benefit research of search algorithms for the tuning spaces of GPU codes or research of relation between applied code optimization, hardware performance counters, and GPU kernels' performance. Moreover, we describe the scripts we used for robust evaluation of our searcher and comparison to others in detail. In particular, the script that simulates the tuning, i.e., replaces time-demanding compiling and executing the tuned kernels with a quick reading of the computation time from our measured data, makes it possible to inspect the convergence of tuning search over a large number of experiments. These scripts, freely available with our other codes, make it easier to experiment with search algorithms and compare them in a robust way. During our research, we generated models for predicting values of performance counters from values of tuning parameters of our benchmarks. Here, we provide the models themselves and describe the scripts we implemented for their training. These data might benefit researchers who want to reproduce or build on our research.


title: Narrowing the mass range of Fuzzy Dark Matter with Ultra-faint Dwarfs

abstract: Fuzzy dark matter (FDM) is an attractive dark matter candidate motivated by small scale problems in astrophysics and with a rich phenomenology on those scales. We scrutinize the FDM model, more specifically the mass of the FDM particle, through a dynamical analysis for the Galactic ultra-faint dwarf (UFD) galaxies. We use a sample of 18 UFDs to place the strongest constraints to date on the mass of the FDM particle, updating on previous bounds using a subset of the sample used here. We find that most of the sample UFDs prefer a FDM particle mass heavier than $10^{-21}\mathrm{eV}$. In particular, Segue 1 provides the strongest constraint, with $m_\psi=1.1^{+8.3}_{-0.7}\times10^{-19}\mathrm{eV}$. The constraints found here are the first that are compatible with various other independent cosmological and astrophysical bounds found in the literature, in particular with the latest bounds using the Lyman-$\alpha$ forest. We also find that the constraints obtained in this work are not compatible with the bounds from luminous dwarf galaxies, as already pointed out in the previous work using UFDs. This could indicate that although a viable dark matter model, it might be challenging for the FDM model to solve the small scale problems.


title: Parallel Minimum Cuts in $O(m \log^2(n))$ Work and Low Depth

abstract: We present a randomized $O(m \log^2 n)$ work, $O(\text{polylog } n)$ depth parallel algorithm for minimum cut. This algorithm matches the work bounds of a recent sequential algorithm by Gawrychowski, Mozes, and Weimann [ICALP'20], and improves on the previously best parallel algorithm by Geissmann and Gianinazzi [SPAA'18], which performs $O(m \log^4 n)$ work in $O(\text{polylog } n)$ depth. Our algorithm makes use of three components that might be of independent interest. Firstly, we design a parallel data structure that efficiently supports batched mixed queries and updates on trees. It generalizes and improves the work bounds of a previous data structure of Geissmann and Gianinazzi and is work efficient with respect to the best sequential algorithm. Secondly, we design a parallel algorithm for approximate minimum cut that improves on previous results by Karger and Motwani. We use this algorithm to give a work-efficient procedure to produce a tree packing, as in Karger's sequential algorithm for minimum cuts. Lastly, we design an efficient parallel algorithm for solving the minimum $2$-respecting cut problem.


title: RCC calculation of electric dipole polarizability and correlation energy of Cn, Nh$^+$ and Og: Correlation effects from lighter to superheavy elements

abstract: We employ a fully relativistic coupled-cluster theory to calculate the ground-state electric dipole polarizability and electron correlation energy of superheavy elements Cn, Nh$^+$ and Og. To assess the trend of electron correlation as function of $Z$, we also calculate the correlation energies for three lighter homologs--Zn, Cd and Hg; Ga$^+$, In$^+$ and Tl$^+$; Kr, Xe and Rn--for each superheavy elements. The relativistic effects and quantum electrodynamical corrections are included using the Dirac-Coulomb-Breit Hamiltonian with the corrections from the Uehling potential and the self-energy. The effects of triple excitations are considered perturbatively in the theory. Furthermore, large bases are used to test the convergence of results. Our recommended values of polarizability are in good agreement with previous theoretical results for all SHEs. From our calculations we find that the dominant contribution to polarizability is from the valence electrons in all superheavy elements. Except for Cn and Og, we observe a decreasing contribution from lighter to superheavy elements from the Breit interaction. For the corrections from the vacuum polarization and self-energy, we observe a trend of increasing contributions with $Z$. From energy calculations, we find that the second-order many-body perturbation theory overestimates the electron correlation energy for all the elements considered in this work.


title: Heuristic Strategies for Solving Complex Interacting Stockpile Blending Problem with Chance Constraints

abstract: Heuristic algorithms have shown a good ability to solve a variety of optimization problems. Stockpile blending problem as an important component of the mine scheduling problem is an optimization problem with continuous search space containing uncertainty in the geologic input data. The objective of the optimization process is to maximize the total volume of materials of the operation and subject to resource capacities, chemical processes, and customer requirements. In this paper, we consider the uncertainty in material grades and introduce chance constraints that are used to ensure the constraints with high confidence. To address the stockpile blending problem with chance constraints, we propose a differential evolution algorithm combining two repair operators that are used to tackle the two complex constraints. In the experiment section, we compare the performance of the approach with the deterministic model and stochastic models by considering different chance constraints and evaluate the effectiveness of different chance constraints.


title: A Theory of Rectangularly Dualizable Graphs

abstract: A plane graph is called a rectangular graph if each of its edges can be oriented either horizontally or vertically, each of its interior regions is a four-sided region and all interior regions can be fitted in a rectangular enclosure. Only planar graphs can be dualized. If the dual of a plane graph is a rectangular graph, then the plane graph is a rectangularly dualizable graph. In 1985, Ko\'zmi\'nski and Kinnen presented a necessary and sufficient condition for the existence of a rectangularly dualizable graph for a separable connected plane graph. In this paper, we present a counter example for which the conditions given by them for separable connected plane graphs fail and hence, we derive a necessary and sufficient condition for a plane graph to be a rectangularly dualizable graph.


title: Cloud Parameterizations and their Effect on Retrievals of Exoplanet Reflection Spectroscopy

abstract: Future space-based direct imaging missions will perform low-resolution (R$<$100) optical (0.3-1~$\mu$m) spectroscopy of planets, thus enabling reflected spectroscopy of cool giants. Reflected light spectroscopy is encoded with rich information about the scattering and absorbing properties of planet atmospheres. Given the diversity of clouds and hazes expected in exoplanets, it is imperative we solidify the methodology to accurately and precisely retrieve these scattering and absorbing properties that are agnostic to cloud species. In particular, we focus on determining how different cloud parameterizations affect resultant inferences of both cloud and atmospheric composition. We simulate mock observations of the reflected spectra from three top priority direct imaging cool giant targets with different effective temperatures, ranging from 135 K to 533 K. We perform retrievals of cloud structure and molecular abundances on these three planets using four different parameterizations, each with increasing levels of cloud complexity. We find that the retrieved atmospheric and scattering properties strongly depend on the choice of cloud parameterization. For example, parameterizations that are too simplistic tend to overestimate the abundances. Overall, we are unable to retrieve precise/accurate gravity beyond $\pm$50\%. Lastly, we find that even low SNR=5, low R=40 reflected light spectroscopy gives cursory zeroth order insights into cloud deck position relative to molecular and Rayleigh optical depth level.


title: Differential Entropy Rate Characterisations of Long Range Dependent Processes

abstract: A quantity of interest to characterise continuous-valued stochastic processes is the differential entropy rate. The rate of convergence of many properties of LRD processes is slower than might be expected, based on the intuition for conventional processes, e.g. Markov processes. Is this also true of the entropy rate? In this paper we consider the properties of the differential entropy rate of stochastic processes that have an autocorrelation function that decays as a power law. We show that power law decaying processes with similar autocorrelation and spectral density functions, Fractional Gaussian Noise and ARFIMA(0,d,0), have different entropic properties, particularly for negatively correlated parameterisations. Then we provide an equivalence between the mutual information between past and future and the differential excess entropy for stationary Gaussian processes, showing the finiteness of this quantity is the boundary between long and short range dependence. Finally, we analyse the convergence of the conditional entropy to the differential entropy rate and show that for short range dependence that the rate of convergence is of the order $O(n^{-1})$, but it is slower for long range dependent processes and depends on the Hurst parameter.


title: Global jump filters and realized volatility

abstract: For a semimartingale with jumps, we propose a new estimation method for integrated volatility, i.e., the quadratic variation of the continuous martingale part, based on the global jump filter proposed by Inatsugu and Yoshida [8]. To decide whether each increment of the process has jumps, the global jump filter adopts the upper $\alpha$-quantile of the absolute increments as the threshold. This jump filter is called global since it uses all the observations to classify one increment. We give a rate of convergence and prove asymptotic mixed normality of the global realized volatility and its variant "Winsorized global volatility". By simulation studies, we show that our estimators outperform previous realized volatility estimators that use a few adjacent increments to mitigate the effects of jumps.


title: Explaining Inference Queries with Bayesian Optimization

abstract: Obtaining an explanation for an SQL query result can enrich the analysis experience, reveal data errors, and provide deeper insight into the data. Inference query explanation seeks to explain unexpected aggregate query results on inference data; such queries are challenging to explain because an explanation may need to be derived from the source, training, or inference data in an ML pipeline. In this paper, we model an objective function as a black-box function and propose BOExplain, a novel framework for explaining inference queries using Bayesian optimization (BO). An explanation is a predicate defining the input tuples that should be removed so that the query result of interest is significantly affected. BO - a technique for finding the global optimum of a black-box function - is used to find the best predicate. We develop two new techniques (individual contribution encoding and warm start) to handle categorical variables. We perform experiments showing that the predicates found by BOExplain have a higher degree of explanation compared to those found by the state-of-the-art query explanation engines. We also show that BOExplain is effective at deriving explanations for inference queries from source and training data on a variety of real-world datasets. BOExplain is open-sourced as a Python package at https://github.com/sfu-db/BOExplain.


title: Singlino-dominated dark matter in $Z_3$-NMSSM

abstract: Singlino-dominated dark matter properties are investigated in the $Z_3$ Next-to-Minimal Supersymmetric Standard Model, producing superweak interactions with nucleons involved in dark matter direct detection experiments. Approximate analytical formulas describing the dark matter abundance and cross section in the scattering with nucleons are used to illustrate a dependence on theoretical parameters in neutralino and Higgs sectors. It is shown that the measured abundance requires a sizable singlet--doublet Higgs coupling parameter $\lambda$, while the experimental detection results prefer a small $\lambda$. The parameter space is then surveyed using a nest sampling technique guided by a likelihood function containing various observables in dark matter, Higgs, and B physics, such as the abundance and the scattering cross section. It is demonstrated that dark matter can achieve the correct abundance through $\tilde{\chi}_1^0 \tilde{\chi}_1^0 \to t \bar{t}$ or co-annihilation with higgsinos. The former process provides significantly larger Bayesian evidence than the latter, but this will be examined by the near-future PandaX-4T experiment. If the experiment shows no signs of dark matter, it will become highly disfavored. Furthermore, four cases are summarized to suppress dark matter scattering with nucleons, namely, a small $\lambda$ and three kinds of cancellation between different contributions.


title: Controlled Experimentation in Continuous Experimentation: Knowledge and Challenges

abstract: Context: Continuous experimentation and A/B testing is an established industry practice that has been researched for more than 10 years. Our aim is to synthesize the conducted research. Objective: We wanted to find the core constituents of a framework for continuous experimentation and the solutions that are applied within the field. Finally, we were interested in the challenges and benefits reported of continuous experimentation. Method: We applied forward snowballing on a known set of papers and identified a total of 128 relevant papers. Based on this set of papers we performed two qualitative narrative syntheses and a thematic synthesis to answer the research questions. Results: The framework constituents for continuous experimentation include experimentation processes as well as supportive technical and organizational infrastructure. The solutions found in the literature were synthesized to nine themes, e.g. experiment design, automated experiments, or metric specification. Concerning the challenges of continuous experimentation, the analysis identified cultural, organizational, business, technical, statistical, ethical, and domain-specific challenges. Further, the study concludes that the benefits of experimentation are mostly implicit in the studies. Conclusions: The research on continuous experimentation has yielded a large body of knowledge on experimentation. The synthesis of published research presented within include recommended infrastructure and experimentation process models, guidelines to mitigate the identified challenges, and what problems the various published solutions solve.


title: CIFS: Improving Adversarial Robustness of CNNs via Channel-wise Importance-based Feature Selection

abstract: We investigate the adversarial robustness of CNNs from the perspective of channel-wise activations. By comparing \textit{non-robust} (normally trained) and \textit{robustified} (adversarially trained) models, we observe that adversarial training (AT) robustifies CNNs by aligning the channel-wise activations of adversarial data with those of their natural counterparts. However, the channels that are \textit{negatively-relevant} (NR) to predictions are still over-activated when processing adversarial data. Besides, we also observe that AT does not result in similar robustness for all classes. For the robust classes, channels with larger activation magnitudes are usually more \textit{positively-relevant} (PR) to predictions, but this alignment does not hold for the non-robust classes. Given these observations, we hypothesize that suppressing NR channels and aligning PR ones with their relevances further enhances the robustness of CNNs under AT. To examine this hypothesis, we introduce a novel mechanism, i.e., \underline{C}hannel-wise \underline{I}mportance-based \underline{F}eature \underline{S}election (CIFS). The CIFS manipulates channels' activations of certain layers by generating non-negative multipliers to these channels based on their relevances to predictions. Extensive experiments on benchmark datasets including CIFAR10 and SVHN clearly verify the hypothesis and CIFS's effectiveness of robustifying CNNs. \url{https://github.com/HanshuYAN/CIFS}


title: Improved Algorithms for Efficient Active Learning Halfspaces with Massart and Tsybakov noise

abstract: We give a computationally-efficient PAC active learning algorithm for $d$-dimensional homogeneous halfspaces that can tolerate Massart noise (Massart and N\'ed\'elec, 2006) and Tsybakov noise (Tsybakov, 2004). Specialized to the $\eta$-Massart noise setting, our algorithm achieves an information-theoretically near-optimal label complexity of $\tilde{O}\left( \frac{d}{(1-2\eta)^2} \mathrm{polylog}(\frac1\epsilon) \right)$ under a wide range of unlabeled data distributions (specifically, the family of "structured distributions" defined in Diakonikolas et al. (2020)). Under the more challenging Tsybakov noise condition, we identify two subfamilies of noise conditions, under which our efficient algorithm provides label complexity guarantees strictly lower than passive learning algorithms.


title: Conditional Loss and Deep Euler Scheme for Time Series Generation

abstract: We introduce three new generative models for time series that are based on Euler discretization of Stochastic Differential Equations (SDEs) and Wasserstein metrics. Two of these methods rely on the adaptation of generative adversarial networks (GANs) to time series. The third algorithm, called Conditional Euler Generator (CEGEN), minimizes a dedicated distance between the transition probability distributions over all time steps. In the context of Ito processes, we provide theoretical guarantees that minimizing this criterion implies accurate estimations of the drift and volatility parameters. We demonstrate empirically that CEGEN outperforms state-of-the-art and GAN generators on both marginal and temporal dynamics metrics. Besides, it identifies accurate correlation structures in high dimension. When few data points are available, we verify the effectiveness of CEGEN, when combined with transfer learning methods on Monte Carlo simulations. Finally, we illustrate the robustness of our method on various real-world datasets.


title: Forecasting Nonnegative Time Series via Sliding Mask Method (SMM) and Latent Clustered Forecast (LCF)

abstract: We consider nonnegative time series forecasting framework. Based on recent advances in Nonnegative Matrix Factorization (NMF) and Archetypal Analysis, we introduce two procedures referred to as Sliding Mask Method (SMM) and Latent Clustered Forecast (LCF). SMM is a simple and powerful method based on time window prediction using Completion of Nonnegative Matrices. This new procedure combines low nonnegative rank decomposition and matrix completion where the hidden values are to be forecasted. LCF is two stage: it leverages archetypal analysis for dimension reduction and clustering of time series, then it uses any black-box supervised forecast solver on the clustered latent representation. Theoretical guarantees on uniqueness and robustness of the solution of NMF Completion-type problems are also provided for the first time. Finally, numerical experiments on real-world and synthetic data-set confirms forecasting accuracy for both the methodologies.


title: Magneto-electric Tuning of Pinning-Type Permanent Magnets through Atomic-Scale Engineering of Grain Boundaries

abstract: Pinning-type magnets maintaining high coercivity, i.e. the ability to sustain magnetization, at high temperature are at the core of thriving clean-energy technologies. Among these, Sm2Co17-based magnets are excellent candidates owing to their high-temperature stability. However, despite decades of efforts to optimize the intragranular microstructure, the coercivity currently only reaches 20~30% of the theoretical limits. Here, the roles of the grain-interior nanostructure and the grain boundaries in controlling coercivity are disentangled by an emerging magneto-electric approach. Through hydrogen charging/discharging by applying voltages of only ~ 1 V, the coercivity is reversibly tuned by an unprecedented value of ~ 1.3 T. In situ magneto-structural measurements and atomic-scale tracking of hydrogen atoms reveal that the segregation of hydrogen atoms at the grain boundaries, rather than the change of the crystal structure, dominates the reversible and substantial change of coercivity. Hydrogen lowers the local magnetocrystalline anisotropy and facilitates the magnetization reversal starting from the grain boundaries. Our study reveals the previously neglected critical role of grain boundaries in the conventional magnetisation-switching paradigm, suggesting a critical reconsideration of strategies to overcome the coercivity limits in permanent magnets, via for instance atomic-scale grain boundary engineering.


title: Evidence of damage in carbon fibre composite tiles joined to a metallic heat sink under high heat flux fatigue

abstract: The two years experience with Active Metal Casting flat bonds shows that this technology is suitable for the heat fluxes expected in Tore Supra (10 MW/m${}^2$). Tests were pursued up to 3330 cycles, with elements still functional. At higher heat fluxes, fatigue damage is observed, but the bond resists remarkably well with no tile detachment. Examination of such deliberately damaged bonds showed distributed cracking, proving the absence of any weak link. The limitations to those higher heat fluxes are more related to the design and the base materials than to the bond itself.


title: Singlino-dominated dark matter in general NMSSM

abstract: The general Next-to-Minimal Supersymmetric Standard Model (NMSSM) describes the singlino-dominated dark-matter (DM) property by four independent parameters: singlet-doublet Higgs coupling coefficient $\lambda$, Higgsino mass $\mu_{tot}$, DM mass $m_{\tilde{\chi}_1^0}$, and singlet Higgs self-coupling coefficient $\kappa$. The first three parameters strongly influence the DM-nucleon scattering rate, while $\kappa$ usually affects the scattering only slightly. This characteristic implies that singlet-dominated particles may form a secluded DM sector. Under such a theoretical structure, the DM achieves the correct abundance by annihilating into a pair of singlet-dominated Higgs bosons by adjusting $\kappa$'s value. Its scattering with nucleons is suppressed when $\lambda v/\mu_{tot}$ is small. This speculation is verified by sophisticated scanning of the theory's parameter space with various experiment constraints considered. In addition, the Bayesian evidence of the general NMSSM and that of $Z_3$-NMSSM is computed. It is found that, at the cost of introducing one additional parameter, the former is approximately $3.3 \times 10^3$ times the latter. This result corresponds to Jeffrey's scale of 8.05 and implies that the considered experiments strongly prefer the general NMSSM to the $Z_3$-NMSSM.


title: A physics and learning-based transmission-less attenuation compensation method for SPECT

abstract: Attenuation compensation (AC) is a pre-requisite for reliable quantification and beneficial for visual interpretation tasks in single-photon emission computed tomography (SPECT). Typical AC methods require the availability of an attenuation map obtained using a transmission scan, such as a CT scan. This has several disadvantages such as increased radiation dose, higher costs, and possible misalignment between SPECT and CT scans. Also, often a CT scan is unavailable. In this context, we and others are showing that scattered photons in SPECT contain information to estimate the attenuation distribution. To exploit this observation, we propose a physics and learning-based method that uses the SPECT emission data in the photopeak and scatter windows to perform transmission-less AC in SPECT. The proposed method uses data acquired in the scatter window to reconstruct an initial estimate of the attenuation map using a physics-based approach. A convolutional neural network is then trained to segment this initial estimate into different regions. Pre-defined attenuation coefficients are assigned to these regions, yielding the reconstructed attenuation map, which is then used to reconstruct the activity map using an ordered subsets expectation maximization-based reconstruction approach. We objectively evaluated the performance of this method using a highly realistic simulation study conducted on the clinically relevant task of detecting perfusion defects in myocardial perfusion SPECT. Our results showed no statistically significant differences between the performance achieved using the proposed method and that with the true attenuation maps. Visually, the images reconstructed using the proposed method looked similar to those with the true attenuation map. Overall, these results provide evidence of the capability of the proposed method to perform transmission-less AC and motivate further evaluation.


title: Orbital order in a bosonic $p$-band triangular lattice

abstract: We present a detailed study of the Bose-Hubbard model in a $p$-band triangular lattice by focusing on the evolution of orbital order across the superfluid-Mott insulator transition. Two distinct phases are found in the superfluid regime. One of these phases adiabatically connects the weak interacting limit. This phase is characterized by the intertwining of axial $p_\pm=p_x \pm ip_y$ and in-plane $p_\theta=\cos\theta p_x+\sin\theta p_y$ orbital orders, which break the time-reversal symmetry and lattice symmetries simultaneously. In addition, the calculated Bogoliubov excitation spectrum gaps the original Dirac points in the single-particle spectrum but exhibits emergent Dirac points. The other superfluid phase in close proximity to the Mott insulator with unit boson filling shows a detwined in-plane ferro-orbital order. Finally, an orbital exchange model is constructed for the Mott insulator phase. Its classical ground state has an emergent SO$(2)$ rotational symmetry in the in-plane orbital space and therefore enjoys an infinite degeneracy, which is ultimately lifted by the orbital fluctuation via the order by disorder mechanism. Our systematic analysis suggests that the in-plane ferro-orbital order in the Mott insulator phase agrees with and likely evolves from the latter superfluid phase.


title: An Adaptive Stochastic Sequential Quadratic Programming with Differentiable Exact Augmented Lagrangians

abstract: We consider solving nonlinear optimization problems with a stochastic objective and deterministic equality constraints. We assume for the objective that its evaluation, gradient, and Hessian are inaccessible, while one can compute their stochastic estimates by, for example, subsampling. We propose a stochastic algorithm based on sequential quadratic programming (SQP) that uses a differentiable exact augmented Lagrangian as the merit function. To motivate our algorithm design, we first revisit and simplify an old SQP method \citep{Lucidi1990Recursive} developed for solving deterministic problems, which serves as the skeleton of our stochastic algorithm. Based on the simplified deterministic algorithm, we then propose a non-adaptive SQP for dealing with stochastic objective, where the gradient and Hessian are replaced by stochastic estimates but the stepsizes are deterministic and prespecified. Finally, we incorporate a recent stochastic line search procedure \citep{Paquette2020Stochastic} into the non-adaptive stochastic SQP to adaptively select the random stepsizes, which leads to an adaptive stochastic SQP. The global "almost sure" convergence for both non-adaptive and adaptive SQP methods is established. Numerical experiments on nonlinear problems in CUTEst test set demonstrate the superiority of the adaptive algorithm.


title: Enabling Multi-programming Mechanism for Quantum Computing in the NISQ Era

abstract: NISQ devices have several physical limitations and unavoidable noisy quantum operations, and only small circuits can be executed on a quantum machine to get reliable results. This leads to the quantum hardware under-utilization issue. Here, we address this problem and improve the quantum hardware throughput by proposing a Quantum Multi-programming Compiler (QuMC) to execute multiple quantum circuits on quantum hardware simultaneously. This approach can also reduce the total runtime of circuits. We first introduce a parallelism manager to select an appropriate number of circuits to be executed at the same time. Second, we present two different qubit partitioning algorithms to allocate reliable partitions to multiple circuits - a greedy and a heuristic. Third, we use the Simultaneous Randomized Benchmarking protocol to characterize the crosstalk properties and consider them in the qubit partition process to avoid the crosstalk effect during simultaneous executions. Finally, we enhance the mapping transition algorithm to make circuits executable on hardware using a decreased number of inserted gates. We demonstrate the performance of our QuMC approach by executing circuits of different sizes on IBM quantum hardware simultaneously. We also investigate this method on VQE algorithm to reduce its overhead.


title: Anisotropic Confinement of Chromophores Induces Second-Order Nonlinear Optics in a Nanoporous Photonic Metamaterial

abstract: Second-order nonlinear optics is the base for a large variety of devices aimed at the active manipulation of light. However, physical principles restrict its occurrence to non-centrosymmetric, anisotropic matter. This significantly limits the number of base materials exhibiting nonlinear optics. Here, we show that embedding chromophores in an array of conical channels 13 nm across in monolithic silica results in mesoscopic anisotropic matter and thus in a hybrid material showing second-harmonic generation (SHG). This non-linear optics is compared to the one achieved in corona-poled polymer films containing the identical chromophores. It originates in confinement-induced orientational order of the elongated guest molecules in the nanochannels. This leads to a non-centrosymmetric dipolar order and hence to a non-linear light-matter interaction on the sub-wavelength, single-pore scale. Our study demonstrates that the advent of large-scale, self-organised nanoporosity in monolithic solids along with confinement-controllable orientational order of chromophores at the single-pore scale provides a reliable and accessible tool to design materials with a nonlinear meta-optics.

categories: physics.optics cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.chem-ph


title: Improving the accuracy of the energy estimation by combining quantum annealing with classical computation

abstract: Quantum chemistry calculations are important applications of quantum annealing. For practical applications in quantum chemistry, it is essential to estimate a ground state energy of the Hamiltonian with chemical accuracy. However, there are no known methods to guarantee the accuracy of the estimation of the energy calculated by quantum annealing. Here, we propose a way to improve the accuracy of the estimate of the ground state energy by combining quantum annealing with classical computation. In our scheme, before running the QA, we need a pre-estimation of the energies of the ground state and first excited state with some error bars (corresponding to possible estimation error) by performing classical computation with some approximations. We show that, if an expectation value and variance of the energy of the state after the QA are smaller than certain threshold values (that we can calculate from the pre-estimation), the QA provides us with a better estimate of the ground state energy than that of the pre-estimation. Since the expectation value and variance of the energy can be experimentally measurable by the QA, our results pave the way for accurate estimation of the ground state energy with the QA.


title: On FGLM Algorithms with Tate Algebras

abstract: Tate introduced in [Ta71] the notion of Tate algebras to serve, in the context of analytic geometry over the-adics, as a counterpart of polynomial algebras in classical algebraic geometry. In [CVV19, CVV20] the formalism of Gr{\"o}bner bases over Tate algebras has been introduced and advanced signature-based algorithms have been proposed. In the present article, we extend the FGLM algorithm of [FGLM93] to Tate algebras. Beyond allowing for fast change of ordering, this strategy has two other important benefits. First, it provides an efficient algorithm for changing the radii of convergence which, in particular, makes effective the bridge between the polynomial setting and the Tate setting and may help in speeding up the computation of Gr{\"o}bner basis over Tate algebras. Second, it gives the foundations for designing a fast algorithm for interreduction, which could serve as basic primitive in our previous algorithms and accelerate them significantly.


title: Nanocrystalline equiatomic CoCrFeNi alloy thin films: Are they single phase fcc?

abstract: The bulk quaternary equiatomic CoCrFeNi alloy is studied extensively in literature. Under experimental conditions, it shows a single-phase fcc structure and its physical and mechanical properties are similar to those of the quinary equiatomic CoCrFeMnNi alloy. Many studies in literature have focused on the mechanical properties of bulk nanocrystalline high entropy alloys or compositionally complex alloys, and their microstructure evolution upon annealing. The thin film processing route offers an excellent alternative to form nanocrystalline alloys. Due to the high nucleation rate and high density of defects in thin films synthesized by sputtering, the kinetics of microstructure evolution is often accelerated compared to those taking place in the bulk. Here, thin films are used to study the phase evolution in nanocrystalline CoCrFeNi deposited on Si/SiO 2 and c-sapphire substrates by magnetron cosputtering from elemental sources. The phases and microstructure of the films are discussed in comparison to the bulk alloy. The main conclusion is that second phases can form even at room temperature provided there are sufficient nucleation sites.


title: Evaluation of the Penetration Process of Fluorescent Collagenase Nanocapsules in a 3D Collagen Gel

abstract: One of the major limitations of nanomedicine is the scarce penetration of nanoparticles in tumoral tissues. These constrains have been tried to be solved by different strategies, such as the employ of polyethyleneglycol (PEG) to avoid the opsonization or reducing the extracellular matrix (ECM) density. Our research group has developed some strategies to overcome these limitations such as the employ of pH-sensitive collagenase nanocapsules for the digestion of the collagen-rich extracellular matrix present in most of tumoral tissues. However, a deeper understanding of physicochemical kinetics involved in the nanocapsules degradation process is needed to understand the nanocapsule framework degradation process produced during the penetration in the tissue. For this, in this work it has been employed a double-fluorescent labelling strategy of the polymeric enzyme nanocapsule as a crucial chemical tool which allowed the analysis of nanocapsules and free collagenase during the diffusion process throughout a tumour-like collagen matrix. This extrinsic label strategy provides far greater advantages for observing biological processes. For the detection of enzyme, collagenase has been labelled with fluorescein Isothiocyanate (FITC), whereas the nanocapsule surface was labelled with rhodamine Isothiocyanate (RITC). Thus, it has been possible to monitor the hydrolysis of nanocapsules and their diffusion throughout a thick 3D Collagen gel during the time, obtaining a detailed temporal evaluation of the pH-sensitive collagenase nanocapsule behaviour. These collagenase nanocapsules displayed a high enzymatic activity in low concentrations at acidic pH, and their efficiency to penetrate into tissue models pave the way to a wide range of possible nanomedical applications, especially in cancer therapy.


title: Large-scale GHZ states through topologically protected zero-energy mode in a superconducting qutrit-resonator chain

abstract: We propose a superconducting qutrit-resonator chain model, and analytically work out forms of its topological edge states. The existence of the zero-energy mode enables to generate a state transfer between two ends of the chain, accompanied with state flips of all intermediate qutrits, based on which $N$-body Greenberger-Horne-Zeilinger (GHZ) states can be generated with great robustness against disorders of coupling strengths. Three schemes of generating large-scale GHZ states are designed, each of which possesses the robustness against loss of qutrits or of resonators, meeting a certain performance requirement of different experimental devices. With experimentally feasible qutrit-resonator coupling strengths and available coherence times of qutrits and resonators, it has a potential to generate large-scale GHZ states among dozens of qutrits with a high fidelity. Further, we show the experimental consideration of generating GHZ states based on the circuit QED system, and discuss the prospect of realizing fast GHZ states.


title: On minimal kernels and Levi currents on weakly complete complex manifolds

abstract: A complex manifold $X$ is \emph{weakly complete} if it admits a continuous plurisubharmonic exhaustion function $\phi$. The minimal kernels $\Sigma_X^k, k \in [0,\infty]$ (the loci where are all $\mathcal{C}^k$ plurisubharmonic exhaustion functions fail to be strictly plurisubharmonic),introduced by Slodkowski-Tomassini, and the Levi currents, introduced by Sibony, are both concepts aimed at measuring how far $X$ is from being Stein. We compare these notions, prove that all Levi currents are supported by all the $\Sigma_X^k$'s, and give sufficient conditions for points in $\Sigma_X^k$ to be in the support of some Levi current. When $X$ is a surface and $\phi$ can be chosen analytic, building on previous work by the second author, Slodkowski, and Tomassini,we prove the existence of a Levi current precisely supported on $\Sigma_X^\infty$, and give a classification of Levi currents on $X$. In particular,unless $X$ is a modification of a Stein space, every point in $X$ is in the support of some Levi current.


title: Currents and K-functions for Fiber Point Processes

abstract: Analysis of images of sets of fibers such as myelin sheaths or skeletal muscles must account for both the spatial distribution of fibers and differences in fiber shape. This necessitates a combination of point process and shape analysis methodology. In this paper, we develop a K-function for shape-valued point processes by embedding shapes as currents, thus equipping the point process domain with metric structure inherited from a reproducing kernel Hilbert space. We extend Ripley's K-function which measures deviations from spatial homogeneity of point processes to fiber data. The paper provides a theoretical account of the statistical foundation of the K-function and its extension to fiber data, and we test the developed K-function on simulated as well as real data sets. This includes a fiber data set consisting of myelin sheaths, visualizing the spatial and fiber shape behavior of myelin configurations at different debts.