title: Microlensing effect of charged spherically symmetric wormhole

abstract: We systematically investigate the microlensing effect of charged spherically symmetric wormhole, where the light source is remote from the throat. Remarkably, there will be at most three images by considering the charge part. We study all situations including three images, two images, and one image, respectively. The numerical result shows that the range of total magnification is from $10^5$ to $10^{-2}$ depending on various metrics. In the case of three images, there will be two maximal values of magnification (a peak, and a gentle peak) when the contribution via mass is much less than that of charge. However, we cannot distinguish the case that forms three images or only one image as the total magnification is of order $10^5$. Finally, our theoretical investigation could shed new light on exploring the wormhole with the microlensing effect.


title: Hennessy-Milner Theorems via Galois Connections

abstract: We introduce a general and compositional, yet simple, framework that allows us to derive soundness and expressiveness results for modal logics characterizing behavioural equivalences or metrics (also known as Hennessy-Milner theorems). It is based on Galois connections between sets of (real-valued) predicates on the one hand and equivalence relations/metrics on the other hand and covers a part of the linear-time-branching-time spectrum, both for the qualitative case (behavioural equivalences) and the quantitative case (behavioural metrics). We derive behaviour functions from a given logic and give a condition, called compatibility, that characterizes under which conditions a logically induced equivalence/metric is induced by a fixpoint equation. In particular this framework allows us to derive a new fixpoint characterization of directed trace metrics.


title: Synthesis-based time-scale transforms for non-stationary signals

abstract: This paper deals with the modeling of non-stationary signals, from the point of view of signal synthesis. A class of random, non-stationary signals, generated by synthesis from a random timescale representation, is introduced and studied. Non-stationarity is implemented in the timescale representation through a prior distribution which models the action of time warping on a stationary signal. A main originality of the approach is that models directly a timescale representation from which signals can be synthesized, instead of post-processing a pre-computed timescale transform. A maximum a posteriori estimator is proposed for the time warping parameters and the power spectrum of an underlying stationary signal, together with an iterative algorithm, called JEFAS-S, for the estimation, based upon the Expectation Maximization approach. Numerical results show the ability of JEFAS-S to estimate accurately time warping and power spectrum. This is in particular true when time warping involves fast variations, where a similar approach called JEFAS, proposed earlier, fails. In addition, as a by-product, the approach is able to yield extremely sharp timescale representations, also in the case of fast varying non-stationarity, where standard approaches such as synchrosqueezing fail.

categories: cond-mat.soft math.ST physics.class-ph stat.TH


title: Knowledge Condensation Distillation

abstract: Knowledge Distillation (KD) transfers the knowledge from a high-capacity teacher network to strengthen a smaller student. Existing methods focus on excavating the knowledge hints and transferring the whole knowledge to the student. However, the knowledge redundancy arises since the knowledge shows different values to the student at different learning stages. In this paper, we propose Knowledge Condensation Distillation (KCD). Specifically, the knowledge value on each sample is dynamically estimated, based on which an Expectation-Maximization (EM) framework is forged to iteratively condense a compact knowledge set from the teacher to guide the student learning. Our approach is easy to build on top of the off-the-shelf KD methods, with no extra training parameters and negligible computation overhead. Thus, it presents one new perspective for KD, in which the student that actively identifies teacher's knowledge in line with its aptitude can learn to learn more effectively and efficiently. Experiments on standard benchmarks manifest that the proposed KCD can well boost the performance of student model with even higher distillation efficiency. Code is available at https://github.com/dzy3/KCD.


title: Length orthospectrum of convex bodies on flat tori

abstract: In analogy with the study of Pollicott-Ruelle resonances on negatively curved manifolds, we define anisotropic Sobolev spaces that are well-adapted to the analysis of the geodesic vector field associated with any translation invariant Finsler metric on the torus $\mathbb{T}^d$. Among several applications of this functional point of view, we study properties of geodesics that are orthogonal to two convex subsets of $\mathbb{T}^d$ (i.e. projection of the boundaries of strictly convex bodies of $\mathbb{R}^d$). Associated with the set of lengths of such orthogeodesics, we define a geometric Epstein function and prove its meromorphic continuation. We compute its residues in terms of intrinsic volumes of the convex sets. We also prove Poisson-type summation formulae relating the set of lengths of orthogeodesics and the spectrum of magnetic Laplacians.

categories: math.AP math-ph math.DG math.DS math.MP math.SP


title: A mean field model for the interactions between firms on the markets of their inputs

abstract: We consider an economy made of competing firms which are heterogeneous in their capital and use several inputs for producing goods. Their consumption policy is fixed rationally by maximizing a utility and their capital cannot fall below a given threshold (state constraint). We aim at modeling the interactions between firms on the markets of the different inputs on the long term. The stationary equlibria are described by a system of coupled non-linear differential equations: a Hamilton-Jacobi equation describing the optimal control problem of a single atomistic firm; a continuity equation describing the distribution of the individual state variable (the capital) in the population of firms; the equilibria on the markets of the production factors. We prove the existence of equilibria under suitable assumptions.


title: Kodaira additivity, birational isotriviality and specialness

abstract: We show, using [14], that a smooth projective fibration f : X $\rightarrow$ Y between connected complex quasi-projective manifolds satisfies the equality $\kappa$(X) = $\kappa$(X y) + $\kappa$(Y) of Logarithmic Kodaira dimensions if its fibres X y admit a good minimal model. Without the last assumption, this was conjectured in [11]. Several cases are established in [13], which inspired the present text. Although the present results overlap with those of [13] in the projective case, the approach here is different, based on the r{\^o}le played by birationally isotrivial fibrations, special manifolds and the core map of Y introduced and constructed in [3].


title: A Security-aware and LUT-based CAD Flow for the Physical Synthesis of eASICs

abstract: Numerous threats are associated with the globalized integrated circuit (IC) supply chain, such as piracy, reverse engineering, overproduction, and malicious logic insertion. Many obfuscation approaches have been proposed to mitigate these threats by preventing an adversary from fully understanding the IC (or parts of it). The use of reconfigurable elements inside an IC is a known obfuscation technique, either as a coarse grain reconfigurable block (i.e., eFPGA) or as a fine grain element (i.e., FPGA-like look-up tables). This paper presents a security-aware CAD flow that is LUT-based yet still compatible with the standard cell based physical synthesis flow. More precisely, our CAD flow explores the FPGA-ASIC design space and produces heavily obfuscated designs where only small portions of the logic resemble an ASIC. Therefore, we term this specialized solution an "embedded ASIC" (eASIC). Nevertheless, even for heavily LUT-dominated designs, our proposed decomposition and pin swapping algorithms allow for performance gains that enable performance levels that only ASICs would otherwise achieve. On the security side, we have developed novel template-based attacks and also applied existing attacks, both oracle-free and oracle-based. Our security analysis revealed that the obfuscation rate for an SHA-256 study case should be at least 45% for withstanding traditional attacks and at least 80% for withstanding template-based attacks. When the 80\% obfuscated SHA-256 design is physically implemented, it achieves a remarkable frequency of 368MHz in a 65nm commercial technology, whereas its FPGA implementation (in a superior technology) achieves only 77MHz.


title: Towards quantum turbulence theory: A simple model with interaction of the vortex loops

abstract: This paper investigates quantized thin vortex rings with an internal structure. The quantization scheme of this dynamical system is based on an earlier the approach proposed by the author. Both energy spectrum and circulation spectrum are calculated. Examples show that the set of permissible circulation values has a fractal structure. The suggested model allows us to describe the system of isolated vortex rings as well as the vortex rings with interaction. Furthermore, the application to the quantum turbulence theory is discussed. The general expression for the partition function of a turbulent flow is suggested.


title: Rendering along the Hilbert Curve

abstract: Based on the seminal work on Array-RQMC methods and rank-1 lattice sequences by Pierre L'Ecuyer and collaborators, we introduce efficient deterministic algorithms for image synthesis. Enumerating a low discrepancy sequence along the Hilbert curve superimposed on the raster of pixels of an image, we achieve noise characteristics that are desirable with respect to the human visual system, especially at very low sampling rates. As compared to the state of the art, our simple algorithms neither require randomization, nor costly optimization, nor lookup tables. We analyze correlations of space-filling curves and low discrepancy sequences, and demonstrate the benefits of the new algorithms in a professional, massively parallel light transport simulation and rendering system.


title: Convergence properties of symmetrization processes

abstract: Steiner symmetrization is well known for its rounding and general convergence properties. We identify a whole family of symmetrizations sharing analogue behaviors: In fact we prove that all these symmetrizations share the same converging symmetrization processes, together with some pathological phenomena.


title: Upper bounds on maximum lengths of Singleton-optimal locally repairable codes

abstract: A locally repairable code is called Singleton-optimal if it achieves the Singleton-type bound. Such codes are of great theoretic interest in the study of locally repairable codes. In the recent years there has been a great amount of work on this topic. One of the main problems in this topic is to determine the largest length of a q-ary Singleton-optimal locally repairable code for given locality and minimum distance. Unlike classical MDS codes, the maximum length of Singleton? Optimal locally repairable codes are very sensitive to minimum distance and locality. Thus, it is more challenging and complicated to investigate the maximum length of Singleton-optimal locally repairable codes. In literature, there has been already some research on this problem. However, most of work is concerned with some specific parameter regime such as small minimum distance and locality, and rely on the constraint that (r + 1)|n and recovery sets are disjoint, where r is locality and n is the code length. In this paper we study the problem for large range of parameters including the case where minimum distance is proportional to length. In addition, we also derive some upper bounds on the maximum length of Singleton-optimal locally repairable codes with small minimum distance by removing this constraint. It turns out that even without the constraint we still get better upper bounds for codes with small locality and distance compared with known results. Furthermore, based on our upper bounds for codes with small distance and locality and some propagation rule that we propose in this paper, we are able to derive some upper bounds for codes with relatively large distance and locality assuming that (r + 1)|n and recovery sets are disjoint.


