title: Analog Programing of Conducting-Polymer Dendritic Interconnections and Control of their Morphology

abstract: Although materials and processes are different from biological cells', brain mimicries led to tremendous achievements in massively parallel information processing via neuromorphic engineering. Inexistent in electronics, we describe how to emulate dendritic morphogenesis by electropolymerization in water, aiming in operando material modification for hardware learning. The systematic study of applied voltage-pulse parameters details on tuning independently morphological aspects of micrometric dendrites': as fractal number, branching degree, asymmetry, density or length. Time-lapse image processing of their growth shows the spatial features to be dynamically-dependent and expand distinctively before and after forming a conductive bridging of two electrochemically grown dendrites. Circuit-element analysis and electrochemical impedance spectroscopy confirms their morphological control to occur in temporal windows where the growth kinetics can be finely perturbed by the input signal frequency and duty cycle. By the emulation of one of the most preponderant mechanisms responsible for brain's long-term memory, its implementation in the vicinity of sensing arrays, neural probes or biochips shall greatly optimize computational costs and recognition performances required to classify high-dimensional patterns from complex aqueous environments.


title: NodeSim: Node Similarity based Network Embedding for Diverse Link Prediction

abstract: In real-world complex networks, understanding the dynamics of their evolution has been of great interest to the scientific community. Predicting future links is an essential task of social network analysis as the addition or removal of the links over time leads to the network evolution. In a network, links can be categorized as intra-community links if both end nodes of the link belong to the same community, otherwise inter-community links. The existing link-prediction methods have mainly focused on achieving high accuracy for intra-community link prediction. In this work, we propose a network embedding method, called NodeSim, which captures both similarities between the nodes and the community structure while learning the low-dimensional representation of the network. The embedding is learned using the proposed NodeSim random walk, which efficiently explores the diverse neighborhood while keeping the more similar nodes closer in the context of the node. We verify the efficacy of the proposed embedding method over state-of-the-art methods using diverse link prediction. We propose a machine learning model for link prediction that considers both the nodes' embedding and their community information to predict the link between two given nodes. Extensive experimental results on several real-world networks demonstrate the effectiveness of the proposed framework for both inter and intra-community link prediction.


title: A Novel Approach for Classification and Forecasting of Time Series in Particle Accelerators

abstract: The beam interruptions (interlocks) of particle accelerators, despite being necessary safety measures, lead to abrupt operational changes and a substantial loss of beam time. A novel time series classification approach is applied to decrease beam time loss in the High Intensity Proton Accelerator complex by forecasting interlock events. The forecasting is performed through binary classification of windows of multivariate time series. The time series are transformed into Recurrence Plots which are then classified by a Convolutional Neural Network, which not only captures the inner structure of the time series but also utilizes the advances of image classification techniques. Our best performing interlock-to-stable classifier reaches an Area under the ROC Curve value of $0.71 \pm 0.01$ compared to $0.65 \pm 0.01$ of a Random Forest model, and it can potentially reduce the beam time loss by $0.5 \pm 0.2$ seconds per interlock.


title: Generation of odd-frequency surface superconductivity with spontaneous spin current due to the zero-energy Andreev bound state

abstract: We propose that the odd-frequency $s$ wave ($s^{\rm{odd}}$ wave) superconducting gap function, which is usually unstable in the bulk, naturally emerges at the edge of $d$ wave superconductors. This prediction is based on the surface spin fluctuation pairing mechanism owing to the zero-energy surface Andreev bound state. The interference between bulk and edge gap functions triggers the $d+s^{\rm{odd}}$ state, and the generated spin current is a useful signal uncovering the ``hidden'' odd-frequency gap. In addition, the edge $s^{\rm{odd}}$ gap can be determined via the proximity effect on the diffusive normal metal. Furthermore, this study provides a decisive validation of the ``Hermite odd-frequency gap function,'' which has been an open fundamental challenge to this field.


title: Measurement of ion displacement via RF power variation for excess micromotion compensation

abstract: We demonstrate a method of micromotion minimization of a trapped ion in a linear Paul trap based on the precision measurement of the ion trapping position displacement due to a stray electric field in the radial plane by ion fluorescence imaging. The amount of displacement in the radial plane is proportional to the strength of a stray electric field. Therefore, we evaluated the micromotion compensation condition by measuring the ion displacements from the ion equilibrium position using two different radial trap frequencies with various combinations of the compensation voltage. The residual electric field uncertainty of this technique reached a few volts per meter. This compensation technique does not depend on the orientation of the incident cooling laser or the detuning and imaging direction. Therefore, this method is suitable for a planar ion trap, a stylus ion trap, which limits the propagation angle of lasers, or miniaturized ion trap systems for sensing and metrological applications.


title: Antikaon-induced $K_1(1270)^+$ meson production on nuclei near threshold

abstract: We study the inclusive strange axial-vector meson $K_1(1270)^+$ production in ${K^-}A$ reactions at near-threshold laboratory incident antikaon momenta within a nuclear spectral function approach, which describes incoherent direct $K_1(1270)^+$ meson production in $K^-$ meson--proton ${K^-}p \to {K_1(1270)^+}\Xi^-$ production processes and accounts for three different options for its in-medium mass shift (or for its effective scalar potential) at central density $\rho_0$. We calculate the absolute differential and total cross sections for the production of $K_1(1270)^+$ mesons on $^{12}$C and $^{184}$W target nuclei at laboratory angles of 0$^{\circ}$--45$^{\circ}$ by $K^-$ mesons with momenta of 2.5, 2.8 and 3.5 GeV/c, which are close to the threshold momentum ($\approx$ 2.95 GeV/c) for $K_1(1270)^+$ meson production off the free target proton at rest. The intrinsic properties of carbon and tungsten target nuclei have been described in terms of their spectral functions, which take into account the momenta of target protons and the energies of their separation from the considered nuclei. We show that the differential and total (absolute and relative) $K_1(1270)^+$ antikaon-induced production cross sections at initial momenta not far from threshold -- at momenta $\sim$ 2.8--3.5 GeV/c, at which there is yet no strong drop in their strength, reveal a distinct sensitivity to changes in the in-medium shift of the $K_1(1270)^+$ mass, studied in the paper, both in the $K_1(1270)^+$ meson low-momentum (0.1--1.0 GeV/c) and in its full-momentum ranges. This would permit evaluating this shift. Experimental data necessary for this aim can be obtained in a dedicated experiment at the J-PARC Hadron Experimental Facility.


title: Using a Cyber Digital Twin for Continuous Automotive Security Requirements Verification

abstract: A Digital Twin (DT) is a digital representation of a physical object used to simulate it before it is built or to predict failures after the object is deployed. In this article, we introduce our approach, which applies the concept of a Cyber Digital Twin (CDT) to automotive software for the purpose of security analysis. In our approach, automotive firmware is transformed into a CDT, which contains automatically extracted, security-relevant information from the firmware. Based on the CDT, we evaluate security requirements through automated analysis and requirements verification using policy enforcement checks and vulnerabilities detection. The evaluation of a CDT is conducted continuously integrating new checks derived from new security requirements and from newly disclosed vulnerabilities. We applied our approach to about 100 automotive firmwares. In average, about 600 publicly disclosed vulnerabilities and 80 unknown weaknesses were detected per firmware in the pre-production phase. Therefore, the use of a CDT enables efficient continuous verification of security requirements.


title: Analysis of Emission Dynamics of a Long Lifetime in Single InAs/GaAs Quantum Dots

abstract: A very long lifetime emission with non-single exponential decay characteristic has been reported for single InAs/GaAs quantum dot (QD) samples, in which there exists a long-lived metastable state in the wetting layer (WL) [ACS Photonics 2020,7,3228-3235]. In this article we have proposed a new three-level model to simulate the emission decay curve. In this model, assuming that the excitons in metastable state will diffuse and be trapped by QDs, and then emit fluorescence in QDs, a stretched-like exponential decay formula is derived as I(t)=At^({\beta}-1)e^(-(rt)^{\beta}), which can well describe the long lifetime decay curve with an analytical expression of average lifetime <{\tau}>=1/r{\Gamma}(1/{\beta}+1), where {\Gamma} is the Gamma function. Furthermore, based on the proposed three-level model, an expression of the second-order auto-correlation function g^2 (t) which can well fit the measured g^2 (t) curve is also obtained.


title: On the yielding of a defect-rich model crystal under shear: insights from molecular dynamics simulations

abstract: Point defects in real crystals at finite temperatures are inevitable. Their dynamics severely influence the mechanical properties of crystals under shear giving rise to nonlinear effects such as ductility. Therefore, it is crucial to explore the interplay of the equilibrium point-defect diffusion timescales and shear-induced timescales to understand the plastic deformation of crystals. Using extensive nonequilibrium molecular dynamics simulations, we present a study on the yielding behavior of cluster crystals (CC), an archetypal model for defect-rich crystals where the crystalline structure is characterized by multiple occupancies (cluster) of particles at a lattice site. In equilibrium, particles diffuse via site-to-site hopping keeping the crystalline structure intact. We consider the CCs at a fixed density and different temperatures where it remains in the FCC structure, and the diffusion timescales of particles vary depending on the temperature. We choose the range of shear rates, which covers timescales higher and much lower than the equilibrium diffusion timescales at high temperatures. For the considered range of shear rates and temperatures, both the macro and microscopic responses of CCs to the shear suggest that the yielding scenario remains independent of the diffusion of particles. It involves the plastic deformation of the underlying crystalline structure. The averaged local bond order parameters and local angle measurements demonstrate the structural changes and cooperative movement of the center of masses of the clusters close to the yield point. A comparison with the soft-sphere (SS) FCC crystal reveals the similarities in the yielding behavior of both systems. Nonetheless, diffusion of particles influences certain features, such as a less prominent increase in the local bond order parameters and local angles close to the yield point.


