title: Towards Better Semantic Understanding of Mobile Interfaces

abstract: Improving the accessibility and automation capabilities of mobile devices can have a significant positive impact on the daily lives of countless users. To stimulate research in this direction, we release a human-annotated dataset with approximately 500k unique annotations aimed at increasing the understanding of the functionality of UI elements. This dataset augments images and view hierarchies from RICO, a large dataset of mobile UIs, with annotations for icons based on their shapes and semantics, and associations between different elements and their corresponding text labels, resulting in a significant increase in the number of UI elements and the categories assigned to them. We also release models using image-only and multimodal inputs; we experiment with various architectures and study the benefits of using multimodal inputs on the new dataset. Our models demonstrate strong performance on an evaluation set of unseen apps, indicating their generalizability to newer screens. These models, combined with the new dataset, can enable innovative functionalities like referring to UI elements by their labels, improved coverage and better semantics for icons etc., which would go a long way in making UIs more usable for everyone.


title: Quaternions, Monge-Amp\`ere structures and $k$-surfaces

abstract: In [15] Labourie develops a theory of immersed surfaces of prescribed extrinsic curvature which has since found widespread applications in hyperbolic geometry, general relativity, Teichm\"uller theory, and so on. In this chapter, we present a quaternionic reformulation of these ideas. This yields simpler proofs of the main results whilst pointing towards the higher-dimensional generalisation studied by the author in [25].


title: Vision-Based Defect Classification and Weight Estimation of Rice Kernels

abstract: Rice is one of the main staple food in many areas of the world. The quality estimation of rice kernels are crucial in terms of both food safety and socio-economic impact. This was usually carried out by quality inspectors in the past, which may result in both objective and subjective inaccuracies. In this paper, we present an automatic visual quality estimation system of rice kernels, to classify the sampled rice kernels according to their types of flaws, and evaluate their quality via the weight ratios of the perspective kernel types. To compensate for the imbalance of different kernel numbers and classify kernels with multiple flaws accurately, we propose a multi-stage workflow which is able to locate the kernels in the captured image and classify their properties. We define a novel metric to measure the relative weight of each kernel in the image from its area, such that the relative weight of each type of kernels with regard to the all samples can be computed and used as the basis for rice quality estimation. Various experiments are carried out to show that our system is able to output precise results in a contactless way and replace tedious and error-prone manual works.


title: When not to use machine learning: a perspective on potential and limitations

abstract: The unparalleled success of artificial intelligence (AI) in the technology sector has catalyzed an enormous amount of research in the scientific community. It has proven to be a powerful tool, but as with any rapidly developing field, the deluge of information can be overwhelming, confusing and sometimes misleading. This can make it easy to become lost in the same hype cycles that have historically ended in the periods of scarce funding and depleted expectations known as AI Winters. Furthermore, while the importance of innovative, high-risk research cannot be overstated, it is also imperative to understand the fundamental limits of available techniques, especially in young fields where the rules appear to be constantly rewritten and as the likelihood of application to high-stakes scenarios increases. In this perspective, we highlight the guiding principles of data-driven modeling, how these principles imbue models with almost magical predictive power, and how they also impose limitations on the scope of problems they can address. Particularly, understanding when not to use data-driven techniques, such as machine learning, is not something commonly explored, but is just as important as knowing how to apply the techniques properly. We hope that the discussion to follow provides researchers throughout the sciences with a better understanding of when said techniques are appropriate, the pitfalls to watch for, and most importantly, the confidence to leverage the power they can provide.


title: A Human Rights-Based Approach to Responsible AI

abstract: Research on fairness, accountability, transparency and ethics of AI-based interventions in society has gained much-needed momentum in recent years. However it lacks an explicit alignment with a set of normative values and principles that guide this research and interventions. Rather, an implicit consensus is often assumed to hold for the values we impart into our models - something that is at odds with the pluralistic world we live in. In this paper, we put forth the doctrine of universal human rights as a set of globally salient and cross-culturally recognized set of values that can serve as a grounding framework for explicit value alignment in responsible AI - and discuss its efficacy as a framework for civil society partnership and participation. We argue that a human rights framework orients the research in this space away from the machines and the risks of their biases, and towards humans and the risks to their rights, essentially helping to center the conversation around who is harmed, what harms they face, and how those harms may be mitigated.


title: Congruences on the class numbers of $\mathbb{Q}(\sqrt{\pm 2p})$ for $p\equiv3$ $(\text{mod }4)$ a prime

abstract: For a prime $p\equiv 3$ $(\text{mod }4)$, let $h(-8p)$ and $h(8p)$ be the class numbers of $\mathbb{Q}(\sqrt{-2p})$ and $\mathbb{Q}(\sqrt{2p})$, respectively. Let $\Psi(\xi)$ be the Hirzebruch sum of a quadratic irrational $\xi$. We show that $h(-8p)\equiv h(8p)\Big(\Psi(2\sqrt{2p})/3-\Psi\big((1+\sqrt{2p})/2\big)/3\Big)$ $(\text{mod }16)$. Also, we show that $h(-8p)\equiv 2h(8p)\Psi(2\sqrt{2p})/3$ $(\text{mod }8)$ if $p\equiv 3$ $(\text{mod }8)$, and $h(-8p)\equiv \big(2h(8p)\Psi(2\sqrt{2p})/3\big)+4$ $(\text{mod }8)$ if $p\equiv 7$ $(\text{mod }8)$.


title: Can the phase of radiation pressure fluctuations be flipped in a single path for laser interferometric gravitational wave detectors?

abstract: Radiation pressure (RP) noise, one component of quantum noise, can limit the sensitivity of laser interferometric gravitational wave (GW) detectors at lower frequencies. We conceived a possible RP noise cancellation method, using phase flipped ponderomotive-squeezed light (FPSL) incident on free-mass mirrors in interferometers' arms. This possibility is investigated under the constraint that the method is for space-based GW detectors in a broad frequency band lower than 1 Hz without using a long optical cavity. Considering various patterns in a single path small-scale case to generate the FPSL, we proved that no configuration exists in the single path case.


title: Unconditional stability and error analysis of an Euler IMEX-SAV scheme for the micropolar Navier-Stokes equations

abstract: In this paper, we consider numerical approximations for solving the micropolar Navier-Stokes (MNS) equations, that couples the Navier-Stokes equations and the angular momentum equation together. By combining the scalar auxiliary variable (SAV) approach for the convective terms and some subtle implicit-explicit (IMEX) treatments for the coupling terms, we propose a decoupled, linear and unconditionally energy stable scheme for this system. We further derive rigorous error estimates for the velocity, pressure and angular velocity in two dimensions without any condition on the time step. Numerical examples are presented to verify the theoretical findings and show the performances of the scheme.


title: A Logic for Expressing Log-Precision Transformers

abstract: One way to interpret the reasoning power of transformer-based language models is to describe the types of logical rules they can resolve over some input text. Recently, Chiang et al. (2023) showed that finite-precision transformers can be equivalently expressed in a generalization of first-order logic. However, finite-precision transformers are a weak transformer variant because, as we show, a single head can only attend to a constant number of tokens and, in particular, cannot represent uniform attention. Since attending broadly is a core capability for transformers, we ask whether a minimally more expressive model that can attend universally can also be characterized in logic. To this end, we analyze transformers whose forward pass is computed in $\log n$ precision on contexts of length $n$. We prove that any log-precision transformer can be equivalently expressed as a first-order logic sentence that, in addition to standard universal and existential quantifiers, may also contain majority-vote quantifiers. This is the tightest known upper bound and first logical characterization of log-precision transformers.


title: A Novel Maximum-Entropy-Driven Technique for Low-Rank Orthogonal Nonnegative Matrix Factorization with $\ell_0$-Norm sparsity Constraint

abstract: In data-driven control and machine learning, a common requirement involves breaking down large matrices into smaller, low-rank factors that possess specific levels of sparsity. This paper introduces an innovative solution to the orthogonal nonnegative matrix factorization (ONMF) problem. The objective is to approximate input data by using two low-rank nonnegative matrices, adhering to both orthogonality and $\ell_0$-norm sparsity constraints. the proposed maximum-entropy-principle based framework ensures orthogonality and sparsity of features or the mixing matrix, while maintaining nonnegativity in both. Additionally, the methodology offers a quantitative determination of the ``true'' number of underlying features, a crucial hyperparameter for ONMF. Experimental evaluation on synthetic and a standard datasets highlights the method's superiority in terms of sparsity, orthogonality, and computational speed compared to existing approaches. Notably, the proposed method achieves comparable or improved reconstruction errors in line with the literature.


title: On the Interplay Between Deadline-Constrained Traffic and the Number of Allowed Retransmissions in Random Access Networks

abstract: In this paper, a network comprising wireless devices equipped with buffers transmitting deadline-constrained data packets over a slotted-ALOHA random-access channel is studied. Although communication protocols facilitating retransmissions increase reliability, packet transmission from the queue experiences delays and thus, packets with time constraints might be dropped before being successfully transmitted, while at the same time causing the queue size of the buffer to increase. Towards understanding the trade-off between reliability and delays that might lead to packet drops due to the deadline-constrained bursty traffic with retransmissions, a scenario of a wireless network utilizing a slotted-ALOHA random-access channel is investigated. The main focus is to reveal and investigate further the trade-off between the number of retransmissions and the packet deadline as a function of the arrival rate. Hence, we are able to determine numerically the optimal probability of transmissions and number of retransmissions, given the packet arrival rate and the packet deadline. The analysis of the system was done by means of discrete-time Markov chains. Two scenarios are studied: i) the collision channel model (in which a receiver can decode only when a single packet is transmitted), and ii) the case for which receivers have multi-packet reception capabilities. A performance evaluation for a user with different transmit probability and number of retransmissions is conducted, demonstrating their impact on the average drop rate and throughput, while at the same time showing that there exists a set of values, under which improved performance can be acquired.


title: Variational quantum one-class classifier

abstract: One-class classification is a fundamental problem in pattern recognition with a wide range of applications. This work presents a semi-supervised quantum machine learning algorithm for such a problem, which we call a variational quantum one-class classifier (VQOCC). The algorithm is suitable for noisy intermediate-scale quantum computing because the VQOCC trains a fully-parameterized quantum autoencoder with a normal dataset and does not require decoding. The performance of the VQOCC is compared with that of the one-class support vector machine (OC-SVM), the kernel principal component analysis (PCA), and the deep convolutional autoencoder (DCAE) using handwritten digit and Fashion-MNIST datasets. The numerical experiment examined various structures of VQOCC by varying data encoding, the number of parameterized quantum circuit layers, and the size of the latent feature space. The benchmark shows that the classification performance of VQOCC is comparable to that of OC-SVM and PCA, although the number of model parameters grows only logarithmically with the data size. The quantum algorithm outperformed DCAE in most cases under similar training conditions. Therefore, our algorithm constitutes an extremely compact and effective machine learning model for one-class classification.


title: Look Ma, Only 400 Samples! Revisiting the Effectiveness of Automatic N-Gram Rule Generation for Spelling Normalization in Filipino

abstract: With 84.75 million Filipinos online, the ability for models to process online text is crucial for developing Filipino NLP applications. To this end, spelling correction is a crucial preprocessing step for downstream processing. However, the lack of data prevents the use of language models for this task. In this paper, we propose an N-Gram + Damerau Levenshtein distance model with automatic rule extraction. We train the model on 300 samples, and show that despite limited training data, it achieves good performance and outperforms other deep learning approaches in terms of accuracy and edit distance. Moreover, the model (1) requires little compute power, (2) trains in little time, thus allowing for retraining, and (3) is easily interpretable, allowing for direct troubleshooting, highlighting the success of traditional approaches over more complex deep learning models in settings where data is unavailable.


title: Uncertainty Estimation for Multi-view Data: The Power of Seeing the Whole Picture

abstract: Uncertainty estimation is essential to make neural networks trustworthy in real-world applications. Extensive research efforts have been made to quantify and reduce predictive uncertainty. However, most existing works are designed for unimodal data, whereas multi-view uncertainty estimation has not been sufficiently investigated. Therefore, we propose a new multi-view classification framework for better uncertainty estimation and out-of-domain sample detection, where we associate each view with an uncertainty-aware classifier and combine the predictions of all the views in a principled way. The experimental results with real-world datasets demonstrate that our proposed approach is an accurate, reliable, and well-calibrated classifier, which predominantly outperforms the multi-view baselines tested in terms of expected calibration error, robustness to noise, and accuracy for the in-domain sample classification and the out-of-domain sample detection tasks.


title: Ill-posedness of the Novikov equation in the critical Besov space $B^{1}_{\infty,1}(\mathbb{R})$

abstract: It is shown that both the Camassa-Holm and Novikov equations are ill-posed in $B_{p,r}^{1+1/p}(\mathbb{R})$ with $(p,r)\in[1,\infty]\times(1,\infty]$ in \cite{Guo2019} and well-posed in $B_{p,1}^{1+1/p}(\mathbb{R})$ with $p\in[1,\infty)$ in \cite{Ye}. Recently, the ill-posedness for the Camassa-Holm equation in $B^{1}_{\infty,1}(\mathbb{R})$ has been proved in \cite{Guo}. In this paper, we shall solve the only left an endpoint case $r=1$ for the Novikov equation. More precisely, we prove the ill-posedness for the Novikov equation in $B^{1}_{\infty,1}(\mathbb{R})$ by exhibiting the norm inflation phenomena.


title: Effective Metaheuristic Based Classifiers for Multiclass Intrusion Detection

abstract: Network security has become the biggest concern in the area of cyber security because of the exponential growth in computer networks and applications. Intrusion detection plays an important role in the security of information systems or networks devices. The purpose of an intrusion detection system (IDS) is to detect malicious activities and then generate an alarm against these activities. Having a large amount of data is one of the key problems in detecting attacks. Most of the intrusion detection systems use all features of datasets to evaluate the models and result in is, low detection rate, high computational time and uses of many computer resources. For fast attacks detection IDS needs a lightweight data. A feature selection method plays a key role to select best features to achieve maximum accuracy. This research work conduct experiments by considering on two updated attacks datasets, UNSW-NB15 and CICDDoS2019. This work suggests a wrapper based Genetic Algorithm (GA) features selection method with ensemble classifiers. GA select the best feature subsets and achieve high accuracy, detection rate (DR) and low false alarm rate (FAR) compared to existing approaches. This research focuses on multi-class classification. Implements two ensemble methods: stacking and bagging to detect different types of attacks. The results show that GA improve the accuracy significantly with stacking ensemble classifier.


title: Covers and Pseudocovers of Symmetric Graphs

abstract: We introduce the concept of {\it pseudocover}, which is a counterpart of {\it cover}, for symmetric graphs. The only known example of pseudocovers of symmetric graphs so far was given by Praeger, Zhou and the first-named author a decade ago, which seems technical and hard to extend to obtain more examples. In this paper, we present a criterion for a symmetric extender of a symmetric graph to be a pseudocover, and then apply it to produce various examples of pseudocovers, including (1) with a single exception, each Praeger-Xu's graph is a pseudocover of a wreath graph; (2) each connected tetravalent symmetric graph with vertex stabilizer of size divisible by $32$ has connected pseudocovers.


title: DReS-FL: Dropout-Resilient Secure Federated Learning for Non-IID Clients via Secret Data Sharing

abstract: Federated learning (FL) strives to enable collaborative training of machine learning models without centrally collecting clients' private data. Different from centralized training, the local datasets across clients in FL are non-independent and identically distributed (non-IID). In addition, the data-owning clients may drop out of the training process arbitrarily. These characteristics will significantly degrade the training performance. This paper proposes a Dropout-Resilient Secure Federated Learning (DReS-FL) framework based on Lagrange coded computing (LCC) to tackle both the non-IID and dropout problems. The key idea is to utilize Lagrange coding to secretly share the private datasets among clients so that each client receives an encoded version of the global dataset, and the local gradient computation over this dataset is unbiased. To correctly decode the gradient at the server, the gradient function has to be a polynomial in a finite field, and thus we construct polynomial integer neural networks (PINNs) to enable our framework. Theoretical analysis shows that DReS-FL is resilient to client dropouts and provides privacy protection for the local datasets. Furthermore, we experimentally demonstrate that DReS-FL consistently leads to significant performance gains over baseline methods.


title: Quantum Thermodynamics applied for Quantum Refrigerators cooling down a qubit

abstract: We discuss a quantum refrigerator to increase the ground state probability of a target qubit whose energy difference between the ground and excited states is less than the thermal energy of the environment. We consider two types of quantum refrigerators: (1) one extra qubit with frequent pulse operations and (2) two extra qubits without them. These two types of refrigerators are evaluated from the viewpoint of quantum thermodynamics. More specifically, we calculate the heat removed from the target qubit, the work done for the system, and the coefficient of performance (COP), the ratio between the heat ant the work. We show that the COP of the second type outperforms that of the first type. Our results are useful to design a high-performance quantum refrigerator cooling down a qubit.


title: Synchrotron cutoff in Ultraluminous X-ray sources

abstract: The origin of spectral curvature at energies $E\simeq 10$ keV in ultraluminous X-ray sources is not well understood. In this paper, we propose a novel mechanism based on synchrotron radiation to explain this cutoff. We show that relativistic plasma can give rise to observed spectral curvature for neutron star magnetic fields due to the variation in the latitude of synchrotron radiation. We analyze the NuSTAR data of two bright pulsar ULXs, NGC 5907 ULX1 and NGC 7793 P13, and provide estimates of the physical parameters of these sources. We fit the data for synchrotron emission at various latitudes and show that the spectral cutoff in these cases can be explained for a large range of acceptable physical parameters, e.g., a semi-relativistic plasma with $\gamma \simeq 20$ for high latitudes or a highly relativistic plasma ($\gamma \simeq 10^5$) for emission close to the electron's orbital plane in a typical magnetic field of $B\simeq 10^{12} \, \rm G$. We also discuss how such an emission mechanism can be distinguished from other proposed models. A corollary to our study is that most ULXs might be neutron stars as they display such a spectral cutoff.


title: A Machine Learning Based Approach to Categorize Research Journals

abstract: In this modern technological era, categorization and ranking of research journals is gaining popularity among researchers and scientists. It plays a significant role for publication of their research findings in a quality journal. Although, many research works exist on journal categorization and ranking, however, there is a lack of research works to categorize and predict the journals using suitable machine learning techniques. This work aims to categorize and predict various academic research journals. This work suggests a hybrid predictive model comprising of five steps. The first step is to prepare the dataset with twenty features. The second step is to pre-process the dataset. The third step is to apply an appropriate clustering algorithm for categorization. The fourth step is to apply appropriate feature selection techniques to get an effective subset of features. The fifth step involves some ensemble plus non ensemble methods to train the model. The model is trained on a full set of features, and a selected subset of features is obtained by applying three feature selection techniques. After model training, the prediction results are evaluated in terms of precision, recall, and accuracy. The results can help the researchers and the practitioners in predicting the journal category.


title: Conformal Isometry of Lie Group Representation in Recurrent Network of Grid Cells

abstract: The activity of the grid cell population in the medial entorhinal cortex (MEC) of the mammalian brain forms a vector representation of the self-position of the animal. Recurrent neural networks have been proposed to explain the properties of the grid cells by updating the neural activity vector based on the velocity input of the animal. In doing so, the grid cell system effectively performs path integration. In this paper, we investigate the algebraic, geometric, and topological properties of grid cells using recurrent network models. Algebraically, we study the Lie group and Lie algebra of the recurrent transformation as a representation of self-motion. Geometrically, we study the conformal isometry of the Lie group representation where the local displacement of the activity vector in the neural space is proportional to the local displacement of the agent in the 2D physical space. Topologically, the compact abelian Lie group representation automatically leads to the torus topology commonly assumed and observed in neuroscience. We then focus on a simple non-linear recurrent model that underlies the continuous attractor neural networks of grid cells. Our numerical experiments show that conformal isometry leads to hexagon periodic patterns in the grid cell responses and our model is capable of accurate path integration. Code is available at \url{https://github.com/DehongXu/grid-cell-rnn}.


title: A Real2Sim2Real Method for Robust Object Grasping with Neural Surface Reconstruction

abstract: Recent 3D-based manipulation methods either directly predict the grasp pose using 3D neural networks, or solve the grasp pose using similar objects retrieved from shape databases. However, the former faces generalizability challenges when testing with new robot arms or unseen objects; and the latter assumes that similar objects exist in the databases. We hypothesize that recent 3D modeling methods provides a path towards building digital replica of the evaluation scene that affords physical simulation and supports robust manipulation algorithm learning. We propose to reconstruct high-quality meshes from real-world point clouds using state-of-the-art neural surface reconstruction method (the Real2Sim step). Because most simulators take meshes for fast simulation, the reconstructed meshes enable grasp pose labels generation without human efforts. The generated labels can train grasp network that performs robustly in the real evaluation scene (the Sim2Real step). In synthetic and real experiments, we show that the Real2Sim2Real pipeline performs better than baseline grasp networks trained with a large dataset and a grasp sampling method with retrieval-based reconstruction. The benefit of the Real2Sim2Real pipeline comes from 1) decoupling scene modeling and grasp sampling into sub-problems, and 2) both sub-problems can be solved with sufficiently high quality using recent 3D learning algorithms and mesh-based physical simulation techniques.


title: Fixed-point equations solving Risk-sensitive MDP with constraint

abstract: There are no computationally feasible algorithms that provide solutions to the finite horizon Risk-sensitive Constrained Markov Decision Process (Risk-CMDP) problem, even for problems with moderate horizon. With an aim to design the same, we derive a fixed-point equation such that the optimal policy of Risk-CMDP is also a solution. We further provide two optimization problems equivalent to the Risk-CMDP. These formulations are instrumental in designing a global algorithm that converges to the optimal policy. The proposed algorithm is based on random restarts and a local improvement step, where the local improvement step utilizes the solution of the derived fixed-point equation; random restarts ensure global optimization. We also provide numerical examples to illustrate the feasibility of our algorithm for inventory control problem with risk-sensitive cost and constraint. The complexity of the algorithm grows only linearly with the time-horizon.


title: Odd-Sum Colorings of Planar Graphs

abstract: A \emph{coloring} of a graph $G$ is a map $f:V(G)\to \mathbb{Z}^+$ such that $f(v)\ne f(w)$ for all $vw\in E(G)$. A coloring $f$ is an \emph{odd-sum} coloring if $\sum_{w\in N[v]}f(w)$ is odd, for each vertex $v\in V(G)$. The \emph{odd-sum chromatic number} of a graph $G$, denoted $\chi_{os}(G)$, is the minimum number of colors used (that is, the minimum size of the range) in an odd-sum coloring of $G$. Caro, Petru\v{s}evski, and \v{S}krekovski showed, among other results, that $\chi_{os}(G)$ is well-defined for every finite graph $G$ and, in fact, $\chi_{os}(G)\le 2\chi(G)$. Thus, $\chi_{os}(G)\le 8$ for every planar graph $G$ (by the 4 Color Theorem), $\chi_{os}(G)\le 6$ for every triangle-free planar graph $G$ (by Gr\"{o}tzsch's Theorem), and $\chi_{os}(G)\le 4$ for every bipartite graph. Caro et al. asked, for every even $\Delta\ge 4$, whether there exists $g_{\Delta}$ such that if $G$ is planar with maximum degree $\Delta$ and girth at least $g_{\Delta}$ then $\chi_{os}(G)\le 5$. They also asked, for every even $\Delta\ge 4$, whether there exists $g_{\Delta}$ such that if $G$ is planar and bipartite with maximum degree $\Delta$ and girth at least $g_{\Delta}$ then $\chi_{os}(G)\le 3$. We answer both questions negatively. We also refute a conjecture they made, resolve one further problem they posed, and make progress on another.


title: Optimality conditions and Lagrange multipliers for shape and topology optimization problems

abstract: We discuss first order optimality conditions for geometric optimization problems with Neumann boundary conditions and boundary observation. The methods we develop here are applicable to large classes of state systems or cost functionals. Our approach is based on the implicit parametrization theorem and the use of Hamiltonian systems. It establishes equivalence with a constrained optimal control problem and uses Lagrange multipliers under a new simple constraint qualification. In this setting, general functional variations are performed, that combine topological and boundary variations in a natural way.


title: Neural Matching Fields: Implicit Representation of Matching Fields for Visual Correspondence

abstract: Existing pipelines of semantic correspondence commonly include extracting high-level semantic features for the invariance against intra-class variations and background clutters. This architecture, however, inevitably results in a low-resolution matching field that additionally requires an ad-hoc interpolation process as a post-processing for converting it into a high-resolution one, certainly limiting the overall performance of matching results. To overcome this, inspired by recent success of implicit neural representation, we present a novel method for semantic correspondence, called Neural Matching Field (NeMF). However, complicacy and high-dimensionality of a 4D matching field are the major hindrances, which we propose a cost embedding network to process a coarse cost volume to use as a guidance for establishing high-precision matching field through the following fully-connected network. Nevertheless, learning a high-dimensional matching field remains challenging mainly due to computational complexity, since a naive exhaustive inference would require querying from all pixels in the 4D space to infer pixel-wise correspondences. To overcome this, we propose adequate training and inference procedures, which in the training phase, we randomly sample matching candidates and in the inference phase, we iteratively performs PatchMatch-based inference and coordinate optimization at test time. With these combined, competitive results are attained on several standard benchmarks for semantic correspondence. Code and pre-trained weights are available at https://ku-cvlab.github.io/NeMF/.


title: Efficiency of local Vanka smoother geometric multigrid preconditioning for space-time finite element methods to the Navier-Stokes equations

abstract: Numerical simulation of incompressible viscous flow, in particular in three space dimensions, continues to remain a challenging task. Space-time finite element methods feature the natural construction of higher order discretization schemes. They offer the potential to achieve accurate results on computationally feasible grids. Linearizing the resulting algebraic problems by Newton's method yields linear systems with block matrices built of $(k+1)\times (k+1)$ saddle point systems, where $k$ denotes the polynomial order of the variational time discretization. We demonstrate numerically the efficiency of preconditioning GMRES iterations for solving these linear systems by a $V$-cycle geometric multigrid approach based on a local Vanka smoother. The studies are done for the two- and three-dimensional benchmark problem of flow around a cylinder. Here, the robustness of the solver with respect to the piecewise polynomial order $k$ in time is analyzed and proved numerically.


title: Kinetically Decoupled Electrical and Structural Phase Transitions in VO2

abstract: Vanadium dioxide (VO2) has drawn significant attention for its near room temperature insulator to metal transition and associated structural phase transition. The underlying Physics behind the temperature induced insulator to metal and concomitant structural phase transition in VO2 is yet to be fully understood. We have investigated the kinetics of the above phase transition behaviors of VO2 with the help of resistivity measurements and Raman spectroscopy. Resistance thermal hysteresis scaling and relaxation measurements across the temperature induced insulator to metal transition reveal the unusual behaviour of this first-order phase transition, whereas Raman relaxation measurements show that the temperature induced structural phase transition in VO2 follows usual behaviour and is consistent with mean field prediction. At higher temperature sweeping rates decoupling of insulator to metal transition and structural phase transition have been confirmed. The observed anomalous first order phase transition behavior in VO2 is attributed to the unconventional quasi particle dynamics, i.e. significantly lowered electronic thermal conductivity across insulator to metal transition, which is confirmed by ultrafast optical pump-probe time domain thermoreflectance measurements.


title: Safety-based Speed Control of a Wheelchair using Robust Adaptive Model Predictive Control

abstract: Electric-powered wheelchair plays an important role in providing accessibility for people with mobility impairment. Ensuring the safety of wheelchair operation in different application scenarios and for diverse users is crucial when the designing controller for tracking tasks. In this work, we propose a safety-based speed tracking control algorithm for wheelchair systems with external disturbances and uncertain parameters at the dynamic level. The set-membership approach is applied to estimate the sets of uncertain parameters online and a designed model predictive control scheme with online model and control parameter adaptation is presented to guarantee safety-related constraints during the tracking process. The proposed controller can drive the wheelchair speed to a desired reference within safety constraints. For the inadmissible reference that violates the constraints, the proposed controller can steer the system to the neighbourhood of the closest admissible reference. The effectiveness of the proposed control scheme is validated based on the high-fidelity speed tracking results of two tasks that involve feasible and infeasible references.


title: Focal and Global Spatial-Temporal Transformer for Skeleton-based Action Recognition

abstract: Despite great progress achieved by transformer in various vision tasks, it is still underexplored for skeleton-based action recognition with only a few attempts. Besides, these methods directly calculate the pair-wise global self-attention equally for all the joints in both the spatial and temporal dimensions, undervaluing the effect of discriminative local joints and the short-range temporal dynamics. In this work, we propose a novel Focal and Global Spatial-Temporal Transformer network (FG-STFormer), that is equipped with two key components: (1) FG-SFormer: focal joints and global parts coupling spatial transformer. It forces the network to focus on modelling correlations for both the learned discriminative spatial joints and human body parts respectively. The selective focal joints eliminate the negative effect of non-informative ones during accumulating the correlations. Meanwhile, the interactions between the focal joints and body parts are incorporated to enhance the spatial dependencies via mutual cross-attention. (2) FG-TFormer: focal and global temporal transformer. Dilated temporal convolution is integrated into the global self-attention mechanism to explicitly capture the local temporal motion patterns of joints or body parts, which is found to be vital important to make temporal transformer work. Extensive experimental results on three benchmarks, namely NTU-60, NTU-120 and NW-UCLA, show our FG-STFormer surpasses all existing transformer-based methods, and compares favourably with state-of-the art GCN-based methods.


title: Probabilistic partition of unity networks for high-dimensional regression problems

abstract: We explore the probabilistic partition of unity network (PPOU-Net) model in the context of high-dimensional regression problems and propose a general framework focusing on adaptive dimensionality reduction. With the proposed framework, the target function is approximated by a mixture of experts model on a low-dimensional manifold, where each cluster is associated with a local fixed-degree polynomial. We present a training strategy that leverages the expectation maximization (EM) algorithm. During the training, we alternate between (i) applying gradient descent to update the DNN coefficients; and (ii) using closed-form formulae derived from the EM algorithm to update the mixture of experts model parameters. Under the probabilistic formulation, step (ii) admits the form of embarrassingly parallelizable weighted least-squares solves. The PPOU-Nets consistently outperform the baseline fully-connected neural networks of comparable sizes in numerical experiments of various data dimensions. We also explore the proposed model in applications of quantum computing, where the PPOU-Nets act as surrogate models for cost landscapes associated with variational quantum circuits.


title: Different Perspectives on FLP Impossibility

abstract: We demonstrate termination of binary consensus under the model and conditions used by Fischer, Lynch, and Patterson (FLP) to prove its impossibility - in complete asynchrony and one unannounced crash-fail. We present a consensus algorithm with agreement about a dataset containing the initial values of processes. It tolerates one transient process crash-fail and ensures termination in complete asynchrony. After termination, the processes individually compute the decision value with a deterministic function taking the agreed dataset as input. Key findings: Direct causal relationship between asynchrony and impossible consensus termination does not exist. Dependency of agreement on the content of the initial value can prevent computation of binary decision value, but not termination.


title: Nuclear symmetry energy and the PREX-CREX neutron skin puzzle within the KIDS framework

abstract: I briefly review the KIDS theoretical framework for the nuclear equation of state (EoS) and energy density functional (EDF), I discuss recent results for the curvature parameter of the symmetry energy, and I address the PREX-CREX puzzle. I show that it is possible to obtain EDF models which can reproduce both PREX-II and CREX results each within its respective error bars. Such EDFs correspond to EoSs which soften towards low densities, as could be attributed to clusterization. Before such a scenario is considered viable, the dipole polarizability should also be examined.


title: DexGraspNet: A Large-Scale Robotic Dexterous Grasp Dataset for General Objects Based on Simulation

abstract: Robotic dexterous grasping is the first step to enable human-like dexterous object manipulation and thus a crucial robotic technology. However, dexterous grasping is much more under-explored than object grasping with parallel grippers, partially due to the lack of a large-scale dataset. In this work, we present a large-scale robotic dexterous grasp dataset, DexGraspNet, generated by our proposed highly efficient synthesis method that can be generally applied to any dexterous hand. Our method leverages a deeply accelerated differentiable force closure estimator and thus can efficiently and robustly synthesize stable and diverse grasps on a large scale. We choose ShadowHand and generate 1.32 million grasps for 5355 objects, covering more than 133 object categories and containing more than 200 diverse grasps for each object instance, with all grasps having been validated by the Isaac Gym simulator. Compared to the previous dataset from Liu et al. generated by GraspIt!, our dataset has not only more objects and grasps, but also higher diversity and quality. Via performing cross-dataset experiments, we show that training several algorithms of dexterous grasp synthesis on our dataset significantly outperforms training on the previous one. To access our data and code, including code for human and Allegro grasp synthesis, please visit our project page: https://pku-epic.github.io/DexGraspNet/.


title: A Fast Butterfly-compressed Hadamard-Babich Integrator for High-Frequency Helmholtz Equations in Inhomogeneous Media with Arbitrary Sources

abstract: We present a butterfly-compressed representation of the Hadamard-Babich (HB) ansatz for the Green's function of the high-frequency Helmholtz equation in smooth inhomogeneous media. For a computational domain discretized with $N_v$ discretization cells, the proposed algorithm first solves and tabulates the phase and HB coefficients via eikonal and transport equations with observation points and point sources located at the Chebyshev nodes using a set of much coarser computation grids, and then butterfly compresses the resulting HB interactions from all $N_v$ cell centers to each other. The overall CPU time and memory requirement scale as $O(N_v\log^2N_v)$ for any bounded 2D domains with arbitrary excitation sources. A direct extension of this scheme to bounded 3D domains yields an $O(N_v^{4/3})$ CPU complexity, which can be further reduced to quasi-linear complexities with proposed remedies. The scheme can also efficiently handle scattering problems involving inclusions in inhomogeneous media. Although the current construction of our HB integrator does not accommodate caustics, the resulting HB integrator itself can be applied to certain sources, such as concave-shaped sources, to produce caustic effects. Compared to finite-difference frequency-domain (FDFD) methods, the proposed HB integrator is free of numerical dispersion and requires fewer discretization points per wavelength. As a result, it can solve wave-propagation problems well beyond the capability of existing solvers. Remarkably, the proposed scheme can accurately model wave propagation in 2D domains with 640 wavelengths per direction and in 3D domains with 54 wavelengths per direction on a state-the-art supercomputer at Lawrence Berkeley National Laboratory.


title: Higher internal covers

abstract: We define and study a higher-dimensional version of model theoretic internality, and relate it to higher-dimensional definable groupoids in the base theory.


title: Minimal-order Appointed-time Unknown Input Observers: Design and Applications

abstract: This paper presents a framework on minimal-order appointed-time unknown input observers for linear systems based on the pairwise observer structure. A minimal-order appointed-time observer is first proposed for the linear system without the unknown input, which can estimate the state exactly at the preset time by seeking for the unique solution of a system of linear equations. To further release the computational burden, another form of the appointed-time observer is designed. For the general linear system with the unknown input acting on both the system dynamics and the measured output, the model reconfiguration is made to decouple the effect of the unknown input, and the gap between the existing reduced-order appointed-time unknown input observer and the possible minimal-order appointed-time observer is revealed. Based on the reconstructed model, the minimal-order appointed-time unknown input observer is presented to realize state estimation of linear system with the unknown input at the arbitrarily small preset time. The minimal-order appointed-time unknown input observer is then applied to the design of fully distributed adaptive output-feedback attack-free consensus protocols for linear multi-agent systems.


title: Quark confinement in QCD in the 't Hooft limit

abstract: We treat quantum chromodynamics (QCD) using a set of Dyson-Schwinger equations derived, in differential form, with the Bender-Milton-Savage technique. In this way, we are able to derive the low energy limit that assumes the form of a non-local Nambu-Jona-Lasinio model. The corresponding gap equation is then studied to show that such a model has no free quarks in the low-energy limit.


title: Block-Structured Optimization for Subgraph Detection in Interdependent Networks

abstract: We propose a generalized framework for block-structured nonconvex optimization, which can be applied to structured subgraph detection in interdependent networks, such as multi-layer networks, temporal networks, networks of networks, and many others. Specifically, we design an effective, efficient, and parallelizable projection algorithm, namely Graph Block-structured Gradient Projection (GBGP), to optimize a general non-linear function subject to graph-structured constraints. We prove that our algorithm: 1) runs in nearly-linear time on the network size; 2) enjoys a theoretical approximation guarantee. Moreover, we demonstrate how our framework can be applied to two very practical applications and conduct comprehensive experiments to show the effectiveness and efficiency of our proposed algorithm.


title: Teaching Neural Module Networks to Do Arithmetic

abstract: Answering complex questions that require multi-step multi-type reasoning over raw text is challenging, especially when conducting numerical reasoning. Neural Module Networks(NMNs), follow the programmer-interpreter framework and design trainable modules to learn different reasoning skills. However, NMNs only have limited reasoning abilities, and lack numerical reasoning capability. We up-grade NMNs by: (a) bridging the gap between its interpreter and the complex questions; (b) introducing addition and subtraction modules that perform numerical reasoning over numbers. On a subset of DROP, experimental results show that our proposed methods enhance NMNs' numerical reasoning skills by 17.7% improvement of F1 score and significantly outperform previous state-of-the-art models.


title: hyperbox-brain: A Toolbox for Hyperbox-based Machine Learning Algorithms

abstract: Hyperbox-based machine learning algorithms are an important and popular branch of machine learning in the construction of classifiers using fuzzy sets and logic theory and neural network architectures. This type of learning is characterised by many strong points of modern predictors such as a high scalability, explainability, online adaptation, effective learning from a small amount of data, native ability to deal with missing data and accommodating new classes. Nevertheless, there is no comprehensive existing package for hyperbox-based machine learning which can serve as a benchmark for research and allow non-expert users to apply these algorithms easily. hyperbox-brain is an open-source Python library implementing the leading hyperbox-based machine learning algorithms. This library exposes a unified API which closely follows and is compatible with the renowned scikit-learn and numpy toolboxes. The library may be installed from Python Package Index (PyPI) and the conda package manager and is distributed under the GPL-3 license. The source code, documentation, detailed tutorials, and the full descriptions of the API are available at https://uts-caslab.github.io/hyperbox-brain.


title: Wigner molecules in phosphorene quantum dots

abstract: We study Wigner crystallization of electron systems in phosphorene quantum dots with confinement of an electrostatic origin with both circular and elongated geometry. The anisotropy of the effective mass allows for the formation of Wigner molecules in the laboratory frame with a confined charge density that has lower symmetry than the confinement potential. We find that in circular quantum dots separate single-electron islands are formed for two and four confined electrons but not for three trapped carriers. The spectral signatures of the Wigner crystallization to be resolved by transport spectroscopy are discussed. Systems with Wigner molecule states are characterized by a nearly degenerate ground state at $B=0$ and are easily spin-polarized by the external magnetic field. In electron systems for which the single-electron islands are not formed, a more even distribution of excited states at $B=0$ is observed, and the confined system undergoes ground state symmetry transitions at magnetic fields of the order of 1 Tesla. The system of five electrons in a circular quantum dot is indicated as a special case with two charge configurations that appear in the ground-state as the magnetic field is changed: one with the single electron islands formed in the laboratory frame and the other where only the pair-correlation function in the inner coordinates of the system has a molecular form as for three electrons. The formation of Wigner molecules of quasi-1D form is easier for the orientation of elongated quantum dots along the zigzag direction with heavier electron mass. The smaller electron effective mass along the armchair direction allows for freezing out the transverse degree of freedom in the electron motion.


title: Fast likelihood evaluation using meshfree approximations for reconstructing compact binary sources

abstract: Several rapid parameter estimation methods have recently been advanced to deal with the computational challenges of the problem of Bayesian inference of the properties of compact binary sources detected in the upcoming science runs of the terrestrial network of gravitational wave detectors. Some of these methods are well-optimized to reconstruct gravitational wave signals in nearly real-time necessary for multi-messenger astronomy. In this context, this work presents a new, computationally efficient algorithm for fast evaluation of the likelihood function using a combination of numerical linear algebra and mesh-free interpolation methods. The proposed method can rapidly evaluate the likelihood function at any arbitrary point of the sample space at a negligible loss of accuracy and is an alternative to the grid-based parameter estimation schemes. We obtain posterior samples over model parameters for a canonical binary neutron star system by interfacing our fast likelihood evaluation method with the nested sampling algorithm. The marginalized posterior distributions obtained from these samples are statistically identical to those obtained by brute force calculations. We find that such Bayesian posteriors can be determined within a few minutes of detecting such transient compact binary sources, thereby improving the chances of their prompt follow-up observations with telescopes at different wavelengths. It may be possible to apply the blueprint of the meshfree technique presented in this study to Bayesian inference problems in other domains.


title: Assisted baryon number violation from $4k+2$ dimensions

abstract: Proton decay in six dimensions orbifolded on square $T^2/Z_2$ is highly suppressed at tree-level. This is because baryon number violating (BNV) operators containing only the zero mode of bulk fermions must satisfy the selection rule $\frac{3}{2} \Delta B \pm \frac{1}{2}\Delta L = 0 \ mod \ 4$. In this article, we show that the above relation does not prohibit mass dimension-6 BNV operators containing Kaluza Klein (KK) partners of the bulk fermions. Together with `spinless' adjoint scalar partner of hypercharge gauge boson (the Dark Matter candidate), these novel operators generate Dark Matter assisted proton decay at mass dimension-8. Here, with explicit examples of scalar and vector baryon number violating interactions, we discuss the importance of such $\Delta B=1 =\Delta L$ and $\Delta B=2=\Delta L$ operators and derive the limit on New Physics.


