title: Electrochemically-driven insulator-metal transition in ionic-liquid-gated antiferromagnetic Mott-insulating NiS$_2$ single crystals

abstract: Motivated by the existence of superconductivity in pyrite-structure CuS$_2$, we explore the possibility of ionic-liquid-gating-induced superconductivity in the proximal antiferromagnetic Mott insulator NiS$_2$. A clear gating-induced transition from a two-dimensional insulating state to a three-dimensional metallic state is observed at positive gate bias on single crystal surfaces. No evidence for superconductivity is observed down to the lowest measured temperature of 0.45 K, however. Based on transport, energy-dispersive X-ray spectroscopy, X-ray photoelectron spectroscopy, atomic force microscopy, and other techniques, we deduce an electrochemical gating mechanism involving a substantial decrease in the S:Ni ratio (over hundreds of nm), which is both non-volatile and irreversible. This is in striking contrast to the reversible, volatile, surface-limited, electrostatic gate effect in pyrite FeS$_2$. We attribute this stark difference in electrochemical vs. electrostatic gating response in NiS$_2$ and FeS$_2$ to the much larger S diffusion coefficient in NiS$_2$, analogous to the different behaviors observed among electrolyte-gated oxides with differing O-vacancy diffusivities. The gating irreversibility, on the other hand, is associated with the lack of atmospheric S; this is in contrast to the better understood oxide case, where electrolysis of atmospheric H$_2$O provides an O reservoir. This study of NiS$_2$ thus provides new insight into electrolyte gating mechanisms in functional materials, in a previously unexplored limit.


title: Chiral Dynamics: Theory and Experiment -- A Tribute to Aron Bernstein

abstract: I review and discuss the contributions of Aron Bernstein to the field of chiral dynamics.


title: High Precision Computation of Riemann's Zeta Function by the Riemann-Siegel Formula, II

abstract: (This is only a first preliminary version, any suggestions about it will be welcome.) In this paper it is shown how to compute Riemann's zeta function $\zeta(s)$ (and Riemann-Siegel $Z(t)$) at any point $s\in\mathbf C$ with a prescribed error $\varepsilon$ applying the, Riemann-Siegel formula as described in my paper "High Precision ... I", Math of Comp. 80 (2011) 995--1009. This includes the study of how many terms to compute and to what precision to get the desired result. All possible errors are considered, even those inherent to the use of floating point representation of the numbers. The result has been used to implement the computation. The programs have been included in"mpmath", a public library in Python for the computation of special functions. Hence they are included also in Sage.


title: Leader-Follower Synchronization of a Network of Boundary-Controlled Parabolic Equations With In-Domain Coupling

abstract: In this letter, we study the leader-synchronization problem for a class of partial differential equations with boundary control and in-domain coupling. We describe the problem in an abstract formulation and we specialize it to a network of parabolic partial differential equations. We consider a setting in which a subset of the followers is connected to the leader through a boundary control, while interconnections among the followers are enforced by distributed in-domain couplings. Sufficient conditions in the form of matrix inequalities for the selection of the control parameters enforcing exponential synchronization are given. Numerical simulations illustrate and corroborate the theoretical findings.


title: A Bound on the Minimal Field Size of LRCs, and Cyclic MR Codes That Attain It

abstract: We prove a new lower bound on the field size of locally repairable codes (LRCs). Additionally, we construct maximally recoverable (MR) codes which are cyclic. While a known construction for MR codes has the same parameters, it produces non-cyclic codes. Furthermore, we prove both necessary conditions and sufficient conditions that specify when the known non-cyclic MR codes may be permuted to become cyclic, thus proving our construction produces cyclic MR codes with new parameters. Furthermore, using our new bound on the field size, we show that the new cyclic MR codes have optimal field size in certain cases. Other known LRCs are also shown to have optimal field size in certain cases.


title: Robust Algorithmic Collusion

abstract: This paper develops a formal framework to assess policies of learning algorithms in economic games. We investigate whether reinforcement-learning agents with collusive pricing policies can successfully extrapolate collusive behavior from training to the market. We find that in testing environments collusion consistently breaks down. Instead, we observe static Nash play. We then show that restricting algorithms' strategy space can make algorithmic collusion robust, because it limits overfitting to rival strategies. Our findings suggest that policy-makers should focus on firm behavior aimed at coordinating algorithm design in order to make collusive policies robust.


title: Detail-Preserving Transformer for Light Field Image Super-Resolution

abstract: Recently, numerous algorithms have been developed to tackle the problem of light field super-resolution (LFSR), i.e., super-resolving low-resolution light fields to gain high-resolution views. Despite delivering encouraging results, these approaches are all convolution-based, and are naturally weak in global relation modeling of sub-aperture images necessarily to characterize the inherent structure of light fields. In this paper, we put forth a novel formulation built upon Transformers, by treating LFSR as a sequence-to-sequence reconstruction task. In particular, our model regards sub-aperture images of each vertical or horizontal angular view as a sequence, and establishes long-range geometric dependencies within each sequence via a spatial-angular locally-enhanced self-attention layer, which maintains the locality of each sub-aperture image as well. Additionally, to better recover image details, we propose a detail-preserving Transformer (termed as DPT), by leveraging gradient maps of light field to guide the sequence learning. DPT consists of two branches, with each associated with a Transformer for learning from an original or gradient image sequence. The two branches are finally fused to obtain comprehensive feature representations for reconstruction. Evaluations are conducted on a number of light field datasets, including real-world scenes and synthetic data. The proposed method achieves superior performance comparing with other state-of-the-art schemes. Our code is publicly available at: https://github.com/BITszwang/DPT.


title: Observations of asteroid magnitude-phase relations at the Kharadze Abastumani Astrophysical Observatory

abstract: In frame of an implementation of the cooperative program studying of asteroids between the Kharadze Abastumani Astrophysical Observatory and the Astronomical Institute of V.N. Karazin Kharkiv National University the observations for five main-belt asteroids were performed to obtain their magnitude-phase relations and other physical characteristics. Preliminary results of the photometrical observations for the large dark asteroid (1390) Abastumani are presented.


title: Fundamental trade-off between the speed of light and the Fano factor of photon current in three-level lambda systems

abstract: Electromagnetically induced slow-light medium is a promising system for quantum memory devices, but controlling its noise level remains a major challenge to overcome. This work considers the simplest model for such medium, comprised of three-level $\Lambda$-systems interacting with bosonic bath, and provides a new fundamental trade-off relation in light-matter interaction between the group velocity of light and the Fano factor of photon current due to radiative transitions. Considering the steady state limits of a newly derived Lindblad-type equation, we find that the Fano factor of the photon current maximizes to 3 at the minimal group velocity of light, which holds true universally regardless of detailed values of parameters characterizing the medium.


title: Geometric Quantization: Particles, Fields and Strings

abstract: These notes present an introduction to the method of geometric quantization. We discuss the main theorems in a style suitable for a theoretical physicist with an eye towards the physical motivation and the interpretation of the geometric construction as providing a solution to Dirac's axioms of quantization. We provide in detail the examples of free relativistic particles, their corresponding quantum fields, and the bosonic string using formalism of double field theory. Based on lectures written by Gabriel Cardoso.


title: The Interpretability of LSTM Models for Predicting Oil Company Stocks: Impact of Correlated Features

abstract: Oil companies are among the largest companies in the world whose economic indicators in the global stock market have a great impact on the world economy\cite{ec00} and market due to their relation to gold\cite{ec01}, crude oil\cite{ec02}, and the dollar\cite{ec03}. This study investigates the impact of correlated features on the interpretability of Long Short-Term Memory(LSTM)\cite{ec04} models for predicting oil company stocks. To achieve this, we designed a Standard Long Short-Term Memory (LSTM) network and trained it using various correlated datasets. Our approach aims to improve the accuracy of stock price prediction by considering the multiple factors affecting the market, such as crude oil prices, gold prices, and the US dollar. The results demonstrate that adding a feature correlated with oil stocks does not improve the interpretability of LSTM models. These findings suggest that while LSTM models may be effective in predicting stock prices, their interpretability may be limited. Caution should be exercised when relying solely on LSTM models for stock price prediction as their lack of interpretability may make it difficult to fully understand the underlying factors driving stock price movements. We have employed complexity analysis to support our argument, considering that financial markets encompass a form of physical complex system\cite{ec05}. One of the fundamental challenges faced in utilizing LSTM models for financial markets lies in interpreting the unexpected feedback dynamics within them.


title: Integrability from supersymmetric duality: a short review

abstract: Integrable models of statistical mechanics play a prominent role in modern mathematical physics, especially in conformal field theory, knot theory, combinatorics, topology, etc. In this brief review, we discuss a program of constructing integrable lattice spin models with the nearest neighbor interaction using methods inspired by the supersymmetric gauge theory computations, called gauge/YBE correspondence. After a brief introduction to the topic, we review some recent examples of this correspondence and the role of special functions and symmetries. Finally, we discuss future directions of research.


title: Almost complex torus manifolds -- graphs, Hirzebruch genera, and problem of Petrie type

abstract: Let a $k$-dimensional torus $T^k$ act on a $2n$-dimensional compact connected almost complex manifold $M$ with isolated fixed points. As for circle actions, we show that there exists a (directed labeled) multigraph that encodes weights at the fixed points of $M$. This includes the notion of a GKM graph as a special case that weights at each fixed point are pairwise linearly independent. If in addition $k=n$, i.e., $M$ is an almost complex torus manifold, the multigraph is a graph; it has no multiple edges. We show that the Hirzebruch $\chi_y$-genus $\chi_y(M)=\sum_{i=0}^n a_i(M) \cdot (-y)^i$ of an almost complex torus manifold $M$ satisfies $a_i(M) > 0$ for $0 \leq i \leq n$. In particular, the Todd genus of $M$ is positive and there are at least $n+1$ fixed points. Petrie's conjecture asserts that if a homotopy $\mathbb{CP}^n$ admits a non-trivial circle action, its Pontryagin class agrees with that of $\mathbb{CP}^n$. Petrie proved this conjecture if instead it admits a $T^n$-action. We prove that if a $2n$-dimensional almost complex torus manifold $M$ only shares the Euler number with the complex projective space $\mathbb{CP}^n$, an associated graph agrees with that of a linear $T^n$-action on $\mathbb{CP}^n$; consequently $M$ has the same weights at the fixed points, Chern numbers, equivariant cobordism class, Hirzebruch $\chi_y$-genus, Todd genus, and signature as $\mathbb{CP}^n$. If furthermore $M$ is equivariantly formal, the equivariant cohomology and the Chern classes of $M$ and $\mathbb{CP}^n$ also agree.