title: Analytic approaches to periodically driven closed quantum systems: Methods and Applications

abstract: We present a brief overview of some of the analytic perturbative techniques for the computation of the Floquet Hamiltonian for a periodically driven, or Floquet, quantum many-body system. The key technical points about each of the methods discussed are presented in a pedagogical manner. They are followed by a brief account of some chosen phenomena where these methods have provided useful insights. We provide an extensive discussion of the Floquet-Magnus expansion, the adiabatic-impulse approximation, and the Floquet perturbation theory. This is followed by a relatively short discourse on the rotating wave approximation, a Floquet-Magnus resummation technique and the Hamiltonian flow method. We also provide a discussion of some open problems which may possibly be addressed using these methods.


title: Correction to: Reductions to simple fusion systems

abstract: We fill in a gap in the proof of the main theorem in our earlier paper [Ol]. At the same time, we prove a slightly stronger version of the theorem needed for another paper.


title: Super exponential divergence of periodic points for C^1-generic partially hyperbolic homoclinic classes

abstract: A diffeomorphism f is called super exponential divergent if for every r>1, the lower limit of #Per_n(f)/r^n diverges to infinity as n tends to infinity, where Per_n(f) is the set of all periodic points of f with period n. This property is stronger than the usual super exponential growth of the number of periodic points. We show that for a three dimensional manifold M, there exists an open subset O of Diff^1(M) such that diffeomorphisms with super exponential divergent property form a dense subset of O in the C^1-topology. A relevant result of non super exponential divergence for diffeomorphisms in a locally generic subset of Diff^r(M) (r=1,2,...\infty) is also shown.


title: Unit Information Prior for Adaptive Information Borrowing from Multiple Historical Datasets

abstract: In clinical trials, there often exist multiple historical studies for the same or related treatment investigated in the current trial. Incorporating historical data in the analysis of the current study is of great importance, as it can help to gain more information, improve efficiency, and provide a more comprehensive evaluation of treatment. Enlightened by the unit information prior (UIP) concept in the reference Bayesian test, we propose a new informative prior called UIP from an information perspective that can adaptively borrow information from multiple historical datasets. We consider both binary and continuous data and also extend the new UIP methods to linear regression settings. Extensive simulation studies demonstrate that our method is comparable to other commonly used informative priors, while the interpretation of UIP is intuitive and its implementation is relatively easy. One distinctive feature of UIP is that its construction only requires summary statistics commonly reported in the literature rather than the patient-level data. By applying our UIP methods to phase III clinical trials for investigating the efficacy of memantine in Alzheimer's disease, we illustrate its ability of adaptively borrowing information from multiple historical datasets in the real application.


title: Uncertainty evaluation and correlation analysis of single-particle energies in phenomenological nuclear mean field: An investigation of propagating uncertainties for independent model parameters

abstract: Based on Monte Carlo approach and conventional error analysis theory, taking the heaviest doubly magic nucleus $^{208}$Pb as an example, we firstly evaluate the propagated uncertainties of universal potential parameters for three typical types of single-particle energies in the phenomenological Woods-Saxon mean field. Accepting the Woods-Saxon modeling with uncorrelated model parameters, we find that the standard deviations of single-particle energies obtained by the Monte Carlo simulation and the error propagation rules are in good agreement with each other. It seems that the energy uncertaintis of the single-particle levels regularly evoluate with some quantum numbers to a large extent for the given parameter uncertainties. Further, the correlation properties of the single-particle levels within the domain of input parameter uncertainties are analyzed using the method of statistical analysis, e.g., with the aid of Pearson correlation coefficients. It is found that the positive, negative or unrelated relationship may appear between two selected single-particle levels, which will be very helpful for evaluating the theoretical uncertainty related to the single-particle levels (e.g., $K$ isomer) in nuclear structural calculations.


title: Landmark Breaker: Obstructing DeepFake By Disturbing Landmark Extraction

abstract: The recent development of Deep Neural Networks (DNN) has significantly increased the realism of AI-synthesized faces, with the most notable examples being the DeepFakes. The DeepFake technology can synthesize a face of target subject from a face of another subject, while retains the same face attributes. With the rapidly increased social media portals (Facebook, Instagram, etc), these realistic fake faces rapidly spread though the Internet, causing a broad negative impact to the society. In this paper, we describe Landmark Breaker, the first dedicated method to disrupt facial landmark extraction, and apply it to the obstruction of the generation of DeepFake videos.Our motivation is that disrupting the facial landmark extraction can affect the alignment of input face so as to degrade the DeepFake quality. Our method is achieved using adversarial perturbations. Compared to the detection methods that only work after DeepFake generation, Landmark Breaker goes one step ahead to prevent DeepFake generation. The experiments are conducted on three state-of-the-art facial landmark extractors using the recent Celeb-DF dataset.


title: Observing dynamic oscillatory behavior of triple points among black hole thermodynamic phase transitions

abstract: Understanding the dynamic process of black hole thermodynamic phase transitions at a triple point is a huge challenge. In this letter, we carry out the first investigation of dynamical phase behaviour at a black hole triple point. By numerically solving the Smoluchowski equation near the triple point for a six-dimensional charged Gauss-Bonnet anti-de Sitter black hole, we find that initial small, intermediate, or large black holes can transit to the other two coexistent phases at the triple point, indicating that thermodynamic phase transitions can indeed occur dynamically. More significantly, we observe characteristic weak and strong oscillatory behaviour in this dynamic process, which can be understood from an investigation of the rate of first passage from one phase to another. Our results further an understanding of the dynamic process of black hole thermodynamic phase transitions.


title: Stable circular orbits in caged black hole spacetimes

abstract: We consider the motion of massive and massless particles in a five-dimensional spacetime with a compactified extra-dimensional space where a black hole is localized, i.e., a caged black hole spacetime. We show the existence of circular orbits and reveal their sequences and stability. In the asymptotic region, stable circular orbits always exist, which implies that four-dimensional gravity is more dominant because of the small extra-dimensional space. In the vicinity of a black hole, they do not exist because the effect of compactification is no longer effective. We also clarify the dependence of the sequences of circular orbits on the size of the extra-dimensional space by determining the appearance of the innermost stable circular orbit and the last circular orbit (i.e., the unstable photon circular orbit).


title: Few-shot Image Classification with Multi-Facet Prototypes

abstract: The aim of few-shot learning (FSL) is to learn how to recognize image categories from a small number of training examples. A central challenge is that the available training examples are normally insufficient to determine which visual features are most characteristic of the considered categories. To address this challenge, we organize these visual features into facets, which intuitively group features of the same kind (e.g. features that are relevant to shape, color, or texture). This is motivated from the assumption that (i) the importance of each facet differs from category to category and (ii) it is possible to predict facet importance from a pre-trained embedding of the category names. In particular, we propose an adaptive similarity measure, relying on predicted facet importance weights for a given set of categories. This measure can be used in combination with a wide array of existing metric-based methods. Experiments on miniImageNet and CUB show that our approach improves the state-of-the-art in metric-based FSL.


title: Liquefaction-induced Plasticity from Entropy-boosted Amorphous Ceramics

abstract: Ceramics are easy to break, and very few generic mechanisms are available for improving their mechanical properties, e.g., the 1975-discovered anti-fracture mechanism is strictly limited to zirconia and hafnia. Here we report a general mechanism for achieving high plasticity through liquefaction of ceramics. We further disclose the general material design strategies to achieve this difficult task through entropy-boosted amorphous ceramics (EBACs), enabling fracture-resistant properties that can withstand severe plastic deformation (e.g., over 95%, deformed to a thickness of a few nanometers) while maintaining high hardness and reduced modulus. The findings reported here open a new route to ductile ceramics and many applications.


title: On Configurations of Order 2

abstract: Let $c:\mathbb Z^2\to \{0, 1\}$ be a configuration with a non-trivial annihilator. We show that if $c$ is weakly periodic then the directions of periodicity in a minimal weakly periodic decomposition of $c$ can be detected from the annihilator ideal associated to $c$. We show that the order of a weakly periodic configuration is same as the number of components in any minimal decomposition into $1$-periodic elements. We then give an upper bound on the order in terms of the support of any of its annihilators. In the special case of tilings this gives an upper bound on the order of any tiling in terms of a geometric quantity associated to the tile. We prove that if $c:\mathbb Z^2\to \{0, 1\}$ is a configuration having a non-trivial annihilator and has order $2$ then it can be written as a sum of two $1$-periodic configurations valued in $\{0, 1\}$. Lastly we show that any tiling of $\mathbb Z^2$ by a tile of cardinality the square of a prime has a point of order at most $2$ in its orbit closure.


title: Phoneme-BERT: Joint Language Modelling of Phoneme Sequence and ASR Transcript

abstract: Recent years have witnessed significant improvement in ASR systems to recognize spoken utterances. However, it is still a challenging task for noisy and out-of-domain data, where substitution and deletion errors are prevalent in the transcribed text. These errors significantly degrade the performance of downstream tasks. In this work, we propose a BERT-style language model, referred to as PhonemeBERT, that learns a joint language model with phoneme sequence and ASR transcript to learn phonetic-aware representations that are robust to ASR errors. We show that PhonemeBERT can be used on downstream tasks using phoneme sequences as additional features, and also in low-resource setup where we only have ASR-transcripts for the downstream tasks with no phoneme information available. We evaluate our approach extensively by generating noisy data for three benchmark datasets - Stanford Sentiment Treebank, TREC and ATIS for sentiment, question and intent classification tasks respectively. The results of the proposed approach beats the state-of-the-art baselines comprehensively on each dataset.


title: AstroSat view of the NLS1 galaxy Mrk 335