title: Pre-crossed modules and rack homology

abstract: We define a homology theory for pre-crossed modules that specifies to rack homology in the case when the pre-crossed module is freely generated by a rack.


title: Embodied Referring Expression for Manipulation Question Answering in Interactive Environment

abstract: Embodied agents are expected to perform more complicated tasks in an interactive environment, with the progress of Embodied AI in recent years. Existing embodied tasks including Embodied Referring Expression (ERE) and other QA-form tasks mainly focuses on interaction in term of linguistic instruction. Therefore, enabling the agent to manipulate objects in the environment for exploration actively has become a challenging problem for the community. To solve this problem, We introduce a new embodied task: Remote Embodied Manipulation Question Answering (REMQA) to combine ERE with manipulation tasks. In the REMQA task, the agent needs to navigate to a remote position and perform manipulation with the target object to answer the question. We build a benchmark dataset for the REMQA task in the AI2-THOR simulator. To this end, a framework with 3D semantic reconstruction and modular network paradigms is proposed. The evaluation of the proposed framework on the REMQA dataset is presented to validate its effectiveness.


title: Reduced Membrane Model for Liquid Crystal Polymer Networks: Asymptotics and Computation

abstract: We examine a reduced membrane model of liquid crystal polymer networks (LCNs) via asymptotics and computation. This model requires solving a minimization problem for a non-convex stretching energy. We show a formal asymptotic derivation of the 2D membrane model from 3D rubber elasticity. We construct approximate solutions with point defects. We design a finite element method with regularization, and propose a nonlinear gradient flow with Newton inner iteration to solve the non-convex discrete minimization problem. We present numerical simulations of practical interests to illustrate the ability of the model and our method to capture rich physical phenomena.