title: Anisotropic versions of the Brezis-Van Schaftingen-Yung approach at $s=1$ and $s=0$

abstract: In 2014, Ludwig showed the limiting behavior of the anisotropic Gagliardo $s$-seminorm of a function $f$ as $s\rightarrow 1^-$ and $s\rightarrow0^+$, which extend the results due to Bourgain-Brezis-Mironescu(BBM) and Maz'ya-Shaposhnikova(MS) respectively. Recently, Brezis, Van Schaftingen and Yung provided a different approach by replacing the strong $L^p$ norm in the Gagliardo $s$-seminorm by the weak $L^p$ quasinorm. They characterized the case for $s=1$ that complements the BBM formula. The corresponding MS formula for $s=0$ was later established by Yung and the first author. In this paper, we follow the approach of Brezis-Van Schaftingen-Yung and show the anisotropic versions of $s=1$ and $s=0$. Our result generalizes the work by Brezis, Van Schaftingen, Yung and the first author and complements the work by Ludwig.


title: Toward Causal-Aware RL: State-Wise Action-Refined Temporal Difference

abstract: Although it is well known that exploration plays a key role in Reinforcement Learning (RL), prevailing exploration strategies for continuous control tasks in RL are mainly based on naive isotropic Gaussian noise regardless of the causality relationship between action space and the task and consider all dimensions of actions equally important. In this work, we propose to conduct interventions on the primal action space to discover the causal relationship between the action space and the task reward. We propose the method of State-Wise Action Refined (SWAR), which addresses the issue of action space redundancy and promote causality discovery in RL. We formulate causality discovery in RL tasks as a state-dependent action space selection problem and propose two practical algorithms as solutions. The first approach, TD-SWAR, detects task-related actions during temporal difference learning, while the second approach, Dyn-SWAR, reveals important actions through dynamic model prediction. Empirically, both methods provide approaches to understand the decisions made by RL agents and improve learning efficiency in action-redundant tasks.


title: Theory and Practice of Quality Assurance for Machine Learning Systems An Experiment Driven Approach

abstract: The crafting of machine learning (ML) based systems requires statistical control throughout its life cycle. Careful quantification of business requirements and identification of key factors that impact the business requirements reduces the risk of a project failure. The quantification of business requirements results in the definition of random variables representing the system key performance indicators that need to be analyzed through statistical experiments. In addition, available data for training and experiment results impact the design of the system. Once the system is developed, it is tested and continually monitored to ensure it meets its business requirements. This is done through the continued application of statistical experiments to analyze and control the key performance indicators. This book teaches the art of crafting and developing ML based systems. It advocates an "experiment first" approach stressing the need to define statistical experiments from the beginning of the project life cycle. It also discusses in detail how to apply statistical control on the ML based system throughout its lifecycle.


title: A deep learning approach to predict significant wave height using long short-term memory

abstract: We present a framework for forecasting significant wave height on the Southwestern Atlantic Ocean using the long short-term memory algorithm (LSTM), trained with the ERA5 database available through Copernicus Climate Data Store (CDS) implemented by ECMWF (European Center for Medium Range Forecast) and also with buoy data. The predictions are made for seven different locations in the Brazilian coast, where buoy data are available, ranging from shallow to deep water. Experiments are conducted using exclusively historical series at the selected locations and the influence of other variables as inputs for training is investigated. The results shows that a data-driven methodology can be used as a surrogate to the computational expensive physical models, with the best accuracy near $95\%$, compared to reanalysis


title: Pseudorandom Vector Generation Using Elliptic Curves And Applications

abstract: In this paper we present, using the arithmetic of elliptic curves over finite fields, an algorithm for the efficient generation of a sequence of uniform pseudorandom vectors in high dimensions, that simulates a sample of a sequence of i.i.d. random variables, with values in the hypercube $[0,1]^d$ with uniform distribution. As an application, we obtain, in the discrete time simulation, an efficient algorithm to simulate, uniformly distributed sample path sequence of a sequence of independent standard Wiener processes. This could be employed for use, in the full history recursive multi-level Picard approximation method, for numerically solving the class of semilinear parabolic partial differential equations of the Kolmogorov type.


title: On the Mass and Magnetic Field of the Neutron Star in the Ultraluminous X-Ray Source NGC 300 ULX1

abstract: The accreting compact objects in most of ultraluminous X-ray sources (ULXs) are likely to be neutron stars rather than black holes as suggested by the recent detection of periodic pulsations from some of these sources located in neighboring galaxies and one ULX that has hitherto been discovered in our own galaxy. As a member of the ULX family, NGC 300 ULX1 is a new pulsating ULX (PULX) spinning up at substantially high rates compared with other PULXs. In this paper, the strength of the magnetic field on the surface of the neutron star is inferred from the energy of the cyclotron absorption line detected in the pulsed X-ray spectrum of NGC 300 ULX1 and the plausible ranges for the neutron-star mass and beaming fraction are estimated using the observed spin period and period derivative of the pulsar and the measured X-ray flux of the source. Our analysis favors proton cyclotron resonance scattering as a viable mechanism to account for both the observed cyclotron energy and high spin-up rates provided that the absorption line is generated close to the surface of the neutron star.


title: Gate-tuneable and chirality-dependent charge-to-spin conversion in Tellurium nanowires

abstract: Chiral materials are the ideal playground for exploring the relation between symmetry, relativistic effects, and electronic transport. For instance, chiral organic molecules have been intensively studied to electrically generate spin-polarized currents in the last decade, but their poor electronic conductivity limits their potential for applications. Conversely, chiral inorganic materials such as Tellurium are excellent electrical transport materials, but have not been explored to enable the electrical control of spin polarization in devices. Here, we demonstrate the all-electrical generation, manipulation, and detection of spin polarization in chiral single-crystalline Tellurium nanowires. By recording a large (up to 7%) and chirality-dependent unidirectional magnetoresistance, we show that the orientation of the electrically generated spin polarization is determined by the nanowire handedness and uniquely follows the current direction, while its magnitude can be manipulated by an electrostatic gate. Our results pave the way for the development of magnet-free chirality-based spintronic devices.


title: Algebraic structure of path-independent quantum control

abstract: Path-independent (PI) quantum control has recently been proposed to integrate quantum error correction and quantum control [Phys. Rev. Lett. 125, 110503 (2020)], achieving fault-tolerant quantum gates against ancilla errors. Here we reveal the underlying algebraic structure of PI quantum control. The PI Hamiltonians and propagators turn out to lie in an algebra isomorphic to the ordinary matrix algebra, which we call the PI matrix algebra. The PI matrix algebra, defined on the Hilbert space of a composite system (including an ancilla system and a central system), is isomorphic to the matrix algebra defined on the Hilbert space of the ancilla system. By extending the PI matrix algebra to the Hilbert-Schmidt space of the composite system, we provide an exact and unifying condition for PI quantum control against ancilla noise.


title: Resolvent-based tools for optimal estimation and control via the Wiener-Hopf formalism

abstract: The application of control tools to complex flows frequently requires approximations, such as reduced-order models and/or simplified forcing assumptions, where these may be considered low-rank or defined in terms of simplified statistics (e.g. white noise). In this work, we propose a resolvent-based control methodology with causality imposed via a Wiener-Hopf formalism. Linear optimal causal estimation and control laws are obtained directly from full-rank, globally stable systems with arbitrary disturbance statistics, circumventing many drawbacks of alternative methods. We use efficient, matrix-free methods to construct the matrix Wiener-Hopf problem, and we implement a tailored method to solve the problem numerically. The approach naturally handles forcing terms with space-time colour; it allows inexpensive parametric investigation of sensor/actuator placement in scenarios where disturbances/targets are low rank; it is directly applicable to complex flows disturbed by high-rank forcing; it has lower cost in comparison to standard methods; it can be used in scenarios where an adjoint solver is not available; or it can be based exclusively on experimental data. The method is particularly well-suited for the control of amplifier flows, for which optimal control approaches are typically robust. Validation of the approach is performed using the linearized Ginzburg-Landau equation. Flow over a backward-facing step perturbed by high-rank forcing is then considered. Sensor and actuator placement are investigated for this case, and we show that while the flow response downstream of the step is dominated by the Kelvin-Helmholtz mechanism, it has a complex, high-rank receptivity to incoming upstream perturbations, requiring multiple sensors for control.


title: Verification of some functional inequalities via polynomial optimization

abstract: Motivated by the application of Lyapunov methods to partial differential equations (PDEs), we study functional inequalities of the form $f(I_1(u),\ldots,I_k(u))\geq 0$ where $f$ is a polynomial, $u$ is any function satisfying prescribed constraints, and $I_1(u),\ldots,I_k(u)$ are integral functionals whose integrands are polynomial in $u$, its derivatives, and the integration variable. We show that such functional inequalities can be strengthened into sufficient polynomial inequalities, which in principle can be checked via semidefinite programming using standard techniques for polynomial optimization. These sufficient conditions can be used also to optimize functionals with affine dependence on tunable parameters whilst ensuring their nonnegativity. Our approach relies on a measure-theoretic lifting of the original functional inequality, which extends both a recent moment relaxation strategy for PDE analysis and a dual approach to inequalities for integral functionals.


title: Semi-Supervised Graph Attention Networks for Event Representation Learning