title: A Baseline for Detecting Out-of-Distribution Examples in Image Captioning

abstract: Image captioning research achieved breakthroughs in recent years by developing neural models that can generate diverse and high-quality descriptions for images drawn from the same distribution as training images. However, when facing out-of-distribution (OOD) images, such as corrupted images, or images containing unknown objects, the models fail in generating relevant captions. In this paper, we consider the problem of OOD detection in image captioning. We formulate the problem and suggest an evaluation setup for assessing the model's performance on the task. Then, we analyze and show the effectiveness of the caption's likelihood score at detecting and rejecting OOD images, which implies that the relatedness between the input image and the generated caption is encapsulated within the score.


title: Torus stability under Kato bounds on the Ricci curvature

abstract: We show two stability results for a closed Riemannian manifold whose Ricci curvature is small in the Kato sense and whose first Betti number is equal to the dimension. The first one is a geometric stability result stating that such a manifold is Gromov-Hausdorff close to a flat torus. The second one states that, under a stronger assumption, such a manifold is diffeomorphic to a torus: this extends a result by Colding and Cheeger-Colding obtained in the context of a lower bound on the Ricci curvature.


title: UniNet: Unified Architecture Search with Convolution, Transformer, and MLP

abstract: Recently, transformer and multi-layer perceptron (MLP) architectures have achieved impressive results on various vision tasks. However, how to effectively combine those operators to form high-performance hybrid visual architectures still remains a challenge. In this work, we study the learnable combination of convolution, transformer, and MLP by proposing a novel unified architecture search approach. Our approach contains two key designs to achieve the search for high-performance networks. First, we model the very different searchable operators in a unified form, and thus enable the operators to be characterized with the same set of configuration parameters. In this way, the overall search space size is significantly reduced, and the total search cost becomes affordable. Second, we propose context-aware downsampling modules (DSMs) to mitigate the gap between the different types of operators. Our proposed DSMs are able to better adapt features from different types of operators, which is important for identifying high-performance hybrid architectures. Finally, we integrate configurable operators and DSMs into a unified search space and search with a Reinforcement Learning-based search algorithm to fully explore the optimal combination of the operators. To this end, we search a baseline network and scale it up to obtain a family of models, named UniNets, which achieve much better accuracy and efficiency than previous ConvNets and Transformers. In particular, our UniNet-B5 achieves 84.9% top-1 accuracy on ImageNet, outperforming EfficientNet-B7 and BoTNet-T7 with 44% and 55% fewer FLOPs respectively. By pretraining on the ImageNet-21K, our UniNet-B6 achieves 87.4%, outperforming Swin-L with 51% fewer FLOPs and 41% fewer parameters. Code is available at https://github.com/Sense-X/UniNet.


title: Estimation of non-symmetric and unbounded region of attraction using shifted shape function and R-composition

abstract: A general numerical method using sum of squares programming is proposed to address the problem of estimating the region of attraction (ROA) of an asymptotically stable equilibrium point of a nonlinear polynomial system. The method is based on Lyapunov theory, and a shape function is defined to enlarge the provable subset of a local Lyapunov function. In contrast with existing methods with a shape function centered at the equilibrium point, the proposed method utilizes a shifted shape function (SSF) with its center shifted iteratively towards the boundary of the newly obtained invariant subset to improve ROA estimation. A set of shifting centers with corresponding SSFs is generated to produce proven subsets of the exact ROA and then a composition method, namely R-composition, is employed to express these independent sets in a compact form by just a single but richer-shaped level set. The proposed method denoted as RcomSSF brings a significant improvement for general ROA estimation problems, especially for non-symmetric or unbounded ROA, while keeping the computational burden at a reasonable level. Its effectiveness and advantages are demonstrated by several benchmark examples from literature.


title: Improving Domain Generalization by Learning without Forgetting: Application in Retail Checkout

abstract: Designing an automatic checkout system for retail stores at the human level accuracy is challenging due to similar appearance products and their various poses. This paper addresses the problem by proposing a method with a two-stage pipeline. The first stage detects class-agnostic items, and the second one is dedicated to classify product categories. We also track the objects across video frames to avoid duplicated counting. One major challenge is the domain gap because the models are trained on synthetic data but tested on the real images. To reduce the error gap, we adopt domain generalization methods for the first-stage detector. In addition, model ensemble is used to enhance the robustness of the 2nd-stage classifier. The method is evaluated on the AI City challenge 2022 -- Track 4 and gets the F1 score $40\%$ on the test A set. Code is released at the link https://github.com/cybercore-co-ltd/aicity22-track4.


title: Positivity of the symmetric group characters is as hard as the polynomial time hierarchy

abstract: We prove that deciding the vanishing of the character of the symmetric group is $C_=P$-complete. We use this hardness result to prove that the the square of the character is not contained in $\#P$, unless the polynomial hierarchy collapses to the second level. This rules out the existence of any (unsigned) combinatorial description for the square of the characters. As a byproduct of our proof we conclude that deciding positivity of the character is $PP$-complete under many-one reductions, and hence $PH$-hard under Turing-reductions.


title: Fluctuating Diffusivity Emerges even in Binary Gas Mixtures

abstract: Diffusivity in some soft matter and biological systems changes with time, called the fluctuating diffusivity. In this work, we propose a novel origin for fluctuating diffusivity based on stochastic simulations of binary gas mixtures. In this system, the fraction of one component is significantly small, and the mass of the minor component molecule is different from that of the major component. The minor component exhibits fluctuating diffusivity when its mass is sufficiently smaller than that of the major component. We elucidate that this fluctuating diffusivity is caused by the time scale separation between the relaxation of the velocity direction and the speed of the minor component molecule.


title: N-jettiness for muon jet pairs in electroweak high-energy processes

abstract: We study the $N$-jettiness in the electroweak high-energy process for the final muon jet pairs, $e^- e^+ \rightarrow \mu^+ \ \mathrm{jet} + \mu^- \mathrm{jet}$. Compared to QCD, the main difference is that there exist additional gauge nonsinglet contributions in the weak interaction, which make the factorization more elaborate. Especially the nonsinglet contributions arise due to the Block-Nordsieck violation in electroweak processes, which yields the Sudakov logarithms and the rapidity divergence. They change the evolution of the factorized parts considerably in the $N$-jettiness. There are two possible channels, initiated from the gauge bosons $W W \rightarrow \ell_{\mu} \overline{\ell}_{\mu}$, and from the electrons $\ell_e \overline{\ell}_e \rightarrow \ell_{\mu} \overline{\ell}_{\mu}$, where $\ell$ denotes the weak doublet. The latter was discussed previously, and we complete the analysis by studying the first. The factorization for $W W \rightarrow \ell_{\mu} \overline{\ell}_{\mu}$ can be proceeded in a similar way as in the factorization for $\ell_e\overline{\ell}_e \rightarrow \ell_{\mu} \overline{\ell}_{\mu}$, and the result exhibits a rich structure. The new ingredients in this study consist of the $W$ beam functions, and the complex color structure of the soft functions and the hard functions. The resummation of the large logarithms is performed by solving the renormalization group equations with respect to the renormalization scale and the rapidity scale. In the numerical analysis, we confine to the SU(2) weak gauge interaction, and the numerical results are presented for both channels at next-to-leading-logarithmic accuracy including the singlet and the nonsinglet contributions. The nonsinglet contributions turn out to be appreciable in the 2-jettiness.


title: A one-shot overlapping Schwarz method for component-based model reduction: application to nonlinear elasticity

abstract: We propose a component-based (CB) parametric model order reduction (pMOR) formulation for parameterized nonlinear elliptic partial differential equations (PDEs) based on overlapping subdomains. Our approach reads as a constrained optimization statement that penalizes the jump at the components' interfaces subject to the approximate satisfaction of the PDE in each local subdomain. Furthermore, the approach relies on the decomposition of the local states into a port component -- associated with the solution on interior boundaries -- and a bubble component that vanishes at ports: since the bubble components are uniquely determined by the solution value at the corresponding port, we can recast the constrained optimization statement into an unconstrained statement, which reads as a nonlinear least-squares problem and can be solved using the Gauss-Newton method. We present thorough numerical investigations for a two-dimensional neo-Hookean nonlinear mechanics problem to validate our method; we further discuss the well-posedness of the mathematical formulation and the \emph{a priori} error analysis for linear coercive problems.


title: Beyond the Oberbeck-Boussinesq and long wavelength approximation

abstract: We present the first simulations of a reduced magnetized plasma model that incorporates both arbitrary wavelength polarization and non-Oberbeck-Boussinesq effects. Significant influence of these two effects on the density, electric potential and ExB vorticity and non-linear dynamics of interchange blobs are reported. Arbitrary wavelength polarization implicates so-called gyro-amplification that compared to a long wavelength approximation leads to highly amplified small-scale ExB vorticity fluctuations. These strongly increase the coherence and lifetime of blobs and alter the motion of the blobs through a slower blob-disintegration. Non-Oberbeck-Boussinesq effects incorporate plasma inertia, which substantially decreases the growth rate and linear acceleration of high amplitude blobs, while the maximum blob velocity is not affected. Finally, we generalize and numerically verify unified scaling laws for blob velocity, acceleration and growth rate that include both ion temperature and arbitrary blob amplitude dependence.


title: Rings of tautological forms on moduli spaces of curves

abstract: We define and study a natural system of tautological rings on the moduli spaces of marked curves at the level of differential forms. We show that certain 2-forms obtained from the natural normal functions on these moduli spaces are tautological. Also we show that rings of tautological forms are always finite dimensional. Finally we characterize the Kawazumi-Zhang invariant as essentially the only smooth function on the moduli space of curves whose Levi form is a tautological form.