abstract: We present the results from the multi-wavelength monitoring observations of the Narrow-Line Seyfert 1 galaxy Mrk 335 with AstroSat. We analysed both the X-ray (SXT & LAXPC) and UV (UVIT) data of the source at two epochs, separated by ~18 days. The source was in a low flux state during the observations, and the X-ray spectra were found to be harder than usual. The presence of soft X-ray excess was identified in the observations, and the broadband X-ray continuum was modelled with power-law and blackbody (modified by intrinsic absorption) and a distant neutral reflection component. We did not find any variability in the X-ray spectral shape or the flux over this period. However, the UV flux is found to be variable between the observations. The obtained results from the X-ray analysis point to a scenario where the primary emission is suppressed and the component due to distant reflection dominates the observed spectrum.


title: Neutrino scattering off a black hole surrounded by a magnetized accretion disk

abstract: We study the neutrino scattering off a rotating black hole with a realistic accretion disk permeated by an intrinsic magnetic field. Neutrino trajectories in curved spacetime as well as the particle spin evolution in dense matter of an accretion disk and in the magnetic field are accounted for exactly. We obtain the fluxes of outgoing ultrarelativistic neutrinos taking into account the change of the neutrino polarization owing to spin oscillations. Using the conservative value of the neutrino magnetic moment and realistic radial distributions of the matter density and the magnetic field strength, we get that these fluxes are reduced by several percent compared to the case when no spin oscillations are accounted for. In some situations, there are spikes in the neutrino fluxes because of the neutrino interaction with the rotating plasma of an accretion disk. Taking into account the uncertainties in the astrophysical neutrino fluxes, the predicted effects turn out to be quite small to be observed with the current neutrino telescopes.


title: Anti-Ramsey numbers for paths

abstract: We determine the anti-Ramsey numbers for paths. This confirms a conjecture posed by Erd\H{o}s, Simonovits and S\'{o}s in 1970s.


title: Tracking quantum state evolution by the Berry curvature with a two-level system

abstract: We investigate two kinds of topological structures (sphere and torus) spanned by the controlled parameters of a driven two-level system's Hamiltonian, and consider the connection between the structures and the system's dynamics. We discuss the Berry curvature obtained through the dynamical response method, show the certain physical and observable manifolds including the gapped region probed by integrating the Berry curvature, and demonstrate the system's state evolution can be tracked and manipulated by extracting the Berry curvature.


title: Overview of the Medium and High Frequency Telescopes of the LiteBIRD satellite mission

abstract: LiteBIRD is a JAXA-led Strategic Large-Class mission designed to search for the existence of the primordial gravitational waves produced during the inflationary phase of the Universe, through the measurements of their imprint onto the polarization of the cosmic microwave background (CMB). These measurements, requiring unprecedented sensitivity, will be performed over the full sky, at large angular scales, and over 15 frequency bands from 34GHz to 448GHz. The LiteBIRD instruments consist of three telescopes, namely the Low-, Medium- and High-Frequency Telescope (respectively LFT, MFT and HFT). We present in this paper an overview of the design of the Medium-Frequency Telescope (89-224GHz) and the High-Frequency Telescope (166-448GHz), the so-called MHFT, under European responsibility, which are two cryogenic refractive telescopes cooled down to 5K. They include a continuous rotating half-wave plate as the first optical element, two high-density polyethylene (HDPE) lenses and more than three thousand transition-edge sensor (TES) detectors cooled to 100mK. We provide an overview of the concept design and the remaining specific challenges that we have to face in order to achieve the scientific goals of LiteBIRD.


title: Flexible Modification of Gauss-Newton Method and Its Stochastic Extension

abstract: This work presents a novel version of recently developed Gauss-Newton method for solving systems of nonlinear equations, based on upper bound of solution residual and quadratic regularization ideas. We obtained for such method global convergence bounds and under natural non-degeneracy assumptions we present local quadratic convergence results. We developed stochastic optimization algorithms for presented Gauss-Newton method and justified sub-linear and linear convergence rates for these algorithms using weak growth condition (WGC) and Polyak-Lojasiewicz (PL) inequality. We show that Gauss-Newton method in stochastic setting can effectively find solution under WGC and PL condition matching convergence rate of the deterministic optimization method. The suggested method unifies most practically used Gauss-Newton method modifications and can easily interpolate between them providing flexible and convenient method easily implementable using standard techniques of convex optimization.


title: Segmenting Microcalcifications in Mammograms and its Applications

abstract: Microcalcifications are small deposits of calcium that appear in mammograms as bright white specks on the soft tissue background of the breast. Microcalcifications may be a unique indication for Ductal Carcinoma in Situ breast cancer, and therefore their accurate detection is crucial for diagnosis and screening. Manual detection of these tiny calcium residues in mammograms is both time-consuming and error-prone, even for expert radiologists, since these microcalcifications are small and can be easily missed. Existing computerized algorithms for detecting and segmenting microcalcifications tend to suffer from a high false-positive rate, hindering their widespread use. In this paper, we propose an accurate calcification segmentation method using deep learning. We specifically address the challenge of keeping the false positive rate low by suggesting a strategy for focusing the hard pixels in the training phase. Furthermore, our accurate segmentation enables extracting meaningful statistics on clusters of microcalcifications.


title: Efficient linear scaling mapping for permutation symmetric Fock spaces

abstract: Numerically solving a second quantised many-body model in the permutation symmetric Fock space can be challenging for two reasons: (i) an increased complication in the calculations of the matrix elements of various operators, and (ii) a poor scaling of the cost of these calculations with the Fock space size. We present a method that solves both these problems. We find a mapping that can be used to simplify the calculations of the matrix elements. The mapping is directly generated so its computational cost scales only linearly with the space size and is negligible even for large enough sizes that approach the thermodynamic limit. A fortran implementation of the method as a library - FockMap - is provided along with a test program.


title: About Face: A Survey of Facial Recognition Evaluation

abstract: We survey over 100 face datasets constructed between 1976 to 2019 of 145 million images of over 17 million subjects from a range of sources, demographics and conditions. Our historical survey reveals that these datasets are contextually informed, shaped by changes in political motivations, technological capability and current norms. We discuss how such influences mask specific practices (some of which may actually be harmful or otherwise problematic) and make a case for the explicit communication of such details in order to establish a more grounded understanding of the technology's function in the real world.


title: Interpretable fields in real closed valued fields and some expansions

abstract: Let $\mathcal M=\langle K;O\rangle$ be a real closed valued field and let $k$ be its residue field. We prove that every interpretable field in $\mathcal M$ is definably isomorphic to either $K$, $K(\sqrt{-1})$, $k$, or $k(\sqrt{-1})$. The same result holds when $K$ is a model of $T$, for $T$ an o-minimal power bounded expansion of a real closed field, and $O$ is a $T$-convex subring. The proof is direct and does not make use of known results about elimination of imaginaries in valued fields.


title: Bellman Eluder Dimension: New Rich Classes of RL Problems, and Sample-Efficient Algorithms

abstract: Finding the minimal structural assumptions that empower sample-efficient learning is one of the most important research directions in Reinforcement Learning (RL). This paper advances our understanding of this fundamental question by introducing a new complexity measure -- Bellman Eluder (BE) dimension. We show that the family of RL problems of low BE dimension is remarkably rich, which subsumes a vast majority of existing tractable RL problems including but not limited to tabular MDPs, linear MDPs, reactive POMDPs, low Bellman rank problems as well as low Eluder dimension problems. This paper further designs a new optimization-based algorithm -- GOLF, and reanalyzes a hypothesis elimination-based algorithm -- OLIVE (proposed in Jiang et al., 2017). We prove that both algorithms learn the near-optimal policies of low BE dimension problems in a number of samples that is polynomial in all relevant parameters, but independent of the size of state-action space. Our regret and sample complexity results match or improve the best existing results for several well-known subclasses of low BE dimension problems.


title: VRoC: Variational Autoencoder-aided Multi-task Rumor Classifier Based on Text

abstract: Social media became popular and percolated almost all aspects of our daily lives. While online posting proves very convenient for individual users, it also fosters fast-spreading of various rumors. The rapid and wide percolation of rumors can cause persistent adverse or detrimental impacts. Therefore, researchers invest great efforts on reducing the negative impacts of rumors. Towards this end, the rumor classification system aims to detect, track, and verify rumors in social media. Such systems typically include four components: (i) a rumor detector, (ii) a rumor tracker, (iii) a stance classifier, and (iv) a veracity classifier. In order to improve the state-of-the-art in rumor detection, tracking, and verification, we propose VRoC, a tweet-level variational autoencoder-based rumor classification system. VRoC consists of a co-train engine that trains variational autoencoders (VAEs) and rumor classification components. The co-train engine helps the VAEs to tune their latent representations to be classifier-friendly. We also show that VRoC is able to classify unseen rumors with high levels of accuracy. For the PHEME dataset, VRoC consistently outperforms several state-of-the-art techniques, on both observed and unobserved rumors, by up to 26.9%, in terms of macro-F1 scores.


title: A multiple-relaxation-time collision model by Hermite expansion

abstract: The Bhatnagar-Gross-Krook (BGK) single-relaxation-time collision model for the Boltzmann equation serves as the foundation of the lattice BGK (LBGK) method developed in recent years. The description of the collision as a uniform relaxation process of the distribution function towards its equilibrium is, in many scenarios, simplistic. Based on a previous series of papers, we present a collision model formulated as independent relaxations of the irreducible components of the Hermit coefficients in the reference frame moving with the fluid. These components, corresponding to the irreducible representation of the rotation group, are the minimum tensor components that can be separately relaxed without violating rotation symmetry. For the 2nd, 3rd and 4th moments respectively, two, two and three independent relaxation rates can exist, giving rise to the shear and bulk viscosity, thermal diffusivity and some high-order relaxation process not explicitly manifested in the Navier-Stokes-Fourier equations. Using the binomial transform, the Hermite coefficients are evaluated in the absolute frame to avoid the numerical dissipation introduced by interpolation. Extensive numerical verification is also provided.