abstract: Event analysis from news and social networks is very useful for a wide range of social studies and real-world applications. Recently, event graphs have been explored to model event datasets and their complex relationships, where events are vertices connected to other vertices representing locations, people's names, dates, and various other event metadata. Graph representation learning methods are promising for extracting latent features from event graphs to enable the use of different classification algorithms. However, existing methods fail to meet essential requirements for event graphs, such as (i) dealing with semi-supervised graph embedding to take advantage of some labeled events, (ii) automatically determining the importance of the relationships between event vertices and their metadata vertices, as well as (iii) dealing with the graph heterogeneity. This paper presents GNEE (GAT Neural Event Embeddings), a method that combines Graph Attention Networks and Graph Regularization. First, an event graph regularization is proposed to ensure that all graph vertices receive event features, thereby mitigating the graph heterogeneity drawback. Second, semi-supervised graph embedding with self-attention mechanism considers existing labeled events, as well as learns the importance of relationships in the event graph during the representation learning process. A statistical analysis of experimental results with five real-world event graphs and six graph embedding methods shows that our GNEE outperforms state-of-the-art semi-supervised graph embedding methods.


title: Exploring temperature dependent electron-electron interaction of topological crystalline insulators (SnS and SnSe) within Matsubara-time domain

abstract: Both experimental and theoretical studies show non-trivial topological behaviour in native rocksalt phase for SnS and SnSe and categorize these materials in topological crystalline insulators. Here, the detailed electronic structures studies of SnS and SnSe in the rocksalt phase are carried out using many-body $GW$ based theory and density functional theory both for ground states and temperature dependent excited states. The estimated values of fundamental direct bandgaps around L-point using $G_0W_0$ (mBJ) are $\sim$0.27 ($\sim$0.13) eV and $\sim$0.37 ($\sim$0.17) eV for SnS and SnSe, respectively. The strength of hybridization between Sn 5$p$ and S 3$p$ (Se 4$p$) orbitals for SnS (SnSe) shows strong k-dependence. The behaviour of $\overline{W}$ ($\omega$), which is the averaged value of diagonal matrix elements of fully screened Coulomb interaction, suggests to use full-$GW$ method for exploring the excited states because the correlation effects within these two materials are relatively weak. The temperature dependent electronic structure calculations for SnS and SnSe provide linearly decreasing behaviour of bandgaps with rise in temperatures. The existence of collective excitation of quasiparticles in form of plasmon is predicted for these compounds, where the estimated values of plasmon frequency are $\sim$9.5 eV and $\sim$9.3 eV for SnS and SnSe, respectively. The imaginary part of self-energy and mass renormalization factor ($Z_\textbf{k}(\omega)$) due to electron-electron interaction (EEI) are also calculated along W-L-$\Gamma$ direction for both the materials. The present comparative study reveals that the behaviour of temperature dependent EEI for SnS and SnSe are the almost same and EEI is important for high temperature transport properties.


title: Establishing Strong Baselines for TripClick Health Retrieval

abstract: We present strong Transformer-based re-ranking and dense retrieval baselines for the recently released TripClick health ad-hoc retrieval collection. We improve the - originally too noisy - training data with a simple negative sampling policy. We achieve large gains over BM25 in the re-ranking task of TripClick, which were not achieved with the original baselines. Furthermore, we study the impact of different domain-specific pre-trained models on TripClick. Finally, we show that dense retrieval outperforms BM25 by considerable margins, even with simple training procedures.


title: Monogamy of quantum entanglement

abstract: Unlike classical correlation, quantum entanglement cannot be freely shared among many parties. This restricted shareability of entanglement among multi-party systems is known as monogamy of entanglement, which is one of the most fundamental properties of entanglement. Here, we summarize recent theoretical progress in the field of monogamy of entanglement. We firstly review the standard CKW-type monogamy inequalities in terms of various entanglement measures. In particular, the squashed entanglement and one-way distillable entanglement are monogamous for arbitrary dimensional systems. We then introduce some generalized version of monogamy inequalities which extend and sharpen the traditional ones. We also consider the dual polygamy inequalities for multi-party systems. Moreover, we present two new definitions to define monogamy of entanglement. Finally, some challenges and future directions for monogamy of entanglement are highlighted.


title: The (2,3)-generation of the finite 8-dimensional orthogonal groups

abstract: We construct $(2,3)$-generators for the finite $8$-dimensional orthogonal groups, proving the following results: the groups $\Omega_8^+(q)$ and $P\Omega_8^+(q)$ are $(2,3)$-generated if and only if $q\geq 4$; the groups $\Omega_8^-(q)$ and $P\Omega_8^-(q)$ are $(2,3)$-generated for all $q\geq 2$.


title: A priori estimates, uniqueness and non-degeneracy of positive solutions of the Choquard equation

abstract: We consider the positive solutions for the nonlocal Choquard equation $- \Delta u + u - (|\cdot|^{-\alpha} * |u|^p) |u|^{p-2} u = 0$ in $\mathbb{R}^d$. Compared with ground states, positive solutions form a larger class of solutions and lack variational information. Within the range of parameters of Ma-Zhao's result [Ma-Zhao, 2010] on symmetry, we prove a priori estimates for positive solutions, generalizing the classical method of De Figueiredo-Lions-Russbaum [De Figueiredo-Lions-Nussbaum, 1982] to the unbounded domain and the nonlocal nonlinearity in our model. As an application, we show uniqueness and non-degeneracy results for the positive solution of the Choquard equation when $d \in \{ 3, 4, 5\}$, $p \ge 2$ and $(\alpha, p)$ close to $(d-2, 2)$.


title: Gravitational-wave Emission from a Primordial Black Hole Inspiraling inside a Compact Star: a Novel Probe for Dense Matter Equation of State

abstract: Primordial black holes of planetary masses captured by compact stars are widely studied to constrain their composition fraction of dark matter. Such a capture may lead to an inspiral process and be detected through gravitational wave signals. In this Letter, we study the post-capture inspiral process by considering two different kinds of compact stars, i.e., strange stars and neutron stars. The dynamical equations are numerically solved and the gravitational wave emission is calculated. It is found that the Advanced LIGO can detect the inspiraling of a $10^{-5}$ solar mass primordial black hole at a distance of 10 kpc, while a Jovian-mass case can even be detected at megaparsecs. Promisingly, the next generation gravitational wave detectors can detect the cases of $10^{-5}$ solar mass primordial black holes up to ${\sim}1$ Mpc, and can detect Jovian-mass cases at several hundred megaparsecs. Moreover, the kilohertz gravitational wave signal shows significant differences for strange stars and neutron stars, potentially making it a novel probe to the dense matter equation of state.


title: Decoding Nonbinary LDPC Codes via Proximal-ADMM Approach (include convergence proofs)

abstract: In this paper, we focus on decoding nonbinary low-density parity-check (LDPC) codes in Galois fields of characteristic two via the proximal alternating direction method of multipliers (proximal-ADMM). By exploiting Flanagan/Constant-Weighting embedding techniques and the decomposition technique based on three-variables parity-check equations, two efficient proximal-ADMM decoders for nonbinary LDPC codes are proposed. We show that both of them are theoretically guaranteed convergent to some stationary point of the decoding model and either of their computational complexities in each proximal-ADMM iteration scales linearly with LDPC code's length and the size of the considered Galois field. Moreover, the decoder based on the Constant-Weight embedding technique satisfies the favorable property of codeword symmetry. Simulation results demonstrate their effectiveness in comparison with state-of-the-art LDPC decoders.


title: Revisiting Quantum Contextuality

abstract: The purpose of this note is to complete the interesting review on quantum contextuality [1] that appeared recently. In particular we will introduce and discuss the ideas of extracontextuality and extravalence, that allow one to relate Kochen-Specker's and Gleason's theorems, and also to shift the emphasis from the first to the second one. We will also argue that whereas Kochen-Specker's is essentially a negative result (a no-go theorem), Gleason's is a positive one since it provides a mathematical justification of Born's rule. The link between these issues is provided by a specific quantum feature that we call extravalence.


title: Parameter estimation of stochastic differential equation driven by small fractional noise

abstract: We study the problem of parametric estimation for continuously observed stochastic processes driven by additive small fractional Brownian motion with Hurst index 0<H<1/2 and 1/2<H<1. Under some assumptions on the drift coefficient, we obtain the asymptotic normality and moment convergence of maximum likelihood estimator of the drift parameter .


title: Percolation on spatial anisotropic networks

abstract: Many realistic systems such as infrastructures are characterized by spatial structure and anisotropic alignment. Here we propose and study a model for dealing with such characteristics by introducing a parameter that controls the strength of the anisotropy in the spatial network. This parameter is added to an existing isotropic model used to describe networks under spatial constraints, thus generalizing the spatial model to take into account both spatial and anisotropic features. We study the resilience of such networks by using a percolation process and find that anisotropy has a negative impact on a network's robustness. In addition, our results suggest that the anisotropy in this model does not affect the critical exponent of the correlation length, $\nu$, which remains the same as the known $\nu$ in 2D isotropic lattices.


title: Topical Classification of Food Safety Publications with a Knowledge Base

abstract: The vast body of scientific publications presents an increasing challenge of finding those that are relevant to a given research question, and making informed decisions on their basis. This becomes extremely difficult without the use of automated tools. Here, one possible area for improvement is automatic classification of publication abstracts according to their topic. This work introduces a novel, knowledge base-oriented publication classifier. The proposed method focuses on achieving scalability and easy adaptability to other domains. Classification speed and accuracy are shown to be satisfactory, in the very demanding field of food safety. Further development and evaluation of the method is needed, as the proposed approach shows much potential.


title: Ferrihydrite nanoparticles entrapped in shear-induced multilamellar vesicles