title: Positive Invariance Condition for Continuous Dynamical Systems Based on Nagumo Theorem

abstract: In this paper, we obtain sufficient and necessary conditions of some classical convex sets as positively invariant sets for a continuous dynamical system, namely positive invariance conditions. The approach is based on Nagumo Theorem by deriving the tangent cones of these sets. We also propose approaches using optimization theory and models to verify the existence of these sufficient and necessary conditions.


title: Learning Diverse Tone Styles for Image Retouching

abstract: Image retouching, aiming to regenerate the visually pleasing renditions of given images, is a subjective task where the users are with different aesthetic sensations. Most existing methods deploy a deterministic model to learn the retouching style from a specific expert, making it less flexible to meet diverse subjective preferences. Besides, the intrinsic diversity of an expert due to the targeted processing on different images is also deficiently described. To circumvent such issues, we propose to learn diverse image retouching with normalizing flow-based architectures. Unlike current flow-based methods which directly generate the output image, we argue that learning in a style domain could (i) disentangle the retouching styles from the image content, (ii) lead to a stable style presentation form, and (iii) avoid the spatial disharmony effects. For obtaining meaningful image tone style representations, a joint-training pipeline is delicately designed, which is composed of a style encoder, a conditional RetouchNet, and the image tone style normalizing flow (TSFlow) module. In particular, the style encoder predicts the target style representation of an input image, which serves as the conditional information in the RetouchNet for retouching, while the TSFlow maps the style representation vector into a Gaussian distribution in the forward pass. After training, the TSFlow can generate diverse image tone style vectors by sampling from the Gaussian distribution. Extensive experiments on MIT-Adobe FiveK and PPR10K datasets show that our proposed method performs favorably against state-of-the-art methods and is effective in generating diverse results to satisfy different human aesthetic preferences. Source code and pre-trained models are publicly available at https://github.com/SSRHeart/TSFlow.


title: Data-Driven Thermal Modelling for Anomaly Detection in Electric Vehicle Charging Stations

abstract: The rapid growth of the electric vehicle (EV) sector is giving rise to many infrastructural challenges. One such challenge is its requirement for the widespread development of EV charging stations which must be able to provide large amounts of power in an on-demand basis. This can cause large stresses on the electrical and electronic components of the charging infrastructure - negatively affecting its reliability as well as leading to increased maintenance and operation costs. This paper proposes a human-interpretable data-driven method for anomaly detection in EV charging stations, aiming to provide information for the condition monitoring and predictive maintenance of power converters within such a station. To this end, a model of a high-efficiency EV charging station is used to simulate the thermal behaviour of EV charger power converter modules, creating a data set for the training of neural network models. These machine learning models are then employed for the identification of anomalous performance.


title: Synergistic Self-supervised and Quantization Learning

abstract: With the success of self-supervised learning (SSL), it has become a mainstream paradigm to fine-tune from self-supervised pretrained models to boost the performance on downstream tasks. However, we find that current SSL models suffer severe accuracy drops when performing low-bit quantization, prohibiting their deployment in resource-constrained applications. In this paper, we propose a method called synergistic self-supervised and quantization learning (SSQL) to pretrain quantization-friendly self-supervised models facilitating downstream deployment. SSQL contrasts the features of the quantized and full precision models in a self-supervised fashion, where the bit-width for the quantized model is randomly selected in each step. SSQL not only significantly improves the accuracy when quantized to lower bit-widths, but also boosts the accuracy of full precision models in most cases. By only training once, SSQL can then benefit various downstream tasks at different bit-widths simultaneously. Moreover, the bit-width flexibility is achieved without additional storage overhead, requiring only one copy of weights during training and inference. We theoretically analyze the optimization process of SSQL, and conduct exhaustive experiments on various benchmarks to further demonstrate the effectiveness of our method. Our code is available at https://github.com/megvii-research/SSQL-ECCV2022.


title: A Generative deep learning approach for shape recognition of arbitrary objects from phaseless acoustic scattering data

abstract: We propose and demonstrate a generative deep learning approach for the shape recognition of an arbitrary object from its acoustic scattering properties. The strategy exploits deep neural networks to learn the mapping between the latent space of a two-dimensional acoustic object and the far-field scattering amplitudes. A neural network is designed as an Adversarial autoencoder and trained via unsupervised learning to determine the latent space of the acoustic object. Important structural features of the object are embedded in lower-dimensional latent space which supports the modeling of a shape generator and accelerates the learning in the inverse design process.The proposed inverse design uses the variational inference approach with encoder and decoder-like architecture where the decoder is composed of two pretrained neural networks, the generator and the forward model. The data-driven framework finds an accurate solution to the ill-posed inverse scattering problem, where non-unique solution space is overcome by the multifrequency phaseless far-field patterns. This inverse method is a powerful design tool that does not require complex analytical calculation and opens up new avenues for practical realization, automatic recognition of arbitrary shaped submarines or large fish, and other underwater applications.

categories: cs.SD eess.AS physics.app-ph physics.comp-ph


title: Searching for compact objects in binaries with Gaia DR3

abstract: We search for compact objects in binaries based on Gaia DR3. A sample of ten targets is derived under the conditions: radial velocity variable, low temperature ($T_{\rm eff} < 6000$ K), high mass function ($f(M_2) > 1 M_\odot$), and ellipsoidal-like light curves. Two targets have LAMOST spectroscopic observations, one of which is a double-lined spectroscopic binary. The observational data of seven targets are not self-consistent, since their photometric periods are even shorter than the theoretical minimum orbital periods calculated by the stellar parameters from Gaia DR3. After excluding these seven inconsistent targets and another target contaminated by a near-bright star, the remaining two targets may contain compact objects worth follow-up observations. This work may serve as an example to demonstrate the feasibility of searching for compact objects in the massive Gaia data.


title: Quantum Extensive Form Games

abstract: We propose a concept of quantum extensive-form games, which is a quantum extension of classical extensive-form games. Extensive-form games is a general concept of games such as Go, Shogi, and chess, which have triggered the recent AI revolution, and is the basis for many important game theoretic models in economics. Quantum transitions allow for pairwise annihilation of paths in the quantum game tree, resulting in a probability distribution that is more likely to produce a particular outcome. This is similar in principle to the mechanism of speed-up by quantum computation represented by Grover's algorithm. A quantum extensive-form game is also a generalization of quantum learning, including Quantum Generative Adversarial Networks. As an new example of quantum extensive-form games, we propose a quantum form of the Angel problem originally proposed by Conway in 1996. The classical problem has been solved but by quantizing it, the game becomes non-trivial.


title: Markov Decision Process For Automatic Cyber Defense

abstract: It is challenging for a security analyst to detect or defend against cyber-attacks. Moreover, traditional defense deployment methods require the security analyst to manually enforce the defenses in the presence of uncertainties about the defense to deploy. As a result, it is essential to develop an automated and resilient defense deployment mechanism to thwart the new generation of attacks. In this paper, we propose a framework based on Markov Decision Process (MDP) and Q-learning to automatically generate optimal defense solutions for networked system states. The framework consists of four phases namely; the model initialization phase, model generation phase, Q-learning phase, and the conclusion phase. The proposed model collects real network information as inputs and then builds them into structural data. We implement a Q-learning process in the model to learn the quality of a defense action in a particular state. To investigate the feasibility of the proposed model, we perform simulation experiments and the result reveals that the model can reduce the risk of network systems from cyber attacks. Furthermore, the experiment shows that the model has shown a certain level of flexibility when different parameters are used for Q-learning.


title: Simultaneously Learning Stochastic and Adversarial Bandits under the Position-Based Model

abstract: Online learning to rank (OLTR) interactively learns to choose lists of items from a large collection based on certain click models that describe users' click behaviors. Most recent works for this problem focus on the stochastic environment where the item attractiveness is assumed to be invariant during the learning process. In many real-world scenarios, however, the environment could be dynamic or even arbitrarily changing. This work studies the OLTR problem in both stochastic and adversarial environments under the position-based model (PBM). We propose a method based on the follow-the-regularized-leader (FTRL) framework with Tsallis entropy and develop a new self-bounding constraint especially designed for PBM. We prove the proposed algorithm simultaneously achieves $O(\log{T})$ regret in the stochastic environment and $O(m\sqrt{nT})$ regret in the adversarial environment, where $T$ is the number of rounds, $n$ is the number of items and $m$ is the number of positions. We also provide a lower bound of order $\Omega(m\sqrt{nT})$ for adversarial PBM, which matches our upper bound and improves over the state-of-the-art lower bound. The experiments show that our algorithm could simultaneously learn in both stochastic and adversarial environments and is competitive compared to existing methods that are designed for a single environment.


title: Amorphous p-Type Conducting Zn-x Ir Oxide (x > 0.13) Thin Films Deposited by Reactive Magnetron Cosputtering

abstract: Zinc-iridium oxide (Zn-Ir-O) thin films have been demonstrated as a p-type conducting material. However, the stability of p-type conductivity with respect to chemical composition or temperature is still unclear. In this study we discuss the local atomic structure and the electrical properties of Zn-Ir-O films in the large Ir concentration range. The films are deposited by reactive DC magnetron co-sputtering at two different substrate temperatures-without intentional heating and at 300 {\deg}C. Extended X-ray absorption fine structure (EXAFS) analysis reveals that strongly disordered ZnO4 tetrahedra are the main Zn complexes in Zn-Ir-O films with up to 67.4 at% Ir. As the Ir concentration increases, an effective increase of Ir oxidation state is observed. Reverse Monte Carlo analysis of EXAFS at Zn K-edge shows that the average Zn-O interatomic distance and disorder factor increase with the Ir concentration. We observed that the nano-crystalline w-ZnO structure is preserved in a wider Ir concentration range if the substrate is heated during deposition. At low Ir concentration, the transition from n- to p-type conductivity is observed regardless of the temperature of the substrates. Electrical resistivity decreases exponentially with the Ir concentration in the Zn-Ir-O films.