title: Proceedings of the DATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures (SLOHA 2021)

abstract: This volume contains the papers accepted at the first DATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures (SLOHA 2021), held virtually on February 5, 2021. SLOHA 2021 was co-located with the Conference on Design, Automation and Test in Europe (DATE).


title: Metric-Type Identification for Multi-Level Header Numerical Tables in Scientific Papers

abstract: Numerical tables are widely used to present experimental results in scientific papers. For table understanding, a metric-type is essential to discriminate numbers in the tables. We introduce a new information extraction task, metric-type identification from multi-level header numerical tables, and provide a dataset extracted from scientific papers consisting of header tables, captions, and metric-types. We then propose two joint-learning neural classification and generation schemes featuring pointer-generator-based and BERT-based models. Our results show that the joint models can handle both in-header and out-of-header metric-type identification problems.


title: Adaptive Neuro Fuzzy Networks based on Quantum Subtractive Clustering

abstract: Data mining techniques can be used to discover useful patterns by exploring and analyzing data and it's feasible to synergitically combine machine learning tools to discover fuzzy classification rules.In this paper, an adaptive Neuro fuzzy network with TSK fuzzy type and an improved quantum subtractive clustering has been developed. Quantum clustering (QC) is an intuition from quantum mechanics which uses Schrodinger potential and time-consuming gradient descent method. The principle advantage and shortcoming of QC is analyzed and based on its shortcomings, an improved algorithm through a subtractive clustering method is proposed. Cluster centers represent a general model with essential characteristics of data which can be use as premise part of fuzzy rules.The experimental results revealed that proposed Anfis based on quantum subtractive clustering yielded good approximation and generalization capabilities and impressive decrease in the number of fuzzy rules and network output accuracy in comparison with traditional methods.


title: Multiple Sums and Partition Identities