abstract: Hypothesis Ferrihydrite (Fh) nanoparticles are receiving considerable scientific interest due to their large reactive surface areas, crystalline structures, and nanoparticle morphology. They are of great importance in biogeochemical processes and have the ability to sequester hazardous and toxic substances. Here, the working hypothesis was to entrap fractal-like Fh nanoparticles, with a radius of gyration of 6.2 nm and a primary building block of polydisperse spheres with a radius of 0.8 nm, in a shear-induced multilamellar vesicle (MLV) state using a 40 wt.% polyethylene glycol dodecyl ether surfactant. Experiments Small- and Wide- Angle X-ray scattering revealed the equilibrium state of the non-ionic planar lamellar phase, the Fh dispersion, and their mixture. The MLV state was induced by using a shear flow in a Taylor-Couette geometry of a rheometer. Findings The nonionic surfactant initially exhibited a lamellar gel phase with two distinct d-spacings of 11.0 and 9.7 nm, which collapsed into the MLV state under shear flow. The Fh nanoparticles induced bilayer attraction by suppressing lamellar layer undulations, decreasing the d-spacing. These results are helpful in the understanding of the relationship between nanoparticle size and nanoparticle-bilayers interactions and provides insight on Fh encapsulations in a kinetically stable MLVs state.


title: Charged Lepton Flavor Violation at the High-Energy Colliders: Neutrino Mass Relevant Particles

abstract: We summarize the potential charged lepton flavor violation (LFV) from neutrino mass relevant models, for instance the seesaw mechanisms. In particular, we study, in a model-dependent way, the LFV signals at the high-energy hadron and lepton colliders originating from the beyond standard model (BSM) neutral scalar $H$, doubly charged scalar $H^{\pm\pm}$, heavy neutrino $N$, heavy $W_R$ boson, and the $Z'$ boson. For the neutral scalar, doubly charged scalar and $Z'$ boson, the LFV signals originate from the (effective) LFV couplings of these particles to the charged leptons, while for the heavy neutrino $N$ and $W_R$ boson, the LFV effects are from flavor mixing in the neutrino sector. We consider current limits on these BSM particles and estimate their prospects at future high-energy hadron and lepton colliders.


title: Parkour Spot ID: Feature Matching in Satellite and Street view images using Deep Learning

abstract: How to find places that are not indexed by Google Maps? We propose an intuitive method and framework to locate places based on their distinctive spatial features. The method uses satellite and street view images in machine vision approaches to classify locations. If we can classify locations, we just need to repeat for non-overlapping locations in our area of interest. We assess the proposed system in finding Parkour spots in the campus of Arizona State University. The results are very satisfactory, having found more than 25 new Parkour spots, with a rate of true positives above 60%.


title: Graph Signal Reconstruction Techniques for IoT Air Pollution Monitoring Platforms

abstract: Air pollution monitoring platforms play a very important role in preventing and mitigating the effects of pollution. Recent advances in the field of graph signal processing have made it possible to describe and analyze air pollution monitoring networks using graphs. One of the main applications is the reconstruction of the measured signal in a graph using a subset of sensors. Reconstructing the signal using information from sensor neighbors can help improve the quality of network data, examples are filling in missing data with correlated neighboring nodes, or correcting a drifting sensor with neighboring sensors that are more accurate. This paper compares the use of various types of graph signal reconstruction methods applied to real data sets of Spanish air pollution reference stations. The methods considered are Laplacian interpolation, graph signal processing low-pass based graph signal reconstruction, and kernel-based graph signal reconstruction, and are compared on actual air pollution data sets measuring O3, NO2, and PM10. The ability of the methods to reconstruct the signal of a pollutant is shown, as well as the computational cost of this reconstruction. The results indicate the superiority of methods based on kernel-based graph signal reconstruction, as well as the difficulties of the methods to scale in an air pollution monitoring network with a large number of low-cost sensors. However, we show that scalability can be overcome with simple methods, such as partitioning the network using a clustering algorithm.


title: Some Modifications of Getzler's Grading technique

abstract: This paper reviews the grading technique developed by Getzler to prove the local index theorem and shows how to adapt it to compute the leading terms of asymptotic expansions of traces of heat kernels in two other situations.


title: Hamiltonian Dynamics of a spaceship in Alcubierre and G\"odel metrics: Recursion operators and underlying master symmetries

abstract: We study the Hamiltonian dynamics of a spaceship in the background of Alcubierre and G\"odel metrics. We derive the Hamiltonian vector fields governing the system evolution, construct and discuss related recursion operators generating the constants of motion. Besides, we characterize relevant master symmetries.


title: Stability of multi-population traffic flows

abstract: Traffic waves, known also as stop-and-go waves or phantom hams, appear naturally as traffic instabilities, also in confined environments as a ring-road. A multi-population traffic is studied on a ring-road, comprised of drivers with stable and unstable behavior. There exists a critical penetration rate of stable vehicles above which the system is stable, and under which the system is unstable. In the latter case, stop-and-go waves appear, provided enough cars are on the road. The critical penetration rate is explicitly computable, and, in reasonable situations, a small minority of aggressive drivers is enough to destabilize an otherwise very stable flow. This is a source of instability that a single population model would not be able to explain. Also, the multi-population system can be stable below the critical penetration rate if the number of cars is sufficiently small. Instability emerges as the number of cars increases, even if the traffic density remains the same (i.e. number of cars and road size increase similarly). This shows that small experiments could lead to deducing imprecise stability conditions.


title: ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions

abstract: Outlier detection refers to the identification of data points that deviate from a general data distribution. Existing unsupervised approaches often suffer from high computational cost, complex hyperparameter tuning, and limited interpretability, especially when working with large, high-dimensional datasets. To address these issues, we present a simple yet effective algorithm called ECOD (Empirical-Cumulative-distribution-based Outlier Detection), which is inspired by the fact that outliers are often the "rare events" that appear in the tails of a distribution. In a nutshell, ECOD first estimates the underlying distribution of the input data in a nonparametric fashion by computing the empirical cumulative distribution per dimension of the data. ECOD then uses these empirical distributions to estimate tail probabilities per dimension for each data point. Finally, ECOD computes an outlier score of each data point by aggregating estimated tail probabilities across dimensions. Our contributions are as follows: (1) we propose a novel outlier detection method called ECOD, which is both parameter-free and easy to interpret; (2) we perform extensive experiments on 30 benchmark datasets, where we find that ECOD outperforms 11 state-of-the-art baselines in terms of accuracy, efficiency, and scalability; and (3) we release an easy-to-use and scalable (with distributed support) Python implementation for accessibility and reproducibility.


title: Integrating Artificial Intelligence and Augmented Reality in Robotic Surgery: An Initial dVRK Study Using a Surgical Education Scenario

abstract: Robot-assisted surgery has become progressively more and more popular due to its clinical advantages. In the meanwhile, the artificial intelligence and augmented reality in robotic surgery are developing rapidly and receive lots of attention. However, current methods have not discussed the coherent integration of AI and AR in robotic surgery. In this paper, we develop a novel system by seamlessly merging artificial intelligence module and augmented reality visualization to automatically generate the surgical guidance for robotic surgery education. Specifically, we first leverage reinforcement leaning to learn from expert demonstration and then generate 3D guidance trajectory, providing prior context information of the surgical procedure. Along with other information such as text hint, the 3D trajectory is then overlaid in the stereo view of dVRK, where the user can perceive the 3D guidance and learn the procedure. The proposed system is evaluated through a preliminary experiment on surgical education task peg-transfer, which proves its feasibility and potential as the next generation of robot-assisted surgery education solution.


title: On the effectiveness of Randomized Signatures as Reservoir for Learning Rough Dynamics

abstract: Many finance, physics, and engineering phenomena are modeled by continuous-time dynamical systems driven by highly irregular (stochastic) inputs. A powerful tool to perform time series analysis in this context is rooted in rough path theory and leverages the so-called Signature Transform. This algorithm enjoys strong theoretical guarantees but is hard to scale to high-dimensional data. In this paper, we study a recently derived random projection variant called Randomized Signature, obtained using the Johnson-Lindenstrauss Lemma. We provide an in-depth experimental evaluation of the effectiveness of the Randomized Signature approach, in an attempt to showcase the advantages of this reservoir to the community. Specifically, we find that this method is preferable to the truncated Signature approach and alternative deep learning techniques in terms of model complexity, training time, accuracy, robustness, and data hungriness.


title: Quasiprobability fluctuation theorem behind the spread of quantum information

abstract: Information spreads in time. For example, correlations dissipate when the correlated system locally couples to a third party, such as the environment. This simple but important fact forms the known quantum data-processing inequality. Here we theoretically uncover the quantum fluctuation theorem behind the quantum informational inequality. The fluctuation theorem quantitatively predicts the statistics of the underlying stochastic quantum process. To fully capture the quantum nature, the fluctuation theorem established here is extended to the quasiprobability regime. We also experimentally apply an interference-based method to measure the amplitudes composing the quasiprobability and verify our established fluctuation theorem by the IBM quantum computer.


title: Mathematical Insights in the Pioneering Educational Project FSTF

abstract: During their pre-university year, six brilliant and motivated students joined the educational project "From Soccerene to Fullerene" (acronym FSTF) proposed by five teachers from the Departments of Physical Education and of Mathematics and Physics at the Scientific High School "G.B. Grassi" in Latina (Italy). The pupils investigated the fullerene buckyball (C60) also known as soccerene for its football-shaped structure (truncated icosahedron). From plastic sheets they cut twelve pentagons and twenty hexagons, with a calculated edge, sewing them together on a polystyrene sphere as faces of a soccer ball; they repeated the same operation twice, making two almost identical soccer-like balls. That multidisciplinary experience started on March 2013 and ended on June 2013. It was satisfactorily discussed in the 2013 school-leaving examination and raised a great interest both in the 100th national conference of the Italian Physical Society (Pisa, 2014) and in the ATINER's 9th annual international conference EMS (Athens, 2015). Now we briefly illustrate the FSTS, focusing on its mathematical features.


title: On the convex hull of convex quadratic optimization problems with indicators