title: Invariance property for extended means

abstract: e study the properties of the mean-type mappings ${\bf M}\colon I^p \to I^p$ of the form $${\bf M}(x_1,\dots,x_p):=\big(M_1(x_{\alpha_{1,1}},\dots,x_{\alpha_{1,d_1}}),\dots,M_p(x_{\alpha_{p,1}},\dots,x_{\alpha_{p,d_p}})\big),$$ where $p$ and $d_i$-s are positive integers, each $M_i$ is a $d_i$-variable mean on an interval $I \subset \mathbb{R}$, and $\alpha_{i,j}$-s are elements from $\{1,\dots,p\}$. We show that, under some natural assumption on $M_i$-s, the problem of existing the unique $\bf M$-invariant mean can be reduced to the ergodicity of the directed graph with vertexes $\{1,\dots,p\}$ and edges $\{(\alpha_{i,j},i) \colon i,j \text{ admissible}\}$.


title: Controlled unidirectional reflectionlessness by coupling strength in a non-Hermitian waveguide quantum electrodynamics system

abstract: Unidirectional reflectionlessness is investigated in a waveguide quantum electrodynamics system that consists of a cavity and a $\Lambda$-type three-level quantum dot coupled to a one-dimensional plasmonic waveguide. Analytical expressions of transmission and reflection coefficients are derived and discussed for both resonant and off-resonant couplings. By appropriately modulating the coupling strength, phase shift and Rabi frequency, unidirectional reflectionlessness is observed at the exceptional points. And unidirectional coherent perfect absorption is exhibited at the vicinity of exceptional point. These results might find applications in designing quantum devices of photons, such as optical switches and single-photon transistors.


title: A brief history of Florentine physics from the 1920s to the end of the 1960s

abstract: The history of the Institute of Physics at the University of Florence is traced from the beginning of the 20th century, with the arrival of Antonio Garbasso as Director (1913), to the 1960s. Thanks to Garbasso's expertise, not only did the Institute gain new premises on Arcetri hill, where the Astronomical Observatory was already located, but it also formed a brilliant group of young physicists made up of Enrico Fermi, Franco Rasetti, Enrico Persico, Bruno Rossi, Gilberto Bernardini, Daria Bocciarelli, Lorenzo Emo Capodilista, Giuseppe Occhialini and Giulio Racah, who were engaged in the emerging fields of Quantum Mechanics and Cosmic Rays. This Arcetri School disintegrated in the late 1930s for the transfer of its protagonists to chairs in other universities, for the environment created by the fascist regime and, to some extent, for the racial laws. After the war, the legacy was taken up by some students of this school who formed research groups in the field of nuclear physics and elementary particle physics. As far as theoretical physics was concerned, after the Fermi and Persico periods these studies enjoyed a new expansion towards the end of the 1950s, with the arrival of Giacomo Morpurgo and above all, that of Raoul Gatto, who created the first real Italian school of Theoretical Physics at Arcetri.


title: Wasserstein multivariate auto-regressive models for modeling distributional time series and its application in graph learning

abstract: We propose a new auto-regressive model for the statistical analysis of multivariate distributional time series. The data of interest consist of a collection of multiple series of probability measures supported over a bounded interval of the real line, and that are indexed by distinct time instants. The probability measures are modelled as random objects in the Wasserstein space. We establish the auto-regressive model in the tangent space at the Lebesgue measure by first centering all the raw measures so that their Fr\'echet means turn to be the Lebesgue measure. Using the theory of iterated random function systems, results on the existence, uniqueness and stationarity of the solution of such a model are provided. We also propose a consistent estimator for the model coefficient. In addition to the analysis of simulated data, the proposed model is illustrated with two real data sets made of observations from age distribution in different countries and bike sharing network in Paris. Finally, due to the positive and boundedness constraints that we impose on the model coefficients, the proposed estimator that is learned under these constraints, naturally has a sparse structure. The sparsity allows furthermore the application of the proposed model in learning a graph of temporal dependency from the multivariate distributional time series.


title: Gauge field marginal of an Abelian Higgs model