title: On Andreae's Ubiquity Conjecture

abstract: A graph $H$ is ubiquitous if for every graph $G$ that for every natural number $n$ contains $n$ vertex-disjoint $H$-minors contains infinitely many vertex-disjoint $H$-minors. Andreae conjectured that every locally finite graph is ubiquitous. We give a disconnected counterexample to this conjecture. It remains open whether every connected locally finite graph is ubiquitous.


title: Dispersive Decay Bound of Small Data Solutions to Kawahara Equation in a Finite Time Scale

abstract: In this article, we prove that small localized data yield solutions to Kawahara type equation which have linear dispersive decay on a finite time. We use the similar method used to derive the dispersive decay bound of the solutions to the KdV equation, with some steps being simpler. This result is expected to be the first result of the small data global bounds of the fifth-order dispersive equations with quadratic nonlinearity.


title: On Optimal Learning Under Targeted Data Poisoning

abstract: Consider the task of learning a hypothesis class $\mathcal{H}$ in the presence of an adversary that can replace up to an $\eta$ fraction of the examples in the training set with arbitrary adversarial examples. The adversary aims to fail the learner on a particular target test point $x$ which is known to the adversary but not to the learner. In this work we aim to characterize the smallest achievable error $\epsilon=\epsilon(\eta)$ by the learner in the presence of such an adversary in both realizable and agnostic settings. We fully achieve this in the realizable setting, proving that $\epsilon=\Theta(\mathtt{VC}(\mathcal{H})\cdot \eta)$, where $\mathtt{VC}(\mathcal{H})$ is the VC dimension of $\mathcal{H}$. Remarkably, we show that the upper bound can be attained by a deterministic learner. In the agnostic setting we reveal a more elaborate landscape: we devise a deterministic learner with a multiplicative regret guarantee of $\epsilon \leq C\cdot\mathtt{OPT} + O(\mathtt{VC}(\mathcal{H})\cdot \eta)$, where $C > 1$ is a universal numerical constant. We complement this by showing that for any deterministic learner there is an attack which worsens its error to at least $2\cdot \mathtt{OPT}$. This implies that a multiplicative deterioration in the regret is unavoidable in this case. Finally, the algorithms we develop for achieving the optimal rates are inherently improper. Nevertheless, we show that for a variety of natural concept classes, such as linear classifiers, it is possible to retain the dependence $\epsilon=\Theta_{\mathcal{H}}(\eta)$ by a proper algorithm in the realizable setting. Here $\Theta_{\mathcal{H}}$ conceals a polynomial dependence on $\mathtt{VC}(\mathcal{H})$.