abstract: We consider the convex quadratic optimization problem with indicator variables and arbitrary constraints on the indicators. We show that a convex hull description of the associated mixed-integer set in an extended space with a quadratic number of additional variables consists of a single positive semidefinite constraint (explicitly stated) and linear constraints. In particular, convexification of this class of problems reduces to describing a polyhedral set in an extended formulation. While the vertex representation of this polyhedral set is exponential and an explicit linear inequality description may not be readily available in general, we derive a compact mixed-integer linear formulation whose solutions coincide with the vertices of the polyhedral set. We also give descriptions in the original space of variables: we provide a description based on an infinite number of conic-quadratic inequalities, which are ``finitely generated." In particular, it is possible to characterize whether a given inequality is necessary to describe the convex hull. The new theory presented here unifies several previously established results, and paves the way toward utilizing polyhedral methods to analyze the convex hull of mixed-integer nonlinear sets.


title: Discrimination of dephasing channels

abstract: The problem of dephasing channel discrimination is addressed for finite-dimensional systems. In particular, the optimization with respect to input states without energy constraint is solved analytically for qubit, qutrit and ququart. Additionally, it is shown that resorting to side entanglement assisted strategy is completely useless in this case.


title: A Normal Graph Algebra

abstract: We define a normal graph algebra modeled on algebras used in genetics. Although the algebra does not always determine its graph, it often highlights special features. After developing basic properties of the algebra, we examine those of certain minimal graphs. We then apply the results to the Petersen graph, finding connections between some of its many aspects. For example, the outer automorphisms of Sym(6) emerge naturally. The normal algebra of the Petersen graph is unique among normal graph algebras.


title: Critical crossover phenomena driven by symmetry-breaking defects at quantum transitions

abstract: We study the effects of symmetry-breaking defects at continuous quantum transitions (CQTs), which may arise from localized external fields coupled to the order-parameter operator. The problem is addressed within renormalization-group (RG) and finite-size scaling frameworks. We consider the paradigmatic one-dimensional quantum Ising models at their CQT, in the presence of defects which break the global ${\mathbb Z}_2$ symmetry. We show that such defects can give rise to notable critical crossover regimes where the ground-state properties experience substantial and rapid changes, from symmetric conditions to symmetry-breaking boundaries. An effective characterization of these crossover phenomena driven by defects is achieved by analyzing the ground-state fidelity associated with small changes of the defect strength. Within the critical crossover regime, the fidelity susceptibility shows a power-law divergence when increasing the system size, related to the RG dimension of the defect strength; in contrast, outside the critical defect regime, it remains finite. We support the RG scaling arguments with numerical results.


title: On the independence number of random trees via tricolourations

