title: Few-shot Medical Image Segmentation using a Global Correlation Network with Discriminative Embedding

abstract: Despite deep convolutional neural networks achieved impressive progress in medical image computing and analysis, its paradigm of supervised learning demands a large number of annotations for training to avoid overfitting and achieving promising results. In clinical practices, massive semantic annotations are difficult to acquire in some conditions where specialized biomedical expert knowledge is required, and it is also a common condition where only few annotated classes are available. In this work, we proposed a novel method for few-shot medical image segmentation, which enables a segmentation model to fast generalize to an unseen class with few training images. We construct our few-shot image segmentor using a deep convolutional network trained episodically. Motivated by the spatial consistency and regularity in medical images, we developed an efficient global correlation module to capture the correlation between a support and query image and incorporate it into the deep network called global correlation network. Moreover, we enhance discriminability of deep embedding to encourage clustering of the feature domains of the same class while keep the feature domains of different organs far apart. Ablation Study proved the effectiveness of the proposed global correlation module and discriminative embedding loss. Extensive experiments on anatomical abdomen images on both CT and MRI modalities are performed to demonstrate the state-of-the-art performance of our proposed model.


title: Proof of Volume Conjecture for twist knots

abstract: We prove the volume conjecture for any twist knots by using an equivalence relation, complex analysis, analytic continuation, and function of several complex variables on the basis of colored Jones polynomials.


title: Bipartite Graph Embedding via Mutual Information Maximization

abstract: Bipartite graph embedding has recently attracted much attention due to the fact that bipartite graphs are widely used in various application domains. Most previous methods, which adopt random walk-based or reconstruction-based objectives, are typically effective to learn local graph structures. However, the global properties of bipartite graph, including community structures of homogeneous nodes and long-range dependencies of heterogeneous nodes, are not well preserved. In this paper, we propose a bipartite graph embedding called BiGI to capture such global properties by introducing a novel local-global infomax objective. Specifically, BiGI first generates a global representation which is composed of two prototype representations. BiGI then encodes sampled edges as local representations via the proposed subgraph-level attention mechanism. Through maximizing the mutual information between local and global representations, BiGI enables nodes in bipartite graph to be globally relevant. Our model is evaluated on various benchmark datasets for the tasks of top-K recommendation and link prediction. Extensive experiments demonstrate that BiGI achieves consistent and significant improvements over state-of-the-art baselines. Detailed analyses verify the high effectiveness of modeling the global properties of bipartite graph.


title: Inducing and controlling superconductivity in Hubbard honeycomb model using an electromagnetic drive

abstract: The recent successful experimental observation of quantum anomalous Hall effect in graphene under laser irradiation demonstrates the feasibility of controlling single particle band structure by lasers. Here we study superconductivity in a Hubbard honeycomb model in the presence of an electromagnetic drive. We start with Hubbard honeycomb model in the presence of an electromagnetic field drive, both circularly and linearly polarized light and map it onto a Floquet $t$-$J$ model. We explore conditions on the drive under which one can induce superconductivity (SC) in the system. We study the Floquet $t$-$J$ model within the mean-field theory in the singlet pairing channel and explore superconductivity for small doping in the system using the Bogoliubov-de Gennes approach. We uncover several superconducting phases, which break lattice or time reversal symmetries in addition to the standard $U(1)$ symmetry. We show that the unconventional chiral SC order parameter ($d \pm id$) can be driven to a nematic SC order parameter ($s+d$) in the presence of a circularly polarized light. The $d+id$ SC order parameter breaks time reversal symmetry and is topologically nontrivial, and supports chiral edge modes. We further show that the three-fold nematic degeneracy can be lifted using linearly polarized light. Our work, therefore, provides a generic framework for inducing and controlling SC in the Hubbard honeycomb model, with possible application to graphene and other two-dimensional materials.


title: A Framework for Generating Annotated Social Media Corpora with Demographics, Stance, Civility, and Topicality

abstract: In this paper we introduce a framework for annotating a social media text corpora for various categories. Since, social media data is generated via individuals, it is important to annotate the text for the individuals demographic attributes to enable a socio-technical analysis of the corpora. Furthermore, when analyzing a large data-set we can often annotate a small sample of data and then train a prediction model using this sample to annotate the full data for the relevant categories. We use a case study of a Facebook comment corpora on student loan discussion which was annotated for gender, military affiliation, age-group, political leaning, race, stance, topicalilty, neoliberlistic views and civility of the comment. We release three datasets of Facebook comments for further research at: https://github.com/socialmediaie/StudentDebtFbComments


title: Decay and renormalization of a longitudinal mode in a quasi-two-dimensional antiferromagnet

abstract: An ongoing challenge in the study of quantum materials, is to reveal and explain collective quantum effects in spin systems where interactions between different modes types are important. Here we approach this problem through a combined experimental and theoretical study of interacting transverse and longitudinal modes in an easy-plane quantum magnet near a continuous quantum phase transition. Our inelastic neutron scattering measurements of Ba$_{2}$FeSi$_{2}O$_{7}$ reveal the emergence, decay, and renormalization of a longitudinal mode throughout the Brillouin zone. The decay of the longitudinal mode is particularly pronounced at the zone center. To account for the many-body effects of the interacting low-energy modes in anisotropic magnets, we generalize the standard spin-wave theory. The measured mode decay and renormalization is reproduced by including all one-loop corrections. The theoretical framework developed here is broadly applicable to quantum magnets with more than one type of low energy mode.


title: Visual Perception Generalization for Vision-and-Language Navigation via Meta-Learning

abstract: Vision-and-language navigation (VLN) is a challenging task that requires an agent to navigate in real-world environments by understanding natural language instructions and visual information received in real-time. Prior works have implemented VLN tasks on continuous environments or physical robots, all of which use a fixed camera configuration due to the limitations of datasets, such as 1.5 meters height, 90 degrees horizontal field of view (HFOV), etc. However, real-life robots with different purposes have multiple camera configurations, and the huge gap in visual information makes it difficult to directly transfer the learned navigation model between various robots. In this paper, we propose a visual perception generalization strategy based on meta-learning, which enables the agent to fast adapt to a new camera configuration with a few shots. In the training phase, we first locate the generalization problem to the visual perception module, and then compare two meta-learning algorithms for better generalization in seen and unseen environments. One of them uses the Model-Agnostic Meta-Learning (MAML) algorithm that requires a few shot adaptation, and the other refers to a metric-based meta-learning method with a feature-wise affine transformation layer. The experiment results show that our strategy successfully adapts the learned navigation model to a new camera configuration, and the two algorithms show their advantages in seen and unseen environments respectively.


title: Deep Mining Generation of Lung Cancer Malignancy Models from Chest X-ray Images

abstract: Lung cancer is the leading cause of cancer death and morbidity worldwide. Many studies have shown machine learning models to be effective at detecting lung nodules from chest X-ray images. However, these techniques have yet to be embraced by the medical community due to several practical, ethical, and regulatory constraints stemming from the black-box nature of deep learning models. Additionally, most lung nodules visible on chest X-ray are benign; therefore, the narrow task of computer vision-based lung nodule detection cannot be equated to automated lung cancer detection. Addressing both concerns, this study introduces a novel hybrid deep learning and decision tree-based computer vision model which presents lung cancer malignancy predictions as interpretable decision trees. The deep learning component of this process is trained using a large publicly available dataset on pathological biomarkers associated with lung cancer. These models are then used to inference biomarker scores for chest X-ray images from two, independent data sets for which malignancy metadata is available. We mine multi-variate predictive models by fitting shallow decision trees to the malignancy stratified datasets and interrogate a range of metrics to determine the best model. Our best decision tree model achieves sensitivity and specificity of 86.7% and 80.0% respectively with a positive predictive value of 92.9%. Decision trees mined using this method may be considered as a starting point for refinement into clinically useful multi-variate lung cancer malignancy models for implementation as a workflow augmentation tool to improve the efficiency of human radiologists.


title: RI/MOM renormalization of the quasi-PDF in lattice regularization

abstract: We analyze the lattice spacing dependence for the pion unpolarized matrix element of a quark bilinear operator with Wilson link (quasi-PDF operator) in the rest frame, using 13 lattice spacings ranging from 0.032 fm to 0.121 fm. We compare results for three different fermion actions with or without good chiral symmetry on dynamical gauge ensembles from three collaborations. This investigation is motivated by the fact that the gauge link generates an $1/a$ divergence, the cancelation of which in many ratios can be numerically tricky. Indeed, our results show that this cancelation deteriorates with decreasing lattice spacing, and that the RI/MOM method leaves a linearly divergent residue for quasi-PDFs. We also show that in the Landau gauge the interaction between the Wilson link and the external state results in a linear divergence which depends on the discretized fermion action.


title: Time-inhomogeneous Quantum Markov Chains with Decoherence on Finite State Spaces

abstract: We introduce and study time-inhomogeneous quantum Markov chains with parameter $\zeta \ge 0$ and decoherence parameter $0 \leq p \leq 1$ on finite spaces and their large scale equilibrium properties. Here $\zeta$ resembles the inverse temperature in the annealing random process and $p$ is the decoherence strength of the quantum system. Numerical evaluations show that if $ \zeta$ is small, then quantum Markov chain is ergodic for all $0 < p \le 1$ and if $ \zeta $ is large, then it has multiple limiting distributions for all $0 < p \le 1$. In this paper, we prove the ergodic property in the high temperature region $0 \le \zeta \le 1$. We expect that the phase transition occurs at the critical point $\zeta_c=1$. For coherence case $p=0$, a critical behavior of periodicity also appears at critical point $\zeta_o=2$.


title: Random matrices based schemes for stable and robust nonparametric and functional regression estimators