title: Capture of a diffusing lamb by a diffusing lion when both return home

abstract: A diffusing lion pursues a diffusing lamb when both of them are allowed to get back to their homes intermittently. Identifying the system with a pair of vicious random walkers, we study their dynamics under Poissonian and sharp resetting. In absence of any resets, the location of intersection of the two walkers follows a Cauchy distribution. In presence of resetting, the distribution of the location of annihilation is composed of two parts: one in which the trajectories cross without being reset (center) and the other where trajectories are reset at least once before they cross each other (tails). We find that the tail part decays exponentially for both the resetting protocols. The central part of the distribution, on the other hand, depends on the nature of the restart protocol, with Cauchy for Poisson resetting and Gaussian for sharp resetting. We find good agreement of the analytical results with numerical calculations.


title: Planar bridging an atomically precise surface trench with a single molecular wire on an Au(111) surface

abstract: In a bridge configuration, a single graphene nanoribbon (GNR) is positioned with a picometer precision over a trench in between two monoatomic steps on an Au(111) surface. This GNR molecular wire adopts a deformed conformation towards the down terrace in between the two contact step edges. Using differential conductance dI/dV mapping from a low-temperature scanning tunneling microscope, it is demonstrated how the electronic delocalization along GNR is cut at each contact by its down curvature. It points out the need to bring conductive nanocontacts backside of the support for preserving the front side GNR planar conformation.