abstract: We are interested in the independence number of large random simply generated trees and related parameters, such as their matching number or the kernel dimension of their adjacency matrix. We express these quantities using a canonical tricolouration, which is a way to colour the vertices of a tree with three colours. As an application we obtain limit theorems in $L^p$ for the renormalised independence number in large simply generated trees (including large size-conditioned Bienaym\'e-Galton-Watson trees).


title: Fast and High-Quality Image Denoising via Malleable Convolutions

abstract: Most image denoising networks apply a single set of static convolutional kernels across the entire input image. This is sub-optimal for natural images, as they often consist of heterogeneous visual patterns. Dynamic convolution tries to address this issue by using per-pixel convolution kernels, but this greatly increases computational cost. In this work, we present Malleable Convolution (MalleConv), which performs spatial-varying processing with minimal computational overhead. MalleConv uses a smaller set of spatially-varying convolution kernels, a compromise between static and per-pixel convolution kernels. These spatially-varying kernels are produced by an efficient predictor network running on a downsampled input, making them much more efficient to compute than per-pixel kernels produced by a full-resolution image, and also enlarging the network's receptive field compared with static kernels. These kernels are then jointly upsampled and applied to a full-resolution feature map through an efficient on-the-fly slicing operator with minimum memory overhead. To demonstrate the effectiveness of MalleConv, we use it to build an efficient denoising network we call MalleNet. MalleNet achieves high-quality results without very deep architectures, making it 8.9x faster than the best performing denoising algorithms while achieving similar visual quality. We also show that a single MalleConv layer added to a standard convolution-based backbone can significantly reduce the computational cost or boost image quality at a similar cost. More information is on our project page: \url{https://yifanjiang.net/MalleConv.html}


title: ros2_tracing: Multipurpose Low-Overhead Framework for Real-Time Tracing of ROS 2

abstract: Testing and debugging have become major obstacles for robot software development, because of high system complexity and dynamic environments. Standard, middleware-based data recording does not provide sufficient information on internal computation and performance bottlenecks. Other existing methods also target very specific problems and thus cannot be used for multipurpose analysis. Moreover, they are not suitable for real-time applications. In this paper, we present ros2_tracing, a collection of flexible tracing tools and multipurpose instrumentation for ROS 2. It allows collecting runtime execution information on real-time distributed systems, using the low-overhead LTTng tracer. Tools also integrate tracing into the invaluable ROS 2 orchestration system and other usability tools. A message latency experiment shows that the end-to-end message latency overhead, when enabling all ROS 2 instrumentation, is on average 0.0033 ms, which we believe is suitable for production real-time systems. ROS 2 execution information obtained using ros2_tracing can be combined with trace data from the operating system, enabling a wider range of precise analyses, that help understand an application execution, to find the cause of performance bottlenecks and other issues. The source code is available at: https://github.com/ros2/ros2_tracing.


title: Solving the signed Roman domination and signed total Roman domination problems with exact and heuristic methods

abstract: In this paper we deal with the signed Roman domination and signed total Roman domination problems. For each problem we propose two integer linear programming (ILP) formulations, the constraint programming (CP) formulation and variable neighborhood search (VNS) method. We present proofs for the correctness of the ILP formulations and a polyhedral study in which we show that the polyhedrons of the two model relaxations are equivalent. VNS uses specifically designed penalty function that allows the appearance of slightly infeasible solutions. The acceptance of these solutions directs the overall search process to the promising areas in the long run. All proposed approaches are tested on the large number of instances. Experimental results indicate that all of them reach optimal solutions for the most of small and middle scale instances. Both ILP models have proven to be more successful than the other two methods.


title: Operator spreading in quantum hardcore gases

abstract: In this article we study a set of integrable quantum cellular automata,the quantum hardcore gases (QHCG), with an arbitrary local Hilbert space dimension, and discuss the matrix product ansatz based approach for solving the dynamics of local operators analytically. Subsequently, we focus on the dynamics of operator spreading, in particular on the out-of-time ordered correlation functions (OTOCs), operator weight spreading and operators space entanglement entropy (OSEE). All of the quantities were conjectured to provide signifying features of integrable systems and quantum chaos. We show that in QHCG OTOCs spread diffusively and that in the limit of the large local Hilbert space dimension they increase linearly with time, despite their integrability. On the other hand, it was recently conjectured that operator weight front, which is associated with the extent of operators, spreads diffusively in both, integrable and generic systems, but its decay seems to differ in these two cases. We observe that the spreading of the operator weight front in QHCG is markedly different from chaotic, generic integrable and free systems, as the front freezes in the long time limit. Finally, we discuss the OSEE in QHCG and show that it grows at most logarithmically with time in accordance with the conjectured behaviour for interacting integrable systems.

categories: cond-mat.stat-mech math-ph math.MP nlin.CG nlin.SI


title: First Principles Investigation of Transition Metal Doped WSe$_{2}$ Monolayer for Photocatalytic Water Splitting

abstract: Photocatalytic water splitting is a promising renewable energy source as an alternative for limited fossil fuels. The effectiveness of the conversion from solar energy to hydrogen fuel relies primarily on the material. Previously, researchers studied different TMDs such as WS$_{2}$, and PdSe$_{2}$. These materials perform well in certain aspects such as strong adsorption stability and promising abilities for HER, however, their band gaps are still not ideal. In this paper, we studied a new TMD material WSe$_{2}$, which is currently used in heterostructure photocatalysts. To our knowledge, this is the first assessment of using transition metal doped WSe$_{2}$ as potential photocatalysts for photocatalytic water splitting. Using first principles calculations, we evaluated the band gaps and other photocatalytic abilities of pristine WSe2 as well as Cr, Mo, Ta, and Re doped WSe$_{2}$. Compared to previously studied TMD materials, three of our newly studied materials (pristine, Mo doped, and Ta doped WSe$_{2}$)demonstrated more desirable band gaps, which are closer to being ideal (1.23eV); The band edge positions of our materials are also closer to the ideal reduction potential of H$^{+}$/H$_{2}$ and the oxidation potential of O$_{2}$/H$_{2}$O. Furthermore, Mo and Ta doped WSe$_{2}$ monolayers undergo an exothermic process, indicating stable monolayers. Of the three selected materials, pristine WSe$_{2}$ exhibits the strongest water adsorption abilities. Our results substantiates pristine, Mo doped, and Cr doped WSe$_{2}$ as potential photocatalysts for water splitting.


title: Dispersion of Free-Falling Saliva Droplets by Two-Dimensional Vortical Flows

abstract: The dispersion of respiratory saliva droplets by indoor wake structures may enhance the transmission of various infectious diseases, as the wake spreads virus-laden droplets across the room. Thus, this study analyses the interaction between vortical wake structures and exhaled multi-component saliva droplets. A self-propelling analytically-described dipolar vortex is chosen as a model wake flow, passing through a cloud of micron-sized evaporating saliva droplets. The droplets' spatial location, velocity, diameter, and temperature are traced and coupled to their local flow field. For the first time, the wake structure decay is incorporated and analyzed, which is proved essential for accurately predicting the settling distances of the dispersed droplets. The model also considers the non-volatile saliva components, adequately capturing the essence of droplet-aerosol transition and predicting the equilibrium diameter of the residual aerosols. Our analytic model reveals non-intuitive interactions between wake flows, droplet relaxation time, gravity, and transport phenomena. We reveal that given the right conditions, a virus-laden saliva droplet might translate to distances two orders of magnitude larger than the carrier-flow characteristic size. Moreover, accounting for the non-volatile contents inside the droplet may lead to fundamentally different dispersion and settling behavior compared to non-evaporating particles or pure water droplets. Ergo, we suggest that the implementation of more complex evaporation models might be critical in high-fidelity simulations aspiring to assess the spread of airborne respiratory droplets.


title: An elementary approach to local combinatorial formulae for the Euler class of a PL spherical fiber bundle

abstract: We present an elementary approach to local combinatorial formulae for the Euler class of a fiber-oriented triangulated spherical fiber bundle. The approach is based on sections averaging technique and very basic knowledge of simplicial (co)homology theory. Our formulae are close relatives of those by N. Mn\"{e}v.


title: Comment on "Water sources and kidney function: investigating chronic kidney disease of unknown etiology in a prospective study", by P. Vlahos et al

abstract: Vlahos et al., Ref. 1, NPJ Clean water. 4, 50 (2021) have reported the presence of pesticide contamination above safe levels in a "single time-point analysis" of well water in a region in Sri Lanka where chronic kidney disease of unknown etiology (CKDu) is endemic. They conclude "that agrochemical use in paddy and other agricultural practices ... of the Green Revolution in Sri Lanka may now be contributing to ill health, rapid progression of disease, and mortality". The authors also propose "reducing ... agrochemical contaminants in Sri Lanka and other tropical countries to reduce ... CKDu". These conclusions, based on what they call a "single time-point analysis", tantamount to an identification of the etiology of CKDu are unsupported by the evidence presented by Vlahos et al. They do not satisfy, say, even the simplest of Bradford-Hill criteria for causation. In particular, (i) similar but non-persistent pesticide excesses have been detected sporadically in most parts of the country including where there is no CKDu; (ii) the pesticides reported in (1) cause both hepatotoxicity and nephrotoxicity; the latter with glomerular damage while CKDu is associated with tubulo-interstitial damage where no hepatotoxic symptoms have been reported; (iii) the pesticides detected have short half-lives and are used over short periods during farming; so the one time-point analysis is inadequate and misleading; (iv) farming communities that use pesticides in the same way but remain essentially without CKDu are found to exist adjacent to communities with CKDu; (v) the CKDu prevalence seems to correlate with local geomorphology but without correlation to agriculture which is practiced in most parts of the country. .


title: Parametric analysis of the Lateral Distribution Function of Cherenkov light for Yakutsk EAS Array in the Energy Range 1-20 PeV

abstract: In this research, the simulation of lateral distribution function (LDF) of Cherenkov radiation was performed using CORSIKA software for two hadronic models QGSJET and GHEISHA. This simulation was performed for several elementary particles such as protons, iron nuclei, electrons and gamma quanta, in the range of energies 1-20 PeV for three zenith angles 0, 20 and 30 degrees. A parameterization of Cherenkov light LDF was performed for that simulated curves using Lorentzian function. The comparison between the obtained results for LDF of Cherenkov light with that measured with Yakutsk EAS array gave a good agreement within the distances of 100-1000 m from the shower axis.


title: Investigating the Longitudinal Development of EAS with Ultra High Energies

abstract: The simulation of the extensive air showers was performed by investigating the longitudinal development parameters (N and Xmax) by using AIRES system version 19.04.0. The simulation was performed at the energy range (10^18-10^20 eV) for different primary particles (such as primary proton and iron nuclei) and different zenith angles. The longitudinal development curves of EAS are fitted using Gaussian function that gave a new parameters for different primary particles and different zenith angles at the energy range (10^18-10^20 eV).


title: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers on Graphs

abstract: Solving combinatorial optimization (CO) on graphs is among the fundamental tasks for upper-stream applications in data mining, machine learning and operations research. Despite the inherent NP-hard challenge for CO, heuristics, branch-and-bound, learning-based solvers are developed to tackle CO problems as accurately as possible given limited time budgets. However, a practical metric for the sensitivity of CO solvers remains largely unexplored. Existing theoretical metrics require the optimal solution which is infeasible, and the gradient-based adversarial attack metric from deep learning is not compatible with non-learning solvers that are usually non-differentiable. In this paper, we develop the first practically feasible robustness metric for general combinatorial optimization solvers. We develop a no worse optimal cost guarantee thus do not require optimal solutions, and we tackle the non-differentiable challenge by resorting to black-box adversarial attack methods. Extensive experiments are conducted on 14 unique combinations of solvers and CO problems, and we demonstrate that the performance of state-of-the-art solvers like Gurobi can degenerate by over 20% under the given time limit bound on the hard instances discovered by our robustness metric, raising concerns about the robustness of combinatorial optimization solvers.


title: Increasing the Efficiency of Photovoltaic Systems by Using Maximum Power Point Tracking (MPPT)

abstract: Using Photovoltaic systems is gradually expanded by increasing energy demand. Abundance and availability of this energy, has turned to one of the most important sources of renewable energy. Unfortunately, photovoltaic systems have two big problems: first, those have very low energy conversion efficiency (in act between 12 and 42 percent under certain circumstances). Second, the power produced by the solar cell depends on nonlinear conditions such as solar radiation, temperature and charge feature. According to this, received power maximum of photovoltaic cells depends on different non-linear variables, it is necessary to be continuously traced, as maximum received power of the cell (by controller). In this research, the increasing efficiency of photovoltaic systems has been investigated by using Maximum Power Point Tracking (MPPT) in two different modes contained connected to the Grid and disconnected from the grid with simulation by MATLAB software. The obtained results showed that the proposed technique is able to improve the current, voltage and power output of photovoltaic cells.


title: MHATC: Autism Spectrum Disorder identification utilizing multi-head attention encoder along with temporal consolidation modules

abstract: Resting-state fMRI is commonly used for diagnosing Autism Spectrum Disorder (ASD) by using network-based functional connectivity. It has been shown that ASD is associated with brain regions and their inter-connections. However, discriminating based on connectivity patterns among imaging data of the control population and that of ASD patients' brains is a non-trivial task. In order to tackle said classification task, we propose a novel deep learning architecture (MHATC) consisting of multi-head attention and temporal consolidation modules for classifying an individual as a patient of ASD. The devised architecture results from an in-depth analysis of the limitations of current deep neural network solutions for similar applications. Our approach is not only robust but computationally efficient, which can allow its adoption in a variety of other research and clinical settings.


title: Two-mode squeezed state quantisation and semiclassical portraits

abstract: Quantisation with Gaussian type states offers certain advantages over other quantisation schemes, in particular, they can serve to regularise formally discontinuous classical functions leading to well defined quantum operators. In this work we define a squeezed state quantisation in two dimensions using several families of squeezed states for one- and two-mode configurations. The completeness relations of the squeezed states are exploited in order to tackle the quantisation and semiclassical analysis of a constrained position dependent mass model with harmonic potential. The effects of the squeezing parameters on the resulting operators and phase space functions are studied, and configuration space trajectories are compared between the classical and semiclassical models.


title: There are no Collatz-m-Cycles with $m\leq 91$

abstract: The Collatz conjecture (or ``Syracuse problem'') considers recursively-defined sequences of positive integers where $n$ is succeeded by $\tfrac{n}{2}$, if $n$ is even, or $\tfrac{3n+1}{2}$, if $n$ is odd. The conjecture states that for all starting values $n$ the sequence eventually reaches the trivial cycle $1, 2, 1, 2, \ldots$ . We are interested in the existence of nontrivial cycles. Let $m$ be the number of local minima in such a nontrivial cycle. Simons and de Weger proved that $m \geq 76$. With newer bounds on the range of starting values for which the Collatz conjecture has been checked, one gets $m \geq 83$. In this paper, we prove $m \geq 92$. The last part of this paper considers what must be proven in order to raise the number of odd members a nontrivial cycle has to have to the next bound -- that is, to at least $K\geq1.375\cdot 10^{11}$. We prove that it suffices to show that, for every integer smaller than or equal to $1536\cdot2^{60}=3\cdot2^{69}$, the respective Collatz sequence enters the trivial cycle. This reduces the range of numbers to be checked by nearly $60$\%.


title: Aprendizaje de los n\'umeros complejos usando diferentes sistemas de c\'alculo simb\'olico y un sistema de evaluaci\'on en l\'inea en formaci\'on inicial de profesores

abstract: En este art\'iculo se estudi\'o el trabajo matem\'atico personal de 15 profesores en formaci\'on inicial, en primer a\~no de una universidad p\'ublica en Chile, a partir de dos tareas sobre n\'umeros complejos. Estas tareas se plantearon en un CAA (Moodlle - Wiris) y se propuso resolverlas utilizando distintos CAS, como GeoGebra, Symbolab, Photomath y Wolfram Alpha entre otros. Se observaron dificultades y potencialidades en el trabajo matem\'atico de los estudiantes. En las dificultades, se observ\'o que los estudiantes ten\'ian problemas para interpretar la informaci\'on de los CAS y del feedback del CAA debido a que los conocimientos matem\'aticos previos no eran lo suficientemente solidos para hacerlo. En las potencialidades, se observ\'o que distintas caracter\'isticas de la tarea, junto con la articulaci\'on de dos o m\'as artefactos permiti\'o a los estudiantes darle significado a los objetos matem\'aticos involucrados. In this article we studied the personal mathematical work of 15 teachers in initial training, in the first year of a public university in Chile, based on two tasks on complex numbers. These tasks were presented in a CAA (Moodlle - Wiris) and it was proposed to solve them using different CAS, such as GeoGebra, Symbolab, Photomath and Wolfram Alpha, among others. Difficulties and potentialities were observed in the mathematical work of the students. In the difficulties, it was observed that the students had problems interpreting the information from the CAS and the AAC feedback because their previous mathematical knowledge was not solid enough to do so. In the potentialities, it was observed that different characteristics of the task, together with the articulation of two or more artifacts allowed students to give meaning to the mathematical objects involved.


title: Optimal Vertex Connectivity Oracles

abstract: A $k$-vertex connectivity oracle for undirected $G$ is a data structure that, given $u,v\in V(G)$, reports $\min\{k,\kappa(u,v)\}$, where $\kappa(u,v)$ is the pairwise vertex connectivity between $u,v$. There are three main measures of efficiency: construction time, query time, and space. Prior work of Izsak and Nutov shows that a data structure of total size $\tilde{O}(kn)$ can even be encoded as a $\tilde{O}(k)$-bit labeling scheme so that vertex-connectivity queries can be answered in $\tilde{O}(k)$ time. The construction time is polynomial, but unspecified. In this paper we address the top three complexity measures: Space, Query Time, and Construction Time. We give an $\Omega(kn)$-bit lower bound on any vertex connectivity oracle. We construct an optimal-space connectivity oracle in max-flow time that answers queries in $O(\log n)$ time, independent of $k$.


title: Global convergence of optimized adaptive importance samplers

abstract: We analyze the optimized adaptive importance sampler (OAIS) for performing Monte Carlo integration with general proposals. We leverage a classical result which shows that the bias and the mean-squared error (MSE) of the importance sampling scales with the $\chi^2$-divergence between the target and the proposal and develop a scheme which performs global optimization of $\chi^2$-divergence. While it is known that this quantity is convex for exponential family proposals, the case of the general proposals has been an open problem. We close this gap by utilizing the nonasymptotic bounds for stochastic gradient Langevin dynamics (SGLD) for the global optimization of $\chi^2$-divergence and derive nonasymptotic bounds for the MSE by leveraging recent results from non-convex optimization literature. The resulting AIS schemes have explicit theoretical guarantees that are uniform-in-time.


title: Thresholds and more bands of A.C. spectrum for the Molchanov--Vainberg Schr\"odinger operator with a more general long range condition

abstract: The existence of absolutely continuous (a.c.) spectrum for the discrete Molchanov-Vainberg Schr\"odinger operator $D+V$ on $\ell^2(\mathbb{Z}^d)$, in dimensions $d\geq 2$, is further investigated for potentials $V$ satisfying the long range condition $n_i(V-\tau_i ^{\kappa}V)(n) = O(\ln^{-q}(|n|))$ for some $q>2$, $\kappa \in \mathbb{N}$ even, and all $1 \leq i \leq d$, as $|n| \to \infty$. $\tau_i ^{\kappa} V$ is the potential shifted by $\kappa$ units on the $i^{\text{th}}$ coordinate. In this article \textit{finite} linear combinations of conjugate operators are constructed. These lead to more bands of a.c.\ spectrum being found. However, the new bands of a.c. spectrum are justified mainly by graphical evidence because the coefficients of the linear combinations are obtained by numerical polynomial interpolation. At the same time, an infinitely countable set of thresholds is rigorously identified (these will be defined exactly in the article). We conjecture that the spectrum of $D+V$ in dimension 2 is void of singular continuous spectrum, and that consecutive thresholds constitute endpoints of a band of a.c. spectrum.


title: The Introspective Agent: Interdependence of Strategy, Physiology, and Sensing for Embodied Agents

abstract: The last few years have witnessed substantial progress in the field of embodied AI where artificial agents, mirroring biological counterparts, are now able to learn from interaction to accomplish complex tasks. Despite this success, biological organisms still hold one large advantage over these simulated agents: adaptation. While both living and simulated agents make decisions to achieve goals (strategy), biological organisms have evolved to understand their environment (sensing) and respond to it (physiology). The net gain of these factors depends on the environment, and organisms have adapted accordingly. For example, in a low vision aquatic environment some fish have evolved specific neurons which offer a predictable, but incredibly rapid, strategy to escape from predators. Mammals have lost these reactive systems, but they have a much larger fields of view and brain circuitry capable of understanding many future possibilities. While traditional embodied agents manipulate an environment to best achieve a goal, we argue for an introspective agent, which considers its own abilities in the context of its environment. We show that different environments yield vastly different optimal designs, and increasing long-term planning is often far less beneficial than other improvements, such as increased physical ability. We present these findings to broaden the definition of improvement in embodied AI passed increasingly complex models. Just as in nature, we hope to reframe strategy as one tool, among many, to succeed in an environment. Code is available at: https://github.com/sarahpratt/introspective.


title: Bayesian Generalized Additive Model Selection Including a Fast Variational Option

abstract: We use Bayesian model selection paradigms, such as group least absolute shrinkage and selection operator priors, to facilitate generalized additive model selection. Our approach allows for the effects of continuous predictors to be categorized as either zero, linear or non-linear. Employment of carefully tailored auxiliary variables results in Gibbsian Markov chain Monte Carlo schemes for practical implementation of the approach. In addition, mean field variational algorithms with closed form updates are obtained. Whilst not as accurate, this fast variational option enhances scalability to very large data sets. A package in the R language aids use in practice.


title: Strong convergence of the thresholding scheme for the mean curvature flow of mean convex sets

abstract: In this work, we analyze Merriman, Bence and Osher's thresholding scheme, a time discretization for mean curvature flow. We restrict to the two-phase setting and mean convex initial conditions. In the sense of the minimizing movements interpretation of Esedoglu and Otto we show the time-integrated energy of the approximation to converge to the time-integrated energy of the limit. As a corollary, the conditional convergence results of Otto and one of the authors become unconditional in the two-phase mean convex case. Our results are general enough to handle the extension of the scheme to anisotropic flows for which a non-negative kernel can be chosen.


title: FUSeg: The Foot Ulcer Segmentation Challenge

abstract: Acute and chronic wounds with varying etiologies burden the healthcare systems economically. The advanced wound care market is estimated to reach $22 billion by 2024. Wound care professionals provide proper diagnosis and treatment with heavy reliance on images and image documentation. Segmentation of wound boundaries in images is a key component of the care and diagnosis protocol since it is important to estimate the area of the wound and provide quantitative measurement for the treatment. Unfortunately, this process is very time-consuming and requires a high level of expertise. Recently automatic wound segmentation methods based on deep learning have shown promising performance but require large datasets for training and it is unclear which methods perform better. To address these issues, we propose the Foot Ulcer Segmentation challenge (FUSeg) organized in conjunction with the 2021 International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI). We built a wound image dataset containing 1,210 foot ulcer images collected over 2 years from 889 patients. It is pixel-wise annotated by wound care experts and split into a training set with 1010 images and a testing set with 200 images for evaluation. Teams around the world developed automated methods to predict wound segmentations on the testing set of which annotations were kept private. The predictions were evaluated and ranked based on the average Dice coefficient. The FUSeg challenge remains an open challenge as a benchmark for wound segmentation after the conference.