abstract: We study the gauge field marginal of an Abelian Higgs model with Villain action defined on a 2D lattice in finite volume. Our first main result, which holds for gauge theories on arbitrary finite graphs and does not assume that the structure group is Abelian, is a loop expansion of the Radon--Nikodym derivative of the law of the gauge field marginal with respect to that of the pure gauge theory. This expansion is similar to the one of Seiler but holds in greater generality and uses a different graph theoretic approach. Furthermore, we show ultraviolet stability for the gauge field marginal of the model in a fixed gauge. More specifically, we show that moments of the H{\"o}lder--Besov-type norms introduced in arXiv:1808.09196 are bounded uniformly in the lattice spacing. This latter result relies on a quantitative diamagnetic inequality that in turn follows from the loop expansion and elementary properties of Gaussian random variables.


title: Category-Level 6D Object Pose and Size Estimation using Self-Supervised Deep Prior Deformation Networks

abstract: It is difficult to precisely annotate object instances and their semantics in 3D space, and as such, synthetic data are extensively used for these tasks, e.g., category-level 6D object pose and size estimation. However, the easy annotations in synthetic domains bring the downside effect of synthetic-to-real (Sim2Real) domain gap. In this work, we aim to address this issue in the task setting of Sim2Real, unsupervised domain adaptation for category-level 6D object pose and size estimation. We propose a method that is built upon a novel Deep Prior Deformation Network, shortened as DPDN. DPDN learns to deform features of categorical shape priors to match those of object observations, and is thus able to establish deep correspondence in the feature space for direct regression of object poses and sizes. To reduce the Sim2Real domain gap, we formulate a novel self-supervised objective upon DPDN via consistency learning; more specifically, we apply two rigid transformations to each object observation in parallel, and feed them into DPDN respectively to yield dual sets of predictions; on top of the parallel learning, an inter-consistency term is employed to keep cross consistency between dual predictions for improving the sensitivity of DPDN to pose changes, while individual intra-consistency ones are used to enforce self-adaptation within each learning itself. We train DPDN on both training sets of the synthetic CAMERA25 and real-world REAL275 datasets; our results outperform the existing methods on REAL275 test set under both the unsupervised and supervised settings. Ablation studies also verify the efficacy of our designs. Our code is released publicly at https://github.com/JiehongLin/Self-DPDN.


title: Quasi-Linear Criticality Theory and Green's Functions on Graphs

abstract: We study energy functionals associated with quasi-linear Schr\"odinger operators on infinite graphs, and develop characterisations of (sub-)criticality via Green's functions, harmonic functions of minimal growth and capacities. We proof a quasi-linear version of the Agmon-Allegretto-Piepenbrink theorem, which says that the energy functional is non-negative if and only if there is a positive superharmonic function. Furthermore, we show that a Green's function exists if and only if the energy functional is subcritical. Comparison principles and maximum principles are the main tools in the proofs.


title: Affinity Classification Problem by Stochastic Cellular Automata

abstract: This work introduces a new problem, named as, affinity classification problem which is a generalization of the density classification problem. To solve this problem, we introduce temporally stochastic cellular automata where two rules are stochastically applied in each step on all cells of the automata. Our model is defined on 2-dimensional grid having affection capability. We show that this model can be used in several applications like modeling self-healing systems.


title: On the Effects of Image Quality Degradation on Minutiae- and Ridge-Based Automatic Fingerprint Recognition

abstract: The effect of image quality degradation on the verification performance of automatic fingerprint recognition is investigated. We study the performance of two fingerprint matchers based on minutiae and ridge information under varying fingerprint image quality. The ridge-based system is found to be more robust to image quality degradation than the minutiae-based system for a number of different image quality criteria.


title: Congruence-simple semirings without nilpotent elements

abstract: We provide a classification of congruence-simple semirings with a multiplicatively absorbing element and without non-trivial nilpotent elements.


title: A review of schemes for fingerprint image quality computation

abstract: Fingerprint image quality affects heavily the performance of fingerprint recognition systems. This paper reviews existing approaches for fingerprint image quality computation. We also implement, test and compare a selection of them using the MCYT database including 9000 fingerprint images. Experimental results show that most of the algorithms behave similarly.


title: Covariance matrices of length power functionals of random geometric graphs -- an asymptotic analysis

abstract: Asymptotic properties of a vector of length power functionals of random geometric graphs are investigated. More precisely, its asymptotic covariance matrix is studied as the intensity of the underlying homogeneous Poisson point process increases. This includes a systematic discussion of matrix properties like rank, definiteness, determinant, eigenspaces or decompositions of interest. For the formulation of the results a case distinction is necessary. Indeed, in the three possible regimes the respective covariance matrix is of quite different nature which leads to different statements. Finally, stochastic consequences for random geometric graphs are derived.


title: Adversarial Robustness Assessment of NeuroEvolution Approaches

abstract: NeuroEvolution automates the generation of Artificial Neural Networks through the application of techniques from Evolutionary Computation. The main goal of these approaches is to build models that maximize predictive performance, sometimes with an additional objective of minimizing computational complexity. Although the evolved models achieve competitive results performance-wise, their robustness to adversarial examples, which becomes a concern in security-critical scenarios, has received limited attention. In this paper, we evaluate the adversarial robustness of models found by two prominent NeuroEvolution approaches on the CIFAR-10 image classification task: DENSER and NSGA-Net. Since the models are publicly available, we consider white-box untargeted attacks, where the perturbations are bounded by either the L2 or the Linfinity-norm. Similarly to manually-designed networks, our results show that when the evolved models are attacked with iterative methods, their accuracy usually drops to, or close to, zero under both distance metrics. The DENSER model is an exception to this trend, showing some resistance under the L2 threat model, where its accuracy only drops from 93.70% to 18.10% even with iterative attacks. Additionally, we analyzed the impact of pre-processing applied to the data before the first layer of the network. Our observations suggest that some of these techniques can exacerbate the perturbations added to the original inputs, potentially harming robustness. Thus, this choice should not be neglected when automatically designing networks for applications where adversarial attacks are prone to occur.


title: Supercharging the APGAS Programming Model with Relocatable Distributed Collections

abstract: In this article we present our relocatable distributed collections library. Building on top of the AGPAS for Java library, we provide a number of useful intra-node parallel patterns as well as the features necessary to support the distributed nature of the computation through clearly identified methods. In particular, the transfer of distributed collections' entries between processes is supported via an integrated relocation system. This enables dynamic load-balancing capabilities, making it possible for programs to adapt to uneven or evolving cluster performance. The system we developed makes it possible to dynamically control the distribution and the data-flow of distributed programs through high-level abstractions. Programmers using our library can therefore write complex distributed programs combining computation and communication phases through a consistent API. We evaluate the performance of our library against two programs taken from well-known Java benchmark suites, demonstrating superior programmability, and obtaining better performance on one benchmark and reasonable overhead on the second. Finally, we demonstrate the ease and benefits of load-balancing and on a more complex application which uses the various features of our library extensively.


title: Another look on tense and related operators

abstract: Motivated by the classical work of Halmos on functional monadic Boolean algebras we derive three basic sup-semilattice constructions, among other things the so-called powersets and powerset operators. Such constructions are extremely useful and can be found in almost all branches of modern mathematics, including algebra, logic and topology. Our three constructions give rise to four covariant and two contravariant functors and constitute three adjoint situations we illustrate in simple examples.


title: Bitcoin: a new Proof-of-Work system with reduced variance

abstract: Proof-of-Work (PoW) is a popular consensus protocol used by Bitcoin since its inception. PoW has the well-known flaw of assigning all the reward to the single miner (or pool) that inserts the new block. This has the consequence of making the variance of the reward and thus the mining enterprise risk extremely high. To address this problem, Shi in 2016 proposed a theoretical algorithm that would substantially reduce the issue. We introduce a variant of Proof-of-Work that improves on Shi's idea and can be easily implemented in practice. In order to insert a block, the network must not find a single nonce, but must find a few of them. This small change allows for a fairer distribution of rewards and at the same time has the effect of regularizing the insertion time of blocks. This would facilitate the emergence of small pools or autonomous miners.


title: Simultaneous PIV and LIF measurements in stratified flows using pulsed lasers

abstract: We examine the problem of performing simultaneous and coplanar Particle Image Velocimetry (PIV) and Laser-Induced Fluorescence (LIF) measurements in a stratified fluid initially at rest. Our focus is on enabling detailed velocity and density measurements in long internal waves and gravity currents, through relatively small modifications of typical existing PIV systems comprising pulsed lasers, using dye concentration as a proxy for fluid density. Several issues have limited such measurements. These include: (1) variations in the laser intensity and beam structure between laser pulses; (2) PIV particles concentrating preferentially at their neutral buoyancy depth, thereby yielding nonuniform dye illumination; and (3) the need to maintain a constant index of refraction across large stratified fluid volumes. Here we focus on an experimental setup comprising a stratified layer overlaying a deep homogeneous region. We produce long internal waves using a lock-release setup, in order to investigate the structure of waves comprising recirculating fluid regions (known as ``trapped cores''), which are of current interest in oceanographic applications. We maintain a short optical path and use velocity information from PIV data to minimize index-of-refraction issues. We exploit the fact that the system is initially at rest to devise a mapping that links apparent and actual dye concentration, thus sidestepping nonuniform illumination issues due to particle clustering. Finally, we devise a procedure to correct for laser power variations along each ray in the sheet.


title: TransFA: Transformer-based Representation for Face Attribute Evaluation

abstract: Face attribute evaluation plays an important role in video surveillance and face analysis. Although methods based on convolution neural networks have made great progress, they inevitably only deal with one local neighborhood with convolutions at a time. Besides, existing methods mostly regard face attribute evaluation as the individual multi-label classification task, ignoring the inherent relationship between semantic attributes and face identity information. In this paper, we propose a novel \textbf{trans}former-based representation for \textbf{f}ace \textbf{a}ttribute evaluation method (\textbf{TransFA}), which could effectively enhance the attribute discriminative representation learning in the context of attention mechanism. The multiple branches transformer is employed to explore the inter-correlation between different attributes in similar semantic regions for attribute feature learning. Specially, the hierarchical identity-constraint attribute loss is designed to train the end-to-end architecture, which could further integrate face identity discriminative information to boost performance. Experimental results on multiple face attribute benchmarks demonstrate that the proposed TransFA achieves superior performances compared with state-of-the-art methods.


title: Simulation of two-phase flows at large density ratios and high Reynolds numbers using a discrete unified gas kinetic scheme

abstract: In order to treat immiscible two-phase flows at large density ratios and high Reynolds numbers, a three-dimensional code based on the discrete unified gas kinetic scheme (DUGKS) is developed, incorporating two major improvements. First, the particle distribution functions at cell interfaces are reconstructed using a weighted essentially non-oscillatory scheme. Second, the conservative lower-order Allen-Cahn equation is chosen, instead of the higher-order Cahn-Hilliard equation, to evolve the free-energy based phase field governing the dynamics of two-phase interfaces. Five benchmark problems are simulated to demonstrate the capability of the approach in treating two phase flows at large density ratios and high Reynolds numbers, including three two dimensional problems (a stationary droplet, Rayleigh-Taylor instability, and a droplet splashing on a thin liquid film) and two three-dimensional problems (binary droplets collision and Rayleigh-Taylor instability). All results agree well with the previous numerical and the experimental results. In these simulations, the density ratio and Reynolds number can reach a large value of O(1000). Our improved approach sets the stage for the DUGKS scheme to handle realistic two-phase flow problems.


title: Interaction frames in solid-state NMR: A case study for chemical-shift-selective irradiation schemes

abstract: Interaction frames play an important role in describing and understanding experimental schemes in magnetic resonance. They are often used to eliminate dominating parts of the spin Hamiltonian, e.g., the Zeeman Hamiltonian in the usual (Zeeman) rotating frame, or the radio-frequency-field (rf) Hamiltonian to describe the efficiency of decoupling or recoupling sequences. Going into an interaction frame can also make parts of a time-dependent Hamiltonian time independent like the rf-field Hamiltonian in the usual (Zeeman) rotating frame. Eliminating the dominant term often allows a better understanding of the details of the spin dynamics. Going into an interaction frame can also reduce the energy-level splitting in the Hamiltonian leading to a faster convergence of perturbation expansions, average Hamiltonian, or Floquet theory. Often, there is no obvious choice of the interaction frame to use but some can be more convenient than others. Using the example of frequency-selective dipolar recoupling, we discuss the differences, advantages, and disadvantages of different choices of interaction frames. They always include the complete radio-frequency Hamiltonian but can also contain the chemical shifts of the spins and may or may not contain the effective fields over one cycle of the pulse sequence.


title: Limits of vector lattices

abstract: If $K$ is a compact Hausdorff space so that the Banach lattice $C(K)$ is isometrically lattice isomorphic to a dual of some Banach lattice, then $C(K)$ can be decomposed as the $\ell^\infty$-direct sum of the carriers of a maximal singular family of order continuous functionals on $C(K)$. In order to generalise this result to the vector lattice $C(X)$ of continuous, real valued functions on a realcompact space $X$, we consider direct and inverse limits in suitable categories of vector lattices. We develop a duality theory for such limits and apply this theory to show that $C(X)$ is lattice isomorphic to the order dual of some vector lattice $F$ if and only if $C(X)$ can be decomposed as the inverse limit of the carriers of all order continuous functionals on $C(X)$. In fact, we obtain a more general result: A Dedekind complete vector lattice $E$ is perfect if and only if it is lattice isomorphic to the inverse limit of the carriers of a suitable family of order continuous functionals on $E$. A number of other applications are presented, including a decomposition theorem for order dual spaces in terms of spaces of Radon measures.


title: Quantized charge-pumping in higher-order topological insulators

abstract: We study the quantized charge pumping of higher-order topological insulators (HOTIs) with edge-corner correspondences based on the combination of the rotation of in-plane magnetic field and the quantum spin Hall effect. A picture of a specific charge pumping process is uncovered with the help of the non-equilibrium Green's function method. Significantly, we demonstrate that the quantized charge pumping current is achieved without the participation of bulk states, and the charges move along the boundary of the sample. Furthermore, the effects of external parameters on the pumping current is also studied. We find that the magnitude and direction of the pumping current can be manipulated by adjusting the coupling strength between the leads and sample. Our work deepens the understanding of the charge pumping in HOTIs and extends the study of their transport properties.


title: Parallel APSM for Fast and Adaptive Digital SIC in Full-Duplex Transceivers with Nonlinearity

abstract: This paper presents a kernel-based adaptive filter that is applied for the digital domain self-interference cancellation (SIC) in a transceiver operating in full-duplex (FD) mode. In FD, the benefit of simultaneous transmission and receiving of signals comes at the price of strong self-interference (SI). In this work, we are primarily interested in suppressing the SI using an adaptive filter namely adaptive projected subgradient method (APSM) in a reproducing kernel Hilbert space (RKHS) of functions. Using the projection concept as a powerful tool, APSM is used to model and consequently remove the SI. A low-complexity and fast-tracking algorithm is provided taking advantage of parallel projections as well as the kernel trick in RKHS. The performance of the proposed method is evaluated on real measurement data. The method illustrates the good performance of the proposed adaptive filter, compared to the known popular benchmarks. They demonstrate that the kernel-based algorithm achieves a favorable level of digital SIC while enabling parallel computation-based implementation within a rich and nonlinear function space, thanks to the employed adaptive filtering method.


title: Adaptive and Robust Cross-Voltage-Level Power Flow Control of Active Distribution Networks

abstract: The large-scale integration of Distributed Energy Resources (DERs) into the electric power system offers new opportunities to ensure stability. For example, Active Distribution Networks (ADNs) can be used in (sub-)transmission systems in the emergency state, as far as high robustness and performance of the ADN control are guaranteed. This paper presents an adaptive control system for ADN's cross-voltage-level power flow control. For this purpose, the gain scheduling approach is used. Furthermore, this work introduces a method for control parameter tuning. In order to validate the control parameter tuning, the adaptive control system is analyzed regarding robustness and performance using an exemplary medium voltage grid. In addition, the influence of uncertainties is examined. Finally, the operation of the adaptive control system is demonstrated by performing time-domain simulations.


title: IMG-NILM: A Deep learning NILM approach using energy heatmaps

abstract: Energy disaggregation estimates appliance-by-appliance electricity consumption from a single meter that measures the whole home's electricity demand. Compared with intrusive load monitoring, NILM (Non-intrusive load monitoring) is low cost, easy to deploy, and flexible. In this paper, we propose a new method, coined IMG-NILM, that utilises convolutional neural networks (CNN) to disaggregate electricity data represented as images. Instead of the traditional approach of dealing with electricity data as time series, IMG-NILM transforms time series into heatmaps with higher electricity readings portrayed as 'hotter' colours. The image representation is then used in CNN to detect the signature of an appliance from aggregated data. IMG-NILM is robust and flexible with consistent performance on various types of appliances; including single and multiple states. It attains a test accuracy of up to 93% on the UK-Dale dataset within a single house, where a substantial number of appliances are present. In more challenging settings where electricity data is collected from different houses, IMG-NILM attains also a very good average accuracy of 85%.


title: Constraints on Moon's orbit 3.2 billion years ago from tidal bundle data

abstract: The angular momentum of the Earth-Moon system was initially dominated by Earth's rotation with a short solar day of around 5 hours duration. Since then, Earth gradually transferred angular momentum through tidal friction to the orbit of the Moon, resulting in an increasing orbital radius and a deceleration of Earth's rotation. Geologic observations of tidal deposits can be used to verify and constrain models of lunar orbital evolution. In this work we reexamine the oldest tidal record suitable for analysis from the Moodies Group, South Africa, with an age of 3.22 billion years. Time frequency analysis of the series of thicknesses of the sandstone-shale layers yields a periodicity of 15.0 layers, taking into account the possibility of missing laminae. Assuming a mixed tidal system, the duration of two neap-spring-neap cycles was 30.0 lunar days for dominant semidiurnal or 30.0 sidereal days for dominant diurnal tides. We derive the relationship between this observation and the past Earth-Moon distance and re-visit related published work. We find that the Earth-Moon distance 3.2 billion years ago was about 70% of today's value. The Archean solar day was around 13 hours long. The ratio of solar to lunar tide-raising torque controls the leakage of angular momentum from the Earth-Moon system, but deviation from the assumed ratio of 0.211 results in only moderate changes. A duration of a postulated 21-hour atmospheric resonance shorter than 200 million years would be consistent with our observation; it would significantly alter Earth-Moon distance.


title: Local and global ordering dynamics in multi-state voter models

abstract: We investigate the time evolution of the density of active links and of the entropy of the distribution of agents among opinions in multi-state voter models with all-to-all interaction and on uncorrelated networks. Individual realisations undergo a sequence of eliminations of opinions until consensus is reached. After each elimination the population remains in a meta-stable state. The density of active links and the entropy in these states varies from realisation to realisation. Making some simple assumptions we are able to analytically calculate the average density of active links and the average entropy in each of these states. We also show that, averaged over realisations, the density of active links decays exponentially, with a time scale set by the size and geometry of the graph, but independent of the initial number of opinion states. The decay of the average entropy is exponential only at long times when there are at most two opinions left in the population. Finally, we show how meta-stable states comprised of only a subset of opinions can be artificially engineered by introducing precisely one zealot in each of the prevailing opinions.


title: A Benchmark dataset for predictive maintenance

abstract: The paper describes the MetroPT data set, an outcome of a eXplainable Predictive Maintenance (XPM) project with an urban metro public transportation service in Porto, Portugal. The data was collected in 2022 that aimed to evaluate machine learning methods for online anomaly detection and failure prediction. By capturing several analogic sensor signals (pressure, temperature, current consumption), digital signals (control signals, discrete signals), and GPS information (latitude, longitude, and speed), we provide a dataset that can be easily used to evaluate online machine learning methods. This dataset contains some interesting characteristics and can be a good benchmark for predictive maintenance models.


title: A Direct Integral Pseudospectral Method for Solving a Class of Infinite-Horizon Optimal Control Problems Using Gegenbauer Polynomials and Certain Parametric Maps

abstract: We present a novel direct integral pseudospectral (PS) method (a direct IPS method) for solving a class of continuous-time infinite-horizon optimal control problems (IHOCs). The method transforms the IHOCs into finite-horizon optimal control problems (FHOCs) in their integral forms by means of certain parametric mappings, which are then approximated by finite-dimensional nonlinear programming problems (NLPs) through rational collocations based on Gegenbauer polynomials and Gegenbauer-Gauss-Radau (GGR) points. The paper also analyzes the interplay between the parametric maps, barycentric rational collocations based on Gegenbauer polynomials and GGR points, and the convergence properties of the collocated solutions for IHOCs. Some novel formulas for the construction of the rational interpolation weights and the GGR-based integration and differentiation matrices in barycentric-trigonometric forms are derived. A rigorous study on the error and convergence of the proposed method is presented. A stability analysis based on the Lebesgue constant for GGR-based rational interpolation is investigated. Two easy-to-implement pseudocodes of computational algorithms for computing the barycentric-trigonometric rational weights are described. Two illustrative test examples are presented to support the theoretical results. We show that the proposed collocation method leveraged with a fast and accurate NLP solver converges exponentially to near-optimal approximations for a coarse collocation mesh grid size. The paper also shows that typical direct spectral/PS- and IPS-methods based on classical Jacobi polynomials and certain parametric maps usually diverge as the number of collocation points grow large, if the computations are carried out using floating-point arithmetic and the discretizations use a single mesh grid whether they are of Gauss/Gauss-Radau (GR) type or equally-spaced.


title: Sliced-Wasserstein normalizing flows: beyond maximum likelihood training

abstract: Despite their advantages, normalizing flows generally suffer from several shortcomings including their tendency to generate unrealistic data (e.g., images) and their failing to detect out-of-distribution data. One reason for these deficiencies lies in the training strategy which traditionally exploits a maximum likelihood principle only. This paper proposes a new training paradigm based on a hybrid objective function combining the maximum likelihood principle (MLE) and a sliced-Wasserstein distance. Results obtained on synthetic toy examples and real image data sets show better generative abilities in terms of both likelihood and visual aspects of the generated samples. Reciprocally, the proposed approach leads to a lower likelihood of out-of-distribution data, demonstrating a greater data fidelity of the resulting flows.


title: End-to-end speech recognition modeling from de-identified data

abstract: De-identification of data used for automatic speech recognition modeling is a critical component in protecting privacy, especially in the medical domain. However, simply removing all personally identifiable information (PII) from end-to-end model training data leads to a significant performance degradation in particular for the recognition of names, dates, locations, and words from similar categories. We propose and evaluate a two-step method for partially recovering this loss. First, PII is identified, and each occurrence is replaced with a random word sequence of the same category. Then, corresponding audio is produced via text-to-speech or by splicing together matching audio fragments extracted from the corpus. These artificial audio/label pairs, together with speaker turns from the original data without PII, are used to train models. We evaluate the performance of this method on in-house data of medical conversations and observe a recovery of almost the entire performance degradation in the general word error rate while still maintaining a strong diarization performance. Our main focus is the improvement of recall and precision in the recognition of PII-related words. Depending on the PII category, between $50\% - 90\%$ of the performance degradation can be recovered using our proposed method.


title: On the limits of perceptual quality measures for enhanced underwater images

abstract: The appearance of objects in underwater images is degraded by the selective attenuation of light, which reduces contrast and causes a colour cast. This degradation depends on the water environment, and increases with depth and with the distance of the object from the camera. Despite an increasing volume of works in underwater image enhancement and restoration, the lack of a commonly accepted evaluation measure is hindering the progress as it is difficult to compare methods. In this paper, we review commonly used colour accuracy measures, such as colour reproduction error and CIEDE2000, and no-reference image quality measures, such as UIQM, UCIQE and CCF, which have not yet been systematically validated. We show that none of the no-reference quality measures satisfactorily rates the quality of enhanced underwater images and discuss their main shortcomings. Images and results are available at https://puiqe.eecs.qmul.ac.uk.


title: Uncertainty-Aware Learning Against Label Noise on Imbalanced Datasets

abstract: Learning against label noise is a vital topic to guarantee a reliable performance for deep neural networks. Recent research usually refers to dynamic noise modeling with model output probabilities and loss values, and then separates clean and noisy samples. These methods have gained notable success. However, unlike cherry-picked data, existing approaches often cannot perform well when facing imbalanced datasets, a common scenario in the real world. We thoroughly investigate this phenomenon and point out two major issues that hinder the performance, i.e., \emph{inter-class loss distribution discrepancy} and \emph{misleading predictions due to uncertainty}. The first issue is that existing methods often perform class-agnostic noise modeling. However, loss distributions show a significant discrepancy among classes under class imbalance, and class-agnostic noise modeling can easily get confused with noisy samples and samples in minority classes. The second issue refers to that models may output misleading predictions due to epistemic uncertainty and aleatoric uncertainty, thus existing methods that rely solely on the output probabilities may fail to distinguish confident samples. Inspired by our observations, we propose an Uncertainty-aware Label Correction framework~(ULC) to handle label noise on imbalanced datasets. First, we perform epistemic uncertainty-aware class-specific noise modeling to identify trustworthy clean samples and refine/discard highly confident true/corrupted labels. Then, we introduce aleatoric uncertainty in the subsequent learning process to prevent noise accumulation in the label noise modeling process. We conduct experiments on several synthetic and real-world datasets. The results demonstrate the effectiveness of the proposed method, especially on imbalanced datasets.


title: Enhanced ultrafast X-ray diffraction by transient resonances

abstract: Diffraction-before-destruction imaging with single ultrashort X-ray pulses has the potential to visualise non-equilibrium processes, such as chemical reactions, at the nanoscale with sub-femtosecond resolution in the native environment without the need of crystallization. Here, a nanospecimen partially diffracts a single X-ray flash before sample damage occurs. The structural information of the sample can be reconstructed from the coherent X-ray interference image. State-of-art spatial resolution of such snapshots from individual heavy element nanoparticles is limited to a few nanometers. Further improvement of spatial resolution requires higher image brightness which is ultimately limited by bleaching effects of the sample. We compared snapshots from individual 100 nm Xe nanoparticles as a function of the X-ray pulse duration and incoming X-ray intensity in the vicinity of the Xe M-shell resonance. Surprisingly, images recorded with few femtosecond and sub-femtosecond pulses are up to 10 times brighter than the static linear model predicts. Our Monte-Carlo simulation and statistical analysis of the entire data set confirms these findings and attributes the effect to transient resonances. Our simulation suggests that ultrafast form factor changes during the exposure can increase the brightness of X-ray images by several orders of magnitude. Our study guides the way towards imaging with unprecedented combination of spatial and temporal resolution at the nanoscale.


title: A developmental approach for training deep belief networks

abstract: Deep belief networks (DBNs) are stochastic neural networks that can extract rich internal representations of the environment from the sensory data. DBNs had a catalytic effect in triggering the deep learning revolution, demonstrating for the very first time the feasibility of unsupervised learning in networks with many layers of hidden neurons. These hierarchical architectures incorporate plausible biological and cognitive properties, making them particularly appealing as computational models of human perception and cognition. However, learning in DBNs is usually carried out in a greedy, layer-wise fashion, which does not allow to simulate the holistic maturation of cortical circuits and prevents from modeling cognitive development. Here we present iDBN, an iterative learning algorithm for DBNs that allows to jointly update the connection weights across all layers of the model. We evaluate the proposed iterative algorithm on two different sets of visual stimuli, measuring the generative capabilities of the learned model and its potential to support supervised downstream tasks. We also track network development in terms of graph theoretical properties and investigate the potential extension of iDBN to continual learning scenarios. DBNs trained using our iterative approach achieve a final performance comparable to that of the greedy counterparts, at the same time allowing to accurately analyze the gradual development of internal representations in the deep network and the progressive improvement in task performance. Our work paves the way to the use of iDBN for modeling neurocognitive development.


title: Single NV Centers as Sensors for Radio-Frequency Fields

abstract: We show that a single electron spin can serve as a sensor for radio-frequency (RF) magnetic fields. The longitudinal and transverse components of the RF field can be extracted from the phase acquired during free evolution of the spin coherence. In our experimental demonstration, a single electron spin of an NV center in diamond serves as an atomic-size of two components of an RF field.


title: A novel conservative chaos driven dynamic DNA coding for image encryption

abstract: In this paper, we propose a novel conservative chaotic standard map-driven dynamic DNA coding (encoding, addition, subtraction and decoding) for the image encryption. The proposed image encryption algorithm is a dynamic DNA coding algorithm i.e., for the encryption of each pixel different rules for encoding, addition/subtraction, decoding etc. are randomly selected based on the pseudorandom sequences generated with the help of the conservative chaotic standard map. We propose a novel way to generate pseudo-random sequences through the conservative chaotic standard map and also test them rigorously through the most stringent test suite of pseudo-randomness, the NIST test suite, before using them in the proposed image encryption algorithm. Our image encryption algorithm incorporates a unique feed-forward and feedback mechanisms to generate and modify the dynamic one-time pixels that are further used for the encryption of each pixel of the plain image, therefore, bringing in the desired sensitivity on plaintext as well as ciphertext. All the controlling pseudorandom sequences used in the algorithm are generated for a different value of the parameter (part of the secret key) with inter-dependency through the iterates of the chaotic map (in the generation process) and therefore possess extreme key sensitivity too. The performance and security analysis has been executed extensively through histogram analysis, correlation analysis, information entropy analysis, DNA sequence-based analysis, perceptual quality analysis, key sensitivity analysis, plaintext sensitivity analysis, etc., The results are promising and prove the robustness of the algorithm against various common cryptanalytic attacks.


title: VertXNet: Automatic Segmentation and Identification of Lumbar and Cervical Vertebrae from Spinal X-ray Images

abstract: Manual annotation of vertebrae on spinal X-ray imaging is costly and time-consuming due to bone shape complexity and image quality variations. In this study, we address this challenge by proposing an ensemble method called VertXNet, to automatically segment and label vertebrae in X-ray spinal images. VertXNet combines two state-of-the-art segmentation models, namely U-Net and Mask R-CNN to improve vertebrae segmentation. A main feature of VertXNet is to also infer vertebrae labels thanks to its Mask R-CNN component (trained to detect 'reference' vertebrae) on a given spinal X-ray image. VertXNet was evaluated on an in-house dataset of lateral cervical and lumbar X-ray imaging for ankylosing spondylitis (AS) patients. Our results show that VertXNet can accurately label spinal X-rays (mean Dice of 0.9). It can be used to circumvent the lack of annotated vertebrae without requiring human expert review. This step is crucial to investigate clinical associations by solving the lack of segmentation, a common bottleneck for most computational imaging projects.


title: HelixFold: An Efficient Implementation of AlphaFold2 using PaddlePaddle

abstract: Accurate protein structure prediction can significantly accelerate the development of life science. The accuracy of AlphaFold2, a frontier end-to-end structure prediction system, is already close to that of the experimental determination techniques. Due to the complex model architecture and large memory consumption, it requires lots of computational resources and time to implement the training and inference of AlphaFold2 from scratch. The cost of running the original AlphaFold2 is expensive for most individuals and institutions. Therefore, reducing this cost could accelerate the development of life science. We implement AlphaFold2 using PaddlePaddle, namely HelixFold, to improve training and inference speed and reduce memory consumption. The performance is improved by operator fusion, tensor fusion, and hybrid parallelism computation, while the memory is optimized through Recompute, BFloat16, and memory read/write in-place. Compared with the original AlphaFold2 (implemented with Jax) and OpenFold (implemented with PyTorch), HelixFold needs only 7.5 days to complete the full end-to-end training and only 5.3 days when using hybrid parallelism, while both AlphaFold2 and OpenFold take about 11 days. HelixFold saves 1x training time. We verified that HelixFold's accuracy could be on par with AlphaFold2 on the CASP14 and CAMEO datasets. HelixFold's code is available on GitHub for free download: https://github.com/PaddlePaddle/PaddleHelix/tree/dev/apps/protein_folding/helixfold, and we also provide stable web services on https://paddlehelix.baidu.com/app/drug/protein/forecast.


title: An extended version of the Ordered Median Tree Location Problem including appendices and detailed computational results

abstract: In this paper, we propose the Ordered Median Tree Location Problem (OMT). The OMT is a single-allocation facility location problem where p facilities must be placed on a network connected by a non-directed tree. The objective is to minimize the sum of the ordered weighted averaged allocation costs plus the sum of the costs of connecting the facilities in the tree. We present different MILP formulations for the OMT based on properties of the minimum spanning tree problem and the ordered median optimization. Given that ordered median hub location problems are rather difficult to solve we have improved the OMT solution performance by introducing covering variables in a valid reformulation plus developing two pre-processing phases to reduce the size of this formulations. In addition, we propose a Benders decomposition algorithm to approach the OMT. We establish an empirical comparison between these new formulations and we also provide enhancements that together with a proper formulation allow to solve medium size instances on general random graphs.


title: Bounds and Constructions of Singleton-Optimal Locally Repairable Codes with Small Localities

abstract: Constructions of optimal locally repairable codes (LRCs) achieving Singleton-type bound have been exhaustively investigated in recent years. In this paper, we consider new bounds and constructions of Singleton-optimal LRCs with minmum distance $d=6$, locality $r=3$ and minimum distance $d=7$ and locality $r=2$, respectively. Firstly, we establish equivalent connections between the existence of these two families of LRCs and the existence of some subsets of lines in the projective space with certain properties. Then, we employ the line-point incidence matrix and Johnson bounds for constant weight codes to derive new improved bounds on the code length, which are tighter than known results. Finally, by using some techniques of finite field and finite geometry, we give some new constructions of Singleton-optimal LRCs, which have larger length than previous ones.


title: Temporal Disentanglement of Representations for Improved Generalisation in Reinforcement Learning

abstract: Reinforcement Learning (RL) agents are often unable to generalise well to environment variations in the state space that were not observed during training. This issue is especially problematic for image-based RL, where a change in just one variable, such as the background colour, can change many pixels in the image. The changed pixels can lead to drastic changes in the agent's latent representation of the image, causing the learned policy to fail. To learn more robust representations, we introduce TEmporal Disentanglement (TED), a self-supervised auxiliary task that leads to disentangled image representations exploiting the sequential nature of RL observations. We find empirically that RL algorithms utilising TED as an auxiliary task adapt more quickly to changes in environment variables with continued training compared to state-of-the-art representation learning methods. Since TED enforces a disentangled structure of the representation, our experiments also show that policies trained with TED generalise better to unseen values of variables irrelevant to the task (e.g. background colour) as well as unseen values of variables that affect the optimal policy (e.g. goal positions).


title: End-to-End Capacities of Imperfect-Repeater Quantum Networks

abstract: The optimal performance of a communication network is limited not only by the quality of point-to-point channels, but by the efficacy of its constituent technologies. Understanding the limits of quantum networks requires an understanding of both the ultimate capacities of quantum channels and the efficiency of imperfect quantum repeaters. In this work, using a recently developed node-splitting technique which introduces internal losses and noise into repeater devices, we present achievable end-to-end rates for noisy-repeater quantum networks. These are obtained by extending the coherent and reverse coherent information (single channel capacity lower bounds) into end-to-end capacity lower bounds, both in the context of single-path and multi-path routing. These achievable rates are completely general, and apply to networks composed of arbitrary channels arranged in general topologies. Through this general formalism, we show how tight upper-bounds can also be derived by supplementing appropriate single-edge capacity bounds. As a result, we develop tools which provide tight performance bounds for quantum networks constituent of channels whose capacities are not exactly known, and reveal critical network properties which are necessary for high-rate quantum communications. This permits the investigation of pertinent classes of quantum networks with realistic technologies; qubit amplitude damping networks and bosonic thermal-loss networks.


title: End-to-End Capacities of Hybrid Quantum Networks

abstract: Future quantum networks will be hybrid structures, constructed from complex architectures of quantum repeaters interconnected by quantum channels that describe a variety of physical domains; predominantly optical-fiber and free-space links. In this hybrid setting, the interplay between the channel quality within network sub-structures must be carefully considered, and is pivotal for ensuring high-rate end-to-end quantum communication. In this work, we combine recent advances in the theory of point-to-point free-space channel capacities and end-to-end quantum network capacities in order to develop critical tools for the study of hybrid, free-space quantum networks. We present a general formalism for studying the capacities of arbitrary, hybrid quantum networks, before specifying to the regime of atmospheric and space-based quantum channels. We then introduce a class of modular quantum network architectures which offer a realistic and readily analysable framework for hybrid quantum networks. By considering a physically motivated, highly connected modular structure we are able to idealize network performance and derive channel conditions for which optimal performance is guaranteed. This allows us to reveal vital properties for which distance-independent rates are achieved, so that the end-to-end capacity has no dependence on the physical separation between users. Our analytical method elucidates key infrastructure demands for a future satellite-based global quantum internet, and for hybrid wired/wireless metropolitan quantum networks.


title: CorrI2P: Deep Image-to-Point Cloud Registration via Dense Correspondence

abstract: Motivated by the intuition that the critical step of localizing a 2D image in the corresponding 3D point cloud is establishing 2D-3D correspondence between them, we propose the first feature-based dense correspondence framework for addressing the image-to-point cloud registration problem, dubbed CorrI2P, which consists of three modules, i.e., feature embedding, symmetric overlapping region detection, and pose estimation through the established correspondence. Specifically, given a pair of a 2D image and a 3D point cloud, we first transform them into high-dimensional feature space and feed the resulting features into a symmetric overlapping region detector to determine the region where the image and point cloud overlap each other. Then we use the features of the overlapping regions to establish the 2D-3D correspondence before running EPnP within RANSAC to estimate the camera's pose. Experimental results on KITTI and NuScenes datasets show that our CorrI2P outperforms state-of-the-art image-to-point cloud registration methods significantly. We will make the code publicly available.


title: On the Weyl gravity extension of Higgs inflation

abstract: We consider the embedding of Higgs inflation with a non-minimal coupling into the Weyl gravity. In this model, the effective current-current interactions from the heavy Weyl gauge field cancel the non-canonical Higgs kinetic term in Einstein frame, so the unitarity problem of the original Higgs inflation becomes less severe. For a simple case where the couplings of the heavy Weyl gauge field appears from the non-minimal couplings to the Ricci curvature scalar in Weyl gravity, we find that the resultant model for Higgs inflation is the same as in the Palatini formulation for Higgs inflation. The crucial difference of our model from the Palatini formulation for Higgs inflation is that there is a light Weyl gauge field coupled to the Higgs fields. We also generalize the unitarization of Higgs inflation with general covariant kinetic terms for the dilaton and the Higgs fields, and realize a successful Higgs inflation, interpolating between the Palatini formulation for Higgs inflation and a Higgs-like inflation. We also discuss the Higgs mechanism for the light Weyl gauge field with an extra singlet scalar and show some interesting signatures for Higgs physics, such as the overall suppression of Higgs couplings and the direct couplings of the light Weyl gauge field to the Higgs boson.


title: Quick Ultra-VIolet Kilonova surveyor (QUVIK)

abstract: We present a near-UV space telescope on a ~70kg micro-satellite with a moderately fast repointing capability and a near real-time alert communication system that has been proposed in response to a call for an ambitious Czech national mission. The mission, which has recently been approved for Phase 0, A, and B1 study shall measure the brightness evolution of kilonovae, resulting from mergers of neutron stars in the near-UV band and thus it shall distinguish between different explosion scenarios. Between the observations of transient sources, the satellite shall perform observations of other targets of interest, a large part of which will be chosen in open competition.


title: Latest results on semileptonic and electroweak penguin decays at Belle II

abstract: The Belle~II Collaboration presents four new analyses: The measurement of $V_{ub}$ from $B \to \pi e \nu_e$ decays with a fit to the differential $q^2$ spectrum, the determination of $V_{cb}$ using a fit to the differential $w$ distribution from $B^0 \to D^{\ast -} \ell^+ \nu_\ell$ decays, and the measurement of $q^2$ moments in inclusive $B \to X_c \ell \nu_\ell$ decays. In all these analyses tag-side $B$ meson is reconstructed in a fully hadronic decay chain. The last result are branching fraction measurement of $B \to K^\ast \ell^+ \ell^-$ decays using an untagged approach.


title: Intersecting families with covering number three

abstract: We consider $k$-graphs on $n$ vertices, that is, $\mathcal{F}\subset \binom{[n]}{k}$. A $k$-graph $\mathcal{F}$ is called intersecting if $F\cap F'\neq \emptyset$ for all $F,F'\in \mathcal{F}$. In the present paper we prove that for $k\geq 7$, $n\geq 2k$, any intersecting $k$-graph $\mathcal{F}$ with covering number at least three, satisfies $|\mathcal{F}|\leq \binom{n-1}{k-1}-\binom{n-k}{k-1}-\binom{n-k-1}{k-1}+\binom{n-2k}{k-1}+\binom{n-k-2}{k-3}+3$, the best possible upper bound which was proved in \cite{F80} subject to exponential constraints $n>n_0(k)$.


title: Popular Matchings with One-Sided Bias

abstract: Let $G = (A \cup B,E)$ be a bipartite graph where the set $A$ consists of agents or main players and the set $B$ consists of jobs or secondary players. Every vertex has a strict ranking of its neighbors. A matching $M$ is popular if for any matching $N$, the number of vertices that prefer $M$ to $N$ is at least the number that prefer $N$ to $M$. Popular matchings always exist in $G$ since every stable matching is popular. A matching $M$ is $A$-popular if for any matching $N$, the number of agents (i.e., vertices in $A$) that prefer $M$ to $N$ is at least the number of agents that prefer $N$ to $M$. Unlike popular matchings, $A$-popular matchings need not exist in a given instance $G$ and there is a simple linear time algorithm to decide if $G$ admits an $A$-popular matching and compute one, if so. We consider the problem of deciding if $G$ admits a matching that is both popular and $A$-popular and finding one, if so. We call such matchings fully popular. A fully popular matching is useful when $A$ is the more important side -- so along with overall popularity, we would like to maintain ``popularity within the set $A$''. A fully popular matching is not necessarily a min-size/max-size popular matching and all known polynomial-time algorithms for popular matching problems compute either min-size or max-size popular matchings. Here we show a linear time algorithm for the fully popular matching problem, thus our result shows a new tractable subclass of popular matchings.


title: Optimal reinsurance via BSDEs in a partially observable model with jump clusters

abstract: We investigate the optimal reinsurance problem when the loss process exhibits jump clustering features and the insurance company has restricted information about the loss process. We maximize expected exponential utility of terminal wealth and show that an optimal solution exists. By exploiting both the Kushner-Stratonovich and Zakai approaches, we provide the equation governing the dynamics of the (infinite-dimensional) filter and characterize the solution of the stochastic optimization problem in terms of a BSDE, for which we prove existence and uniqueness of solution. After discussing the optimal strategy for a general reinsurance premium, we provide more explicit results in some relevant cases.


title: The Burnside ai-semiring variety defined by $x^n\approx x$

abstract: Let ${\bf Sr}(n, 1)$ denote the ai-semiring variety defined by the identity $x^n\approx x$, where $n>1$. We characterize all subdirectly irreducible members of a semisimple subvariety of ${\bf Sr}(n, 1)$. Based on this result, we prove that ${\bf Sr}(n, 1)$ is hereditarily finitely based (resp., hereditarily finitely generated) if and only if $n<4$ and that the lattice of subvarieties of ${\bf Sr}(n, 1)$ is countable if and only if $n<4$. Also, we show that the class of all locally finite members of ${\bf Sr}(n, 1)$ forms a variety and so we affirmatively answer the restricted Burnside problem for ${\bf Sr}(n, 1)$. In addition, we provide a simplified proof of the main result obtained by Gajdo\v{s} and Ku\v{r}il (Semigroup Forum 80: 92--104, 2010).


title: Action potential solitons and waves in axons

abstract: We show that the action potential signals generated inside axons are reaction-diffusion solitons or reaction-diffusion waves, refuting the Hodgkin and Huxley hypothesis that action potentials propagate along axons with an elastic wave mechanism. Reaction-diffusion action potential wavefronts and solitons annihilate at collision and boundaries of axons, in contrast with elastic waves, where amplitudes add up and reflect at boundaries. We numerically calculate the values of the speed of the action potential spikes and the dispersion relations. These findings suggest several experiments as validating and falsifying tests for the Hodgkin and Huxley model.