title: Computing groups of Hecke characters

abstract: We describe algorithms to represent and compute groups of Hecke characters. We make use of an id{\`e}lic point of view and obtain the whole family of such characters, including transcendental ones. We also show how to isolate the algebraic characters, which are of particular interest in number theory. This work has been implemented in Pari/GP, and we illustrate our work with a variety of explicit examples using our implementation.


title: Analysis of IRS-Assisted Downlink Wireless Networks over Generalized Fading

abstract: Future wireless networks are expected to provide high spectral efficiency, low hardware cost, and scalable connectivity. An appealing option to meet these requirements is the intelligent reflective surface (IRS), which guarantees a smart propagation environment by adjusting the phase shift and direction of received signals. However, the composite channel of IRS-assisted wireless networks, which is composed of a direct link and cascaded link aided by the IRS, has made it challenging to carry out system design and analysis. This motivates us to find tractable and accurate channel modeling methods to model multiple types of channels. To this end, we adopt mixture Gamma distributions to model the direct link, the cascaded link, and the mixture channel. Moreover, this channel modeling method can be applied to various transmission environments with an arbitrary type of fading as the underlying fading of each link. Additionally, a unified stochastic geometric framework is introduced based on this tractable channel model. First, we derived distributions of the cascaded link and the mixture channel by proving multipliability and quadratic form of mixture Gamma distributed channels. Then, we carried out a stochastic geometric analysis of the system performance of the IRS-assisted wireless network with the proposed channel modeling method. Our simulation shows that the mixture Gamma distributed approximation method guarantees high accuracy and promotes the feasibility of system performance analysis of IRS-assisted networks with complicated propagation environments, especially with a generalized fading model. Furthermore, the proposed analytical framework provides positive insights into the system design regarding reliability and efficiency.


title: On the metrizability of $m$-Kropina spaces with closed null 1-form

abstract: We investigate the local metrizability of Finsler spaces with $m$-Kropina metric $F = \alpha^{1+m}\beta^{-m}$, where $\beta$ is a closed null 1-form. We show that such a space is of Berwald type if and only if the (pseudo-)Riemannian metric $\alpha$ and 1-form $\beta$ have a very specific form in certain coordinates. In particular, when the signature of $\alpha$ is Lorentzian, $\alpha$ belongs to a certain subclass of the Kundt class and $\beta$ generates the corresponding null congruence, and this generalizes in a natural way to arbitrary signature. We use this result to prove that the affine connection on such an $m$-Kropina space is locally metrizable by a (pseudo-)Riemannian metric if and only if the Ricci tensor constructed form the affine connection is symmetric. In particular we construct all counterexamples of this type to Szabo's metrization theorem, which has only been proven for positive definite Finsler metrics that are regular on all of the slit tangent bundle.


title: Continuous Diagnosis and Prognosis by Controlling the Update Process of Deep Neural Networks

abstract: Continuous diagnosis and prognosis are essential for intensive care patients. It can provide more opportunities for timely treatment and rational resource allocation, especially for sepsis, a main cause of death in ICU, and COVID-19, a new worldwide epidemic. Although deep learning methods have shown their great superiority in many medical tasks, they tend to catastrophically forget, over fit, and get results too late when performing diagnosis and prognosis in the continuous mode. In this work, we summarized the three requirements of this task, proposed a new concept, continuous classification of time series (CCTS), and designed a novel model training method, restricted update strategy of neural networks (RU). In the context of continuous prognosis, our method outperformed all baselines and achieved the average accuracy of 90%, 97%, and 85% on sepsis prognosis, COVID-19 mortality prediction, and eight diseases classification. Superiorly, our method can also endow deep learning with interpretability, having the potential to explore disease mechanisms and provide a new horizon for medical research. We have achieved disease staging for sepsis and COVID-19, discovering four stages and three stages with their typical biomarkers respectively. Further, our method is a data-agnostic and model-agnostic plug-in, it can be used to continuously prognose other diseases with staging and even implement CCTS in other fields.


title: Understanding Gradient Regularization in Deep Learning: Efficient Finite-Difference Computation and Implicit Bias

abstract: Gradient regularization (GR) is a method that penalizes the gradient norm of the training loss during training. While some studies have reported that GR can improve generalization performance, little attention has been paid to it from the algorithmic perspective, that is, the algorithms of GR that efficiently improve the performance. In this study, we first reveal that a specific finite-difference computation, composed of both gradient ascent and descent steps, reduces the computational cost of GR. Next, we show that the finite-difference computation also works better in the sense of generalization performance. We theoretically analyze a solvable model, a diagonal linear network, and clarify that GR has a desirable implicit bias to so-called rich regime and finite-difference computation strengthens this bias. Furthermore, finite-difference GR is closely related to some other algorithms based on iterative ascent and descent steps for exploring flat minima. In particular, we reveal that the flooding method can perform finite-difference GR in an implicit way. Thus, this work broadens our understanding of GR for both practice and theory.


title: Spectroscopic localization of atomic sample plane for precise digital holography

abstract: In digital holography, the coherent scattered light fields can be reconstructed volumetrically. By refocusing the fields to the sample planes, absorption and phase-shift profiles of sparsely distributed samples can be simultaneously inferred in 3D. This holographic advantage is highly useful for spectroscopic imaging of cold atomic samples. However, unlike (e.g., biological samples or solid particles), the quasi-thermal atomic gases under laser-cooling are typically featureless without sharp boundaries, invalidating a class of standard numerical refocusing methods. Here, we extend the refocusing protocol based on the Gouy phase anomaly for small phase objects to free atomic samples. With a prior knowledge on a coherent spectral phase angle relation for cold atoms that is robust against probe condition variations, an ``out-of-phase'' response of the atomic sample can be reliably identified, which flips the sign during the numeric back-propagation across the sample plane to serve as the refocus criterion. Experimentally, we determine the sample plane of a laser-cooled $^{39}$K gas released from a microscopic dipole trap, with a $\delta z\approx 1~{\rm \mu m}$$\ll 2\lambda_p/{\rm NA}^2$ axial resolution, with a NA=0.3 holographic microscope at $\lambda_p=770~$nm probe wavelength.


title: On Frobenius Formulas of Power Sequences

abstract: Let $A=(a_1, a_2, \ldots, a_n)$ be a sequence of relative prime integers, each greater than or equal to 2. The Frobenius number $g(A)$ represents the largest integer that cannot be expressed as a nonnegative linear combination of the elements in $A$. Our recent work has introduced a combinatorial method for calculating $g(A)$ in the specific form $A=(a, a+B)=(a, a+b_1, \ldots, a+b_k)$. This method reduces the problem to a simpler optimization problem, denoted as $O_B(M)$. In this paper, we apply this method to solve the open problem of characterizing $g(A)$ for the square sequence $A=(a,a+1,a+2^2,\ldots, a+k^2)$. We demonstrate that the Frobenius number $g(a, a+1^2, a+2^2, \ldots)$ for the infinite square sequence admits a simpler solution. This is because the corresponding optimization problem, $O_B(M)$, can be solved by applying number-theoretic principles, specifically Lagrange's Four-Square Theorem and related results. Consequently, we are able to resolve the open problem by utilizing Lagrange's Four-Square Theorem in conjunction with generating functions.


title: A novel Lagrange Multiplier approach with relaxation for gradient flows

abstract: In this paper, we propose a novel Lagrange Multiplier approach, named zero-factor (ZF) approach to solve a series of gradient flow problems. The numerical schemes based on the new algorithm are unconditionally energy stable with the original energy and do not require any extra assumption conditions. We also prove that the ZF schemes with specific zero factors lead to the popular SAV-type method. To reduce the computation cost and improve the accuracy and consistency, we propose a zero-factor approach with relaxation, which we named the relaxed zero-factor (RZF) method, to design unconditional energy stable schemes for gradient flows. The RZF schemes can be proved to be unconditionally energy stable with respect to a modified energy that is closer to the original energy, and provide a very simple calculation process. The variation of the introduced zero factor is highly consistent with the nonlinear free energy which implies that the introduced ZF method is a very efficient way to capture the sharp dissipation of nonlinear free energy. Several numerical examples are provided to demonstrate the improved efficiency and accuracy of the proposed method.


title: Leveraging Instance Features for Label Aggregation in Programmatic Weak Supervision

abstract: Programmatic Weak Supervision (PWS) has emerged as a widespread paradigm to synthesize training labels efficiently. The core component of PWS is the label model, which infers true labels by aggregating the outputs of multiple noisy supervision sources abstracted as labeling functions (LFs). Existing statistical label models typically rely only on the outputs of LF, ignoring the instance features when modeling the underlying generative process. In this paper, we attempt to incorporate the instance features into a statistical label model via the proposed FABLE. In particular, it is built on a mixture of Bayesian label models, each corresponding to a global pattern of correlation, and the coefficients of the mixture components are predicted by a Gaussian Process classifier based on instance features. We adopt an auxiliary variable-based variational inference algorithm to tackle the non-conjugate issue between the Gaussian Process and Bayesian label models. Extensive empirical comparison on eleven benchmark datasets sees FABLE achieving the highest averaged performance across nine baselines.


title: Exploiting NOMA and RIS in Integrated Sensing and Communication

abstract: A novel integrated sensing and communication (ISAC) system is proposed, where a dual-functional base station is utilized to transmit the superimposed non-orthogonal multiple access (NOMA) communication signal for serving communication users and sensing targets simultaneously. Furthermore, a new reconfigurable intelligent surface (RIS)-aided-sensing structure is also proposed to address the significant path loss or blockage of LoS links for the sensing task. Based on this setup, the beampattern gain at the RIS for the radar target is derived and adopted as a sensing metric. The objective of this paper is to maximize the minimum beampattern gain by jointly optimizing active beamforming, power allocation coefficients and passive beamforming. To tackle the non-convexity of the formulated optimization problem, the beampattern gain and constraints are first transformed into more tractable forms. Then, an iterative block coordinate descent (IBCD) algorithm is proposed by employing successive convex approximation (SCA), Schur complement, semidefinite relaxation (SDR) and sequential rank-one constraint relaxation (SRCR) methods. To reduce the complexity of the proposed IBCD algorithm, a low-complexity iterative alternating optimization (IAO) algorithm is proposed. Particularly, the active beamforming is optimized by solving a semidefinite programming (SDP) problem and the closed-form solutions of the power allocation coefficients are derived. Numerical results show that: i) the proposed RIS-NOMA-ISAC system always outperforms the RIS-ISAC system without NOMA in beampattern gain and illumination power; ii) the low-complexity IAO algorithm achieves a comparable performance to that achieved by the IBCD algorithm. iii) high beampattern gain can be achieved by the proposed joint optimization algorithms in underloaded and overloaded communication scenarios.


title: Parameter estimation tools for cardiovascular flow modeling of fetal circulation

abstract: Usually, clinicians assess the correct hemodynamic behavior and fetal well-being during the gestational age thanks to their professional expertise, with the support of some indices defined for Doppler fetal waveforms. Although this approach has demonstrated to be satisfactory in the most of the cases, it can be largely improved with the aid of more advanced techniques, i.e. numerical analysis and simulation. Another key aspect limiting the analysis is that clinicians rely on a limited number of Doppler waveforms observed during the clinical examination. Moreover, the use of simple velocimetric indicators for deriving possible malfunctions of the fetal cardiovascular system can be misleading, being the fetal assessment based on a mere statistical analysis (comparison with physiological ranges), without any deep physio-pathological interpretations of the observed hemodynamic changes. The use of a lumped mathematical model, properly describing the entire fetal cardiovascular system, would be absolutely helpful in this context: by targeting physiological model parameters on the clinical reliefs, we could gain deep insights of the full system. The calibration of model parameters may also help in formulating patient-specific early diagnosis of fetal pathologies. In the present work, we develop a robust parameter estimation algorithm based on two different optimization methods using synthetic data. In particular, we deal with the inverse problem of recognizing the most significant parameters of a lumped fetal circulation model by using time tracings of fetal blood flows and pressures obtained by the model. This represents a first methodological work for the assessment of the accuracy in the identification of model parameters of an algorithm based on closed-loop mathematical model of fetal circulation and opens the way to the application of the algorithm to clinical data.

categories: physics.med-ph cs.NA math.DS math.NA math.OC


title: Should a hotter paramagnet transform quicker to a ferromagnet? Monte Carlo simulation results for Ising model

abstract: For quicker formation of ice, before inserting inside a refrigerator, heating up of a body of water can be beneficial. We report first observation of a counterpart of this intriguing fact, referred to as the Mpemba effect (ME), during ordering in ferromagnets. By performing Monte Carlo simulations of a generic model, we have obtained results on relaxation of systems that are quenched to sub-critical state points from various temperatures above the critical point. For a fixed final temperature, a system with higher starting temperature equilibrates faster than the one prepared at a lower temperature, implying the presence of ME. The observation is extremely counter-intuitive, particularly because of the fact that the model has no in-built frustration or metastability that typically is thought to provide ME. Via the calculations of nonequilibrium properties concerning structure and energy, we quantify the role of critical fluctuations behind this fundamental as well as technologically relevant observation.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.soft nlin.PS


title: Nanoscopic distribution of VAChT and VGLUT3 in striatal cholinergic varicosities suggests colocalization and segregation of the two transporters in synaptic vesicles

abstract: Striatal cholinergic interneurons (CINs) use acetylcholine (ACh) and glutamate (Glut) to regulate the striatal network since they express vesicular transporters for ACh (VAChT) and Glut (VGLUT3). However, whether ACh and Glut are released simultaneously and/or independently from cholinergic varicosities is an open question. The answer to that question requires the multichannel detection of vesicular transporters at the level of single synaptic vesicle (SV). Here, we used super-resolution STimulated Emission Depletion microscopy (STED) to characterize and quantify the distribution of VAChT and VGLUT3 in CINs SVs. Nearest-neighbor distances analysis between VAChT and VGLUT3-immunofluorescent spots revealed that 34% of CINs SVs contain both VAChT and VGLUT3. In addition, 40% of SVs expressed only VAChT while 26% of SVs contain only VGLUT3. These results suggest that SVs from CINs have the potential to store simultaneously or independently ACh and/or Glut. Overall, these morphological findings support the notion that CINs varicosities can signal with either ACh or Glut or both with an unexpected level of complexity.


title: Join-Chain Network: A Logical Reasoning View of the Multi-head Attention in Transformer

abstract: Developing neural architectures that are capable of logical reasoning has become increasingly important for a wide range of applications (e.g., natural language processing). Towards this grand objective, we propose a symbolic reasoning architecture that chains many join operators together to model output logical expressions. In particular, we demonstrate that such an ensemble of join-chains can express a broad subset of ''tree-structured'' first-order logical expressions, named FOET, which is particularly useful for modeling natural languages. To endow it with differentiable learning capability, we closely examine various neural operators for approximating the symbolic join-chains. Interestingly, we find that the widely used multi-head self-attention module in transformer can be understood as a special neural operator that implements the union bound of the join operator in probabilistic predicate space. Our analysis not only provides a new perspective on the mechanism of the pretrained models such as BERT for natural language understanding but also suggests several important future improvement directions.


title: Absent daddy, but important father

abstract: Mixing maternal and paternal genomes is the base of plant sexual reproduction, but some so-called 'haploid inducer lines' lead to the formation of seeds bearing well-developed embryos with solely the maternal genome. A recent study adds a new piece to the puzzle of this enigmatic in planta haploid embryo induction process.


title: PSVRF: Learning to restore Pitch-Shifted Voice without reference

abstract: Pitch scaling algorithms have a significant impact on the security of Automatic Speaker Verification (ASV) systems. Although numerous anti-spoofing algorithms have been proposed to identify the pitch-shifted voice and even restore it to the original version, they either have poor performance or require the original voice as a reference, limiting the prospects of applications. In this paper, we propose a no-reference approach termed PSVRF$^1$ for high-quality restoration of pitch-shifted voice. Experiments on AISHELL-1 and AISHELL-3 demonstrate that PSVRF can restore the voice disguised by various pitch-scaling techniques, which obviously enhances the robustness of ASV systems to pitch-scaling attacks. Furthermore, the performance of PSVRF even surpasses that of the state-of-the-art reference-based approach.


title: Fully Unsupervised Training of Few-shot Keyword Spotting

abstract: For training a few-shot keyword spotting (FS-KWS) model, a large labeled dataset containing massive target keywords has known to be essential to generalize to arbitrary target keywords with only a few enrollment samples. To alleviate the expensive data collection with labeling, in this paper, we propose a novel FS-KWS system trained only on synthetic data. The proposed system is based on metric learning enabling target keywords to be detected using distance metrics. Exploiting the speech synthesis model that generates speech with pseudo phonemes instead of texts, we easily obtain a large collection of multi-view samples with the same semantics. These samples are sufficient for training, considering metric learning does not intrinsically necessitate labeled data. All of the components in our framework do not require any supervision, making our method unsupervised. Experimental results on real datasets show our proposed method is competitive even without any labeled and real datasets.


title: FedGraph: an Aggregation Method from Graph Perspective

abstract: With the increasingly strengthened data privacy act and the difficult data centralization, Federated Learning (FL) has become an effective solution to collaboratively train the model while preserving each client's privacy. FedAvg is a standard aggregation algorithm that makes the proportion of dataset size of each client as aggregation weight. However, it can't deal with non-independent and identically distributed (non-i.i.d) data well because of its fixed aggregation weights and the neglect of data distribution. In this paper, we propose an aggregation strategy that can effectively deal with non-i.i.d dataset, namely FedGraph, which can adjust the aggregation weights adaptively according to the training condition of local models in whole training process. The FedGraph takes three factors into account from coarse to fine: the proportion of each local dataset size, the topology factor of model graphs, and the model weights. We calculate the gravitational force between local models by transforming the local models into topology graphs. The FedGraph can explore the internal correlation between local models better through the weighted combination of the proportion each local dataset, topology structure, and model weights. The proposed FedGraph has been applied to the MICCAI Federated Tumor Segmentation Challenge 2021 (FeTS) datasets, and the validation results show that our method surpasses the previous state-of-the-art by 2.76 mean Dice Similarity Score. The source code will be available at Github.


title: A correlated pseudo-marginal approach to doubly intractable problems

abstract: Doubly intractable models are encountered in a number of fields, e.g. social networks, ecology and epidemiology. Inference for such models requires the evaluation of a likelihood function, whose normalising function depends on the model parameters and is typically computationally intractable. The normalising constant of the posterior distribution and the additional normalising function of the likelihood function result in a so-called doubly intractable posterior, for which it is difficult to directly apply Markov chain Monte Carlo (MCMC) methods. We propose a signed pseudo-marginal Metropolis-Hastings (PMMH) algorithm with an unbiased block-Poisson estimator to sample from the posterior distribution of doubly intractable models. As the estimator can be negative, the algorithm targets the absolute value of the estimated posterior and uses an importance sampling correction to ensure simulation consistent estimates of the posterior mean of any function. The advantages of our estimator over previous approaches are that its form is ideal for correlated pseudo-marginal methods which are well known to dramatically increase sampling efficiency. Moreover, we develop analytically derived heuristic guidelines for optimally tuning the hyperparameters of the estimator. We demonstrate the algorithm on the Ising model and a Kent distribution model for spherical data.


title: What Should the System Do Next?: Operative Action Captioning for Estimating System Actions

abstract: Such human-assisting systems as robots need to correctly understand the surrounding situation based on observations and output the required support actions for humans. Language is one of the important channels to communicate with humans, and the robots are required to have the ability to express their understanding and action planning results. In this study, we propose a new task of operative action captioning that estimates and verbalizes the actions to be taken by the system in a human-assisting domain. We constructed a system that outputs a verbal description of a possible operative action that changes the current state to the given target state. We collected a dataset consisting of two images as observations, which express the current state and the state changed by actions, and a caption that describes the actions that change the current state to the target state, by crowdsourcing in daily life situations. Then we constructed a system that estimates operative action by a caption. Since the operative action's caption is expected to contain some state-changing actions, we use scene-graph prediction as an auxiliary task because the events written in the scene graphs correspond to the state changes. Experimental results showed that our system successfully described the operative actions that should be conducted between the current and target states. The auxiliary tasks that predict the scene graphs improved the quality of the estimation results.


title: Toward environmental sustainability: an empirical study on airports efficiency

abstract: The transition to more environmentally sustainable production processes and managerial practices is an increasingly important topic. Many industries need to undergo radical change to meet environmental sustainability requirements; the tourism industry is no exception. In this respect, a particular aspect that needs further attention is the relationship between airport performances and investments in environmental sustainability policies. This work represents a first attempt to provide empirical evidences about this relationship. Through the application of a non-parametrical method, we first assess the efficiency of the Italian airports industry. Secondly, we investigated the relationship between airports performance and management commitment toward the ecological transition using a Tobit regression model. The results show that airports adherence to formal multi-year ecological transition programs has a positive and consistent impact on their performance.


title: Spatial-Temporal Graph Convolutional Gated Recurrent Network for Traffic Forecasting

abstract: As an important part of intelligent transportation systems, traffic forecasting has attracted tremendous attention from academia and industry. Despite a lot of methods being proposed for traffic forecasting, it is still difficult to model complex spatial-temporal dependency. Temporal dependency includes short-term dependency and long-term dependency, and the latter is often overlooked. Spatial dependency can be divided into two parts: distance-based spatial dependency and hidden spatial dependency. To model complex spatial-temporal dependency, we propose a novel framework for traffic forecasting, named Spatial-Temporal Graph Convolutional Gated Recurrent Network (STGCGRN). We design an attention module to capture long-term dependency by mining periodic information in traffic data. We propose a Double Graph Convolution Gated Recurrent Unit (DGCGRU) to capture spatial dependency, which integrates graph convolutional network and GRU. The graph convolution part models distance-based spatial dependency with the distance-based predefined adjacency matrix and hidden spatial dependency with the self-adaptive adjacency matrix, respectively. Specially, we employ the multi-head mechanism to capture multiple hidden dependencies. In addition, the periodic pattern of each prediction node may be different, which is often ignored, resulting in mutual interference of periodic information among nodes when modeling spatial dependency. For this, we explore the architecture of model and improve the performance. Experiments on four datasets demonstrate the superior performance of our model.


title: Sparse Approximation Over the Cube

abstract: This paper presents an anlysis of the NP-hard minimization problem $\min \{\|b - Ax\|_2: \ x \in [0,1]^n, | \text{supp}(x) | \leq \sigma\}$, where $\text{supp}(x) = \{i \in [n]: x_i \neq 0\}$ and $\sigma$ is a positive integer. The object of investigation is a natural relaxation where we replace $| \text{supp}(x) | \leq \sigma$ by $\sum_i x_i \leq \sigma$. Our analysis includes a probabilistic view on when the relaxation is exact. We also consider the problem from a deterministic point of view and provide a bound on the distance between the images of optimal solutions of the original problem and its relaxation under $A$. This leads to an algorithm for generic matrices $A \in \mathbb{Z}^{m \times n}$ and achieves a polynomial running time provided that $m$ and $\|A\|_{\infty}$ are fixed.


title: High energy-resolution transient ghost absorption spectroscopy

abstract: We demonstrate the measurement of ultrafast dynamics using ghost spectroscopy and a pump-probe approach with an optical pump and a short-wavelength radiation probe. The ghost spectroscopy approach is used to overcome the challenge of the strong intensity and spectrum fluctuations at free-electron lasers and to provide high -spectral resolution, which enables the measurement of small energy shifts in the absorption spectrum. We exploit the high resolution to explore the dynamics of the charge carrier excitations and relaxations and their impact on the photoinduced structural changes in silicon by measuring the variation of the absorption spectrum of a Si(100) membrane near the silicon L2,3 edge and the accompanying edge shifts in response to the optical illumination.


title: Jet Gravitational Waves

abstract: The acceleration of a jet to relativistic velocities produces a unique memory type gravitational waves (GW) signal: {\it Jet-GW}. I discuss here resent result concerning properties of these GWs and consider their detectability in current and proposed detectors. Classical sources are long and short Gamma-ray bursts as well as hidden jets in core-collapse supernovae. Detection of jet-GWs from these sources will require detectors, such as the proposed BBO, DECIGO and lunar based detectors, that will operate in the deciHz band. The current LVK detectors could detect jet-GWs from a Galactic SGR flare if it is sufficiently asymmetric. Once detected these signals could reveal information concerning jet acceleration and collimation that cannot be explored otherwise.


title: Comet nuclei composition and evolution

abstract: Thanks to Rosetta orbiter's and Philae lander's data our knowledge of cometary nuclei composition has experienced a great advancement. The properties of 67P/CG nucleus are discussed and compared with other comets explored in the past by space missions. Cometary nuclei are made by a collection of ices, minerals, organic matter, and salts resulting in very dark and red-colored surfaces. When far from the Sun, exposed water and carbon dioxide ices are found only in few locations of 67P/CG where the exposure of pristine subsurface layers or the recondensation of volatile species driven by the solar heating and local terrain morphology can sustain their temporary presence on the surface. The nucleus surface appears covered by a dust layer of variable thickness. Dust grains appear mostly dehydrated and are made by an assemblage of minerals, organic matter, and salts. Spectral analysis shows that the mineral phase is dominated by silicates, fine-grained opaques and ammoniated salts. Aliphatic and aromatic groups, with the presence of the strong hydroxyl group, are identified within the organic matter. The surface composition of cometary nuclei evolves with heliocentric distance and seasonal cycling: approaching perihelion the increase of the solar flux boosts the activity through the sublimation of volatiles which in turn causes the erosion of surface layers, the exposure of ices, the activity in cliffs and pits, the collapse of overhangs and walls, and the mobilization and redistribution of dust. The evolution of color, composition, and texture changes occurring across different morphological regions of the nucleus are correlated with these processes. In this chapter we discuss 67P/CG nucleus composition and evolutionary processes as observed by Rosetta mission in the context of other comets previously explored by space missions or observed from Earth.


title: Towards the Multiple Constant Multiplication at Minimal Hardware Cost

abstract: Multiple Constant Multiplication (MCM) over integers is a frequent operation arising in embedded systems that require highly optimized hardware. An efficient way is to replace costly generic multiplication by bit-shifts and additions, i.e. a multiplierless circuit. In this work, we improve the state-of-the-art optimal approach for MCM, based on Integer Linear Programming (ILP). We introduce a new lower-level hardware cost, based on counting the number of one-bit adders and demonstrate that it is strongly correlated with the LUT count. This new model for the multiplierless MCM circuits permitted us to consider intermediate truncations that permit to significantly save resources when a full output precision is not required. We incorporate the error propagation rules into our ILP model to guarantee a user-given error bound on the MCM results. The proposed ILP models for multiple flavors of MCM are implemented as an open-source tool and, combined with the FloPoCo code generator, provide a complete coefficient-to-VHDL flow. We evaluate our models in extensive experiments, and propose an in-depth analysis of the impact that design metrics have on actually synthesized hardware.


title: Tracking nanoscale perturbation in active disordered media

abstract: The disorder induced feedback makes random lasers very susceptible to any changes in the scattering medium. The sensitivity of the lasing modes to perturbations in the disordered systems have been utilized to map the regions of perturbation. A tracking parameter, that takes into account the cumulative effect of changes in the spatial distribution of the lasing modes of the system has been defined to locate the region in which a scatterer is displaced by a few nanometers. We show numerically that the precision of the method increases with the number of modes. The proposed method opens up the possibility of application of random lasers as a tool for monitoring locations of nanoscale displacement which can be useful for single particle detection and monitoring.


title: Interplay of nonlocality and incompatibility breaking qubit channels

abstract: Incompatibility and nonlocality are not only of foundational interest but also act as important resources for quantum information theory. In the Clauser-Horne-Shimony-Holt (CHSH) scenario, the incompatibility of a pair of observables is known to be equivalent to Bell nonlocality. Here, we investigate these notions in the context of qubit channels. The Bell-CHSH inequality has a greater perspective--compared to any genuine tripartite nonlocality scenario--while determining the interplay between nonlocality breaking qubit channels and incompatibility breaking qubit channels. In the Bell-CHSH scenario, we prove that if the conjugate of a channel is incompatibility breaking, then the channel is itself nonlocality breaking and vice versa. However, this equivalence is not straightforwardly generalized to multipartite systems, due to the absence of an equivalence relation between incompatibility and nonlocality in the multipartite scenario. We investigate this relation in the tripartite scenario by considering some well-known states like Greenberger-Horne-Zeilinger and $W$ states and using the notion of Mermin and Svetlichny nonlocality. By subjecting the parties in question to unital qubit channels, we identify the range of state and channel parameters for which incompatibility coexists with nonlocality. Further, we identify the set of unital qubit channels that is Mermin or Svetlichny nonlocality breaking irrespective of the input state.


title: MuS2: A Real-World Benchmark for Sentinel-2 Multi-Image Super-Resolution

abstract: Insufficient image spatial resolution is a serious limitation in many practical scenarios, especially when acquiring images at a finer scale is infeasible or brings higher costs. This is inherent to remote sensing, including Sentinel-2 satellite images that are available free of charge at a high revisit frequency, but whose spatial resolution is limited to 10 m ground sampling distance. The resolution can be increased with super-resolution algorithms, in particular when performed from multiple images captured at subsequent revisits of a satellite, taking advantage of information fusion that leads to enhanced reconstruction accuracy. One of the obstacles in multi-image super-resolution consists in the scarcity of real-world benchmarks - commonly, simulated data are exploited which do not fully reflect the operating conditions. In this paper, we introduce a new MuS2 benchmark for super-resolving multiple Sentinel-2 images, with WorldView-2 imagery used as the high-resolution reference. Within MuS2, we publish the first end-to-end evaluation procedure for this problem which we expect to help the researchers in advancing the state of the art in multi-image super-resolution.


title: The Sound of Silence: Efficiency of First Digit Features in Synthetic Audio Detection

abstract: The recent integration of generative neural strategies and audio processing techniques have fostered the widespread of synthetic speech synthesis or transformation algorithms. This capability proves to be harmful in many legal and informative processes (news, biometric authentication, audio evidence in courts, etc.). Thus, the development of efficient detection algorithms is both crucial and challenging due to the heterogeneity of forgery techniques. This work investigates the discriminative role of silenced parts in synthetic speech detection and shows how first digit statistics extracted from MFCC coefficients can efficiently enable a robust detection. The proposed procedure is computationally-lightweight and effective on many different algorithms since it does not rely on large neural detection architecture and obtains an accuracy above 90\% in most of the classes of the ASVSpoof dataset.