title: On universal sampling representation

abstract: For the multivariate trigonometric polynomials we study convolution with the corresponding the de la Vallee Poussin kernel from the point of view of discretization. In other words, we replace the normalized Lebesgue measure by a discrete measure in such a way, which preserves the convolution properties and provides sampling discretization of integral norms. We prove that in the two-variate case the Fibonacci point sets provide an ideal (in the sense of order) solution. We also show that the Korobov point sets provide a suboptimal (up to logarithmic factors) solution for an arbitrary number of variables.


title: A Generalized RSK for Enumerating Linear Series on $n$-pointed Curves

abstract: We give a combinatorial proof of a recent geometric result of Farkas and Lian on linear series on curves with prescribed incidence conditions. The result states that the expected number of degree-$d$ morphisms from a general genus $g$, $n$-marked curve $C$ to $\mathbb{P}^r$, sending the marked points on $C$ to specified general points in $\mathbb{P}^r$, is equal to $(r+1)^g$ for sufficiently large $d$. This computation may be rephrased as an intersection problem on Grassmannians, which has a natural combinatorial interpretation in terms of Young tableaux by the classical Littlewood-Richardson rule. We give a bijection, generalizing the well-known RSK correspondence, between the tableaux in question and the $(r+1)$-ary sequences of length $g$, and we explore our bijection's combinatorial properties. We also apply similar methods to give a combinatorial interpretation and proof of the fact that, in the modified setting in which $r=1$ and several marked points map to the same point in $\mathbb{P}^1$, the number of morphisms is still $2^g$ for sufficiently large $d$.


title: Non-local parameterization of atmospheric subgrid processes with neural networks

abstract: Subgrid processes in global climate models are represented by parameterizations which are a major source of uncertainties in simulations of climate. In recent years, it has been suggested that machine-learning (ML) parameterizations based on high-resolution model output data could be superior to traditional parameterizations. Currently, both traditional and ML parameterizations of subgrid processes in the atmosphere are based on a single-column approach, which only use information from single atmospheric columns. However, single-column parameterizations might not be ideal since certain atmospheric phenomena, such as organized convective systems, can cross multiple grid boxes and involve slantwise circulations that are not purely vertical. Here we train neural networks (NNs) using non-local inputs spanning over 3$\times$3 columns of inputs. We find that including the non-local inputs improves the offline prediction of a range of subgrid processes. The improvement is especially notable for subgrid momentum transport and for atmospheric conditions associated with mid-latitude fronts and convective instability. Using an interpretability method, we find that the NN improvements partly rely on using the horizontal wind divergence, and we further show that including the divergence or vertical velocity as a separate input substantially improves offline performance. However, non-local winds continue to be useful inputs for parameterizating subgrid momentum transport even when the vertical velocity is included as an input. Overall, our results imply that the use of non-local variables and the vertical velocity as inputs could improve the performance of ML parameterizations, and the use of these inputs should be tested in online simulations in future work.


title: Succinct Differentiation of Disparate Boosting Ensemble Learning Methods for Prognostication of Polycystic Ovary Syndrome Diagnosis

abstract: Prognostication of medical problems using the clinical data by leveraging the Machine Learning techniques with stellar precision is one of the most important real world challenges at the present time. Considering the medical problem of Polycystic Ovary Syndrome also known as PCOS is an emerging problem in women aged from 15 to 49. Diagnosing this disorder by using various Boosting Ensemble Methods is something we have presented in this paper. A detailed and compendious differentiation between Adaptive Boost, Gradient Boosting Machine, XGBoost and CatBoost with their respective performance metrics highlighting the hidden anomalies in the data and its effects on the result is something we have presented in this paper. Metrics like Confusion Matrix, Precision, Recall, F1 Score, FPR, RoC Curve and AUC have been used in this paper.