abstract: Sums of the form $\sum_{q \leq N_1 < \cdots < N_m \leq n}{a_{(m);N_m}\cdots a_{(2);N_2}a_{(1);N_1}}$ date back to the sixteen century when Vi\`ete illustrated that the relation linking the roots and coefficients of a polynomial had this form. In more recent years, such sums have become increasingly used with a diversity of applications. In this paper, we develop formulae to help with manipulating such sums (which we will refer to as multiple sums). We develop variation formulae that express the variation of multiple sums in terms of lower order multiple sums. Additionally, we derive a set of partition identities that we use to prove a reduction theorem that expresses multiple sums as a combination of simple (non-recurrent) sums. We present a variety of applications including applications concerning polynomials and MZVs as well as a generalization of the binomial theorem. Finally, we establish the connection between multiple sums and a type of sums called recurrent sums. By exploiting this connection, we provide additional partition identities for odd and even partitions.


title: On zeros of the Riemann zeta function

abstract: This paper shows that, in the critical strip, the Riemann zeta function $\zeta(s)$ have the same set of zeros as $F(s):=\int_0^\infty t^{s-1}(e^t+1)^{-1}dt$, and then discusses the behavior of $F(s)$.


title: Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure

abstract: Cylindrical algebraic decomposition (CAD) plays an important role in the field of real algebraic geometry and many other areas. As is well-known, the choice of variable ordering while computing CAD has a great effect on the time and memory use of the computation as well as the number of sample points computed. In this paper, we indicate that typical CAD algorithms, if executed with respect to a special kind of variable orderings (called "the perfect elimination orderings"), naturally preserve chordality, which is an important property on sparsity of variables. Experimentation suggests that if the associated graph of the polynomial system in question is chordal (\emph{resp.}, is nearly chordal), then a perfect elimination ordering of the associated graph (\emph{resp.}, of a minimal chordal completion of the associated graph) can be a good variable ordering for the CAD computation. That is, by using the perfect elimination orderings, the CAD computation may produce a much smaller full set of projection polynomials than by using other naive variable orderings. More importantly, for the complexity analysis of the CAD computation via a perfect elimination ordering, a so-called $(m,d)$-property of the full set of projection polynomials obtained via such an ordering is given, through which the "size" of this set is characterized. This property indicates that when the corresponding perfect elimination tree has a lower height, the full set of projection polynomials also tends to have a smaller "size". This is well consistent with the experimental results, hence the perfect elimination orderings with lower elimination tree height are further recommended to be used in the CAD projection.


title: HAMMER: Multi-Level Coordination of Reinforcement Learning Agents via Learned Messaging

abstract: Cooperative multi-agent reinforcement learning (MARL) has achieved significant results, most notably by leveraging the representation-learning abilities of deep neural networks. However, large centralized approaches quickly become infeasible as the number of agents scale, and fully decentralized approaches can miss important opportunities for information sharing and coordination. Furthermore, not all agents are equal -- in some cases, individual agents may not even have the ability to send communication to other agents or explicitly model other agents. This paper considers the case where there is a single, powerful, \emph{central agent} that can observe the entire observation space, and there are multiple, low-powered \emph{local agents} that can only receive local observations and are not able to communicate with each other. The central agent's job is to learn what message needs to be sent to different local agents based on the global observations, not by centrally solving the entire problem and sending action commands, but by determining what additional information an individual agent should receive so that it can make a better decision. In this work we present our MARL algorithm \algo, describe where it would be most applicable, and implement it in the cooperative navigation and multi-agent walker domains. Empirical results show that 1) learned communication does indeed improve system performance, 2) results generalize to heterogeneous local agents, and 3) results generalize to different reward structures.


title: Systole Length in Hyperbolic $n$-Manifolds

abstract: We show that the length $R$ of a systole of a closed hyperbolic $n$-manifold $(n \geq 3)$ admitting a triangulation by $t$ $n$-simplices can be bounded below by a function of $n$ and $t$, namely \[ R \geq \frac{1}{2^{(nt)^{O(n^4t)} }} .\] We do this by finding a relation between the number of $n$-simplices and the diameter of the manifold and by giving explicit bounds for a well known relation between the length of the core curve of a Margulis tube and its radius. We prove the same result for finite volume manifolds, with a similar but slightly more involved proof.


title: Automated Query Reformulation for Efficient Search based on Query Logs From Stack Overflow

abstract: As a popular Q&A site for programming, Stack Overflow is a treasure for developers. However, the amount of questions and answers on Stack Overflow make it difficult for developers to efficiently locate the information they are looking for. There are two gaps leading to poor search results: the gap between the user's intention and the textual query, and the semantic gap between the query and the post content. Therefore, developers have to constantly reformulate their queries by correcting misspelled words, adding limitations to certain programming languages or platforms, etc. As query reformulation is tedious for developers, especially for novices, we propose an automated software-specific query reformulation approach based on deep learning. With query logs provided by Stack Overflow, we construct a large-scale query reformulation corpus, including the original queries and corresponding reformulated ones. Our approach trains a Transformer model that can automatically generate candidate reformulated queries when given the user's original query. The evaluation results show that our approach outperforms five state-of-the-art baselines, and achieves a 5.6% to 33.5% boost in terms of $\mathit{ExactMatch}$ and a 4.8% to 14.4% boost in terms of $\mathit{GLEU}$.


title: Automatic Expansion of Domain-Specific Affective Models for Web Intelligence Applications

abstract: Sentic computing relies on well-defined affective models of different complexity - polarity to distinguish positive and negative sentiment, for example, or more nuanced models to capture expressions of human emotions. When used to measure communication success, even the most granular affective model combined with sophisticated machine learning approaches may not fully capture an organisation's strategic positioning goals. Such goals often deviate from the assumptions of standardised affective models. While certain emotions such as Joy and Trust typically represent desirable brand associations, specific communication goals formulated by marketing professionals often go beyond such standard dimensions. For instance, the brand manager of a television show may consider fear or sadness to be desired emotions for its audience. This article introduces expansion techniques for affective models, combining common and commonsense knowledge available in knowledge graphs with language models and affective reasoning, improving coverage and consistency as well as supporting domain-specific interpretations of emotions. An extensive evaluation compares the performance of different expansion techniques: (i) a quantitative evaluation based on the revisited Hourglass of Emotions model to assess performance on complex models that cover multiple affective categories, using manually compiled gold standard data, and (ii) a qualitative evaluation of a domain-specific affective model for television programme brands. The results of these evaluations demonstrate that the introduced techniques support a variety of embeddings and pre-trained models. The paper concludes with a discussion on applying this approach to other scenarios where affective model resources are scarce.


title: Multi-Messenger studies with the Pierre Auger Observatory

abstract: Over the past decade the multi-messenger astrophysics has emerged as a distinct discipline, providing unique insights into the properties of high-energy phenomena in the Universe. The Pierre Auger Observatory, located in Malarg\"ue, Argentina, is the world's largest cosmic ray detector sensitive to photons, neutrinos, and hadrons at ultra-high energies. Using its data, stringent limits on photon and neutrino fluxes at EeV energies have been obtained. The collaboration uses the excellent angular resolution and the neutrino identification capabilities of the Observatory for follow-up studies of events detected in gravitational waves or other messengers, through cooperation with global multi-messenger networks. We present a science motivation together with an overview of the multi-messenger capabilities and results of the Pierre Auger Observatory.


title: Derivations of group rings for finite and FC groups

abstract: In this paper we establish decomposition theorems for derivations of group rings. We provide a topological technique for studying derivations of a group ring $A[G]$ in case $G$ has finite conjugacy classes. As a result, we describe all derivations of algebra $A[G]$ for the case when $G$ is a finite group, or $G$ is an FC-group. In addition, we describe an algorithm to explicitly calculate all derivations of a group ring $A[G]$ in case $G$ is finite. As examples, derivations of $\mathbb{Z}_4[S_3]$ and $\mathbb{F}_{2^m}D_{2n}$ are considered.


title: Proposal of a gauge-invariant treatment of l=0,1-mode perturbations on Schwarzschild Background Spacetime

abstract: A gauge-invariant treatment of the monopole- ($l=0$) and dipole ($l=1$) modes in linear perturbations of the Schwarzschild background spacetime is proposed. Through this gauge-invariant treatment, we derived the solutions to the linearized Einstein equation for these modes with a generic matter field. In the vacuum case, these solutions include the Kerr parameter perturbations in the $l=1$ odd modes and the additional mass parameter perturbations of the Schwarzschild mass in the $l=0$ even modes. The linearized version of Birkhoff's theorem is also confirmed in a gauge-invariant manner. In this sense, our proposal is reasonable.

categories: gr-qc astro-ph.CO hep-th math-ph math.MP


title: Semantic Grouping Network for Video Captioning

abstract: This paper considers a video caption generating network referred to as Semantic Grouping Network (SGN) that attempts (1) to group video frames with discriminating word phrases of partially decoded caption and then (2) to decode those semantically aligned groups in predicting the next word. As consecutive frames are not likely to provide unique information, prior methods have focused on discarding or merging repetitive information based only on the input video. The SGN learns an algorithm to capture the most discriminating word phrases of the partially decoded caption and a mapping that associates each phrase to the relevant video frames - establishing this mapping allows semantically related frames to be clustered, which reduces redundancy. In contrast to the prior methods, the continuous feedback from decoded words enables the SGN to dynamically update the video representation that adapts to the partially decoded caption. Furthermore, a contrastive attention loss is proposed to facilitate accurate alignment between a word phrase and video frames without manual annotations. The SGN achieves state-of-the-art performances by outperforming runner-up methods by a margin of 2.1%p and 2.4%p in a CIDEr-D score on MSVD and MSR-VTT datasets, respectively. Extensive experiments demonstrate the effectiveness and interpretability of the SGN.


title: ccc-Autoevolutes

abstract: ccc-Autoevolutes are closed constant curvature space curves which are their own evolutes. A modified Frenet equation produces constant curvature curves such that the curve on $[0, \pi]$ is congruent to the evolute on $[\pi, 2\pi]$ and vice versa. Closed curves are then congruent to their evolutes. If the ruled surface spanned by the principal normals between curve and evolute is a M\"obius band then the curve is its own evolute. We use symmetries to construct closed curves by solving 2-parameter problems numerically. The smallest autoevolute which we found is a trefoil knot parametrized by three periods $[0, 6\pi]$.Our smallest closed solution of the ODE is parametrized by two periods.


title: MESA Technical Note: Beam Breakup Instability Threshold Current

abstract: MESA (Mainz Energy recovery Superconducting Accelerator) is an energy recovery linac (ERL) which is under construction at Johannes Gutenberg University in Mainz. It will be operated in external beam (EB) mode with 150 $\mu$A electron beam at 155 MeV and energy recovery (ER) mode with 1 mA (first stage) and later 10 mA (second stage) electron beam at 105 MeV. An important factor which may limit performance of the machine is a beam breakup (BBU) instability which may occur due to excitation of higher-order modes (HOMs) in superconducting RF cavities. This effect occurs only when the injected beam current exceeds a threshold value. The aim of the present work is to develop a software for reliable determination of the threshold current in MESA, find main factors which may change its value and finally make a decision concerning capability of MESA operation at 10 mA and need for additional measures for suppressing BBU instability.


title: Counterfactual Planning in AGI Systems

abstract: We present counterfactual planning as a design approach for creating a range of safety mechanisms that can be applied in hypothetical future AI systems which have Artificial General Intelligence. The key step in counterfactual planning is to use an AGI machine learning system to construct a counterfactual world model, designed to be different from the real world the system is in. A counterfactual planning agent determines the action that best maximizes expected utility in this counterfactual planning world, and then performs the same action in the real world. We use counterfactual planning to construct an AGI agent emergency stop button, and a safety interlock that will automatically stop the agent before it undergoes an intelligence explosion. We also construct an agent with an input terminal that can be used by humans to iteratively improve the agent's reward function, where the incentive for the agent to manipulate this improvement process is suppressed. As an example of counterfactual planning in a non-agent AGI system, we construct a counterfactual oracle. As a design approach, counterfactual planning is built around the use of a graphical notation for defining mathematical counterfactuals. This two-diagram notation also provides a compact and readable language for reasoning about the complex types of self-referencing and indirect representation which are typically present inside machine learning agents.


title: Implicit Feedback-based Group Recommender System for Internet of Thing Applications

abstract: With the prevalence of Internet of Things (IoT)-based social media applications, the distance among people has been greatly shortened. As a result, recommender systems in IoT-based social media need to be developed oriented to groups of users rather than individual users. However, existing methods were highly dependent on explicit preference feedbacks, ignoring scenarios of implicit feedback. To remedy such gap, this paper proposes an implicit feedback-based group recommender system using probabilistic inference and non-cooperative game(GREPING) for IoT-based social media. Particularly, unknown process variables can be estimated from observable implicit feedbacks via Bayesian posterior probability inference. In addition, the globally optimal recommendation results can be calculated with the aid of non-cooperative game. Two groups of experiments are conducted to assess the GREPING from two aspects: efficiency and robustness. Experimental results show obvious promotion and considerable stability of the GREPING compared to baseline methods.


title: Why exercise builds muscles: Titin mechanosensing controls skeletal muscle growth under load

abstract: Muscles sense internally generated and externally applied forces, responding to these in a coordinated hierarchical manner at different time scales. The center of the basic unit of the muscle, the sarcomeric M-band, is perfectly placed to sense the different types of load to which the muscle is subjected. In particular, the kinase domain (TK) of titin located at the M-band is a known candidate for mechanical signaling. Here, we develop the quantitative mathematical model that describes the kinetics of TK-based mechanosensitive signaling, and predicts trophic changes in response to exercise and rehabilitation regimes. First, we build the kinetic model for TK conformational changes under force: opening, phosphorylation, signaling and autoinhibition. We find that TK opens as a metastable mechanosensitive switch, which naturally produces a much greater signal after high-load resistance exercise than an equally energetically costly endurance effort. Next, in order for the model to be stable, give coherent predictions, in particular the lag following the onset of an exercise regime, we have to account for the associated kinetics of phosphate (carried by ATP), and for the non-linear dependence of protein synthesis rates on muscle fibre size. We suggest that the latter effect may occur via the steric inhibition of ribosome diffusion through the sieve-like myofilament lattice. The full model yields a steady-state solution (homeostasis) for muscle cross-sectional area and tension, and a quantitatively plausible hypertrophic response to training as well as atrophy following an extended reduction in tension.


title: Machine learning pipeline for battery state of health estimation

abstract: Lithium-ion batteries are ubiquitous in modern day applications ranging from portable electronics to electric vehicles. Irrespective of the application, reliable real-time estimation of battery state of health (SOH) by on-board computers is crucial to the safe operation of the battery, ultimately safeguarding asset integrity. In this paper, we design and evaluate a machine learning pipeline for estimation of battery capacity fade - a metric of battery health - on 179 cells cycled under various conditions. The pipeline estimates battery SOH with an associated confidence interval by using two parametric and two non-parametric algorithms. Using segments of charge voltage and current curves, the pipeline engineers 30 features, performs automatic feature selection and calibrates the algorithms. When deployed on cells operated under the fast-charging protocol, the best model achieves a root mean squared percent error of 0.45\%. This work provides insights into the design of scalable data-driven models for battery SOH estimation, emphasising the value of confidence bounds around the prediction. The pipeline methodology combines experimental data with machine learning modelling and can be generalized to other critical components that require real-time estimation of SOH.


title: Fine-tuning BERT-based models for Plant Health Bulletin Classification

abstract: In the era of digitization, different actors in agriculture produce numerous data. Such data contains already latent historical knowledge in the domain. This knowledge enables us to precisely study natural hazards within global or local aspects, and then improve the risk prevention tasks and augment the yield, which helps to tackle the challenge of growing population and changing alimentary habits. In particular, French Plants Health Bulletins (BSV, for its name in French Bulletin de Sant{\'e} du V{\'e}g{\'e}tal) give information about the development stages of phytosanitary risks in agricultural production. However, they are written in natural language, thus, machines and human cannot exploit them as efficiently as it could be. Natural language processing (NLP) technologies aim to automatically process and analyze large amounts of natural language data. Since the 2010s, with the increases in computational power and parallelization, representation learning and deep learning methods became widespread in NLP. Recent advancements Bidirectional Encoder Representations from Transformers (BERT) inspire us to rethink of knowledge representation and natural language understanding in plant health management domain. The goal in this work is to propose a BERT-based approach to automatically classify the BSV to make their data easily indexable. We sampled 200 BSV to finetune the pretrained BERT language models and classify them as pest or/and disease and we show preliminary results.


title: F-RouND: Fog-based Rogue Nodes Detection in Vehicular Ad hoc Networks

abstract: Vehicular ad hoc networks (VANETs) facilitate vehicles to broadcast beacon messages to ensure road safety. The rogue nodes in VANETs broadcast malicious information leading to potential hazards, including the collision of vehicles. Previous researchers used either cryptography, trust values, or past vehicle data to detect rogue nodes, but they suffer from high processing delay, overhead, and false-positive rate (FPR). We propose fog-based rogue nodes detection (F-RouND), a fog computing scheme, which dynamically creates a fog utilizing the on-board units (OBUs) of all vehicles in the region for rogue nodes detection. The novelty of F-RouND lies in providing low processing delays and FPR at high vehicle densities. The performance of our F-RouND framework was carried out with simulations using OMNET++ and SUMO simulators. Results show that F-RouND ensures 45% lower processing delays, 12% lower overhead, and 36% lower FPR at high vehicle densities compared to existing rogue nodes detection schemes.


title: Double shadows of reflection-asymmetric wormholes supported by positive energy thin-shells

abstract: We consider reflection-asymmetric thin-shell wormholes within Palatini $f(\mathcal{R})$ gravity using a matching procedure of two patches of electrovacuum space-times at a hypersurface (the shell) via suitable junction conditions. The conditions for having (linearly) stable wormholes supported by positive-energy matter sources are determined. We also identify some subsets of parameters able to locate the shell radius above the event horizon (when present) but below the photon sphere (on both sides). We illustrate with an specific example that such two photon spheres allow an observer on one of the sides of the wormhole to see another (circular) shadow in addition to the one generated by its own photon sphere, which is due to the photons passing above the maximum of the effective potential on its side and bouncing back across the throat due to a higher effective potential on the other side. We finally comment on the capability of these double shadows to seek for traces of new gravitational physics beyond that described by General Relativity.


title: Dynamic Texture Recognition via Nuclear Distances on Kernelized Scattering Histogram Spaces

abstract: Distance-based dynamic texture recognition is an important research field in multimedia processing with applications ranging from retrieval to segmentation of video data. Based on the conjecture that the most distinctive characteristic of a dynamic texture is the appearance of its individual frames, this work proposes to describe dynamic textures as kernelized spaces of frame-wise feature vectors computed using the Scattering transform. By combining these spaces with a basis-invariant metric, we get a framework that produces competitive results for nearest neighbor classification and state-of-the-art results for nearest class center classification.


title: Wang-Landau simulations with non-flat distributions

abstract: We show how the well-known Wang-Landau method can be modified to produce non-flat distributions. Through the choice of a suitable profile this can lead to an increase in efficiency for some systems. Examples for such an enhancement are provided.


title: Rapid sorting of radio galaxy morphology using Haralick features

abstract: We demonstrate the use of Haralick features for the automated classification of radio galaxies. The set of thirteen Haralick features represent an extremely compact non-parametric representation of image texture, and are calculated directly from imagery using the Grey Level Co-occurrence Matrix (GLCM). The GLCM is an encoding of the relationship between the intensity of neighbouring pixels in an image. Using 10,000 sources detected in the first data release of the LOFAR Two-metre Sky Survey (LoTSS), we demonstrate that Haralick features are highly efficient, rotationally invariant descriptors of radio galaxy morphology. After calculating Haralick features for LoTSS sources, we employ the fast density-based hierarchical clustering algorithm HDBSCAN to group radio sources into a sequence of morphological classes, illustrating a simple methodology to classify and label new, unseen galaxies in large samples. By adopting a 'soft' clustering approach, we can assign each galaxy a probability of belonging to a given cluster, allowing for more flexibility in the selection of galaxies according to combinations of morphological characteristics and for easily identifying outliers: those objects with a low probability of belonging to any cluster in the Haralick space. Although our demonstration focuses on radio galaxies, Haralick features can be calculated for any image, making this approach also relevant to large optical imaging galaxy surveys.


title: Agent Based Virus Model using NetLogo: Infection Propagation, Precaution, Recovery, Multi-site Mobility and (Un)Lockdown

abstract: This paper presents a novel virus propagation model using NetLogo. The model allows agents to move across multiple sites using different routes. Routes can be configured, enabled for mobility and (un)locked down independently. Similarly, locations can also be (un)locked down independently. Agents can get infected, propagate their infections to others, can take precautions against infection and also subsequently recover from infection. This model contains certain features that are not present in existing models. The model may be used for educational and research purposes, and the code is made available as open source. This model may also provide a broader framework for more detailed simulations. The results presented are only to demonstrate the model functionalities and do not serve any other purpose.


title: LSTM-SAKT: LSTM-Encoded SAKT-like Transformer for Knowledge Tracing

abstract: This paper introduces the 2nd place solution for the Riiid! Answer Correctness Prediction in Kaggle, the world's largest data science competition website. This competition was held from October 16, 2020, to January 7, 2021, with 3395 teams and 4387 competitors. The main insights and contributions of this paper are as follows. (i) We pointed out existing Transformer-based models are suffering from a problem that the information which their query/key/value can contain is limited. To solve this problem, we proposed a method that uses LSTM to obtain query/key/value and verified its effectiveness. (ii) We pointed out 'inter-container' leakage problem, which happens in datasets where questions are sometimes served together. To solve this problem, we showed special indexing/masking techniques that are useful when using RNN-variants and Transformer. (iii) We found additional hand-crafted features are effective to overcome the limits of Transformer, which can never consider the samples older than the sequence length.


title: Simple Generator of Variable Test Tasks Compatible IMS QTI

abstract: The author details a method of generating variable test tasks compliant with the IMS QTI specification, which includes preparation of tasks in an electronic table with the further formation of XML files using VBA macros. The following types of questions are supported: Single Choice, Multiple Choice, and Numerical. Implementing the method requires only primary programming skills. The ease of implementation and flexibility of the proposed generation method provides ample opportunities for testing at all stages of the learning process. The method was tested during a physics course for engineering students at a technical university.


title: CoordiQ : Coordinated Q-learning for Electric Vehicle Charging Recommendation

abstract: Electric vehicles have been rapidly increasing in usage, but stations to charge them have not always kept up with demand, so efficient routing of vehicles to stations is critical to operating at maximum efficiency. Deciding which stations to recommend drivers to is a complex problem with a multitude of possible recommendations, volatile usage patterns and temporally extended consequences of recommendations. Reinforcement learning offers a powerful paradigm for solving sequential decision-making problems, but traditional methods may struggle with sample efficiency due to the high number of possible actions. By developing a model that allows complex representations of actions, we improve outcomes for users of our system by over 30% when compared to existing baselines in a simulation. If implemented widely, these better recommendations can globally save over 4 million person-hours of waiting and driving each year.


title: Jane Jacobs in the Sky: Predicting Urban Vitality with Open Satellite Data

abstract: The presence of people in an urban area throughout the day -- often called 'urban vitality' -- is one of the qualities world-class cities aspire to the most, yet it is one of the hardest to achieve. Back in the 1970s, Jane Jacobs theorized urban vitality and found that there are four conditions required for the promotion of life in cities: diversity of land use, small block sizes, the mix of economic activities, and concentration of people. To build proxies for those four conditions and ultimately test Jane Jacobs's theory at scale, researchers have had to collect both private and public data from a variety of sources, and that took decades. Here we propose the use of one single source of data, which happens to be publicly available: Sentinel-2 satellite imagery. In particular, since the first two conditions (diversity of land use and small block sizes) are visible to the naked eye from satellite imagery, we tested whether we could automatically extract them with a state-of-the-art deep-learning framework and whether, in the end, the extracted features could predict vitality. In six Italian cities for which we had call data records, we found that our framework is able to explain on average 55% of the variance in urban vitality extracted from those records.


title: Crawling political communities in Twitter and extracting political affiliations

abstract: In theory, a major advantage to the big data approach in studying online communities is that it should be possible to collect a representative random sample from a broadly defined population. However, in practice, data collection processes are not formalized, even for famous social media platforms such as Twitter and Facebook. As a result, there is ambiguity left on questions such as "how much data is enough?" and how representative are the samples of the broader population being studied in online social networks. In this paper, I propose a focused back-and-forth crawl approach and a validated seed choice method for collecting network-level data from Twitter. The proposed crawl method can extract community structures without needing a complete network graph for the Twitter network and validate its size using "reference score". It also takes care of the sampling size problem in Twitter by tracking the percentage of known nodes that have been included in the data. Thus, solving most major problems in Twitter data collection procedures and moving a step further to formalizing data collection methods for the platform. Once the communities are crawled, and the network graph is clean and complete; it is then possible to train Machine Learning classifiers using communities as features to predict political affiliations of users on a larger scale. As a case, I used the proposed method for separating French political communities on Twitter from the global Twitter community and knowing the political affiliations of users on a continuous scale.


title: On Scaling Contrastive Representations for Low-Resource Speech Recognition

abstract: Recent advances in self-supervised learning through contrastive training have shown that it is possible to learn a competitive speech recognition system with as little as 10 minutes of labeled data. However, these systems are computationally expensive since they require pre-training followed by fine-tuning in a large parameter space. We explore the performance of such systems without fine-tuning by training a state-of-the-art speech recognizer on the fixed representations from the computationally demanding wav2vec 2.0 framework. We find performance to decrease without fine-tuning and, in the extreme low-resource setting, wav2vec 2.0 is inferior to its predecessor. In addition, we find that wav2vec 2.0 representations live in a low dimensional subspace and that decorrelating the features of the representations can stabilize training of the automatic speech recognizer. Finally, we propose a bidirectional extension to the original wav2vec framework that consistently improves performance.


title: Rich Prosody Diversity Modelling with Phone-level Mixture Density Network

abstract: Generating natural speech with diverse and smooth prosody pattern is a challenging task. Although random sampling with phone-level prosody distribution has been investigated to generate different prosody patterns, the diversity of the generated speech is still very limited and far from what can be achieved by human. This is largely due to the use of uni-modal distribution, such as single Gaussian, in the prior works of phone-level prosody modelling. In this work, we propose a novel approach that models phone-level prosodies with GMM based mixture density network (GMM-MDN). Experiments on the LJSpeech dataset demonstrate that phone-level prosodies can precisely control the synthetic speech and GMM-MDN can generate more natural and smooth prosody pattern than a single Gaussian. Subjective evaluations further show that the proposed approach not only achieves better naturalness, but also significantly improves the prosody diversity in synthetic speech without the need of manual control.


title: A splitting scheme for the coupled Saint-Venant-Exner model

abstract: We present a splitting method for the one-dimensional Saint-Venant-Exner equations used for describing the bed evolution in shallow water systems. We adapt the flux vector splitting approach of Toro and Vazquez-Cend\`on and identify one subsystem of conservative equations (advection system) and one of non-conservative equations (pressure system), both having a very simple eigenstructure compared to the full system. The final numerical scheme is constructed using a Godunov-type path-conservative scheme for the pressure system and a simple conservative Godunov method for the advection system and solved following a coupled solution strategy. The resulting first-order accurate method is extended to second order of accuracy in space and time via the ADER approach together with an AENO reconstruction technique. Accuracy, robustness and well-balanced properties of the resulting scheme are assessed through a carefully selected suite of testcases. The scheme is exceedingly simple, accurate and robust as the sophisticated Godunov methods. A distinctive feature of the novel scheme is its flexibility in the choice of the sediment transport closure formula, which makes it particularly attractive for scientific and engineering applications.


title: Painless step size adaptation for SGD

abstract: Convergence and generalization are two crucial aspects of performance in neural networks. When analyzed separately, these properties may lead to contradictory results. Optimizing a convergence rate yields fast training, but does not guarantee the best generalization error. To avoid the conflict, recent studies suggest adopting a moderately large step size for optimizers, but the added value on the performance remains unclear. We propose the LIGHT function with the four configurations which regulate explicitly an improvement in convergence and generalization on testing. This contribution allows to: 1) improve both convergence and generalization of neural networks with no need to guarantee their stability; 2) build more reliable and explainable network architectures with no need for overparameterization. We refer to it as "painless" step size adaptation.


title: Hierarchical Variational Autoencoder for Visual Counterfactuals

abstract: Conditional Variational Auto Encoders (VAE) are gathering significant attention as an Explainable Artificial Intelligence (XAI) tool. The codes in the latent space provide a theoretically sound way to produce counterfactuals, i.e. alterations resulting from an intervention on a targeted semantic feature. To be applied on real images more complex models are needed, such as Hierarchical CVAE. This comes with a challenge as the naive conditioning is no longer effective. In this paper we show how relaxing the effect of the posterior leads to successful counterfactuals and we introduce VAEX an Hierarchical VAE designed for this approach that can visually audit a classifier in applications.


title: Sampling and Complexity of Partition Function

abstract: The number partition problem is a well-known problem, which is one of 21 Karp's NP-complete problems \cite{karp}. The partition function is a boolean function that is equivalent to the number partition problem with number range restricted. To fully understand the computational complexity of the number partition problem and the partition function is quite important and hard. People speculate that we need new tools and methods \cite{aaronson} for such problem. In our recent research on the universal learning machine \cite{paper5, paper8}, we developed some tools, namely, fitting extremum, proper sampling set, boolean function with parameters (used in trial-and-error fashion). We found that these tools could be applied to the partition function. In this article, we discuss the set up of the partition function, properties of the partition function, and the tools to be used. This approach leads us to prove that the lower bound of the computational complexity of partition function, as well as the lower bound of the computational complexity of the number partition problem, is exponential to the size of problem. This implies: P $\ne$ NP \cite{cook}.


title: Can You Accept LaTeX Files from Strangers? Ten Years Later

abstract: It is well-known that Microsoft Word/Excel compatible documents or PDF files can contain malicious content. LaTeX files are unfortunately no exception either. LaTeX users often include third-party codes through sources or packages (.sty or .cls files). But those packages can execute malicious commands on the users' system, in order to capture sensitive information or to perform denial of service attacks. Checkoway et al. [3] were the first to warn LaTeX users of these threats. Collaborative cloud-based LaTeX editors and services compiling LaTeX sources are particularly concerned. In this paper, we have created a LaTeX package that collects system data and hides them inside the PDF file produced by the target. Then, we have measured what can be recovered by hackers using malicious LaTeX file on online services, and which measures those services have enforced to thwart the threats. Services defend themselves using sandbox or commands restrictions. Commands restrictions are more difficult to setup and we found one service (PMLatex) which is too permissive.


title: Quantifying properties ($K$) and ($\mu^{s}$)

abstract: A Banach space $X$ has \textit{property $(K)$}, whenever every weak* null sequence in the dual space admits a convex block subsequence $(f_{n})_{n=1}^\infty$ so that $\langle f_{n},x_{n}\rangle\to 0$ as $n\to \infty$ for every weakly null sequence $(x_{n})_{n=1}^\infty$ in $X$; $X$ has \textit{property $(\mu^{s})$} if every weak$^{*}$ null sequence in $X^{*}$ admits a subsequence so that all of its subsequences are Ces\`{a}ro convergent to $0$ with respect to the Mackey topology. Both property $(\mu^{s})$ and reflexivity (or even the Grothendieck property) imply property $(K)$. In the present paper we propose natural ways for quantifying the aforementioned properties in the spirit of recent results concerning other familiar properties of Banach spaces.


title: Gauge-invariant Renormalization Scheme in QCD: Application to fermion bilinears and the energy-momentum tensor

abstract: We consider a gauge-invariant, mass-independent prescription for renormalizing composite operators, regularized on the lattice, in the spirit of the coordinate space (X-space) renormalization scheme. The prescription involves only Green's functions of products of gauge-invariant operators, situated at distinct space-time points, in a way as to avoid potential contact singularities. Such Green's functions can be computed nonperturbatively in numerical simulations, with no need to fix a gauge: thus, renormalization to this "intermediate" scheme can be carried out in a completely nonperturbative manner. Expressing renormalized operators in the $\overline{\rm MS}$ scheme requires the calculation of corresponding conversion factors. The latter can only be computed in perturbation theory, by the very nature of the $\overline{\rm MS}$; however, the computations are greatly simplified by virtue of the following attributes: i) In the absense of operator mixing, they involve only massless, two-point functions; such quantities are calculable to very high perturbative order. ii) They are gauge invariant; thus, they may be computed in a convenient gauge. iii) Where operator mixing may occur, only gauge-invariant operators will appear in the mixing pattern: Unlike other schemes, involving mixing with gauge-variant operators (which may contain ghost fields), the mixing matrices in the present scheme are greatly reduced. Still, computation of some three-point functions may not be altogether avoidable. We exemplify the procedure by computing, to lowest order, the conversion factors for fermion bilinear operators of the form $\bar\psi\Gamma\psi$ in QCD. We also employ the gauge-invariant scheme in the study of mixing between gluon and quark energy-momentum tensor operators: We compute to one loop the conversion factors relating the nonperturbative mixing matrix to the $\overline{\rm MS}$ scheme.


title: Groups with context-free Diophantine problem

abstract: We find algebraic conditions on a group equivalent to the position of its Diophantine problem in the Chomsky Hierarchy. In particular, we prove that a finitely generated group has a context-free Diophantine problem if and only if it is finite.


title: Time discretization of a nonlocal phase-field system with inertial term

abstract: Time discretizations of phase-field systems have been studied. For example, a time discretization and an error estimate for a parabolic-parabolic phase-field system have been studied by Colli--K. [Commun. Pure Appl. Anal. 18 (2019)]. Also, a time discretization and an error estimate for a simultaneous abstract evolution equation applying parabolic-hyperbolic phase field systems and the linearized equations of coupled sound and heat flow have been studied (see K. [ESAIM Math. Model. Numer. Anal.54 (2020), Electron. J. Differential Equations 2020, Paper No. 96]). On the other hand, although existence, continuous dependence estimates and behavior of solutions to nonlocal phase-field systems with inertial terms have been studied by Grasselli--Petzeltov\'a--Schimperna [Quart. Appl. Math. 65 (2007)], time discretizations of these systems seem to be not studied yet. In this paper we focus on employing a time discretization scheme for a nonlocal phase-field system with inertial term and establishing an error estimate for the difference between continuous and discrete solutions.


title: A Review of The Algebraic Approaches to Quantum Mechanics. Appraisals on Their Theoretical Relevance

abstract: I review the various algebraic foundations of quantum mechanics. They have been suggested since the birth of this theory till up to last year. They are the following ones: Heisenberg-Born-Jordan (1925), Weyl (1928), Dirac (1930), von Neumann (1936), Segal (1947), T.F. Jordan (1986), Morchio and Strocchi (2009) and Buchholz and Fregenhagen (2019). Three cases are stressed: 1) the misinterpretation of Dirac foundation; 2) von Neumann conversion from the analytic approach of Hilbert space to the algebraic approach of the rings of operators; 3) the recent foundation of quantum mechanics upon the algebra of perturbation Lagrangians. Moreover, historical considerations on the go-and-stop path performed by the algebraic approach in the history of QM are offered. The level of formalism has increased from the mere introduction of matrices till up to group theory and C*-algebras. But there was no progress in approaching closer the foundations of physics; therefore the problem of discovering an algebraic formulation of QM organized as a problem-based theory and making use of no more than constructive mathematics is open.

categories: physics.hist-ph math-ph math.MP quant-ph


title: Benchmarking MD systems simulations on the Graphics Processing Unit and Multi-Core Systems

abstract: Molecular dynamics facilitates the simulation of a complex system to be analyzed at molecular and atomic levels. Simulations can last a long period of time, even months. Due to this cause the graphics processing units (GPUs) and multi-core systems are used as solutions to overcome this impediment. The current paper describes a comparison done between these two kinds of systems. The first system used implies the graphics processing unit, respectively CUDA with the OpenMM molecular dynamics package and OpenCL that allows the kernels to run on the GPU. This simulation is done on a new thermostat which mixes the Berendsen thermostat with the Langevin dynamics. The second comprises the molecular dynamics simulation and energy minimization package GROMACS which is based on a parallelization through MPI (Message Passing Interface) on multi-core systems. The second simulation uses another new thermostat algorithm related respectively, dissipative particle dynamics - isotropic type (DPD-ISO). Both thermostats are innovative, based on a new theory developed by us. Results show that parallelization on multi-core systems has a performance up to 33 times greater than the one performed on the graphics processing unit. In both cases temperature of the system was maintained close to the one taken as reference. For the simulation using the CUDA GPU, the faster runtime was obtained when the number of processors was equal to four, the simulation speed being 3.67 times faster compared to the case of only one processor.


title: Self-Supervised Equivariant Scene Synthesis from Video

abstract: We propose a self-supervised framework to learn scene representations from video that are automatically delineated into background, characters, and their animations. Our method capitalizes on moving characters being equivariant with respect to their transformation across frames and the background being constant with respect to that same transformation. After training, we can manipulate image encodings in real time to create unseen combinations of the delineated components. As far as we know, we are the first method to perform unsupervised extraction and synthesis of interpretable background, character, and animation. We demonstrate results on three datasets: Moving MNIST with backgrounds, 2D video game sprites, and Fashion Modeling.


title: Achievable connectivities of Fatou components for a family of singular perturbations

abstract: In this paper we study the connectivity of Fatou components for maps in a large family of singular perturbations. We prove that, for some parameters inside the family, the dynamical planes for the corresponding maps present Fatou components of arbitrarily large connectivity and we determine precisely these connectivities. In particular, these results extend the ones obtained in [Can17, Can18].


title: Global types and event structure semantics for asynchronous multiparty sessions

abstract: We propose an interpretation of multiparty sessions with asynchronous communication as Flow Event Structures. We introduce a new notion of global type for asynchronous multiparty sessions, ensuring the expected properties for sessions, including progress. Our global types, which reflect asynchrony more directly than standard global types and are more permissive, are themselves interpreted as Prime Event Structures. The main result is that the Event Structure interpretation of a session is equivalent, when the session is typable, to the Event Structure interpretation of its global type.


title: Contour Dynamics for One-Dimensional Vlasov-Poisson Plasma with the Periodic Boundary

abstract: We revisit the contour dynamics (CD) simulation method which is applicable to large deformation of distribution function in the Vlasov-Poisson plasma with the periodic boundary, where contours of distribution function are traced without using spatial grids. Novelty of this study lies in application of CD to the one-dimensional Vlasov-Poisson plasma with the periodic boundary condition. A major difficulty in application of the periodic boundary is how to deal with contours when they cross the boundaries. It has been overcome by virtue of a periodic Green's function, which effectively introduces the periodic boundary condition without cutting nor reallocating the contours. The simulation results are confirmed by comparing with an analytical solution for the piece-wise constant distribution function in the linear regime and a linear analysis of the Landau damping. Also, particle trapping by Langmuir wave is successfully reproduced in the nonlinear regime.


title: Cyclic Orbit Flag Codes

abstract: In network coding, a flag code is a set of sequences of nested subspaces of $\mathbb{F}_q^n$, being $\mathbb{F}_q$ the finite field with $q$ elements. Flag codes defined as orbits of a cyclic subgroup of the general linear group acting on flags of $\mathbb{F}_q^n$ are called cyclic orbit flag codes. Inspired by the ideas in arXiv:1403.1218, we determine the cardinality of a cyclic orbit flag code and provide bounds for its distance with the help of the largest subfield over which all the subspaces of a flag are vector spaces (the best friend of the flag). Special attention is paid to two specific families of cyclic orbit flag codes attaining the extreme possible values of the distance: Galois cyclic orbit flag codes and optimum distance cyclic orbit flag codes. We study in detail both classes of codes and analyze the parameters of the respective subcodes that still have a cyclic orbital structure.


title: Search for gravitational waves from the coalescence of sub-solar mass and eccentric compact binaries

abstract: We present the first search for gravitational waves from sub-solar mass compact-binary mergers which allows for non-negligible orbital eccentricity. Sub-solar mass black holes are a signature of primordial origin black holes, which may be a component of dark matter. To produce binary coalescences, primordial black holes may form close binaries either in the early universe or more recently through dynamical interactions. A signature of dynamical formation would be the observation of non-circularized orbits. We search for black hole mergers where the primary mass is $0.1-7 M_{\odot}$ and the secondary mass is $0.1-1 M_{\odot}$. We allow for eccentricity up to $\sim0.3$ at a dominant-mode gravitational-wave frequency of 10 Hz for binaries with at least one component with mass $>0.5 M_{\odot}$. We find no convincing candidates in the public LIGO data. The two most promising candidates have a false alarm rate of 1 per 3 and 4 years, respectively, which combined is only a $\sim 2.4\sigma$ deviation from the expected Poisson rate. Given the marginal statistical significance, we place upper limits on the rate of sub-solar mass mergers under the assumption of a null observation and compare how these limits may inform the possible dark matter contribution.


title: Using a modified double deep image prior for crosstalk mitigation in multislice ptychography

abstract: Multislice ptychography is a high-resolution microscopy technique used to image multiple separate axial planes using a single illumination direction. However, multislice ptychography reconstructions are often degraded by crosstalk, where some features on one plane erroneously contribute to the reconstructed image of another plane. Here, we demonstrate the use of a modified "double deep image prior" (DDIP) architecture in mitigating crosstalk artifacts in multislice ptychography. Utilizing the tendency of generative neural networks to produce natural images, a modified DDIP method yielded good results on experimental data. For one of the datasets, we show that using DDIP could remove the need of using additional experimental data, such as from x-ray fluorescence, to suppress the crosstalk. Our method may help x-ray multislice ptychography work for more general experimental scenarios.


title: Representations of involutory subalgebras of affine Kac-Moody algebras

abstract: We consider the subalgebras of split real, non-twisted affine Kac-Moody Lie algebras that are fixed by the Chevalley involution. These infinite-dimensional Lie algebras are not of Kac-Moody type and admit finite-dimensional unfaithful representations. We exhibit a formulation of these algebras in terms of $\mathbb{N}$-graded Lie algebras that allows the construction of a large class of representations using the techniques of induced representations. We study how these representations relate to previously established spinor representations as they arise in the theory of supergravity.


title: Automatically Identifying Parameter Constraints in Complex Web APIs: A Case Study at Adyen

abstract: Web APIs may have constraints on parameters, such that not all parameters are either always required or always optional. Moreover, the presence or value of one parameter could cause another parameter to be required, or parameters could have restrictions on what kinds of values are valid. Having a clear overview of the constraints helps API consumers to integrate without the need for additional support and with fewer integration faults. We made use of existing documentation and code analysis approaches for identifying parameter constraints in complex web APIs. In this paper, we report our case study of several APIs at Adyen, a large-scale payment company that offers complex Web APIs to its customers. Our results show that the documentation- and code-based approach can identify 23% and 53% of the constraints respectively and, when combined, 68% of them. We also reflect on the current challenges that these approaches face. In particular, the absence of information that explicitly describes the constraints in the documentation (in the documentation analysis), and the engineering of a sound static code analyser that is sensitive to data-flow, maintains longer parameter references throughout the API's code, and that is able to symbolically execute the several libraries and frameworks used by the API (in the static analysis).


title: A Weak Consensus Algorithm and Its Application to High-Performance Blockchain

abstract: A large number of consensus algorithms have been proposed. However, the requirement of strict consistency limits their wide adoption, especially in high-performance required systems. In this paper, we propose a weak consensus algorithm that only maintains the consistency of relative positions between the messages. We apply this consensus algorithm to construct a high-performance blockchain system, called \textit{Sphinx}. We implement the system with 32k+ lines of code including all components like consensus/P2P/ledger/etc. The evaluations show that Sphinx can reach a peak throughput of 43k TPS (with 8 full nodes), which is significantly faster than current blockchain systems such as Ethereum given the same experimental environment. To the best of our knowledge, we present the first weak consensus algorithm with a fully implemented blockchain system.


title: Bour's theorem and helicoidal surfaces with constant mean curvature in the Bianchi-Cartan-Vranceanu spaces

abstract: In this paper we generalize a classical result of Bour concerning helicoidal surfaces in the three-dimensional Euclidean space R^3 to the case of helicoidal surfaces in the Bianchi-Cartan-Vranceanu (BCV) spaces, i.e. in the Riemannian 3-manifolds whose metrics have groups of isometries of dimension $4$ or $6$, except the hyperbolic one. In particular, we prove that in a BCV-space there exists a two-parameter family of helicoidal surfaces isometric to a given helicoidal surface; then, by making use of this two-parameter representation, we characterize helicoidal surfaces which have constant mean curvature, including the minimal ones.


title: Topological photonics on superconducting quantum circuits with parametric couplings

abstract: Topological phases of matter is an exotic phenomena in modern condense matter physics, which has attracted much attention due to the unique boundary states and transport properties. Recently, this topological concept in electronic materials has been exploited in many other fields of physics. Motivated by designing and controlling the behavior of electromagnetic waves, in optical, microwave, and sound frequencies, topological photonics emerges as a rapid growing research field. Due to the flexibility and diversity of superconducting quantum circuits system, it is an promising platform to realize exotic topological phases of matter and to probe and explore topologically-protected effects in new ways. Here, we review theoretical and experimental advances of topological photonics on superconducting quantum circuits via the experimentally demonstrated parametric tunable coupling techniques, including using of the superconducting transmission line resonator, superconducting qubits, and the coupled system of them. On superconducting circuits, the flexible interactions and intrinsic nonlinearity making topological photonics in this system not only a simple photonic analog of topological effects for novel devices, but also a realm of exotic but less-explored fundamental physics.