abstract: In the first part of this work, we develop a novel scheme for solving nonparametric regression problems. That is the approximation of possibly low regular and noised functions from the knowledge of their approximate values given at some random points. Our proposed scheme is based on the use of the pseudo-inverse of a random projection matrix, combined with some specific properties of the Jacobi polynomials system, as well as some properties of positive definite random matrices. This scheme has the advantages to be stable, robust, accurate and fairly fast in terms of execution time. In particular, we provide an $L_2$ as well as an $L_2-$risk errors of our proposed nonparametric regression estimator. Moreover and unlike most of the existing nonparametric regression estimators, no extra regularization step is required by our proposed estimator. Although, this estimator is initially designed to work with random sampling set of uni-variate i.i.d. random variables following a Beta distribution, we show that it is still works for a wide range of sampling distribution laws. Moreover, we briefly describe how our estimator can be adapted in order to handle the multivariate case of random sampling sets. In the second part of this work, we extend the random pseudo-inverse scheme technique to build a stable and accurate estimator for solving linear functional regression (LFR) problems. A dyadic decomposition approach is used to construct this last stable estimator for the LFR problem. Alaso, we give an $L_2-$risk error of our proposed LFR estimator. Finally, the performance of the two proposed estimators are illustrated by various numerical simulations. In particular, a real dataset is used to illustrate the performance of our nonparametric regression estimator.


title: The Representation Power of Neural Networks: Breaking the Curse of Dimensionality

abstract: In this paper, we analyze the number of neurons and training parameters that a neural networks needs to approximate multivariate functions of bounded second mixed derivatives -- Korobov functions. We prove upper bounds on these quantities for shallow and deep neural networks, breaking the curse of dimensionality. Our bounds hold for general activation functions, including ReLU. We further prove that these bounds nearly match the minimal number of parameters any continuous function approximator needs to approximate Korobov functions, showing that neural networks are near-optimal function approximators.


title: First observation of laser-beam interaction in a dipole magnet

abstract: As a new-generation light source, free-electron lasers (FELs) provide high-brightness X-ray pulses at the angstrom-femtosecond space and time scales. The fundamental physics behind the FEL is the interaction between an electromagnetic wave and a relativistic electron beam in an undulator, which consists of hundreds or thousands of dipole magnets with an alternating magnetic field. Here, we report the first observation of the laser-beam interaction in a pure dipole magnet, in which the electron beam energy modulation with 40-keV amplitude and 266-nm period is measured. We demonstrate that such an energy modulation can be used to launch a seeded FEL, that is, lasing at the sixth harmonic of the seed laser in a high-gain harmonic generation scheme. The results reveal the most basic process of the FEL lasing and open up a new direction for the study and exploitation of laser-beam interactions.


title: Causal BERT : Language models for causality detection between events expressed in text

abstract: Causality understanding between events is a critical natural language processing task that is helpful in many areas, including health care, business risk management and finance. On close examination, one can find a huge amount of textual content both in the form of formal documents or in content arising from social media like Twitter, dedicated to communicating and exploring various types of causality in the real world. Recognizing these "Cause-Effect" relationships between natural language events continues to remain a challenge simply because it is often expressed implicitly. Implicit causality is hard to detect through most of the techniques employed in literature and can also, at times be perceived as ambiguous or vague. Also, although well-known datasets do exist for this problem, the examples in them are limited in the range and complexity of the causal relationships they depict especially when related to implicit relationships. Most of the contemporary methods are either based on lexico-semantic pattern matching or are feature-driven supervised methods. Therefore, as expected these methods are more geared towards handling explicit causal relationships leading to limited coverage for implicit relationships and are hard to generalize. In this paper, we investigate the language model's capabilities for causal association among events expressed in natural language text using sentence context combined with event information, and by leveraging masked event context with in-domain and out-of-domain data distribution. Our proposed methods achieve the state-of-art performance in three different data distributions and can be leveraged for extraction of a causal diagram and/or building a chain of events from unstructured text.


title: A minimal model for synaptic integration in simple neurons

abstract: Synaptic integration is a prominent aspect of neuronal information processing. The detailed mechanisms that modulate synaptic inputs determine the computational properties of any given neuron. We study a simple model for the summation of excitatory inputs from synapses and illustrate its use by characterizing some functional properties of postsynaptic neurons. In this regard, we study the response of postsynaptic neurons as defined by the model to two well known noise driven processes: stochastic and coherence resonance. The model requires a small number of parameters and is especially useful to isolate the role of integration mechanisms that rely on summation of inputs with little dendritic processing.


title: Anomalous inverse proximity effect in unconventional-superconductor junctions

abstract: We investigate the effects of Andreev bound states due to the unconventional pairing on the inverse proximity effect of ferromagnet/superconductor junctions. Utilizing quasiclassical Eilenberger theory, we obtain the magnetization penetrating into the superconductor. We show that in a wide parameter range the direction of the induced magnetization is determined by two factors: whether Andreev bound states are present at the junction interface and the sign of the spin-mixing angle. In particular, when Andreev bound states appear at the interface, the direction of the induced magnetization is opposite to that without Andreev bound states. We also clarify the conditions under which the inverted induced magnetization appears. Applying this novel effect helps distinguishing the pairing symmetry of a superconductor.


title: T-WaveNet: Tree-Structured Wavelet Neural Network for Sensor-Based Time Series Analysis

abstract: Sensor-based time series analysis is an essential task for applications such as activity recognition and brain-computer interface. Recently, features extracted with deep neural networks (DNNs) are shown to be more effective than conventional hand-crafted ones. However, most of these solutions rely solely on the network to extract application-specific information carried in the sensor data. Motivated by the fact that usually a small subset of the frequency components carries the primary information for sensor data, we propose a novel tree-structured wavelet neural network for sensor data analysis, namely \emph{T-WaveNet}. To be specific, with T-WaveNet, we first conduct a power spectrum analysis for the sensor data and decompose the input signal into various frequency subbands accordingly. Then, we construct a tree-structured network, and each node on the tree (corresponding to a frequency subband) is built with an invertible neural network (INN) based wavelet transform. By doing so, T-WaveNet provides more effective representation for sensor information than existing DNN-based techniques, and it achieves state-of-the-art performance on various sensor datasets, including UCI-HAR for activity recognition, OPPORTUNITY for gesture recognition, BCICIV2a for intention recognition, and NinaPro DB1 for muscular movement recognition.


title: Neural-Swarm2: Planning and Control of Heterogeneous Multirotor Swarms using Learned Interactions

abstract: We present Neural-Swarm2, a learning-based method for motion planning and control that allows heterogeneous multirotors in a swarm to safely fly in close proximity. Such operation for drones is challenging due to complex aerodynamic interaction forces, such as downwash generated by nearby drones and ground effect. Conventional planning and control methods neglect capturing these interaction forces, resulting in sparse swarm configuration during flight. Our approach combines a physics-based nominal dynamics model with learned Deep Neural Networks (DNNs) with strong Lipschitz properties. We make use of two techniques to accurately predict the aerodynamic interactions between heterogeneous multirotors: i) spectral normalization for stability and generalization guarantees of unseen data and ii) heterogeneous deep sets for supporting any number of heterogeneous neighbors in a permutation-invariant manner without reducing expressiveness. The learned residual dynamics benefit both the proposed interaction-aware multi-robot motion planning and the nonlinear tracking control design because the learned interaction forces reduce the modelling errors. Experimental results demonstrate that Neural-Swarm2 is able to generalize to larger swarms beyond training cases and significantly outperforms a baseline nonlinear tracking controller with up to three times reduction in worst-case tracking errors.


title: Beyond Class-Conditional Assumption: A Primary Attempt to Combat Instance-Dependent Label Noise

abstract: Supervised learning under label noise has seen numerous advances recently, while existing theoretical findings and empirical results broadly build up on the class-conditional noise (CCN) assumption that the noise is independent of input features given the true label. In this work, we present a theoretical hypothesis testing and prove that noise in real-world dataset is unlikely to be CCN, which confirms that label noise should depend on the instance and justifies the urgent need to go beyond the CCN assumption.The theoretical results motivate us to study the more general and practical-relevant instance-dependent noise (IDN). To stimulate the development of theory and methodology on IDN, we formalize an algorithm to generate controllable IDN and present both theoretical and empirical evidence to show that IDN is semantically meaningful and challenging. As a primary attempt to combat IDN, we present a tiny algorithm termed self-evolution average label (SEAL), which not only stands out under IDN with various noise fractions, but also improves the generalization on real-world noise benchmark Clothing1M. Our code is released. Notably, our theoretical analysis in Section 2 provides rigorous motivations for studying IDN, which is an important topic that deserves more research attention in future.


title: Evidence of non-trivial Berry phase and Kondo physics in SmBi

abstract: Realization of semimetals with non-trivial topologies such as Dirac and Weyl semimetals, have provided a boost in the study of these quantum materials. Presence of electron correlation makes the system even more exotic due to enhanced scattering of charge carriers, Kondo screening etc. Here, we studied the electronic properties of single crystalline, SmBi employing varied state of the art bulk measurements. Magnetization data reveals two magnetic transitions; an antiferromagnetic order with a Neel temperature of ~ 9 K and a second magnetic transition at a lower temperature (= 7 K). The electrical resistivity data shows an upturn typical of a Kondo system and the estimated Kondo temperature is found to be close to the Neel temperature. High quality of the crystal enabled us to discover signature of quantum oscillation in the magnetization data even at low magnetic field. Using a Landau level fan diagram analysis, a non-trivial Berry phase is identified for a Fermi pocket revealing the topological character in this material. These results demonstrate an unique example of the Fermiology in the antiferromagnetic state and opens up a new paradigm to explore the Dirac fermion physics in correlated topological metal via interplay of Kondo interaction, topological order and magnetism.