title: VISAS -- Detecting GPS spoofing attacks against drones by analyzing camera's video stream

abstract: In this study, we propose an innovative method for the real-time detection of GPS spoofing attacks targeting drones, based on the video stream captured by a drone's camera. The proposed method collects frames from the video stream and their location (GPS); by calculating the correlation between each frame, our method can identify an attack on a drone. We first analyze the performance of the suggested method in a controlled environment by conducting experiments on a flight simulator that we developed. Then, we analyze its performance in the real world using a DJI drone. Our method can provide different levels of security against GPS spoofing attacks, depending on the detection interval required; for example, it can provide a high level of security to a drone flying at an altitude of 50-100 meters over an urban area at an average speed of 4 km/h in conditions of low ambient light; in this scenario, the method can provide a level of security that detects any GPS spoofing attack in which the spoofed location is a distance of 1-4 meters (an average of 2.5 meters) from the real location.


title: Data-driven Sensor Deployment for Spatiotemporal Field Reconstruction

abstract: This paper concerns the data-driven sensor deployment problem in large spatiotemporal fields. Traditionally, sensor deployment strategies have been heavily dependent on model-based planning approaches. However, model-based approaches do not typically maximize the information gain in the field, which tends to generate less effective sampling locations and lead to high reconstruction error. In the present paper, a data-driven approach is developed to overcome the drawbacks of the model-based approach and improve the spatiotemporal field reconstruction accuracy. The proposed method can select the most informative sampling locations to represent the entire spatiotemporal field. To this end, the proposed method decomposes the spatiotemporal field using principal component analysis (PCA) and finds the top r essential entities of the principal basis. The corresponding sampling locations of the selected entities are regarded as the sensor deployment locations. The observations collected at the selected sensor deployment locations can then be used to reconstruct the spatiotemporal field, accurately. Results are demonstrated using a National Oceanic and Atmospheric Administration sea surface temperature dataset. In the present study, the proposed method achieved the lowest reconstruction error among all methods.


title: Symmetric states for $C^*$-Fermi systems I: De Finetti theorem

abstract: n the present note, which is the first part of a work concerning the study of the set of the symmetric states for Fermi systems, we describe the extension of the De Finetti theorem to the infinite Fermi $C^*$-tensor product of a single (separable) general $\bz^2$-graded $C^*$-algebra.


title: Quantitative control of Wasserstein distance between Brownian motion and the Goldstein--Kac telegraph process

abstract: In this manuscript, we provide a non-asymptotic process level control between the telegraph process and the Brownian motion with suitable diffusivity constant via a Wasserstein distance with quadratic average cost. In addition, we derive non-asymptotic estimates for the corresponding time average $p$-th moments. The proof relies on coupling techniques such as coin-flip coupling, synchronous coupling and the Koml\'os--Major--Tusn\'ady coupling.


title: Less can be more: Insights on the role of electrode microstructure in redox flow batteries from 2D direct numerical simulations

abstract: Understanding how to structure a porous electrode to facilitate fluid, mass, and charge transport is key to enhance the performance of electrochemical devices such as fuel cells, electrolyzers, and redox flow batteries (RFBs). Using a parallel computational framework, direct numerical simulations are carried out on idealized porous electrode microstructures for RFBs. Strategies to improve electrode design starting from a regular lattice are explored. We observe that by introducing vacancies in the ordered arrangement, it is possible to achieve higher voltage efficiency at a given current density, thanks to improved mixing of reactive species, despite reducing the total reactive surface. Careful engineering of the location of vacancies, resulting in a density gradient, outperforms disordered configurations. Our simulation framework is a new tool to explore transport phenomena in RFBs and our findings suggest new ways to design performant electrodes.


title: Splicing ViT Features for Semantic Appearance Transfer

abstract: We present a method for semantically transferring the visual appearance of one natural image to another. Specifically, our goal is to generate an image in which objects in a source structure image are "painted" with the visual appearance of their semantically related objects in a target appearance image. Our method works by training a generator given only a single structure/appearance image pair as input. To integrate semantic information into our framework - a pivotal component in tackling this task - our key idea is to leverage a pre-trained and fixed Vision Transformer (ViT) model which serves as an external semantic prior. Specifically, we derive novel representations of structure and appearance extracted from deep ViT features, untwisting them from the learned self-attention modules. We then establish an objective function that splices the desired structure and appearance representations, interweaving them together in the space of ViT features. Our framework, which we term "Splice", does not involve adversarial training, nor does it require any additional input information such as semantic segmentation or correspondences, and can generate high-resolution results, e.g., work in HD. We demonstrate high quality results on a variety of in-the-wild image pairs, under significant variations in the number of objects, their pose and appearance.


title: The Fixed Point Property of Quasi-Point-Separable Topological Vector Spaces

abstract: In this paper, we introduce the concept of quasi-point-separable topological vector spaces, which has the following important properties: 1.In general, the conditions for a topological vector space to be quasi-point-separable is not very difficult to check; 2.The class of quasi-point-separable topological vector spaces is very large that includes locally convex topological vector spaces and pseudonorm adjoint topological vector spaces as special cases; 3.Every quasi-point-separable Housdorrf topological vector space has the fixed point property (that is, every continuous self-mapping on any given nonempty closed and convex subset has a fixed point), which is the result of the main theorem of this paper (Theorem 4.1). Furthermore, we provide some concrete examples of quasi-point-separable topological vector spaces, which are not locally convex. It follows that the main theorem of this paper is a proper extension of Tychonoffs fixed point theorem on locally convex topological vector spaces.


title: Deep Learning and Linear Programming for Automated Ensemble Forecasting and Interpretation

abstract: This paper presents an ensemble forecasting method that shows strong results on the M4 Competition dataset by decreasing feature and model selection assumptions, termed DONUT (DO Not UTilize human beliefs). Our assumption reductions, primarily consisting of auto-generated features and a more diverse model pool for the ensemble, significantly outperform the statistical, feature-based ensemble method FFORMA by Montero-Manso et al. (2020). We also investigate feature extraction with a Long Short-term Memory Network (LSTM) Autoencoder and find that such features contain crucial information not captured by standard statistical feature approaches. The ensemble weighting model uses LSTM and statistical features to combine the models accurately. The analysis of feature importance and interaction shows a slight superiority for LSTM features over the statistical ones alone. Clustering analysis shows that essential LSTM features differ from most statistical features and each other. We also find that increasing the solution space of the weighting model by augmenting the ensemble with new models is something the weighting model learns to use, thus explaining part of the accuracy gains. Moreover, we present a formal ex-post-facto analysis of an optimal combination and selection for ensembles, quantifying differences through linear optimization on the M4 dataset. Our findings indicate that classical statistical time series features, such as trend and seasonality, alone do not capture all relevant information for forecasting a time series. On the contrary, our novel LSTM features contain significantly more predictive power than the statistical ones alone, but combining the two feature sets proved the best in practice.


title: Quantum supremacy of the many-body fluctuations in the occupations of the excited particle states in a Bose-Einstein-condensed gas

abstract: We find a universal analytic formula for a characteristic function (Fourier transform) of a joint probability distribution for the particle occupation numbers in a BEC gas and the Hafnian Master Theorem generalizing the famous Permanent Master Theorem of MacMahon. We suggest an appealing model, a multi-qubit BEC trap formed by a set of qubit potential wells, and discuss specifics of such an atomic boson-sampling system vs a photonic one. Finally, the process of many-body fluctuations in a BEC trap is #P-hard for computing. It could serve as a basis for demonstrating quantum supremacy of the many-body interacting systems over classical simulators.


title: All-optical Tuning of Indistinguishable Single-Photons Generated in Three-level Quantum Systems

abstract: Resonance fluorescence of two-level quantum systems has emerged as a powerful tool in quantum information processing. Extension of this approach to higher-level systems provides new opportunities for quantum optics applications. Here we introduce a coherent driving scheme of a three-level ladder system utilizing Autler-Townes and ac Stark effects by resonant excitation with two laser fields. We propose theoretically and demonstrate experimentally the feasibility of this approach towards all-optical spectral tuning of quantum dot-based single-photon sources and investigate photon indistinguishability and purity levels. Our tuning technique allows for fast optical control of the quantum emitter spectrum which paves the way towards temporal and spectral shaping of the single photons, formation of topological Floquet states or generation of high-dimensional frequency-encoded quantum states of light.


title: Image Denoising with Control over Deep Network Hallucination

abstract: Deep image denoisers achieve state-of-the-art results but with a hidden cost. As witnessed in recent literature, these deep networks are capable of overfitting their training distributions, causing inaccurate hallucinations to be added to the output and generalizing poorly to varying data. For better control and interpretability over a deep denoiser, we propose a novel framework exploiting a denoising network. We call it controllable confidence-based image denoising (CCID). In this framework, we exploit the outputs of a deep denoising network alongside an image convolved with a reliable filter. Such a filter can be a simple convolution kernel which does not risk adding hallucinated information. We propose to fuse the two components with a frequency-domain approach that takes into account the reliability of the deep network outputs. With our framework, the user can control the fusion of the two components in the frequency domain. We also provide a user-friendly map estimating spatially the confidence in the output that potentially contains network hallucination. Results show that our CCID not only provides more interpretability and control, but can even outperform both the quantitative performance of the deep denoiser and that of the reliable filter, especially when the test data diverge from the training data.


title: Classifying Subset Feedback Vertex Set for $H$-Free Graphs

abstract: In the Feedback Vertex Set problem, we aim to find a small set $S$ of vertices in a graph intersecting every cycle. The Subset Feedback Vertex Set problem requires $S$ to intersect only those cycles that include a vertex of some specified set $T$. We also consider the Weighted Subset Feedback Vertex Set problem, where each vertex $u$ has weight $w(u)>0$ and we ask that $S$ has small weight. By combining known NP-hardness results with new polynomial-time results we prove full complexity dichotomies for Subset Feedback Vertex Set and Weighted Subset Feedback Vertex Set for $H$-free graphs, that is, graphs that do not contain a graph $H$ as an induced subgraph.