title: Quasi-polynomial time approximation of output probabilities of geometrically-local, shallow quantum circuits

abstract: We present a classical algorithm that, for any 3D geometrically-local, polylogarithmic-depth quantum circuit $C$ acting on $n$ qubits, and any bit string $x\in\{0,1\}^n$, can compute the quantity $|< x |C|0^{\otimes n}>|^2$ to within any inverse-polynomial additive error in quasi-polynomial time. It is known that it is $\#P$-hard to compute this same quantity to within $2^{-n^2}$ additive error [Mov20, KMM21]. The previous best known algorithm for this problem used $O(2^{n^{1/3}}\text{poly}(1/\epsilon))$ time to compute probabilities to within additive error $\epsilon$ [BGM20]. Notably, the [BGM20] paper included an elegant polynomial time algorithm for this estimation task restricted to 2D circuits, which makes a novel use of 1D Matrix Product States (MPS) carefully tailored to the 2D geometry of the circuit in question. Surprisingly, it is not clear that it is possible to extend this use of MPS to address the case of 3D circuits in polynomial time. This raises a natural question as to whether the computational complexity of the 3D problem might be drastically higher than that of the 2D problem. In this work we address this question by exhibiting a quasi-polynomial time algorithm for the 3D case. In order to surpass the technical barriers encountered by previously known techniques we are forced to pursue a novel approach. Our algorithm has a Divide-and-Conquer structure, demonstrating how to approximate the desired quantity via several instantiations of the same problem type, each involving 3D-local circuits on about half the number of qubits as the original. This division step is then applied recursively, expressing the original quantity as a weighted combination of smaller and smaller 3D-local quantum circuits. A central technical challenge is to control correlations arising from entanglement that may exist between the different circuit ``pieces" produced this way.


title: Weak localization correction to linear absorption in conventional superconductors

abstract: The weak localization effect on a linear absorption spectrum is investigated for disordered s-wave superconductors. The vertex correction is incorporated into the response function in a way that is consistent with the weak localization correction to a one-particle spectrum. The effect of interactions between electrons enhanced by their diffusive motion makes a major contribution to the correction term. Numerical calculations show that the weak localization effect suppresses the absorption by the excitation across the gap to a greater extent than that by thermal excitation, which is a similar tendency to the results of experiments. The ratio of the linear absorption with vertex corrections to that without the corrections shows a large variation at the frequency that is around twice the energy of the superconducting gap. This behavior represents a relationship between the weak localization effect on the linear absorption and that on the one-particle spectrum.


title: Cold-start Sequential Recommendation via Meta Learner

abstract: This paper explores meta-learning in sequential recommendation to alleviate the item cold-start problem. Sequential recommendation aims to capture user's dynamic preferences based on historical behavior sequences and acts as a key component of most online recommendation scenarios. However, most previous methods have trouble recommending cold-start items, which are prevalent in those scenarios. As there is generally no side information in the setting of sequential recommendation task, previous cold-start methods could not be applied when only user-item interactions are available. Thus, we propose a Meta-learning-based Cold-Start Sequential Recommendation Framework, namely Mecos, to mitigate the item cold-start problem in sequential recommendation. This task is non-trivial as it targets at an important problem in a novel and challenging context. Mecos effectively extracts user preference from limited interactions and learns to match the target cold-start item with the potential user. Besides, our framework can be painlessly integrated with neural network-based models. Extensive experiments conducted on three real-world datasets verify the superiority of Mecos, with the average improvement up to 99%, 91%, and 70% in HR@10 over state-of-the-art baseline methods.


title: Investigating Bias in Image Classification using Model Explanations

abstract: We evaluated whether model explanations could efficiently detect bias in image classification by highlighting discriminating features, thereby removing the reliance on sensitive attributes for fairness calculations. To this end, we formulated important characteristics for bias detection and observed how explanations change as the degree of bias in models change. The paper identifies strengths and best practices for detecting bias using explanations, as well as three main weaknesses: explanations poorly estimate the degree of bias, could potentially introduce additional bias into the analysis, and are sometimes inefficient in terms of human effort involved.


title: Approximation of Semiclassical Expectation Values by Symplectic Gaussian Wave Packet Dynamics

abstract: This paper concerns an approximation of the expectation values of the position and momentum of the solution to the semiclassical Schr\"odinger equation with a Gaussian as the initial condition. Of particular interest is the approximation obtained by our symplectic/Hamiltonian formulation of the Gaussian wave packet dynamics that introduces a correction term to the conventional formulation using the classical Hamiltonian system by Hagedorn and others. The main result is a proof that our formulation gives a higher-order approximation than the classical formulation does to the expectation value dynamics under certain conditions on the potential function. Specifically, as the semiclassical parameter $\varepsilon$ approaches $0$, our dynamics gives an $O(\varepsilon^{3/2})$ approximation of the expectation value dynamics whereas the classical one gives an $O(\varepsilon)$ approximation.


title: Adversarial Meta-Learning of Gamma-Minimax Estimators That Leverage Prior Knowledge

abstract: Bayes estimators are well known to provide a means to incorporate prior knowledge that can be expressed in terms of a single prior distribution. However, when this knowledge is too vague to express with a single prior, an alternative approach is needed. Gamma-minimax estimators provide such an approach. These estimators minimize the worst-case Bayes risk over a set $\Gamma$ of prior distributions that are compatible with the available knowledge. Traditionally, Gamma-minimaxity is defined for parametric models. In this work, we define Gamma-minimax estimators for general models and propose adversarial meta-learning algorithms to compute them when the set of prior distributions is constrained by generalized moments. Accompanying convergence guarantees are also provided. We also introduce a neural network class that provides a rich, but finite-dimensional, class of estimators from which a Gamma-minimax estimator can be selected. We illustrate our method in two settings, namely entropy estimation and a prediction problem that arises in biodiversity studies.


title: EFIX: Exact Fixed Point Methods for Distributed Optimization

abstract: We consider strongly convex distributed consensus optimization over connected networks. EFIX, the proposed method, is derived using quadratic penalty approach. In more detail, we use the standard reformulation { transforming the original problem into a constrained problem in a higher dimensional space { to define a sequence of suitable quadratic penalty subproblems with increasing penalty parameters. For quadratic objectives, the corresponding sequence consists of quadratic penalty subproblems. For the generic strongly convex case, the objective function is approximated with a quadratic model and hence the sequence of the resulting penalty subproblems is again quadratic. EFIX is then derived by solving each of the quadratic penalty subproblems via a fixed point (R)-linear solver, e.g., Jacobi Over-Relaxation method. The exact convergence is proved as well as the worst case complexity of order O(epsilon^-1) for the quadratic case. In the case of strongly convex generic functions, a standard result for penalty methods is obtained. Numerical results indicate that the method is highly competitive with state-of-the-art exact first order methods, requires smaller computational and communication effort, and is robust to the choice of algorithm parameters.


title: Assessment of Cr isotopic heterogeneities of volatile-rich asteroids based on multiple planet formation models

abstract: Describing the comprehensive evolutionary scenario for asteroids is key to explaining the various physical processes of the solar system. Bulk-scale carbonaceous chondrites (CCs) possibly record the primordial information associated with the formation processes of their parent bodies. In this study, we tried to estimate the relative formation region of volatile-rich asteroids by utilizing the nucleosynthetic Cr isotopic variation (54Cr/52Cr) in bulk-scale CCs. Numerical calculations were conducted to track the temporal evolution of isotopically different (solar and presolar) dust and 54Cr/52Cr values for mixed materials with disk radius. First, we found that isotopic heterogeneities in CC formation regions would be preserved with a weak turbulence setting that would increase the timescales of the advection and diffusion in the disk. Second, we assessed the effects of gaps formed by giant planets. Finally, the distance from the injected supernovae and Cr isotopic compositions of the presolar grains were investigated in terms of the estimated formation region of CCs. In our results, a plausible formation region of four types of CCs can be obtained with the supernova from approximately 2 pc and typical Cr isotopic compositions of presolar grains. Among the parent bodies of CCs (i.e., volatile-rich asteroids), B-type asteroids formed in the outermost region, which is inconsistent with the present population, showing that D-type asteroids are generally located beyond most of the C-complex asteroids. Both the initial and present orbits of asteroids might be explained by the scatter attributed to the inward-outward migration of Jupiter and Saturn.


title: Structure Preserving Reduced Attitude Control of Gyroscopes

abstract: We design a reduced attitude controller for reorienting the spin axis of a gyroscope in a geometric control framework. The proposed controller preserves the inherent gyroscopic stability associated with a spinning axis-symmetric rigid body. The equations of motion are derived in two frames: a non-spinning frame to show the gyroscopic stability, and a body-fixed spinning frame for deriving the controller. The proposed controller is designed such that it retains the gyroscopic stability structure in the closed loop and renders the desired equilibrium almost-globally asymptotically stable. Due to the time-critical nature of the control input, in particular its sensitivity with respect to delays/neglected dynamics, the controller is extended to incorporate the effect of actuator dynamics for practical implementation. Thereafter, a comparison in performance is shown between the proposed controller and a conventional reduced attitude geometric controller with numerical simulation. The controller is validated experimentally on a spinning tricopter.


title: Properties of Clifford Legendre Polynomials

abstract: Clifford-Legendre and Clifford-Gegenbauer polynomials are eigenfunctions of certain differential operators acting on functions defined on $m$-dimensional euclidean space ${\mathbb R}^m$ and taking values in the associated Clifford algebra ${\mathbb R}_m$. New recurrence and Bonnet type formulae for these polynomials are proved, as their Fourier transforms are computed. Explicit representations in terms of spherical monogenics and Jacobi polynomials are given, with consequences including the interlacing of the zeros. In the case $m=2$ we describe a degeneracy between the even- and odd-indexed polynomials.


title: Optical Control of Topological Polariton Phase in a Perovskite Lattice

abstract: Strong light-matter interaction enriches topological photonics by dressing light with matter, which provides the possibility to realize tuneable topological devices with immunity to defects. Topological exciton polaritons, half-light half-matter quasiparticles with giant optical nonlinearity represent a unique platform for active topological photonics with phase tunability. Previous demonstrations of exciton polariton topological insulators still demand cryogenic temperatures and their topological properties are usually fixed without phase tunability. Here, we experimentally demonstrate a room-temperature exciton polariton topological insulator with active phase tunability in a perovskite zigzag lattice. Polarization serves as a degree of freedom to control the reversible transition between distinct topological phases, thanks to the polarization-dependent anisotropy in halide perovskite microcavities. The topologically nontrivial polariton states localized in the edges persist in the presence of a natural defect, showing strong immunity to disorder. We further demonstrate that exciton polaritons can condense into the topological edge states under optical pumping. These results provide an ideal platform for realizing tuneable topological polaritonic devices with room-temperature operation, which can find important applications in optical control, modulation and switching.


title: Securing the EDK II Image Loader

abstract: The Unified Extensible Firmware Interface (UEFI) is a standardised interface between the firmware and the operating system used in all x86-based platforms over the past ten years, which continues to spread to other architectures such as ARM and RISC-V. The UEFI incorporates a modular design based on images containing a driver or an application in a Common Object File Format (COFF) either as a Portable Executable (PE) or as a Terse Executable (TE). The de-facto standard generic UEFI services implementation, including the image loading functionality, is TianoCore EDK II. Its track of security issues shows numerous design and implementation flaws some of which are yet to be addressed. In this paper we outline both the requirements for a secure UEFI Image Loader and the issues of the existing implementation. As an alternative we propose a formally verified Image Loader supporting both PE and TE images with fine-grained hardening enabling a seamless integration with EDK II and subsequently with the other firmwares.


title: Learning the Evolution of the Universe in N-body Simulations

abstract: Understanding the physics of large cosmological surveys down to small (nonlinear) scales will significantly improve our knowledge of the Universe. Large N-body simulations have been built to obtain predictions in the non-linear regime. However, N-body simulations are computationally expensive and generate large amount of data, putting burdens on storage. These data are snapshots of the simulated Universe at different times, and fine sampling is necessary to accurately save its whole history. We employ a deep neural network model to predict the nonlinear N-body simulation at an intermediate time step given two widely separated snapshots. Our results outperform the cubic Hermite interpolation benchmark method in interpolating N-body simulations. This work can greatly reduce the storage requirement and allow us to reconstruct the cosmic history from far fewer snapshots of the universe.


title: Tensor Composition Net for Visual Relationship Prediction

abstract: We present a novel Tensor Composition Net (TCN) to predict visual relationships in images. Visual Relationship Prediction (VRP) provides a more challenging test of image understanding than conventional image tagging and is difficult to learn due to a large label-space and incomplete annotation. The key idea of our TCN is to exploit the low-rank property of the visual relationship tensor, so as to leverage correlations within and across objects and relations and make a structured prediction of all visual relationships in an image. To show the effectiveness of our model, we first empirically compare our model with Multi-Label Image Classification (MLIC) methods, eXtreme Multi-label Classification (XMC) methods, and VRD methods. We then show that thanks to our tensor (de)composition layer, our model can predict visual relationships which have not been seen in the training dataset. We finally show our TCN's image-level visual relationship prediction provides a simple and efficient mechanism for relation-based image-retrieval even compared with VRD methods.


title: Quantum statistics of light emitted from a pillar microcavity

abstract: A quantum behavior of the light emitted by exciton polaritons excited in a pillar semiconductor microcavity with embedded quantum well is investigated. Considering the bare excitons and photon modes as coupled quantum oscillators allows for an accurate accounting of the nonlinear and dissipative effects. In particular, using the method of quantum states presentation in a quantum phase space via quasiprobability functions (namely, a $P$-function and a Wigner function), we study the effect of the laser and the exciton-photon detuning on the second order correlation function of the emitted photons. We determine the conditions for the phenomena of bunching, giant bunching, and antibunching of the emitted light. In particular, we predict the effect of a giant bunching for the case of a large exciton to photon population ratio. Within the domain of parameters supporting a bistability regime we demonstrate the effect of bunching of photons.


title: One for More: Selecting Generalizable Samples for Generalizable ReID Model

abstract: Current training objectives of existing person Re-IDentification (ReID) models only ensure that the loss of the model decreases on selected training batch, with no regards to the performance on samples outside the batch. It will inevitably cause the model to over-fit the data in the dominant position (e.g., head data in imbalanced class, easy samples or noisy samples). %We call the sample that updates the model towards generalizing on more data a generalizable sample. The latest resampling methods address the issue by designing specific criterion to select specific samples that trains the model generalize more on certain type of data (e.g., hard samples, tail data), which is not adaptive to the inconsistent real world ReID data distributions. Therefore, instead of simply presuming on what samples are generalizable, this paper proposes a one-for-more training objective that directly takes the generalization ability of selected samples as a loss function and learn a sampler to automatically select generalizable samples. More importantly, our proposed one-for-more based sampler can be seamlessly integrated into the ReID training framework which is able to simultaneously train ReID models and the sampler in an end-to-end fashion. The experimental results show that our method can effectively improve the ReID model training and boost the performance of ReID models.


title: Topological and geometric patterns in optimal bang-bang protocols for variational quantum algorithms: application to the $XXZ$ model on the square lattice

abstract: In this work, we address the challenge of uncovering patterns in variational optimal protocols for taking the system to ground states of many-body Hamiltonians, using variational quantum algorithms. We develop highly optimized classical Monte Carlo (MC) algorithms to find the optimal protocols for transformations between the ground states of the square-lattice XXZ model for finite systems sizes. The MC method obtains optimal bang-bang protocols, as predicted by Pontryagin's minimum principle. We identify the minimum time needed for reaching an acceptable error for different system sizes as a function of the initial and target states and uncover correlations between the total time and the wave-function overlap. We determine a dynamical phase diagram for the optimal protocols, with different phases characterized by a topological number, namely the number of on-pulses. Bifurcation transitions as a function of initial and final states, associated with new jumps in the optimal protocols, demarcate these different phases. The number of pulses correlates with the total evolution time. In addition to identifying the topological characteristic above, i.e., the number of pulses, we introduce a correlation function to characterize bang-bang protocols' quantitative geometric similarities. We find that protocols within one phase are indeed geometrically correlated. Identifying and extrapolating patterns in these protocols may inform efficient large-scale simulations on quantum devices.


title: Image recovery with the solar gravitational lens

abstract: We report on the initial results obtained with an image convolution/deconvolution computer code that we developed and used to study the image formation capabilities of the solar gravitational lens (SGL). Although the SGL of a spherical Sun creates a greatly blurred image, knowledge of the SGL's point-spread function (PSF) makes it possible to reconstruct the original image and remove the blur by way of deconvolution. We discuss the deconvolution process, which can be implemented either with direct matrix inversion or with the Fourier quotient method. We observe that the process introduces a ``penalty'' in the form of a reduction in the signal-to-noise ratio (SNR) of a recovered image, compared to the SNR at which the blurred image data is collected. We estimate the magnitude of this penalty using an analytical approach and confirm the results with a series of numerical simulations. We find that the penalty is substantially reduced when the spacing between image samples is large compared to the telescope aperture. The penalty can be further reduced with suitable noise filtering, which can yield ${\cal O}(10)$ or better improvement for low-quality imaging data. Our results confirm that it is possible to use the SGL for imaging purposes. We offer insights on the data collection and image processing strategies that could yield a detailed image of an exoplanet within image data collection times that are consistent with the duration of a realistic space mission.


title: Dissipation-induced symmetry breaking: Emphanitic transitions in lead- and tin-containing chalcogenides and halide perovskites

abstract: Lead and tin-based chalcogenide semiconductors like PbTe or SnSe have long been known to exhibit an unusually low thermal conductivity that makes them very attractive thermoelectric materials. An apparently unrelated fact is that the excitonic bandgap in these materials increases with temperature, whereas for most semiconductors one observes the opposite trend. These two anomalous features are also seen in a very different class of photovoltaic materials, namely the halide-perovskites such as CsPbBr3. It has been previously proposed that emphanisis, a local symmetry-breaking phenomenon, is the one common origin of these unusual features. Discovered a decade ago, emphanisis is the name given to the observed displacement of the lead or the tin ions from their cubic symmetry ground state to a locally distorted phase at high temperature. This phenomenon has been puzzling because it is unusual for the high-temperature state to be of a lower symmetry than the degenerate ground state. Motivated by the celebrated vibration-inversion resonance of the ammonia molecule, we propose a quantum tunneling-based model for emphanisis where decoherence is responsible for the local symmetry breaking with increasing temperature. From the analytic expression of the temperature dependence of the tunnel splitting (which serves as an order parameter), we provide three-parameter fitting formulae which capture the observed temperature dependence of the ionic displacements as well as the anomalous increase of the excitonic bandgap in all the relevant materials.


title: Optimal singularities of initial functions for solvability of a semilinear parabolic system

abstract: Let $(u,v)$ be a nonnegative solution to the semilinear parabolic system \[ \mbox{(P)} \qquad \cases{ \partial_t u=D_1\Delta u+v^p, & $x\in{\bf R}^N,\,\,\,t>0,$\\ \partial_t v=D_2\Delta v+u^q, & $x\in{\bf R}^N,\,\,\,t>0,$\\ (u(\cdot,0),v(\cdot,0))=(\mu,\nu), & $x\in{\bf R}^N,$ } \] where $D_1$, $D_2>0$, $0<p\le q$ with $pq>1$ and $(\mu,\nu)$ is a pair of nonnegative Radon measures or nonnegative measurable functions in ${\bf R}^N$. In this paper we study sufficient conditions on the initial data for the solvability of problem~(P) and clarify optimal singularities of the initial functions for the solvability.


title: A Novel Hybrid Algorithm for Lucky Imaging

abstract: Lucky imaging is a high-resolution astronomical image recovery technique with two classic implementation algorithms, i.e. image selecting, shifting and adding in image space and data selecting and image synthesizing in Fourier space. This paper proposes a novel lucky imaging algorithm where with space-domain and frequency-domain selection rates as a link, the two classic algorithms are combined successfully, making each algorithm a proper subset of the novel hybrid algorithm. Experimental results show that with the same experiment dataset and platform, the high-resolution image obtained by the proposed algorithm is superior to that obtained by the two classic algorithms. This paper also proposes a new lucky image selection and storage scheme, which can greatly save computer memory and enable lucky imaging algorithm to be implemented in a common desktop or laptop with small memory and to process astronomical images with more frames and larger size. Besides, through simulation analysis, this paper discusses the binary star detection limits of the novel lucky imaging algorithm and traditional ones under different atmospheric conditions.


title: Unified Streaming and Non-streaming Two-pass End-to-end Model for Speech Recognition

abstract: In this paper, we present a novel two-pass approach to unify streaming and non-streaming end-to-end (E2E) speech recognition in a single model. Our model adopts the hybrid CTC/attention architecture, in which the conformer layers in the encoder are modified. We propose a dynamic chunk-based attention strategy to allow arbitrary right context length. At inference time, the CTC decoder generates n-best hypotheses in a streaming way. The inference latency could be easily controlled by only changing the chunk size. The CTC hypotheses are then rescored by the attention decoder to get the final result. This efficient rescoring process causes very little sentence-level latency. Our experiments on the open 170-hour AISHELL-1 dataset show that, the proposed method can unify the streaming and non-streaming model simply and efficiently. On the AISHELL-1 test set, our unified model achieves 5.60% relative character error rate (CER) reduction in non-streaming ASR compared to a standard non-streaming transformer. The same model achieves 5.42% CER with 640ms latency in a streaming ASR system.


title: Detection of giant pulses in PSR J1047-6709

abstract: We report the emission variations in PSR J1047$-$6709 observed at 1369 MHz using the Parkes 64 m radio telescope. This pulsar shows two distinct emission states: a weak state and a bright emission state. We detected giant pulses (GPs) in the bright state for the first time. We found 75 GPs with pulse width ranging from 0.6 to 2.6 ms. The energy of GPs follows a power-law distribution with the index $\alpha=-3.26\pm0.22$. The peak flux density of the brightest GP is 19 Jy which is 110 times stronger than the mean pulse profile. The polarization properties of the average profile of GPs are similar to that of the pulses with energy less than 10 times average pulse energy in the bright state. This indicates that the emission mechanism is basically the same for them. Our results provide a new insight into the origin of the GPs in pulsars.


title: Specialization maps for Scholze's category of diamonds

abstract: We introduce the specialization map in Scholzes theory of diamonds. We consider v-sheaves that behave like formal schemes and call them kimberlites. We attach to them: a reduced special fiber, an analytic locus, a specialization map, a Zariski site, and an etale site. When the kimberlite comes from a formal scheme, our sites recover the classical ones. We prove that unramified p-adic Beilinson--Drinfeld Grassmannians are kimberlites with finiteness and normality properties.


title: Preference-Based Privacy Trading

abstract: The question we raise through this paper is: Is it economically feasible to trade consumer personal information with their formal consent (permission) and in return provide them incentives (monetary or otherwise)?. In view of (a) the behavioral assumption that humans are `compromising' beings and have privacy preferences, (b) privacy as a good not having strict boundaries, and (c) the practical inevitability of inappropriate data leakage by data holders downstream in the data-release supply-chain, we propose a design of regulated efficient/bounded inefficient economic mechanisms for oligopoly data trading markets using a novel preference function bidding approach on a simplified sellers-broker market. Our methodology preserves the heterogeneous privacy preservation constraints (at a grouped consumer, i.e., app, level) upto certain compromise levels, and at the same time satisfies information demand (via the broker) of agencies (e.g., advertising organizations) that collect client data for the purpose of targeted behavioral advertising.


title: Triangles with Vertices Equidistant to a Pedal Triangle

abstract: In this paper, we present a synthetic solution to a geometric open problem involving the radical axis of two strangely defined circumcircles. The solution encapsulates two generalizations, one of which uses a powerful projective result relating isogonal conjugation and polarity with respect to circumconics.


title: Growth of Two-dimensional Compound Materials: Controllability, Material Quality, and Growth Mechanism

abstract: CONSPECTUS: Two-dimensional (2D) compound materials are promising materials for use in electronics, optoelectronics, flexible devices, etc. because they are ultrathin and cover a wide range of properties. Among all methods to prepare 2D materials, chemical vapor deposition (CVD) is promising because it produces materials with a high quality and reasonable cost. So far, much efforts have been made to produce 2D compound materials with large domain size, controllable number of layers, fast-growth rate, and high quality features, etc. However, due to the complicated growth mechanism like sublimation and diffusion processes of multiple precursors, maintaining the controllability, repeatability, and high quality of CVD grown 2D binary and ternary materials is still a big challenge, which prevents their widespread use. Here, taking 2D transition metal dichalcogenides (TMDCs) as examples, we review current progress and highlight some promising growth strategies for the growth of 2D compound materials. The key technology issues which affect the CVD process, including non-metal precursor, metal precursor, substrate engineering, temperature, and gas flow, are discussed. Also, methods in improving the quality of CVD-grown 2D materials and current understanding on their growth mechanism are highlighted. Finally, challenges and opportunities in this field are proposed. We believe this review will guide the future design of controllable CVD systems for the growth of 2D compound materials with good controllability and high quality, laying the foundations for their potential applications.


title: Toward the Gravitational Redshift Detection in NGC 4258 and the Estimation of its Black Hole Mass-to-Distance Ratio

abstract: We construct from first principles a general relativistic approach to study Schwarzschild black hole (BH) rotation curves and estimate the mass-to-distance ratio of the active galactic nucleus of NGC 4258 in terms of astrophysical observable quantities. The presented method allows one to clearly distinguish and quantify the general and special relativistic contributions to the total redshift expression. The total relativistic redshift/blueshift comprises three components: the gravitational redshift due to the spacetime curvature generated by the mass of the BH in its vicinity, the kinematic shift, originated by the photons' local Doppler effect, and the redshift due to a special relativistic boost that describes the motion of a galaxy from a distant observer. We apply our method to the largest data set of highly redshifted water megamaser measurements on the accretion disk of the NGC 4258 active galaxy and use this general relativistic method to estimate its BH mass-to-distance ratio: M/D = (0.5326 +/- 0.00022) x 10^7 solar masses/Mpc.


title: Urban Space Insights Extraction using Acoustic Histogram Information

abstract: Urban data mining can be identified as a highly potential area that can enhance the smart city services towards better sustainable development especially in the urban residential activity tracking. While existing human activity tracking systems have demonstrated the capability to unveil the hidden aspects of citizens' behavior, they often come with a high implementation cost and require a large communication bandwidth. In this paper, we study the implementation of low-cost analogue sound sensors to detect outdoor activities and estimate the raining period in an urban residential area. The analogue sound sensors are transmitted to the cloud every 5 minutes in histogram format, which consists of sound data sampled every 100ms (10Hz). We then use wavelet transformation (WT) and principal component analysis (PCA) to generate a more robust and consistent feature set from the histogram. After that, we performed unsupervised clustering and attempt to understand the individual characteristics of each cluster to identify outdoor residential activities. In addition, on-site validation has been conducted to show the effectiveness of our approach.


title: AI Driven Knowledge Extraction from Clinical Practice Guidelines: Turning Research into Practice

abstract: Background and Objectives: Clinical Practice Guidelines (CPGs) represent the foremost methodology for sharing state-of-the-art research findings in the healthcare domain with medical practitioners to limit practice variations, reduce clinical cost, improve the quality of care, and provide evidence based treatment. However, extracting relevant knowledge from the plethora of CPGs is not feasible for already burdened healthcare professionals, leading to large gaps between clinical findings and real practices. It is therefore imperative that state-of-the-art Computing research, especially machine learning is used to provide artificial intelligence based solution for extracting the knowledge from CPGs and reducing the gap between healthcare research/guidelines and practice. Methods: This research presents a novel methodology for knowledge extraction from CPGs to reduce the gap and turn the latest research findings into clinical practice. First, our system classifies the CPG sentences into four classes such as condition-action, condition-consequences, action, and not-applicable based on the information presented in a sentence. We use deep learning with state-of-the-art word embedding, improved word vectors technique in classification process. Second, it identifies qualifier terms in the classified sentences, which assist in recognizing the condition and action phrases in a sentence. Finally, the condition and action phrase are processed and transformed into plain rule If Condition(s) Then Action format. Results: We evaluate the methodology on three different domains guidelines including Hypertension, Rhinosinusitis, and Asthma. The deep learning model classifies the CPG sentences with an accuracy of 95%. While rule extraction was validated by user-centric approach, which achieved a Jaccard coefficient of 0.6, 0.7, and 0.4 with three human experts extracted rules, respectively.


title: PARRoT: Predictive Ad-hoc Routing Fueled by Reinforcement Learning and Trajectory Knowledge

abstract: Swarms of collaborating Unmanned Aerial Vehicles (UAVs) that utilize ad-hoc networking technologies for coordinating their actions offer the potential to catalyze emerging research fields such as autonomous exploration of disaster areas, demanddriven network provisioning, and near field packet delivery in Intelligent Transportation Systems (ITSs). As these mobile robotic networks are characterized by high grades of relative mobility, existing routing protocols often fail to adopt their decision making to the implied network topology dynamics. For addressing these challenges, we present Predictive Ad-hoc Routing fueled by Reinforcement learning and Trajectory knowledge (PARRoT) as a novel machine learning-enabled routing protocol which exploits mobility control information for integrating knowledge about the future motion of the mobile agents into the routing process. The performance of the proposed routing approach is evaluated using comprehensive network simulation. In comparison to established routing protocols, PARRoT achieves a massively higher robustness and a significantly lower end-to-end latency.


title: An Event Correlation Filtering Method for Fake News Detection

abstract: Nowadays, social network platforms have been the prime source for people to experience news and events due to their capacities to spread information rapidly, which inevitably provides a fertile ground for the dissemination of fake news. Thus, it is significant to detect fake news otherwise it could cause public misleading and panic. Existing deep learning models have achieved great progress to tackle the problem of fake news detection. However, training an effective deep learning model usually requires a large amount of labeled news, while it is expensive and time-consuming to provide sufficient labeled news in actual applications. To improve the detection performance of fake news, we take advantage of the event correlations of news and propose an event correlation filtering method (ECFM) for fake news detection, mainly consisting of the news characterizer, the pseudo label annotator, the event credibility updater, and the news entropy selector. The news characterizer is responsible for extracting textual features from news, which cooperates with the pseudo label annotator to assign pseudo labels for unlabeled news by fully exploiting the event correlations of news. In addition, the event credibility updater employs adaptive Kalman filter to weaken the credibility fluctuations of events. To further improve the detection performance, the news entropy selector automatically discovers high-quality samples from pseudo labeled news by quantifying their news entropy. Finally, ECFM is proposed to integrate them to detect fake news in an event correlation filtering manner. Extensive experiments prove that the explainable introduction of the event correlations of news is beneficial to improve the detection performance of fake news.


title: Machine learning for nocturnal diagnosis of chronic obstructive pulmonary disease using digital oximetry biomarkers

abstract: Objective: Chronic obstructive pulmonary disease (COPD) is a highly prevalent chronic condition. COPD is a major source of morbidity, mortality and healthcare costs. Spirometry is the gold standard test for a definitive diagnosis and severity grading of COPD. However, a large proportion of individuals with COPD are undiagnosed and untreated. Given the high prevalence of COPD and its clinical importance, it is critical to develop new algorithms to identify undiagnosed COPD, especially in specific groups at risk, such as those with sleep disorder breathing. To our knowledge, no research has looked at the feasibility of COPD diagnosis from the nocturnal oximetry time series. Approach: We hypothesize that patients with COPD will exert certain patterns and/or dynamics of their overnight oximetry time series that are unique to this condition. We introduce a novel approach to nocturnal COPD diagnosis using 44 oximetry digital biomarkers and 5 demographic features and assess its performance in a population sample at risk of sleep-disordered breathing. A total of n=350 unique patients polysomnography (PSG) recordings. A random forest (RF) classifier is trained using these features and evaluated using the nested cross-validation procedure. Significance: Our research makes a number of novel scientific contributions. First, we demonstrated for the first time, the feasibility of COPD diagnosis from nocturnal oximetry time series in a population sample at risk of sleep disordered breathing. We highlighted what digital oximetry biomarkers best reflect how COPD manifests overnight. The results motivate that overnight single channel oximetry is a valuable pathway for COPD diagnosis.


title: Auto-MVCNN: Neural Architecture Search for Multi-view 3D Shape Recognition

abstract: In 3D shape recognition, multi-view based methods leverage human's perspective to analyze 3D shapes and have achieved significant outcomes. Most existing research works in deep learning adopt handcrafted networks as backbones due to their high capacity of feature extraction, and also benefit from ImageNet pretraining. However, whether these network architectures are suitable for 3D analysis or not remains unclear. In this paper, we propose a neural architecture search method named Auto-MVCNN which is particularly designed for optimizing architecture in multi-view 3D shape recognition. Auto-MVCNN extends gradient-based frameworks to process multi-view images, by automatically searching the fusion cell to explore intrinsic correlation among view features. Moreover, we develop an end-to-end scheme to enhance retrieval performance through the trade-off parameter search. Extensive experimental results show that the searched architectures significantly outperform manually designed counterparts in various aspects, and our method achieves state-of-the-art performance at the same time.


title: Correlation: An Analyzing Tool for Liquids and for Amorphous Solids

abstract: For almost a century, since Bernal\'s attempts at a molecular theory of liquid structure(Bernal [1]), correlation functions have been the bridge to compare theoretical calculations with experimental measurements in the study of disordered materials. Pair Distribution Functions (g(r)), Radial Distribution Functions (J(r)), Plane Angle Distributions (g({\theta})) and Coordination Numbers (nc) have been widely used to characterize amorphous and liquid materials (Waseda [2]; Elliott [3]; Valladares et al. [4]) and, in particular Bulk Metallic Glasses (Miller and Liaw [5]; Galv\'an-Col\'in et al. [6]). Correlation is an Open-Source software designed to analyze liquid structures and amorphous solids; the software is user-friendly, the modular design makes it easy to integrate in High-Throughput Computing (HTC) to process structures with a large number of constituents in a standardized fashion. Correlation is ready to be used in Windows,Linux and Mac. Currently, we support DMol3 (CAR), CASTEP (CELL), ONETEP (DAT)and VASP (POSCAR) structure files. The code can handle up to 25,000 atoms, so it can be used to analyze both classical and first-principles simulations. At the end, the output of every single correlation function is exported to the corresponding comma-separated value file (CSV), to further analyze the results.


title: Digital Quantum Simulation of Floquet Topological Phases with a Solid-State Quantum Simulator

abstract: Quantum simulator with the ability to harness the dynamics of complex quantum systems has emerged as a promising platform for probing exotic topological phases. Since the flexibility offered by various controllable quantum systems has enabled to gain insight into quantum simulation of such complicated problems, analog quantum simulator has recently shown its feasibility to tackle problems of exploring topological phases. However, digital quantum simulation and detection of topological phases still remain elusive. Here, we develop and experimentally realize the digital quantum simulation of topological phase with a solid-state quantum simulator at room temperature. Distinct from previous works dealing with static topological phases, the topological phases emulated here are Floquet topological phases. Furthermore, we also illustrate the procedure of digitally simulating a quantum quench and observing the nonequilibrium dynamics of Floquet topological phases. By means of quantum quench, the 0- and {\pi}-energy topological invariants are unambiguously detected through measuring time-averaged spin polarizations. Our experiment opens up a new avenue to digitally simulate and detect Floquet topological phases with fast-developed programmable quantum simulators.


title: Evaluation of the systematic shifts of a ${}^{40}\textrm{Ca}^+-{}^{27}\textrm{Al}^+$ optical clock

abstract: Quantum-logic-based ${}^{27}\textrm{Al}^+$ optical clock has been demonstrated in several schemes as there are different choices of the auxiliary ion species. In this paper, we present the first detailed evaluation of the systematic shift and the total uncertainty of an ${}^{27}\textrm{Al}^+$ optical clock sympathetically cooled by a ${}^{40}\textrm{Ca}^+$ ion. The total systematic uncertainty of the ${}^{40}\textrm{Ca}^+ - {}^{27}\textrm{Al}^+$ quantum logic clock has been estimated to be $7.9 \times 10^{-18}$, which was mainly limited by the uncertainty of the quadratic Zeeman shift. By comparing the frequency of two counter-propagating clock beams on the same ion, we measured the frequency stability to be $3.7 \times 10^{-14} /\sqrt{\tau}$.


title: Competing electronic orders on a heavily doped honeycomb lattice with enhanced exchange coupling

abstract: Motivated by recent discovery of correlated insulating and superconducting behavior in twisted bilayer graphene, we revisit graphene's honeycomb lattice doped close to the van Hove singularity, using the truncated unity functional renormalization group approach. We consider an extended Hubbard model on the honeycomb lattice including on-site and nearest-neighbor Coulomb repulsions, and nearest-neighbor ferromagnetic exchange and pair hopping interactions. By varying the strength of the nearest-neighbor exchange coupling and Coulomb repulsion as free parameters, we present rich ground-state phase diagrams which contain the spin-triplet $f$-wave and spin-singlet chiral $d$-wave superconducting phases, the commensurate and incommensurate spin- and charge-density-wave phases, and the ferromagnetic phase. In the absence of the exchange coupling and for small value of the nearest-neighbor repulsion, the four-sublattice spin-density-wave phase is generated right around the van Hove filling, while the chiral $d$-wave superconductivity emerges slightly away from it. Surprisingly, the chiral $d$-wave superconductivity is strongly suppressed by weak nearest-neighbor exchange coupling in our calculations. We argue that this suppression might be one of the reasons why the chiral superconductivity proposed for doped graphene has not yet been observed experimentally.


title: A 1D model of liquid laminar flows with large Reynolds numbers in tapered microchannels

abstract: In this article, we construct a novel 1D-model of microfluidic laminar flows in tapered circular and rectangular channels assuming the flow in channels fully developed. In the model, we take into account the inertance and dynamic pressure terms. The model can be used for a wide range of flows: from the pure capillary flow regime, where the capillary forces are the main driver of the liquid in the channel, to the external pressure flow regime where the external pressure applied to the liquid at the entrance to the channel is much larger than the capillary pressure in the channel, so that the capillary force can be ignored. We apply the model to rectangular Y-shape junctions, where the base channel is connected to a reservoir and the end channels are exposed to atmospheric air. We show that, in asymmetric Y-shape junctions, there can be a time of meniscus arrest, where only one of the two channels with a smaller radius fills, and, the other one, with a larger radius, is arrested. The time of meniscus arrest decreases with an increase in the applied external pressure; when this pressure becomes large enough, the meniscus arrest disappears. However, if the ratio of the radii of the end channels is large, the meniscus arrest does not appear because the flow resistance in the channel with the smaller radius is much large than in the channel with the larger radius so that the initial flow in the wider channel cannot be stopped by the differences in the surface tension pressures in these channels. In this article, we also investigate the applicability of the fully developed flow approximation assumed in the model.


title: Spatiotemporal Graph Neural Network based Mask Reconstruction for Video Object Segmentation

abstract: This paper addresses the task of segmenting class-agnostic objects in semi-supervised setting. Although previous detection based methods achieve relatively good performance, these approaches extract the best proposal by a greedy strategy, which may lose the local patch details outside the chosen candidate. In this paper, we propose a novel spatiotemporal graph neural network (STG-Net) to reconstruct more accurate masks for video object segmentation, which captures the local contexts by utilizing all proposals. In the spatial graph, we treat object proposals of a frame as nodes and represent their correlations with an edge weight strategy for mask context aggregation. To capture temporal information from previous frames, we use a memory network to refine the mask of current frame by retrieving historic masks in a temporal graph. The joint use of both local patch details and temporal relationships allow us to better address the challenges such as object occlusion and missing. Without online learning and fine-tuning, our STG-Net achieves state-of-the-art performance on four large benchmarks (DAVIS, YouTube-VOS, SegTrack-v2, and YouTube-Objects), demonstrating the effectiveness of the proposed approach.


title: Precise asymptotics on the Birkhoff sums for dynamical systems

abstract: We establish two precise asymptotic results on the Birkhoff sums for dynamical systems. These results are parallel to that on the arithmetic sums of independent and identically distributed random variables previously obtained by Hsu and Robbins, Erd\H{o}s, Heyde. We apply our results to the Gauss map and obtain new precise asymptotics in the theorem of L\'evy on the regular continued fraction expansion of irrational numbers in $(0,1)$.


title: The Retina as a Dynamical System

abstract: Considering the retina as a high dimensional, non autonomous, dynamical system, layered and structured, with non stationary and spatially inhomogeneous entries (visual scenes), we present several examples where dynamical systems-, bifurcations-, and ergodic-theory provide useful insights on retinal behaviour and dynamics.


title: A generalized approach to study low as well as high $p_T$ regime of transverse momentum spectra

abstract: A good understanding of the transverse momentum $(p_T)$ spectra is pivotal in the study of QCD matter created during the heavy-ion collision. Considering the difference in the underlying particle production mechanism, $p_T$ spectra can be divided into two distinct regions. Low-$p_T$ region corresponds to particle produced in soft-processes whereas particles produced in hard processes dominate the high-$p_T$ regime of the spectra. We will discuss a unified formalism to explain both low as well as high-$p_T$ region of the transverse momentum spectra in a consistent manner. This unified formalism is based on the generalisation of non-extensive statistical mechanics using the Pearson distribution. This generalised formalism also gives a strong insight into the study of elliptic flow in heavy-ion collision.


title: Geometric algorithms for sampling the flux space of metabolic networks

abstract: Systems Biology is a fundamental field and paradigm that introduces a new era in Biology. The crux of its functionality and usefulness relies on metabolic networks that model the reactions occurring inside an organism and provide the means to understand the underlying mechanisms that govern biological systems. Even more, metabolic networks have a broader impact that ranges from resolution of ecosystems to personalized medicine.The analysis of metabolic networks is a computational geometry oriented field as one of the main operations they depend on is sampling uniformly points from polytopes; the latter provides a representation of the steady states of the metabolic networks. However, the polytopes that result from biological data are of very high dimension (to the order of thousands) and in most, if not all, the cases are considerably skinny. Therefore, to perform uniform random sampling efficiently in this setting, we need a novel algorithmic and computational framework specially tailored for the properties of metabolic networks.We present a complete software framework to handle sampling in metabolic networks. Its backbone is a Multiphase Monte Carlo Sampling (MMCS) algorithm that unifies rounding and sampling in one pass, obtaining both upon termination. It exploits an improved variant of the Billiard Walk that enjoys faster arithmetic complexity per step. We demonstrate the efficiency of our approach by performing extensive experiments on various metabolic networks. Notably, sampling on the most complicated human metabolic network accessible today, Recon3D, corresponding to a polytope of dimension 5 335 took less than 30 hours. To our knowledge, that is out of reach for existing software.


title: Null-controllability, exact controllability, and stabilization of hyperbolic systems for the optimal time

abstract: In this paper, we discuss our recent works on the null-controllability, the exact controllability, and the stabilization of linear hyperbolic systems in one dimensional space using boundary controls on one side for the optimal time. Under precise and generic assumptions on the boundary conditions on the other side, we first obtain the optimal time for the null and the exact controllability for these systems for a generic source term. We then prove the null-controllability and the exact controllability for any time greater than the optimal time and for any source term. Finally, for homogeneous systems, we design feedbacks which stabilize the systems and bring them to the zero state at the optimal time. Extensions for the non-linear homogeneous system are also discussed


title: Super-operator structures and no-go theorems for dissipative quantum phase transitions

abstract: In the thermodynamic limit, the steady states of open quantum many-body systems can undergo nonequilibrium phase transitions due to a competition between coherent and driven-dissipative dynamics. Here, we consider Markovian systems and elucidate structures of the Liouville super-operator that generates the time evolution. In many cases of interest, an operator-basis transformation can bring the Liouvillian into a block-triangular form, making it possible to assess its spectrum. The spectral gap sets the asymptotic decay rate. The super-operator structure can be used to bound gaps from below, showing that, in a large class of systems, dissipative phase transitions are actually impossible and that the convergence to steady states follows an exponential temporal decay. Furthermore, when the blocks on the diagonal are Hermitian, the Liouvillian spectra obey Weyl ordering relations. The results apply, for example, to Davies generators and quadratic systems, and are also demonstrated for various spin models.


title: On Shapley Credit Allocation for Interpretability

abstract: We emphasize the importance of asking the right question when interpreting the decisions of a learning model. We discuss a natural extension of the theoretical machinery from Janzing et. al. 2020, which answers the question "Why did my model predict a person has cancer?" for answering a more involved question, "What caused my model to predict a person has cancer?" While the former quantifies the direct effects of variables on the model, the latter also accounts for indirect effects, thereby providing meaningful insights wherever human beings can reason in terms of cause and effect. We propose three broad categories for interpretations: observational, model-specific and causal each of which are significant in their own right. Furthermore, this paper quantifies feature relevance by weaving different natures of interpretations together with different measures as characteristic functions for Shapley symmetrization. Besides the widely used expected value of the model, we also discuss measures of statistical uncertainty and dispersion as informative candidates, and their merits in generating explanations for each data point, some of which are used in this context for the first time. These measures are not only useful for studying the influence of variables on the model output, but also on the predictive performance of the model, and for that we propose relevant characteristic functions that are also used for the first time.


title: Analysis of Outage Latency and Throughput Performance in Industrial Factory 5G TDD Deployments

abstract: The fifth generation (5G) new radio supports a diversity of network deployments. The industrial factory (InF) wireless automation use cases are emerging and drawing an increasing attention of the 5G new radio standardization groups. Therefore, in this paper, we propose a service-aware time division duplexing (TDD) frame selection framework for multi-traffic deployments. We evaluate the performance of the InF network deployments with the state-of-the-art 3GPP modeling assumptions. In particular, we consider the dynamic TDD mode along with optimized uplink power control settings. Multi-traffic coexistence scenarios are also incorporated such that quality of service (QoS) aware dynamic user scheduling and TDD link selection are introduced. Extensive system level simulations are performed in order to evaluate the performance of the proposed solutions, where the proposed QoS-aware scheme shows 68% URLLC outage latency reduction compared to the QoS-unaware solutions. Finally, the paper offers insightful conclusions and design recommendations on the TDD radio frame selection, uplink power control settings and the best QoS-coexistence practices, in order to achieve a decent URLLC outage latency performance in the state-of-the-art InF deployments.


title: Deep Learning Methods For Synthetic Aperture Radar Image Despeckling: An Overview Of Trends And Perspectives

abstract: Synthetic aperture radar (SAR) images are affected by a spatially-correlated and signal-dependent noise called speckle, which is very severe and may hinder image exploitation. Despeckling is an important task that aims at removing such noise, so as to improve the accuracy of all downstream image processing tasks. The first despeckling methods date back to the 1970's, and several model-based algorithms have been developed in the subsequent years. The field has received growing attention, sparkled by the availability of powerful deep learning models that have yielded excellent performance for inverse problems in image processing. This paper surveys the literature on deep learning methods applied to SAR despeckling, covering both the supervised and the more recent self-supervised approaches. We provide a critical analysis of existing methods with the objective to recognize the most promising research lines, to identify the factors that have limited the success of deep models, and to propose ways forward in an attempt to fully exploit the potential of deep learning for SAR despeckling.


title: COVID-MTL: Multitask Learning with Shift3D and Random-weighted Loss for Automated Diagnosis and Severity Assessment of COVID-19

abstract: There is an urgent need for automated methods to assist accurate and effective assessment of COVID-19. Radiology and nucleic acid test (NAT) are complementary COVID-19 diagnosis methods. In this paper, we present an end-to-end multitask learning (MTL) framework (COVID-MTL) that is capable of automated and simultaneous detection (against both radiology and NAT) and severity assessment of COVID-19. COVID-MTL learns different COVID-19 tasks in parallel through our novel random-weighted loss function, which assigns learning weights under Dirichlet distribution to prevent task dominance; our new 3D real-time augmentation algorithm (Shift3D) introduces space variances for 3D CNN components by shifting low-level feature representations of volumetric inputs in three dimensions; thereby, the MTL framework is able to accelerate convergence and improve joint learning performance compared to single-task models. By only using chest CT scans, COVID-MTL was trained on 930 CT scans and tested on separate 399 cases. COVID-MTL achieved AUCs of 0.939 and 0.846, and accuracies of 90.23% and 79.20% for detection of COVID-19 against radiology and NAT, respectively, which outperformed the state-of-the-art models. Meanwhile, COVID-MTL yielded AUC of 0.800 $\pm$ 0.020 and 0.813 $\pm$ 0.021 (with transfer learning) for classifying control/suspected, mild/regular, and severe/critically-ill cases. To decipher the recognition mechanism, we also identified high-throughput lung features that were significantly related (P < 0.001) to the positivity and severity of COVID-19.


title: SE-ECGNet: A Multi-scale Deep Residual Network with Squeeze-and-Excitation Module for ECG Signal Classification

abstract: The classification of electrocardiogram (ECG) signals, which takes much time and suffers from a high rate of misjudgment, is recognized as an extremely challenging task for cardiologists. The major difficulty of the ECG signals classification is caused by the long-term sequence dependencies. Most existing approaches for ECG signal classification use Recurrent Neural Network models, e.g., LSTM and GRU, which are unable to extract accurate features for such long sequences. Other approaches utilize 1-Dimensional Convolutional Neural Network (CNN), such as ResNet or its variant, and they can not make good use of the multi-lead information from ECG signals.Based on the above observations, we develop a multi-scale deep residual network for the ECG signal classification task. We are the first to propose to treat the multi-lead signal as a 2-dimensional matrix and combines multi-scale 2-D convolution blocks with 1-D convolution blocks for feature extraction. Our proposed model achieves 99.2% F1-score in the MIT-BIH dataset and 89.4% F1-score in Alibaba dataset and outperforms the state-of-the-art performance by 2% and 3%, respectively, view related code and data at https://github.com/Amadeuszhao/SE-ECGNet


title: On the Metric and Computation of PAC Codes

abstract: In this paper, we present an optimal metric function on average, which leads to a significantly low decoding computation while maintaining the superiority of the polarization-adjusted convolutional (PAC) codes' error-correction performance. With our proposed metric function, the PAC codes' decoding computation is comparable to the conventional convolutional codes (CC) sequential decoding. Moreover, simulation results show an improvement in the low-rate PAC codes' error-correction performance when using our proposed metric function. We prove that choosing the polarized cutoff rate as the metric function's bias value reduces the probability of the sequential decoder advancing in the wrong path exponentially with respect to the wrong path depth. We also prove that the upper bound of the PAC codes' computation has a Pareto distribution; our simulation results also verify this. Furthermore, we present a scaling-bias procedure and a method of choosing threshold spacing for the search-limited sequential decoding that substantially improves the decoder's average computation. Our results show that for some codes with a length of 128, the search-limited PAC codes can achieve an error-correction performance close to the error-correction performance of the polar codes under successive cancellation list decoding with a list size of 64 and CRC length of 11 with a considerably lower computation.


title: Stochastic Inference of Surface-Induced Effects using Brownian Motion

abstract: Brownian motion in confinement and at interfaces is a canonical situation, encountered from fundamental biophysics to nanoscale engineering. Using the Lorenz-Mie framework, we optically record the thermally-induced tridimensional trajectories of individual microparticles, within salty aqueous solutions, in the vicinity of a rigid wall, and in the presence of surface charges. We construct the time-dependent position and displacement probability density functions, and study the non-Gaussian character of the latter which is a direct signature of the hindered mobility near the wall. Based on these distributions, we implement a novel, robust and self-calibrated multifitting method, allowing for the thermal-noise-limited inference of diffusion coefficients spatially-resolved at the nanoscale, equilibrium potentials, and forces at the femtoNewton resolution.


title: Horospherical two-orbit varieties as zero loci

abstract: We present geometric realizations of horospherical two-orbit varieties, by showing that their blow-up along the unique closed-invariant orbit is the zero locus of a general section of a homogeneous vector bundle over some auxiliary variety. As an application, we compute the cohomology ring of the $G_2$-variety, including its quantum version. We also consider the Spin$_7$-variety, which deserves a different treatment.


title: Connection among stochastic Hamilton-Jacobi-Bellman equation, path-integral, and Koopman operator on nonlinear stochastic optimal control

abstract: The path-integral control, which stems from the stochastic Hamilton-Jacobi-Bellman equation, is one of the methods to control stochastic nonlinear systems. This paper gives a new insight into nonlinear stochastic optimal control problems from the perspective of Koopman operators. When a finite-dimensional dynamical system is nonlinear, the corresponding Koopman operator is linear. Although the Koopman operator is infinite-dimensional, adequate approximation makes it tractable and useful in some discussions and applications. Employing the Koopman operator perspective, it is clarified that only a specific type of observable is enough to be focused on in the control problem. This fact becomes easier to understand via path-integral control. Furthermore, the focus on the specific observable leads to a natural power-series expansion; coupled ordinary differential equations for discrete-state space systems are derived. A demonstration for nonlinear stochastic optimal control shows that the derived equations work well.


title: Learning Multiple Sound Source 2D Localization

abstract: In this paper, we propose novel deep learning based algorithms for multiple sound source localization. Specifically, we aim to find the 2D Cartesian coordinates of multiple sound sources in an enclosed environment by using multiple microphone arrays. To this end, we use an encoding-decoding architecture and propose two improvements on it to accomplish the task. In addition, we also propose two novel localization representations which increase the accuracy. Lastly, new metrics are developed relying on resolution-based multiple source association which enables us to evaluate and compare different localization approaches. We tested our method on both synthetic and real world data. The results show that our method improves upon the previous baseline approach for this problem.


title: Explainable Link Prediction for Privacy-Preserving Contact Tracing

abstract: Contact Tracing has been used to identify people who were in close proximity to those infected with SARS-Cov2 coronavirus. A number of digital contract tracing applications have been introduced to facilitate or complement physical contact tracing. However, there are a number of privacy issues in the implementation of contract tracing applications, which make people reluctant to install or update their infection status on these applications. In this concept paper, we present ideas from Graph Neural Networks and explainability, that could improve trust in these applications, and encourage adoption by people.


title: Edge Computing Assisted Autonomous Flight for UAV: Synergies between Vision and Communications

abstract: Autonomous flight for UAVs relies on visual information for avoiding obstacles and ensuring a safe collision-free flight. In addition to visual clues, safe UAVs often need connectivity with the ground station. In this paper, we study the synergies between vision and communications for edge computing-enabled UAV flight. By proposing a framework of Edge Computing Assisted Autonomous Flight (ECAAF), we illustrate that vision and communications can interact with and assist each other with the aid of edge computing and offloading, and further speed up the UAV mission completion. ECAAF consists of three functionalities that are discussed in detail: edge computing for 3D map acquisition, radio map construction from the 3D map, and online trajectory planning. During ECAAF, the interactions of communication capacity, video offloading, 3D map quality, and channel state of the trajectory form a positive feedback loop. Simulation results verify that the proposed method can improve mission performance by enhancing connectivity. Finally, we conclude with some future research directions.


title: An extended variational theory for nonlinear evolution equations via modular spaces

abstract: We propose an extension of the classical variational theory of evolution equations that accounts for dynamics also in possibly non-reflexive and non-separable spaces. The pivoting point is to establish a novel variational structure, based on abstract modular spaces associated to a given convex function. Firstly, we show that the new variational triple is suited for framing the evolution, in the sense that a novel duality paring can be introduced and a generalised computational chain rule holds. Secondly, we prove well-posedness in an extended variational sense for evolution equations, without relying on any reflexivity assumption and any polynomial requirement on the nonlinearity. Finally, we discuss several important applications that can be addressed in this framework: these cover, but are not limited to, equations in Musielak-Orlicz-Sobolev spaces, such as variable exponent, Orlicz, weighted Lebesgue, and double-phase spaces.


title: Monetizing Customer Load Data for an Energy Retailer: A Cooperative Game Approach

abstract: When energy customers schedule loads ahead of time, this information, if acquired by their energy retailer, can improve the retailer's load forecasts. Better forecasts lead to wholesale purchase decisions that are likely to result in lower energy imbalance costs, and thus higher profits for the retailer. Therefore, this paper monetizes the value of the customer schedulable load data by quantifying the retailer's profit gain from adjusting the wholesale purchase based on such data. Using a cooperative game theoretic approach, the retailer translates their increased profit in expectation into the value of cooperation, and redistributes a portion of it among the customers as monetary incentives for them to continue providing their load data. Through case studies, this paper demonstrates the significance of the additional profit for the retailer from using the proposed framework, and evaluates the long-term monetary benefits to the customers based on different payoff allocation methods.


title: An Overview of 5G System Accessibility Differentiation and Control

abstract: 5G system is characterized by its capability to support a wide range of use cases and services. Supporting accessibility differentiation becomes therefore essential to preserve a stable network condition during high traffic load, while ensuring connection and service quality to prioritized devices and services. In this article, we describe some use cases and requirements that impact the 3GPP design of the 5G accessibility differentiation framework. We then provide an overview of the supported mechanisms for accessibility differentiation and control in 5G Stand Alone (SA) system, including cell barring and reservation, unified access control, paging control, random access control and admission control. We discuss how these functionalities can be used to maintain the service quality and selectively limit the incoming traffic to the network at high load situations, leveraging different connection-type indicators and connection-priority identifiers.