title: Quantum circuit architecture search for variational quantum algorithms

abstract: Variational quantum algorithms (VQAs) are expected to be a path to quantum advantages on noisy intermediate-scale quantum devices. However, both empirical and theoretical results exhibit that the deployed ansatz heavily affects the performance of VQAs such that an ansatz with a larger number of quantum gates enables a stronger expressivity, while the accumulated noise may render a poor trainability. To maximally improve the robustness and trainability of VQAs, here we devise a resource and runtime efficient scheme termed quantum architecture search (QAS). In particular, given a learning task, QAS automatically seeks a near-optimal ansatz (i.e., circuit architecture) to balance benefits and side-effects brought by adding more noisy quantum gates to achieve a good performance. We implement QAS on both the numerical simulator and real quantum hardware, via the IBM cloud, to accomplish data classification and quantum chemistry tasks. In the problems studied, numerical and experimental results show that QAS can not only alleviate the influence of quantum noise and barren plateaus, but also outperforms VQAs with pre-selected ansatze.


title: Model-specific Data Subsampling with Influence Functions

abstract: Model selection requires repeatedly evaluating models on a given dataset and measuring their relative performances. In modern applications of machine learning, the models being considered are increasingly more expensive to evaluate and the datasets of interest are increasing in size. As a result, the process of model selection is time-consuming and computationally inefficient. In this work, we develop a model-specific data subsampling strategy that improves over random sampling whenever training points have varying influence. Specifically, we leverage influence functions to guide our selection strategy, proving theoretically, and demonstrating empirically that our approach quickly selects high-quality models.


title: Mathieu-Zhao spaces over field of positive characteristic

abstract: Let $K$ be a field of characteristic $p$, $\delta$ a nonzero $\mathcal{E}$-derivation and $D=f(x_1)\partial_1$. We first prove that $\operatorname{Im}D$ is not a Mathieu-Zhao space of $K[x_1]$ if and only if $f(x_1)=x_1^rf_1(x_1^p)$ and $r\neq 1$. Then we prove that $\operatorname{Im}\delta$ is a Mathieu-Zhao space of $K[x_1]$ if and only if $\delta$ is not locally nilpotent. Finally, we classify some nilpotent derivations of $K[x_1]$ and give a sufficient and necessary condition for $D(I)$ to be a Mathieu-Zhao space of $K[x_1]$ for any ideal $I$ of $K[x_1]$.


title: Construction of counterexamples to the $2-$jet determination Chern-Moser Theorem in higher codimension

abstract: We first construct a counterexample of a generic quadratic submanifold of codimension $5$ in $\Bbb C^9$ which admits a real analytic infinitesimal CR automorphism with homogeneous polynomial coefficients of degree $4.$ This example also resolves a question in the Tanaka prolongation theory that was open for more than 50 years. Then we give sufficient conditions to generate more counterexamples to the $2-$jet determination Chern-Moser Theorem in higher codimension. In particular, we construct examples of generic quadratic submanifolds with jet determination of arbitrarily high order.


title: Inequalities for space-bounded Kolmogorov complexity

abstract: There is a parallelism between Shannon information theory and algorithmic information theory. In particular, the same linear inequalities are true for Shannon entropies of tuples of random variables and Kolmogorov complexities of tuples of strings (Hammer et al., 1997), as well as for sizes of subgroups and projections of sets (Chan, Yeung, Romashchenko, Shen, Vereshchagin, 1998--2002). This parallelism started with the Kolmogorov-Levin formula (1968) for the complexity of pairs of strings with logarithmic precision. Longpr\'e (1986) proved a version of this formula for space-bounded complexities. In this paper we prove an improved version of Longpr\'e's result with a tighter space bound, using Sipser's trick (1980). Then, using this space bound, we show that every linear inequality that is true for complexities or entropies, is also true for space-bounded Kolmogorov complexities with a polynomial space overhead.


title: Optical Signatures of Defect Centres in Transition Metal Dichalcogenide Monolayers

abstract: Even the best quality 2D materials have non-negligible concentrations of vacancies and impurities. It is critical to understand and quantify how defects change intrinsic properties, and use this knowledge to generate functionality. This challenge can be addressed by employing many-body perturbation theory to obtain the optical absorption spectra of defected transition metal dichalcogenides. Herein metal vacancies, which are largely unreported, show a larger set of polarized exitons than chalcogenide vacancies, introducing localized excitons in the sub-optical-gap region, whose wave functions and spectra make them good candidates as quantum emitters. Despite the strong interaction with substitutional defects, the spin texture and pristine exciton energies are preserved, enabling grafting and patterning in optical detectors, as the full optical-gap region remains available. A redistribution of excitonic weight between the A and B excitons is visible in both cases and may allow the quantification of the defect concentration. This work establishes excitonic signatures to characterize defects in 2D materials and highlights vacancies as qubit candidates for quantum computing.


title: Generators and Bases for Monadic Closures

abstract: It is well-known that every regular language admits a unique minimal deterministic acceptor. Establishing an analogous result for non-deterministic acceptors is significantly more difficult, but nonetheless of great practical importance. To tackle this issue, a number of sub-classes of non-deterministic automata have been identified, all admitting canonical minimal representatives. In previous work, we have shown that such representatives can be recovered categorically in two steps. First, one constructs the minimal bialgebra accepting a given regular language, by closing the minimal coalgebra with additional algebraic structure over a monad. Second, one identifies canonical generators for the algebraic part of the bialgebra, to derive an equivalent coalgebra with side effects in a monad. In this paper, we further develop the general theory underlying these two steps. On the one hand, we show that deriving a minimal bialgebra from a minimal coalgebra can be realized by applying a monad on an appropriate category of subobjects. On the other hand, we explore the abstract theory of generators and bases for algebras over a monad.


title: BMS algebras in 4 and 3 dimensions, their quantum deformations and duals

abstract: BMS symmetry is a symmetry of asymptotically flat spacetimes in the vicinity of the null boundary of spacetime and it is expected to play a fundamental role in physics. It is interesting therefore to investigate the structures and properties of quantum deformations of these symmetries, which are expected to shed some light on symmetries of quantum spacetime. In this paper we discuss the structure of the algebra of extended BMS symmetries in 3 and 4 spacetime dimensions, realizing that these algebras contain an infinite number of distinct Poincar\'e subalgebras, a fact that has previously been noted in the 3-dimensional case only. Then we use these subalgebras to construct an infinite number of different Hopf algebras being quantum deformations of the BMS algebras. We also discuss different types of twist-deformations and the dual Hopf algebras, which could be interpreted as noncommutative, extended quantum spacetimes.


title: Probing the force field sensitivity of entropy and enthalpy differences in organic polymorphs using classical potentials

abstract: We evaluate the effectiveness of different classical potentials to predict the thermodynamics of a number of organic solid form polymorphs relative to experimentally reported values using the quasi-harmonic approximation. Using the polarizable potential AMOEBA we are able to predict the correct sign of the enthalpy difference for 71+/-12 % of the polymorphs. Alternatively, all point charge potentials perform on par with random chance of correcting the correct sign (50%) for enthalpy. We find that the entropy is less sensitive to the accuracy of the potential with all force fields, excluding CGenFF, reporting the correct sign of the entropy for 64+/-13 - 75+/-11 % of the systems. Predicting the correct sign of the enthalpy and entropy differences can help indicate the low and high temperature stability of the polymorphs, unfortunately the error relative to experiment in these predicted values can be as large as 1 - 2.5 kcal/mol at the transition temperature.


title: High-quality Tailored-edge Cleaving Using Aberration-corrected Bessel-like Beams

abstract: We report on the usage of ultrashort laser pulses in form of aberration-corrected Bessel-like beams for laser cutting of glass with bevels. Our approach foresees to incline the material's entrance surface with respect to the processing optics. The detailed analysis of phase distortions caused by the beam transition through the tilted glass surface allows to pre-compensate occurring aberrations using digital holography. We verify theoretical considerations by means of pump-probe microscopy and present high-quality edges in non-strengthened silicate glass.


title: Reconstructibility of matroid polytopes

abstract: We specify what is meant for a polytope to be reconstructible from its graph or dual graph. And we introduce the problem of class reconstructibility, i.e., the face lattice of the polytope can be determined from the (dual) graph within a given class. We provide examples of cubical polytopes that are not reconstructible from their dual graphs. Furthermore, we show that matroid (base) polytopes are not reconstructible from their graphs and not class reconstructible from their dual graphs; our counterexamples include hypersimplices. Additionally, we prove that matroid polytopes are class reconstructible from their graphs, and we present a $O(n^3)$ algorithm that computes the vertices of a matroid polytope from its $n$-vertex graph. Moreover, our proof includes a characterisation of all matroids with isomorphic basis exchange graphs.


title: The LFED Conjecture for some $\mathcal{E}$-derivations

abstract: Let $K$ be an algebraically closed field of characteristic zero, $\delta$ a nonzero $\mathcal{E}$-derivation of $K[x]$. We first prove that $\operatorname{Im}\delta$ is a Mathieu-Zhao space of $K[x]$ in some cases. Then we prove that LFED Conjecture is true for all $\delta=I-\phi$, where $\phi$ is an affine polynomial homomorphism of $K[x_1,x_2]$. Finally, we prove that LFED Conjecture is true for some $\delta$ of $K[x_1,x_2,x_3]$.


title: Cyclic framed little disks algebras, Grothendieck-Verdier duality and handlebody group representations

abstract: We characterize cyclic algebras over the associative and the framed little 2-disks operad in any symmetric monoidal bicategory. The cyclicity is appropriately treated in a coherent way, i.e. up to coherent isomorphism. When the symmetric monoidal bicategory is specified to be a certain symmetric monoidal bicategory of linear categories subject to finiteness conditions, we prove that cyclic associative and cyclic framed little 2-disks algebras, respectively, are equivalent to pivotal Grothendieck-Verdier categories and ribbon Grothendieck-Verdier categories, a type of category that was introduced by Boyarchenko-Drinfeld based on Barr's notion of a $\star$-autonomous category. We use these results and Costello's modular envelope construction to obtain two applications to quantum topology: I) We extract a consistent system of handlebody group representations from any ribbon Grothendieck-Verdier category inside a certain symmetric monoidal bicategory of linear categories and show that this generalizes the handlebody part of Lyubashenko's mapping class group representations. II) We establish a Grothendieck-Verdier duality for the category extracted from a modular functor by evaluation on the circle (without any assumption on semisimplicity), thereby generalizing results of Tillmann and Bakalov-Kirillov.


title: Time-Delayed Magnetic Control and Narrowing of X-Ray frequency Spectra in Two-Target Nuclear Forward Scattering

abstract: Controlling and narrowing x-ray frequency spectra in magnetically perturbed two-target nuclear forward scattering is theoretically studied. We show that different hard-x-ray spectral redistributions can be achieved by single or multiple switching of magnetic field in nuclear targets. Our scheme can generate x-ray spectral lines with tenfold intensity enhancement and spectral width narrower than four times the nuclear natural linewidth. The present results pave the way towards a brighter and flexible x-ray source for precision spectroscopy of nuclear resonances using modern synchrotron radiation.


title: Diamond Nitrogen-Vacancy Center Magnetometry: Advances and Challenges

abstract: Diamond nitrogen-vacancy (NV) center magnetometry has recently received considerable interest from researchers in the fields of applied physics and sensors. The purpose of this review is to analyze the principle, sensitivity, technical development potential, and application prospect of the diamond NV center magnetometry. This review briefly introduces the physical characteristics of NV centers, summarizes basic principles of the NV center magnetometer, analyzes the theoretical sensitivity, and discusses the impact of technical noise on the NV center magnetometer. Furthermore, the most critical technologies that affect the performance of the NV center magnetometer are described: diamond sample preparation, microwave manipulation, fluorescence collection, and laser excitation. The theoretical and technical crucial problems, potential solutions and research technical route are discussed. In addition, this review discusses the influence of technical noise under the conventional technical conditions and the actual sensitivity which is determined by the theoretical sensitivity and the technical noise. It is envisaged that the sensitivity that can be achieved through an optimized design is in the order of 10 fT/Hz^1/2. Finally, the roadmap of applications of the diamond NV center magnetometer are presented.


title: Towards Accuracy and Scalability: Combining Isogeometric Analysis with Deflation to Obtain Scalable Convergence for the Helmholtz Equation

abstract: Finding fast yet accurate numerical solutions to the Helmholtz equation remains a challenging task. The pollution error (i.e. the discrepancy between the numerical and analytical wave number k) requires the mesh resolution to be kept fine enough to obtain accurate solutions. A recent study showed that the use of Isogeometric Analysis (IgA) for the spatial discretization significantly reduces the pollution error. However, solving the resulting linear systems by means of a direct solver remains computationally expensive when large wave numbers or multiple dimensions are considered. An alternative lies in the use of (preconditioned) Krylov subspace methods. Recently, the use of the exact Complex Shifted Laplacian Preconditioner (CSLP) with a small complex shift has shown to lead to wave number independent convergence while obtaining more accurate numerical solutions using IgA. In this paper, we propose the use of deflation techniques combined with an approximated inverse of the CSLP using a geometric multigrid method. Numerical results obtained for both one- and two-dimensional model problems, including constant and non-constant wave numbers, show scalable convergence with respect to the wave number and approximation order p of the spatial discretization. Furthermore, when kh is kept constant, the proposed approach leads to a significant reduction of the computational time compared to the use of the exact inverse of the CSLP with a small shift.


title: Eliminating the Barriers: Demystifying Wi-Fi Baseband Design and Introducing the PicoScenes Wi-Fi Sensing Platform

abstract: The research on Wi-Fi sensing has been thriving over the past decade but the process has not been smooth. Three barriers always hamper the research: unknown baseband design and its influence, inadequate hardware, and the lack of versatile and flexible measurement software. This paper tries to eliminate these barriers through the following work. First, we present an in-depth study of the baseband design of the Qualcomm Atheros AR9300 (QCA9300) NIC. We identify a missing item of the existing CSI model, namely, the CSI distortion, and identify the baseband filter as its origin. We also propose a distortion removal method. Second, we reintroduce both the QCA9300 and software-defined radio (SDR) as powerful hardware for research. For the QCA9300, we unlock the arbitrary tuning of both the carrier frequency and bandwidth. For SDR, we develop a high?performance software implementation of the 802.11a/g/n/ac/ax baseband, allowing users to fully control the baseband and access the complete physical-layer information. Third, we release the PicoScenes software, which supports concurrent CSI measure?ment from multiple QCA9300, Intel Wireless Link (IWL5300) and SDR hardware. PicoScenes features rich low-level controls, packet injection and software baseband implementation. It also allows users to develop their own measurement plugins. Finally, we report state-of-the-art results in the extensive evaluations of the PicoScenes system, such as the >2 GHz available spectrum on the QCA9300, concurrent CSI measurement, and up to 40 kHz and 1 kHz CSI measurement rates achieved by the QCA9300 and SDR. PicoScenes is available at https://ps.zpj.io.


title: On the deceleration of Fanaroff-Riley Class I jets: mass loading of magnetized jets by stellar winds

abstract: In this paper we present steady-state RMHD simulations that include a mass-load term to study the process of jet deceleration. The mass-load mimics the injection of a proton-electron plasma from stellar winds within the host galaxy into initially pair plasma jets, with mean stellar mass-losses ranging from $10^{-14}$ to $10^{-9}\,{M_\odot\,yr^{-1}}$. The spatial jet evolution covers $\sim 500\,{\rm pc}$ from jet injection in the grid at 10~pc from the jet nozzle. Our simulations use a relativistic gas equation of state and a pressure profile for the ambient medium. We compare these simulations with previous dynamical simulations of relativistic, non-magnetised jets. Our results show that toroidal magnetic fields can prevent fast jet expansion and the subsequent embedding of further stars via magnetic tension. In this sense, magnetic fields avoid a runaway deceleration process. Furthermore, when the mass-load is large enough to increase the jet density and produce fast, differential jet expansion, the conversion of magnetic energy flux into kinetic energy flux (i.e., magnetic acceleration), helps to delay the deceleration process with respect to non-magnetised jets. We conclude that the typical stellar population in elliptical galaxies cannot explain jet deceleration in classical FRI radio galaxies. However, we observe a significant change in the jet composition, thermodynamical parameters and energy dissipation along its evolution, even for moderate values of the mass-load.


title: The chiral ring of gauge theories in eight dimensions

abstract: We study the non-perturbative corrections generated by exotic instantons in U(N) gauge theories in eight and four dimensions. As it was shown previously, the eight-dimensional prepotential can be resummed using a plethystic formula showing only a dependence from the center of mass and from a U(1) gauge factor. On the contrary, chiral correlators in eight and four dimensions display a non-trivial dependence from the full gauge group. Furthermore the resolvent, the generating function for the eight and four dimensional correlators, can be written in a compact form both in the eight and four dimensional cases.


title: On the lightweight authenticated semi-quantum key distribution protocol without Trojan horse attack

abstract: Recently, Tsai et al. (Laser Phys. Lett. 17, 075202, 2020) proposed a lightweight authenticated semi-quantum key distribution protocol for a quantum participant to share a secret key with a classical participant. However, this study points out that an attacker can use a modification attack to make both participants share a wrong key without being detected. To avoid this problem, an improvement is proposed here.


title: On the growth of the thermally modified non-resonant streaming instability

abstract: The cosmic rays non-resonant streaming instability is believed to be the source of substantial magnetic field amplification. In this work we investigate the effects of the ambient plasma temperature on the instability and derive analytical expressions of its growth rate in the hot, demagnetized regime of interaction. To study its non-linear evolution we perform hybrid-PIC simulations for a wide range of temperatures. We find that in the cold limit about two-thirds of the cosmic rays drift kinetic energy is converted into magnetic energy. Increasing the temperature of the ambient plasma can substantially reduce the growth rate and the magnitude of the saturated magnetic field.


title: Supertagging-based Parsing with Linear Context-free Rewriting Systems

abstract: We present the first supertagging-based parser for LCFRS. It utilizes neural classifiers and tremendously outperforms previous LCFRS-based parsers in both accuracy and parsing speed. Moreover, our results keep up with the best (general) discontinuous parsers, particularly the scores for discontinuous constitutents are excellent. The heart of our approach is an efficient lexicalization procedure which induces a lexical LCFRS from any discontinuous treebank. It is an adaptation of previous work by M\"orbitz and Ruprecht (2020). We also describe a modification to usual chart-based LCFRS parsing that accounts for supertagging and introduce a procedure for the transformation of lexical LCFRS derivations into equivalent parse trees of the original treebank. Our approach is implemented and evaluated on the English Discontinuous Penn Treebank and the German corpora NeGra and Tiger.


title: Complete Multilingual Neural Machine Translation

abstract: Multilingual Neural Machine Translation (MNMT) models are commonly trained on a joint set of bilingual corpora which is acutely English-centric (i.e. English either as the source or target language). While direct data between two languages that are non-English is explicitly available at times, its use is not common. In this paper, we first take a step back and look at the commonly used bilingual corpora (WMT), and resurface the existence and importance of implicit structure that existed in it: multi-way alignment across examples (the same sentence in more than two languages). We set out to study the use of multi-way aligned examples to enrich the original English-centric parallel corpora. We reintroduce this direct parallel data from multi-way aligned corpora between all source and target languages. By doing so, the English-centric graph expands into a complete graph, every language pair being connected. We call MNMT with such connectivity pattern complete Multilingual Neural Machine Translation (cMNMT) and demonstrate its utility and efficacy with a series of experiments and analysis. In combination with a novel training data sampling strategy that is conditioned on the target language only, cMNMT yields competitive translation quality for all language pairs. We further study the size effect of multi-way aligned data, its transfer learning capabilities and how it eases adding a new language in MNMT. Finally, we stress test cMNMT at scale and demonstrate that we can train a cMNMT model with up to 111*112=12,432 language pairs that provides competitive translation quality for all language pairs.


title: Energy Conservation in the thin layer approximation: III. The spherical relativistic case for supernovae

abstract: The theory of the conservation of energy in the thin layer approximation has been extended to special relativity. Four models for the density of the circumstellar medium are analyzed, which are represented by constant, power law, exponential and Emden (n=5) profile for density. The astrophysical results are presented in a numerical way, except for a Taylor expansion of the four trajectories in the surrounding of the origin. The free parameters of the models are particularized for SN1993j, for which the radius versus time is known. Some evaluations on the time dilation are presented.


title: BYOL works even without batch statistics

abstract: Bootstrap Your Own Latent (BYOL) is a self-supervised learning approach for image representation. From an augmented view of an image, BYOL trains an online network to predict a target network representation of a different augmented view of the same image. Unlike contrastive methods, BYOL does not explicitly use a repulsion term built from negative pairs in its training objective. Yet, it avoids collapse to a trivial, constant representation. Thus, it has recently been hypothesized that batch normalization (BN) is critical to prevent collapse in BYOL. Indeed, BN flows gradients across batch elements, and could leak information about negative views in the batch, which could act as an implicit negative (contrastive) term. However, we experimentally show that replacing BN with a batch-independent normalization scheme (namely, a combination of group normalization and weight standardization) achieves performance comparable to vanilla BYOL ($73.9\%$ vs. $74.3\%$ top-1 accuracy under the linear evaluation protocol on ImageNet with ResNet-$50$). Our finding disproves the hypothesis that the use of batch statistics is a crucial ingredient for BYOL to learn useful representations.


title: Ulixes: Facial Recognition Privacy with Adversarial Machine Learning

abstract: Facial recognition tools are becoming exceptionally accurate in identifying people from images. However, this comes at the cost of privacy for users of online services with photo management (e.g. social media platforms). Particularly troubling is the ability to leverage unsupervised learning to recognize faces even when the user has not labeled their images. In this paper we propose Ulixes, a strategy to generate visually non-invasive facial noise masks that yield adversarial examples, preventing the formation of identifiable user clusters in the embedding space of facial encoders. This is applicable even when a user is unmasked and labeled images are available online. We demonstrate the effectiveness of Ulixes by showing that various classification and clustering methods cannot reliably label the adversarial examples we generate. We also study the effects of Ulixes in various black-box settings and compare it to the current state of the art in adversarial machine learning. Finally, we challenge the effectiveness of Ulixes against adversarially trained models and show that it is robust to countermeasures.


title: Hartree-Fock & Density Functional Theory

abstract: These are the lecture notes used in the course Understanding Quantum Chemistry for 1st year master chemistry at the Vrije Universiteit Amsterdam. The schedule is 2 weeks on HF and 2 weeks on DFT, which provides a quite rough ride for the the students. The lecture notes also include exercises. I have started to write them in 2013 and each year I try to find the time to improve them.

categories: physics.ed-ph physics.chem-ph physics.comp-ph quant-ph


title: Hi3+3: A Model-Assisted Dose-Finding Design Borrowing Historical Data

abstract: Background -- In phase I clinical trials, historical data may be available through multi-regional programs, reformulation of the same drug, or previous trials for a drug under the same class. Statistical designs that borrow information from historical data can reduce cost, speed up drug development, and maintain safety. Purpose -- Based on a hybrid design that partly uses probability models and partly uses algorithmic rules for decision making, we aim to improve the efficiency of the dose-finding trials in the presence of historical data, maintain safety for patients, and achieve a level of simplicity for practical applications. Methods -- We propose the Hi3+3 design, in which the letter "H" represents "historical data". We apply the idea in power prior to borrow historical data and define the effective sample size (ESS) of the prior. Dose-finding decision rules follow the idea in the i3+3 design while incorporating the historical data via the power prior and ESS. The proposed Hi3+3 design pretabulates the dosing decisions before the trial starts, a desirable feature for ease of application in practice. Results -- The Hi3+3 design is superior than the i3+3 design due to information borrow from historical data. It is capable of maintaining a high level of safety for trial patients without sacrificing the ability to identify the correct MTD. Illustration of this feature are found in the simulation results. Conclusion -- With the demonstrated safety, efficiency, and simplicity, the Hi3+3 design could be a desirable choice for dose-finding trials borrowing historical data.


title: Human-Paraphrased References Improve Neural Machine Translation

abstract: Automatic evaluation comparing candidate translations to human-generated paraphrases of reference translations has recently been proposed by Freitag et al. When used in place of original references, the paraphrased versions produce metric scores that correlate better with human judgment. This effect holds for a variety of different automatic metrics, and tends to favor natural formulations over more literal (translationese) ones. In this paper we compare the results of performing end-to-end system development using standard and paraphrased references. With state-of-the-art English-German NMT components, we show that tuning to paraphrased references produces a system that is significantly better according to human judgment, but 5 BLEU points worse when tested on standard references. Our work confirms the finding that paraphrased references yield metric scores that correlate better with human judgment, and demonstrates for the first time that using these scores for system development can lead to significant improvements.


title: MLCask: Efficient Management of Component Evolution in Collaborative Data Analytics Pipelines

abstract: With the ever-increasing adoption of machine learning for data analytics, maintaining a machine learning pipeline is becoming more complex as both the datasets and trained models evolve with time. In a collaborative environment, the changes and updates due to pipeline evolution often cause cumbersome coordination and maintenance work, raising the costs and making it hard to use. Existing solutions, unfortunately, do not address the version evolution problem, especially in a collaborative environment where non-linear version control semantics are necessary to isolate operations made by different user roles. The lack of version control semantics also incurs unnecessary storage consumption and lowers efficiency due to data duplication and repeated data pre-processing, which are avoidable. In this paper, we identify two main challenges that arise during the deployment of machine learning pipelines, and address them with the design of versioning for an end-to-end analytics system MLCask. The system supports multiple user roles with the ability to perform Git-like branching and merging operations in the context of the machine learning pipelines. We define and accelerate the metric-driven merge operation by pruning the pipeline search tree using reusable history records and pipeline compatibility information. Further, we design and implement the prioritized pipeline search, which gives preference to the pipelines that probably yield better performance. The effectiveness of MLCask is evaluated through an extensive study over several real-world deployment cases. The performance evaluation shows that the proposed merge operation is up to 7.8x faster and saves up to 11.9x storage space than the baseline method that does not utilize history records.


title: 1+3 formulation of Newton's equations

abstract: We present in this paper a 4-dimensional formulation of the Newton equations for gravitation on a Lorentzian manifold, inspired from the 1+3 and 3+1 formalisms of general relativity. We first show that the freedom on the coordinate velocity of a general time-parametrised coordinate system with respect to a Galilean reference system is similar to the shift freedom in the 3+1-formalism of general relativity. This allows us to write Newton's theory as living in a 4-dimensional Lorentzian manifold $M^N$. This manifold can be chosen to be curved depending on the dynamics of the Newtonian fluid. In this paper, we focus on a specific choice for $M^N$ leading to what we call the \textit{1+3-Newton equations}. We show that these equations can be recovered from general relativity with a Newtonian limit performed in the rest frames of the relativistic fluid. The 1+3 formulation of the Newton equations along with the Newtonian limit we introduce also allow us to define a dictionary between Newton's theory and general relativity. This dictionary is defined in the rest frames of the dust fluid, i.e. a non-accelerating observer. A consequence of this is that it is only defined for irrotational fluids. As an example supporting the 1+3-Newton equations and our dictionary, we show that the parabolic free-fall solution in 1+3-Newton exactly translates into the Schwarzschild spacetime, and this without any approximations. The dictionary might then be an additional tool to test the validity of Newtonian solutions with respect to general relativity. It however needs to be further tested for non-vacuum, non-stationary and non-isolated Newtonian solutions, as well as to be adapted for rotational fluids. One of the main applications we consider for the 1+3 formulation of Newton's equations is to define new models suited for the study of backreaction and global topology in cosmology.


title: Temporal blocking of finite-difference stencil operators with sparse "off-the-grid" sources

abstract: Stencil kernels dominate a range of scientific applications, including seismic and medical imaging, image processing, and neural networks. Temporal blocking is a performance optimization that aims to reduce the required memory bandwidth of stencil computations by re-using data from the cache for multiple time steps. It has already been shown to be beneficial for this class of algorithms. However, applying temporal blocking to practical applications' stencils remains challenging. These computations often consist of sparsely located operators not aligned with the computational grid ("off-the-grid"). Our work is motivated by modeling problems in which source injections result in wavefields that must then be measured at receivers by interpolation from the grided wavefield. The resulting data dependencies make the adoption of temporal blocking much more challenging. We propose a methodology to inspect these data dependencies and reorder the computation, leading to performance gains in stencil codes where temporal blocking has not been applicable. We implement this novel scheme in the Devito domain-specific compiler toolchain. Devito implements a domain-specific language embedded in Python to generate optimized partial differential equation solvers using the finite-difference method from high-level symbolic problem definitions. We evaluate our scheme using isotropic acoustic, anisotropic acoustic, and isotropic elastic wave propagators of industrial significance. After auto-tuning, performance evaluation shows that this enables substantial performance improvement through temporal blocking over highly-optimized vectorized spatially-blocked code of up to 1.6x.


title: Spatio-Temporal Mobility Patterns of On-demand Ride-hailing Service Users

abstract: Understanding individual mobility behavior is critical for modeling urban transportation. It provides deeper insights on the generative mechanisms of human movements. Emerging data sources such as mobile phone call detail records, social media posts, GPS observations, and smart card transactions have been used before to reveal individual mobility behavior. In this paper, we report the spatio-temporal mobility behaviors using large-scale data collected from a ride-hailing service platform. Based on passenger-level travel information, we develop an algorithm to identify users' visited places and the category of those places. To characterize temporal movement patterns, we reveal the differences in trip generation characteristics between commuting and non-commuting trips and the distribution of gap time between consecutive trips. To understand spatial mobility patterns, we observe the distribution of the number of visited places and their rank, the spatial distribution of residences and workplaces, and the distributions of travel distance and travel time. Our analysis highlights the differences in mobility patterns of the users of ride-hailing services, compared to the findings of existing mobility studies based on other data sources. It shows the potential of developing high-resolution individual-level mobility models that can predict the demand of emerging mobility services with high fidelity and accuracy.


title: Differentiability of the pressure in non-compact spaces

abstract: Regularity properties of the pressure are related to phase transitions. In this article we study thermodynamic formalism for systems defined in non-compact phase spaces, our main focus being countable Markov shifts. We produce metric compactifications of the space which allow us to prove that the pressure is differentiable on a residual set and outside an Aronszajn null set in the space of uniformly continuous functions. We establish a criterion, the so called sectorially arranged property, which implies that the pressure in the original system and in the compactification coincide. Examples showing that the compactifications can have rich boundaries, for example a Cantor set, are provided.


title: On Bloch-Kato Selmer groups and Iwasawa theory of $p$-adic Galois representations

abstract: A result due to R. Greenberg gives a relation between the cardinality of Selmer groups of elliptic curves over number fields and the characteristic power series of Pontryagin duals of Selmer groups over cyclotomic $\mathbb Z_p$-extensions at good ordinary primes $p$. We extend Greenberg's result to more general $p$-adic Galois representations, including a large subclass of those attached to $p$-ordinary modular forms of level $\Gamma_0(N)$ with $p\nmid N$.


title: CoRT: Complementary Rankings from Transformers

abstract: Many recent approaches towards neural information retrieval mitigate their computational costs by using a multi-stage ranking pipeline. In the first stage, a number of potentially relevant candidates are retrieved using an efficient retrieval model such as BM25. Although BM25 has proven decent performance as a first-stage ranker, it tends to miss relevant passages. In this context we propose CoRT, a simple neural first-stage ranking model that leverages contextual representations from pretrained language models such as BERT to complement term-based ranking functions while causing no significant delay at query time. Using the MS MARCO dataset, we show that CoRT significantly increases the candidate recall by complementing BM25 with missing candidates. Consequently, we find subsequent re-rankers achieve superior results with less candidates. We further demonstrate that passage retrieval using CoRT can be realized with surprisingly low latencies.


title: Proliferation of non-linear excitations in the piecewise-linear perceptron

abstract: We investigate the properties of local minima of the energy landscape of a continuous non-convex optimization problem, the spherical perceptron with piecewise linear cost function and show that they are critical, marginally stable and displaying a set of pseudogaps, singularities and non-linear excitations whose properties appear to be in the same universality class of jammed packings of hard spheres. The piecewise linear perceptron problem appears as an evolution of the purely linear perceptron optimization problem that has been recently investigated in [1]. Its cost function contains two non-analytic points where the derivative has a jump. Correspondingly, in the non-convex/glassy phase, these two points give rise to four pseudogaps in the force distribution and this induces four power laws in the gap distribution as well. In addition one can define an extended notion of isostaticity and show that local minima appear again to be isostatic in this phase. We believe that our results generalize naturally to more complex cases with a proliferation of non-linear excitations as the number of non-analytic points in the cost function is increased.


title: Implementing Bilinear Interpolation on Quantum Images

abstract: In this paper, we present an interpolation scheme for FRQI images based on bilinear interpolation. To accomplish this, we formulated several quantum modules, i.e., assignment module, increment module, and quarter module, and suffused them into our proposed quantum image interpolation circuit. The concrete quantum circuits to accomplish up-scaling and down-scaling based on bilinear for FRQI images are designed and the network complexities of them are analyzed. Finally, to validate the proposed method, simulation experiments to enlarge and reduce the test images are executed, whose results are compared with the nearest neighbor interpolation for FRQI images. The up-scaled images by using proposed interpolation algorithm achieve satisfactory results, and both PSNR and SSIM values are better than those of the nearest neighbor method.


title: Phase recovery with Bregman divergences for audio source separation

abstract: Time-frequency audio source separation is usually achieved by estimating the short-time Fourier transform (STFT) magnitude of each source, and then applying a phase recovery algorithm to retrieve time-domain signals. In particular, the multiple input spectrogram inversion (MISI) algorithm has shown good performance in several recent works. This algorithm minimizes a quadratic reconstruction error between magnitude spectrograms. However, this loss does not properly account for some perceptual properties of audio, and alternative discrepancy measures such as beta-divergences have been preferred in many settings. In this paper, we propose to reformulate phase recovery in audio source separation as a minimization problem involving Bregman divergences. To optimize the resulting objective, we derive a projected gradient descent algorithm. Experiments conducted on a speech enhancement task show that this approach outperforms MISI for several alternative losses, which highlights their relevance for audio source separation applications.


title: Alan Baker

abstract: Alan Baker, Fields Medallist, died on 4th February 2018 in Cambridge England after a severe stroke a few days earlier. In 1970 he was awarded the Fields Medal at the International Congress in Nice on the basis of his outstanding work on linear forms in logarithms and its consequences. Since then he received many honours including the prestigious Adams Prize of Cambridge University, the election to the Royal Society (1973) and the Academia Europaea; and he was made an honorary fellow of University College London, a foreign fellow of the Indian Academy of Science, a foreign fellow of the National Academy of Sciences India, an honorary member of the Hungarian Academy of Sciences, and a fellow of the American Mathematical Society. In this article we survey Alan Baker's achievements.


title: The strong fractional choice number of $3$-choice critical graphs

abstract: A graph $G$ is called $3$-choice critical if $G$ is not $2$-choosable but any proper subgraph is $2$-choosable. A graph $G$ is strongly fractional $r$-choosable if $G$ is $(a,b)$-choosable for all positive integers $a,b$ for which $a/b \ge r$. The strong fractional choice number of $G$ is $ch_f^s(G) = \inf \{r: G $ is strongly fractional $r$-choosable$\}$. This paper determines the strong fractional choice number of all $3$-choice critical graphs.


title: Hierarchical Autoregressive Modeling for Neural Video Compression

abstract: Recent work by Marino et al. (2020) showed improved performance in sequential density estimation by combining masked autoregressive flows with hierarchical latent variable models. We draw a connection between such autoregressive generative models and the task of lossy video compression. Specifically, we view recent neural video compression methods (Lu et al., 2019; Yang et al., 2020b; Agustssonet al., 2020) as instances of a generalized stochastic temporal autoregressive transform, and propose avenues for enhancement based on this insight. Comprehensive evaluations on large-scale video data show improved rate-distortion performance over both state-of-the-art neural and conventional video compression methods.


title: A Study of the Carath\'eodory Conjecture through Non-Rotationally Symmetric Surfaces

abstract: Carath\'eodory's well-known conjecture states that every sufficiently smooth, closed convex surface in three dimensional Euclidean space admits at least two umbilic points. It has been established that the conjecture is true for all rotationally symmetric surfaces; in this paper, we investigate the umbilic points of two families of surfaces without rotational symmetry, and compute their indices. In particular, we find that the family of surfaces of the form $ax^{2k}+by^{2k}+cz^{2k}=1$ with $a,b,c>0$, $k\in\mathbb{Z}_{>1}$ admit 14 umbilic points: six of one known form and eight of another. For many tested values of $a,b,c,k$, such umbilic points have indices $-1/2$ and $1$, respectively. We also explore the dependence of the umbilic points on the parameter $\epsilon$ of the surface $ax^2+\epsilon x^4+ay^2+\epsilon y^4+bz^2=1$. In particular, for both $a<b$ and $a>b,$ there exist exactly two umbilic points with index 1 for $\epsilon$ smaller than certain critical values. For larger $\epsilon,$ surfaces with $a>b$ admit exactly ten umbilic points; for many tested values of $a,b,\epsilon,$ these points have indices 1/2 and -1. For larger $\epsilon,$ surfaces with $a<b$ admit eighteen umbilic points; for many tested values of $a,b,\epsilon,$ these points have indices -1/2 and 1.


title: Thermodynamics of markets

abstract: We consider the thermodynamic approach to the description of economic systems and processes. The first and second laws of thermodynamics as applied to economic systems are derived and analyzed. It is shown that there is a deep analogy between the parameters of thermodynamic and economic systems (markets); in particular, each thermodynamic parameter can be associated with a certain economic parameter or indicator. The economic meaning of such primordially thermodynamic concepts as pressure, volume, internal energy, heat, etc. has been established. The thermostatistics of the market is considered. It is shown that, as in conventional thermostatistics, many market parameters, such as price of goods, quantity of goods, etc., as well as their fluctuations can be calculated formally using the partition function of an economic system.


title: AutoBSS: An Efficient Algorithm for Block Stacking Style Search

abstract: Neural network architecture design mostly focuses on the new convolutional operator or special topological structure of network block, little attention is drawn to the configuration of stacking each block, called Block Stacking Style (BSS). Recent studies show that BSS may also have an unneglectable impact on networks, thus we design an efficient algorithm to search it automatically. The proposed method, AutoBSS, is a novel AutoML algorithm based on Bayesian optimization by iteratively refining and clustering Block Stacking Style Code (BSSC), which can find optimal BSS in a few trials without biased evaluation. On ImageNet classification task, ResNet50/MobileNetV2/EfficientNet-B0 with our searched BSS achieve 79.29%/74.5%/77.79%, which outperform the original baselines by a large margin. More importantly, experimental results on model compression, object detection and instance segmentation show the strong generalizability of the proposed AutoBSS, and further verify the unneglectable impact of BSS on neural networks.


title: A microsimulation approach for the impact assessment of a Vehicle-to-Infrastructure based Road Hazard Warning system

abstract: Cooperative Intelligent Transportation Systems (C-ITS) constitute technologies which enable vehicles to communicate with each other and with road infrastructure. Verification or testing is required for C-ITS applications, in order to assess their impact on traffic operation. In this work, a microscopic traffic simulation approach is used, to evaluate the impact of Vehicle-to-Infrastructure (V2I) technologies in the context of a road traffic accident. Specifically, the methodology is implemented to explicitly models vehicles collisions, Road Hazard Warning (RHW), Emergency Electronic Brake Light (EEBL) warnings and the resulting driver behavior. Moreover, a new gap control mechanism is adopted, to improve safety by advising vehicles in hazard lane to increase their headways with respect to their preceding vehicle, so that they can avoid a collision. Perfect communication links to all vehicles are assumed. The study findings indicate that the proposed V2I hazard warning strategy has a positive impact on traffic flow safety and efficiency.


title: Relativistically Correct Electromagnetic Energy Flow

abstract: Detailed study of the energy and momentum carried by the electromagnetic field can be a source of clues to possible new physics underlying the Maxwell Equations. But such study has been impeded by expressions for the parameters of the electromagnetic energy flow that are inconsistent with the transformation rules of special relativity. This paper begins by correcting a basic parameter, the local velocity of electromagnetic energy flow. This correction is derived by the direct application of the transformation rules of special relativity. After this correction, the electromagnetic energy-momentum tensor can then be expressed in a reference system comoving with the energy flow. This tensor can be made diagonal in the comoving system, and brought into a canonical form depending only on the energy density and one other parameter. The corrected energy flow and its energy-momentum tensor are illustrated by a simple example using static electric and magnetic fields The proposal that electromagnetic momentum results from the motion of a relativistic mass contained in the fields is examined in the context of the corrected flow velocity. It is found that electromagnetic field momentum, though real, cannot be explained as due only to the motion of relativistic mass. The paper concludes that introducing the requirement of consistency with special relativity opens the study of electromagnetic energy and momentum to new possibilities.


title: Classification of Grothendieck rings of complex fusion categories of multiplicity one up to rank six

abstract: This paper classifies the Grothendieck rings of complex fusion categories of multiplicity one up to rank six. Among 72 possible fusion rings, $25$ ones are filtered out by using categorification criteria. Each of the remaining 47 fusion rings admits a unitary complex categorification. We found 6 new Grothendieck rings, categorified by applying a localization approach of the Pentagon Equation.


title: The Profiles of Riemann Surfaces

abstract: Riemann surfaces which are set by algebraic, algebroid and inverse functions are considered. A method for describing these Riemann surfaces by graphs is proposed. Each such Riemann surface is assigned to a special type of graph - profile. In terms of graph theory, the necessary and sufficient conditions of profile existence are clarified. The conditions of a one-to-one correspondence between Riemann surfaces and profiles are formulated. In the graph theory terminology the criterion of profiles existence is formulated and proved. The resulting criterion can be used as a criterion of existence of Riemann surfaces with a set signature. The proposed method of describing Riemann surfaces by profiles corresponds to the intuitive notion of a Riemann surface as a covering surface over a Riemann sphere. Examples of the Riemann surface profile of the algebraic function and the Riemann surface profile of the inverse function of algebroid are given.


title: Synthesis of COVID-19 Chest X-rays using Unpaired Image-to-Image Translation

abstract: Motivated by the lack of publicly available datasets of chest radiographs of positive patients with Coronavirus disease 2019 (COVID-19), we build the first-of-its-kind open dataset of synthetic COVID-19 chest X-ray images of high fidelity using an unsupervised domain adaptation approach by leveraging class conditioning and adversarial training. Our contributions are twofold. First, we show considerable performance improvements on COVID-19 detection using various deep learning architectures when employing synthetic images as additional training set. Second, we show how our image synthesis method can serve as a data anonymization tool by achieving comparable detection performance when trained only on synthetic data. In addition, the proposed data generation framework offers a viable solution to the COVID-19 detection in particular, and to medical image classification tasks in general. Our publicly available benchmark dataset consists of 21,295 synthetic COVID-19 chest X-ray images. The insights gleaned from this dataset can be used for preventive actions in the fight against the COVID-19 pandemic.


title: Text Classification of Manifestos and COVID-19 Press Briefings using BERT and Convolutional Neural Networks

abstract: We build a sentence-level political discourse classifier using existing human expert annotated corpora of political manifestos from the Manifestos Project (Volkens et al., 2020a) and applying them to a corpus ofCOVID-19Press Briefings (Chatsiou, 2020). We use manually annotated political manifestos as training data to train a local topic ConvolutionalNeural Network (CNN) classifier; then apply it to the COVID-19PressBriefings Corpus to automatically classify sentences in the test corpus.We report on a series of experiments with CNN trained on top of pre-trained embeddings for sentence-level classification tasks. We show thatCNN combined with transformers like BERT outperforms CNN combined with other embeddings (Word2Vec, Glove, ELMo) and that it is possible to use a pre-trained classifier to conduct automatic classification on different political texts without additional training.


title: Sterile neutrino searches at tagged kaon beams

abstract: Tagged kaon beams are attractive neutrino sources, which would provide flavor pure $\nu_e$-beams with exactly measured normalization. We point out that this also leads to an anti-tagged flavor pure $\nu_\mu$-beam, with equally well known normalization. Exposing a 1 kt liquid argon detector at a baseline of 1 km to this combination of unique beams allows to decisively test recent indications by IceCube and Neutrino-4 of sterile neutrino oscillations in the multi-eV range.


title: Towards new forms of particle sensing and manipulation and 3D imaging on a smartphone for healthcare applications

abstract: Close to half of the world population have smartphones, while a typical flagship smartphone today has been integrated with more than 20 smart components and sensors, making a smartphone a highly integrated platform that can potentially mimic the five senses of humans. Recent advancement in achieving high compactness, high performance computing, high flexibility, and multiplexed functionality in smartphones have enabled them for many cutting-edge healthcare applications, such as single-molecule imaging, medical diagnosis, and biosensing, which were conventionally done with bulky and sophisticated devices. Most of the current healthcare applications are developed based on using the photon-sensitive components, such as CMOS sensors, flash & fill lights, lens modules, and LED lights in the screen, leaving the rest of the smart and high-performance sensors rarely explored. In this Perspective, we review recent progresses in advanced sensors in modern smartphones and discuss how those sensors have great, as yet unmet, promise to offer widespread and easy-to-implement solutions to many emerging healthcare applications, including nanoscale sensing, point-of-care testing, pollution monitoring, etc.


title: Pedestrian Intention Prediction: A Multi-task Perspective

abstract: In order to be globally deployed, autonomous cars must guarantee the safety of pedestrians. This is the reason why forecasting pedestrians' intentions sufficiently in advance is one of the most critical and challenging tasks for autonomous vehicles. This work tries to solve this problem by jointly predicting the intention and visual states of pedestrians. In terms of visual states, whereas previous work focused on x-y coordinates, we will also predict the size and indeed the whole bounding box of the pedestrian. The method is a recurrent neural network in a multi-task learning approach. It has one head that predicts the intention of the pedestrian for each one of its future position and another one predicting the visual states of the pedestrian. Experiments on the JAAD dataset show the superiority of the performance of our method compared to previous works for intention prediction. Also, although its simple architecture (more than 2 times faster), the performance of the bounding box prediction is comparable to the ones yielded by much more complex architectures. Our code is available online.


title: An Ahistorical Approach to Elementary Physics

abstract: A goal of physics is to understand the greatest possible breadth of natural phenomena in terms of the most economical set of basic concepts. However, as the understanding of physics has developed historically, its pedagogy and language have not kept pace. This gap handicaps the student and the practitioner, making it harder to learn and apply ideas that are `well understood', and doubtless making it more difficult to see past those ideas to new discoveries. Energy, momentum, and action are archaic concepts representing an unnecessary level of abstraction. Viewed from a modern perspective, these quantities correspond to wave parameters, namely temporal frequency, spatial frequency, and phase, respectively. The main results of classical mechanics can be concisely reproduced by considering waves in the spacetime defined by special relativity. This approach unifies kinematics and dynamics, and introduces inertial mass not via a definition, but rather as the real-space effect of a reciprocal-space invariant.


title: Scalable Shared-Memory Hypergraph Partitioning

abstract: Hypergraph partitioning is an important preprocessing step for optimizing data placement and minimizing communication volumes in high-performance computing applications. To cope with ever growing problem sizes, it has become increasingly important to develop fast parallel partitioning algorithms whose solution quality is competitive with existing sequential algorithms. To this end, we present Mt-KaHyPar, the first shared-memory multilevel hypergraph partitioner with parallel implementations of many techniques used by the sequential, high-quality partitioning systems: a parallel coarsening algorithm that uses parallel community detection as guidance, initial partitioning via parallel recursive bipartitioning with work-stealing, a scalable label propagation refinement algorithm, and the first fully-parallel direct $k$-way formulation of the classical FM algorithm. Experiments performed on a large benchmark set of instances from various application domains demonstrate the scalability and effectiveness of our approach. With 64 cores, we observe self-relative speedups of up to 51 and a harmonic mean speedup of 23.5. In terms of solution quality, we outperform the distributed hypergraph partitioner Zoltan on 95% of the instances while also being a factor of 2.1 faster. With just four cores,Mt-KaHyPar is also slightly faster than the fastest sequential multilevel partitioner PaToH while producing better solutions on 83% of all instances. The sequential high-quality partitioner KaHyPar still finds better solutions than our parallel approach, especially when using max-flow-based refinement. This, however, comes at the cost of considerably longer running times.


title: Ambipolar magneto-optical response of ultra-low carrier density topological insulators

abstract: We have investigated the THz range magneto-optical response of ultralow carrier density films of Sb$_2$Te$_3$ using time-domain THz polarimetry. Undoped Sb$_2$Te$_3$ has a chemical potential that lies inside the bulk valence band. Thus its topological response is masked by bulk carriers. However, with appropriate buffer layer engineering and chemical doping, Sb$_2$Te$_3$ thin films can be grown with extremely low electron or hole densities. The ultralow carrier density samples show unusual optical properties and quantized response in the presence of magnetic fields. Consistent with the expectations for Dirac fermions, a quantized Hall response is seen even in samples where the zero field conductivity falls below detectable levels. The discontinuity in the Faraday angle with small changes in the filling fraction across zero is manifestation of the parity anomaly in 2D Dirac systems with broken time reversal symmetry.


title: Graph Fairing Convolutional Networks for Anomaly Detection

abstract: Graph convolution is a fundamental building block for many deep neural networks on graph-structured data. In this paper, we introduce a simple, yet very effective graph convolutional network with skip connections for semi-supervised anomaly detection. The proposed layerwise propagation rule of our model is theoretically motivated by the concept of implicit fairing in geometry processing, and comprises a graph convolution module for aggregating information from immediate node neighbors and a skip connection module for combining layer-wise neighborhood representations. This propagation rule is derived from the iterative solution of the implicit fairing equation via the Jacobi method. In addition to capturing information from distant graph nodes through skip connections between the network's layers, our approach exploits both the graph structure and node features for learning discriminative node representations. These skip connections are integrated by design in our proposed network architecture. The effectiveness of our model is demonstrated through extensive experiments on five benchmark datasets, achieving better or comparable anomaly detection results against strong baseline methods. We also demonstrate through an ablation study that skip connection helps improve the model performance.


title: Estimating a mixing distribution on the sphere using predictive recursion

abstract: Mixture models are commonly used when data show signs of heterogeneity and, often, it is important to estimate the distribution of the latent variable responsible for that heterogeneity. This is a common problem for data taking values in a Euclidean space, but the work on mixing distribution estimation based on directional data taking values on the unit sphere is limited. In this paper, we propose using the predictive recursion (PR) algorithm to solve for a mixture on a sphere. One key feature of PR is its computational efficiency. Moreover, compared to likelihood-based methods that only support finite mixing distribution estimates, PR is able to estimate a smooth mixing density. PR's asymptotic consistency in spherical mixture models is established, and simulation results showcase its benefits compared to existing likelihood-based methods. We also show two real-data examples to illustrate how PR can be used for goodness-of-fit testing and clustering.


title: Leveraging the structure of musical preference in content-aware music recommendation

abstract: State-of-the-art music recommendation systems are based on collaborative filtering, which predicts a user's interest from his listening habits and similarities with other users' profiles. These approaches are agnostic to the song content, and therefore face the cold-start problem: they cannot recommend novel songs without listening history. To tackle this issue, content-aware recommendation incorporates information about the songs that can be used for recommending new items. Most methods falling in this category exploit either user-annotated tags, acoustic features or deeply-learned features. Consequently, these content features do not have a clear musical meaning, thus they are not necessarily relevant from a musical preference perspective. In this work, we propose instead to leverage a model of musical preference which originates from the field of music psychology. From low-level acoustic features we extract three factors (arousal, valence and depth), which have been shown appropriate for describing musical taste. Then we integrate those into a collaborative filtering framework for content-aware music recommendation. Experiments conducted on large-scale data show that this approach is able to address the cold-start problem, while using a compact and meaningful set of musical features.


title: Compact embedding theorems and a Lions' type Lemma for fractional Orlicz-Sobolev spaces

abstract: In this paper we are concerned with some abstract results regarding to fractional Orlicz-Sobolev spaces. Precisely, we ensure the compactness embedding for the weighted fractional Orlicz-Sobolev space into the Orlicz spaces, provided the weight is unbounded. We also obtain a version of Lions' "vanishing" Lemma for fractional Orlicz-Sobolev spaces, by introducing new techniques to overcome the lack of a suitable interpolation law. Finally, as a product of the abstract results, we use a minimization method over the Nehari manifold to prove the existence of ground state solutions for a class of nonlinear Schr\"{o}dinger equations, taking into account unbounded or bounded potentials.


title: RAN Cognitive Controller

abstract: Cognitive Autonomous Networks (CAN) deploys learning based Cognitive Functions (CF) instead of conventional rule-based SON Functions (SF) as Network Automation Functions (NAF) to increase the system autonomy. These CFs work in parallel sharing the same resources which give rise to conflicts among them which cannot be resolved using conventional rule based approach. Our main target is to design a Controller which can resolve any type of conflicts among the CFs in a dynamic way.


title: Gauge/gravity dual dynamics for the strongly coupled sector of composite Higgs models

abstract: A holographic model of chiral symmetry breaking is used to study the dynamics plus the meson and baryon spectrum of the underlying strong dynamics in composite Higgs models. The model is inspired by top-down D-brane constructions. We introduce this model by applying it to $N_f=2$ QCD. We compute meson masses, decay constants and the nucleon mass. The spectrum is improved by including higher dimensional operators to reflect the UV physics of QCD. Moving to composite Higgs models, we impose perturbative running for the anomalous dimension of the quark condensate in a variety of theories with varying number of colors and flavours. We compare our results in detail to lattice simulations for the following theories: $SU(2)$ gauge theory with two Dirac fundamentals; $Sp(4)$ gauge theory with fundamental and sextet matter; and $SU(4)$ gauge theory with fundamental and sextet quarks. In each case, the holographic results are encouraging since they are close to lattice results for masses and decay constants. Moreover, our models allow us to compute additional observables not yet computed on the lattice, to relax the quenched approximation and move to the precise fermion content of more realistic composite Higgs models not possible on the lattice. We also provide a new holographic description of the top partners including their masses and structure functions. With the addition of higher dimension operators, we show the top Yukawa coupling can be made of order one, to generate the observed top mass. Finally, we predict the spectrum for the full set of models with top partners proposed by Ferretti and Karateev.


title: Applying Adaptive Gradient Descent to solve matrix factorization

abstract: Based on the method of FGD, we apply the method of adaptive gradient descent which uses different step length at different epoch. Adaptive gradient descent performs much better than FGD in the tests and keeps the guarantee of convergence speed at the same time.


title: Classical and quantal aspects of Minkowski's four-momentum in analog gravity

abstract: The electrodynamic theory of continuous media is probably the most convenient platform when trying to construct analog gravity theories. Quite naturally, this topic has gained considerable interest. One peculiar but not so very known feature in this context is the unconventional behavior of radiation energy and momentum in cases where superluminal fluid velocities are encountered, what, as known, is a major ingredient in analog gravity theories. These peculiar features are intimately connected with the spacelike character of Minkowski's four-momentum in electrodynamics. Here, we first consider an artificial model in which a Kerr-induced superluminal region is created in the right-hand region ($z>0$) in a left-moving, originally subluminal, fluid. We analyze the behavior of energy density, Poynting vector, and momentum density, and calculate the force on the artificial black hole horizon. Also, we delve into quantal aspects, looking for eventual production of particles associated with the sudden creation of the horizon, finding, however, that no particles are predicted to occur. The present paper continues a previous investigation by the author on the same topic, in Phys. Rev. A {\bf 100}, 032109 (2019). The subject as such is closely related to the famous Abraham-Minkowski problem.


title: User-Number Threshold-based Base Station On/Off Control for Maximizing Coverage Probability

abstract: In this study, we investigate the operation of user-number threshold-based base station (BS) on/off control, in which the BS turns off when the number of active users is less than a specific threshold value. This paper presents a space-based analysis of the BS on/off control system to which a stochastic geometric approach is applied. In particular, we derive the approximated closed-form expression of the coverage probability of a homogeneous network (HomNet) with the user-number threshold-based on/off control. Moreover, the optimal user-number threshold for maximizing the coverage probability is analytically derived. In addition to HomNet, we also derive the overall coverage probability and the optimal user-number thresholds for a heterogeneous network (HetNet). The results show that HetNet, the analysis of which seems intractable, can be analyzed in the form of a linear combination of HomNets with weighted densities. In addition, the optimal user-number threshold of each tier is obtained independently of other tiers. The modeling and analysis presented in this paper are not only limited to the case of user-number threshold-based on/off control, but also applicable to other novel on/off controls with minor modifications. Finally, by comparing with the simulated results, the theoretical contributions of this study are validated.


title: Harnessing the Power of the Second Quantum Revolution

abstract: The second quantum revolution has been built on a foundation of fundamental research at the intersection of physics and information science, giving rise to the discipline we now call Quantum Information Science (QIS). The quest for new knowledge and understanding drove the development of new experimental tools and rigorous theory, which defined the roadmap for second-wave quantum technologies, including quantum computers, quantum-enhanced sensors, and communication systems. As technology has matured, the race to develop and commercialize near-term applications has accelerated. In the current regime of Noisy Intermediate Scale Quantum (NISQ) devices, the continued necessity of basic research is manifest. Under what conditions can we truly harness quantum complexity and what are its implications for potential useful applications? These questions remain largely unanswered, and as the QIS industry ramps up, a continuous feedback between basic science and technology is essential. In this Perspective I review how curiosity-driven research led to radical new technologies and why the quest for basic understanding is essential for further progress.


title: Anisotropic Graph Convolutional Network for Semi-supervised Learning

abstract: Graph convolutional networks learn effective node embeddings that have proven to be useful in achieving high-accuracy prediction results in semi-supervised learning tasks, such as node classification. However, these networks suffer from the issue of over-smoothing and shrinking effect of the graph due in large part to the fact that they diffuse features across the edges of the graph using a linear Laplacian flow. This limitation is especially problematic for the task of node classification, where the goal is to predict the label associated with a graph node. To address this issue, we propose an anisotropic graph convolutional network for semi-supervised node classification by introducing a nonlinear function that captures informative features from nodes, while preventing oversmoothing. The proposed framework is largely motivated by the good performance of anisotropic diffusion in image and geometry processing, and learns nonlinear representations based on local graph structure and node features. The effectiveness of our approach is demonstrated on three citation networks and two image datasets, achieving better or comparable classification accuracy results compared to the standard baseline methods.


title: Leveraging Technology for Healthcare and Retaining Access to Personal Health Data to Enhance Personal Health and Well-being

abstract: Health data is a sensitive category of personal data. It might result in a high risk to individual and health information handling rights and opportunities unless there is a palatable defense. Reasonable security standards are needed to protect electronic health records (EHR). All personal data handling needs adequate explanation. Maintaining access to medical data even in the developing world would favor health and well-being across the world. Unfortunately, there are still countries that hinder the portability of medical records. Numerous occurrences have shown that it still takes weeks for the medical data to be ported from one general physician (GP) to another. Cross border portability is nearly impossible due to the lack of technical infrastructure and standardization. We demonstrate the difficulty of the portability of medical records with some example case studies as a collaborative engagement exercise through a data mapping process to describe how different people and datapoints interact and evaluate EHR portability techniques. We then propose a blockchain-based EHR system that allows secure, and cross border sharing of medical data. The ethical and technical challenges around having such a system have also been discussed in this study.


title: Bi-directional Cognitive Thinking Network for Machine Reading Comprehension

abstract: We propose a novel Bi-directional Cognitive Knowledge Framework (BCKF) for reading comprehension from the perspective of complementary learning systems theory. It aims to simulate two ways of thinking in the brain to answer questions, including reverse thinking and inertial thinking. To validate the effectiveness of our framework, we design a corresponding Bi-directional Cognitive Thinking Network (BCTN) to encode the passage and generate a question (answer) given an answer (question) and decouple the bi-directional knowledge. The model has the ability to reverse reasoning questions which can assist inertial thinking to generate more accurate answers. Competitive improvement is observed in DuReader dataset, confirming our hypothesis that bi-directional knowledge helps the QA task. The novel framework shows an interesting perspective on machine reading comprehension and cognitive science.


title: Strong Orbit Equivalence in Cantor dynamics and simple locally finite groups

abstract: We study certain countable locally finite groups attached to minimal homeomorphisms, and prove that the isomorphism relation on simple, countable, locally finite groups is a universal relation arising from a Borel $S_\infty$-action. This work also provides a dynamical approach to a result of Giordano, Putnam and Skau characterizing strong orbit equivalence.


title: The Effects of vertical electric field and charged impurities on the spin-polarized transport of $\beta$-antimonene armchair nanoribbons

abstract: The electronic properties of antimonene, single-layer Sb, are attracting great attention. In this paper, spin transport in armchair antimonene nanoribbon (ASbNR) is investigated. Following the tight-binding model, we calculate both the transmission probability and the conductance by means of the non-equilibrium Green's function (NEGF) method. The effects of an external electric field vertical to the ribbon plane are explored. Our results indicate that the spin-flip rate increases with the vertical electric field. Disorder effects on spin transport are addressed by considering the presence of charged impurities. It is found that charged impurities also enhance the spin-flip rate but to a lesser extent than the out-of-plane electric field.


title: Extracting Seasonal Gradual Patterns from Temporal Sequence Data Using Periodic Patterns Mining

abstract: Mining frequent episodes aims at recovering sequential patterns from temporal data sequences, which can then be used to predict the occurrence of related events in advance. On the other hand, gradual patterns that capture co-variation of complex attributes in the form of " when X increases/decreases, Y increases/decreases" play an important role in many real world applications where huge volumes of complex numerical data must be handled. Recently, these patterns have received attention from the data mining community exploring temporal data who proposed methods to automatically extract gradual patterns from temporal data. However, to the best of our knowledge, no method has been proposed to extract gradual patterns that regularly appear at identical time intervals in many sequences of temporal data, despite the fact that such patterns may add knowledge to certain applications, such as e-commerce. In this paper, we propose to extract co-variations of periodically repeating attributes from the sequences of temporal data that we call seasonal gradual patterns. For this purpose, we formulate the task of mining seasonal gradual patterns as the problem of mining periodic patterns in multiple sequences and then we exploit periodic pattern mining algorithms to extract seasonal gradual patterns. We discuss specific features of these patterns and propose an approach for their extraction based on mining periodic frequent patterns common to multiple sequences. We also propose a new anti-monotonous support definition associated to these seasonal gradual patterns. The illustrative results obtained from some real world data sets show that the proposed approach is efficient and that it can extract small sets of patterns by filtering numerous nonseasonal patterns to identify the seasonal ones.


title: Where did the examples of Abel's continuity theorem go?

abstract: Abel's continuity theorem for power series is a great tool to compute sums and prove properties of special functions. However, apart from two basic examples, this no longer occupies a place in Analysis courses. This note is an invitation to get acquainted with this theorem, its history, and many of its applications dispersed in the literature.


title: Automatic multitrack mixing with a differentiable mixing console of neural audio effects

abstract: Applications of deep learning to automatic multitrack mixing are largely unexplored. This is partly due to the limited available data, coupled with the fact that such data is relatively unstructured and variable. To address these challenges, we propose a domain-inspired model with a strong inductive bias for the mixing task. We achieve this with the application of pre-trained sub-networks and weight sharing, as well as with a sum/difference stereo loss function. The proposed model can be trained with a limited number of examples, is permutation invariant with respect to the input ordering, and places no limit on the number of input sources. Furthermore, it produces human-readable mixing parameters, allowing users to manually adjust or refine the generated mix. Results from a perceptual evaluation involving audio engineers indicate that our approach generates mixes that outperform baseline approaches. To the best of our knowledge, this work demonstrates the first approach in learning multitrack mixing conventions from real-world data at the waveform level, without knowledge of the underlying mixing parameters.


title: Analyzing Pantheon SNeIa data in the context of Barrow's variable speed of light

abstract: We analyze the Combined Pantheon Sample of Type Ia supernovae while allowing the velocity of light to vary as a function of the scale factor $c\propto a^{-\zeta}$, as initiated by Barrow [Phys. Rev. D 59, 043515 (1999)]. The variation in the velocity of light creates an effect akin to the refraction phenomenon which occurs for a wave traveling in a medium with varying speed of wave. We elucidate the role of the local scale of gravitationally-bound regions in assisting the refraction effect to manifest. The refraction effect alters the redshift formulae (Lemaitre, distance-vs-z, luminosity distance-vs-z) and warrants a new analysis of the Pantheon dataset. Upon a reformulation of the distance-redshift relations, we achieve a high-quality fit of the Pantheon dataset to the variable light speed approach; the fit is as robust as that obtained in the standard $\Lambda CDM$ model. We find that the Pantheon dataset is consistent with the variable light speed of the functional form: $a\propto t^{\mu}$ and $c\propto a^{1-1/\mu}$ with (i) the cosmic age $t_{0}\approx 13.9$ Gy as a free parameter, while $\mu$ is unspecified; and (ii) a monotonic variation in the local scale for gravitationally-bound objects (applicable to the emission sources and the Solar System-based apparatus/observer). Due to the agent in (ii), the high-z portion of the Pantheon dataset would produce an "effective" $H_{0}$ estimate which is 10 percent lower than the $H_{0}$ estimate obtained from the low-z portion of the dataset. We offer an alternative interpretation of the accelerating expansion by way of variable speed of light, and as a by-product of the agent uncovered in (ii), a tentative suggestion toward "resolving" the ongoing tension in the Hubble constant estimates.


title: A Federated Learning Approach to Anomaly Detection in Smart Buildings

abstract: Internet of Things (IoT) sensors in smart buildings are becoming increasingly ubiquitous, making buildings more livable, energy efficient, and sustainable. These devices sense the environment and generate multivariate temporal data of paramount importance for detecting anomalies and improving the prediction of energy usage in smart buildings. However, detecting these anomalies in centralized systems is often plagued by a huge delay in response time. To overcome this issue, we formulate the anomaly detection problem in a federated learning setting by leveraging the multi-task learning paradigm, which aims at solving multiple tasks simultaneously while taking advantage of the similarities and differences across tasks. We propose a novel privacy-by-design federated learning model using a stacked long short-time memory (LSTM) model, and we demonstrate that it is more than twice as fast during training convergence compared to the centralized LSTM. The effectiveness of our federated learning approach is demonstrated on three real-world datasets generated by the IoT production system at General Electric Current smart building, achieving state-of-the-art performance compared to baseline methods in both classification and regression tasks. Our experimental results demonstrate the effectiveness of the proposed framework in reducing the overall training cost without compromising the prediction performance.


title: Adaptive Webpage Fingerprinting from TLS Traces

abstract: In webpage fingerprinting, an on-path adversary infers the specific webpage loaded by a victim user by analysing the patterns in the encrypted TLS traffic exchanged between the user's browser and the website's servers. This work studies modern webpage fingerprinting adversaries against the TLS protocol; aiming to shed light on their capabilities and inform potential defences. Despite the importance of this research area (the majority of global Internet users rely on standard web browsing with TLS) and the potential real-life impact, most past works have focused on attacks specific to anonymity networks (e.g., Tor). We introduce a TLS-specific model that: 1) scales to an unprecedented number of target webpages, 2) can accurately classify thousands of classes it never encountered during training, and 3) has low operational costs even in scenarios of frequent page updates. Based on these findings, we then discuss TLS-specific countermeasures and evaluate the effectiveness of the existing padding capabilities provided by TLS 1.3.


title: Fisheye lens distortion correction

abstract: A new distortion correction algorithm for fisheye lens with equidistant mapping function is considered in the present study. The algorithm is much more data lossless and accurate than such a classical approach like Brown-Conrady model


title: Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction

abstract: Proof assistants offer tactics to apply proof by induction, but these tactics rely on inputs given by human engineers. To automate this laborious process, we developed SeLFiE, a boolean query language to represent experienced users' knowledge on how to apply the induct tactic in Isabelle/HOL: when we apply an induction heuristic written in SeLFiE to an inductive problem and arguments to the induct tactic, the SeLFiE interpreter judges whether the arguments are plausible for that problem according to the heuristic by examining both the syntactic structure of the problem and definitions of the relevant constants. To examine the intricate interaction between syntactic analysis and analysis of constant definitions, we introduce definitional quantifiers. For evaluation we build an automatic induction prover using SeLFiE. Our evaluation based on 347 inductive problems shows that our new prover achieves 1.4 x 10^3% improvement over the corresponding baseline prover for 1.0 second of timeout and the median value of speedup is 4.48x.


title: Anisotropic Compact Stellar Objects in Modified Gauss-Bonnet Gravity

abstract: This paper is devoted to studying anisotropic compact stellar structures by adopting embedding class-1 technique in the background of modified Gauss-Bonnet gravity. The unknown constants are evaluated by the matching of interior spacetime with the Schwarzschild exterior geometry corresponding to $f(\mathcal{G})=\chi\mathcal{G}^{n}$ model, where $\chi$ and $n$ are positive constants. The observed masses of compact star candidates (SAX J1808.4-3658, Vela X-1, PSR J0348+0432, 4U 1608-52) are used with the condition of vanishing radial pressure at the stellar surface to predict their radii. We have examined viability and stability of the resulting solution through graphical behavior of matter variables, energy constraints, adiabatic index and causality condition. It is found that embedding class-1 solution for anisotropic compact stars is viable and stable in this theory.


title: The Detection of Thoracic Abnormalities ChestX-Det10 Challenge Results

abstract: The detection of thoracic abnormalities challenge is organized by the Deepwise AI Lab. The challenge is divided into two rounds. In this paper, we present the results of 6 teams which reach the second round. The challenge adopts the ChestX-Det10 dateset proposed by the Deepwise AI Lab. ChestX-Det10 is the first chest X-Ray dataset with instance-level annotations, including 10 categories of disease/abnormality of 3,543 images. The annotations are located at https://github.com/Deepwise-AILab/ChestX-Det10-Dataset. In the challenge, we randomly split all data into 3001 images for training and 542 images for testing.


title: Exact Higher-order Bulk-boundary Correspondence of Corner-localized States

abstract: We demonstrate that the presence of a localized state at the corner of an insulating domain is not always a predictor of a certain non-trivial higher-order topological invariant, even though they appear to co-exist in the same Hamiltonian parameter space. Our analysis of $C^n$-symmetric crystalline insulators and their multi-layer stacks reveals that topological corner states are not necessarily correlated with other well-established higher-order boundary observables, such as fractional corner charge or filling anomaly. In a $C^3$-symmetric breathing Kagome lattice, for example, we show that the bulk polarization, which successfully predicts the fractional corner anomaly, fails to be the relevant topological invariant for zero-energy corner states; instead, these corner states can be exactly explained by the decoration of topological edges. Also, while the zero-energy corner states in $C^4$-symmetric topological crystalline insulators have long been conjectured to be the result of the bulk polarization at quarter-filling, we correct this misconception by introducing a proper bulk invariant at half-filling and establishing a precise bulk-corner correspondence. By refining several bulk-corner correspondences in two-dimensional topological crystalline insulators, our work motivates further development of rigorous theoretical grounds for associating the existence of corner states with higher-order topology of host materials.


title: Optimal Index Assignment for Scalar Quantizers and M-PSK via a Discrete Convolution-Rearrangement Inequality

abstract: This paper investigates the problem of finding an optimal nonbinary index assignment from (M) quantization levels of a maximum entropy scalar quantizer to (M)-PSK symbols transmitted over a symmetric memoryless channel with additive noise following decreasing probability density function (such as the AWGN channel) so as to minimize the channel mean-squared distortion. The so-called zigzag mapping under maximum-likelihood (ML) decoding was known to be asymptotically optimal, but the problem of determining the optimal index assignment for any given signal-to-noise ratio (SNR) is still open. Based on a generalized version of the Hardy-Littlewood convolution-rearrangement inequality, we prove that the zigzag mapping under ML decoding is optimal for all SNRs. It is further proved that the same optimality results also hold under minimum mean-square-error (MMSE) decoding. Numerical results are presented to verify our optimality results and to demonstrate the performance gain of the optimal (M)-ary index assignment over the state-of-the-art binary counterpart for the case of (8)-PSK over the AWGN channel.


title: White noise jammer mathematical modelling and simulation

abstract: The radar equation is the fundamental mathematical modelling of the basic function of a radar system. Moreover there are many versions of the radar equation that correspond to particular radar operations, like a low PRF, a high PRF or a surveillance mode. In many cases all these expressions of the radar equation exist in their combined forms giving little information to the actual physics and signal geometry between the radar and target involved in the process. In this case study we divide the radar equation into its major steps and present a descriptive mathematical modelling of the radar and other related equations utilizing the free space loss and the target gain concepts for simulating the effect of a white noise jammer to an adversary radar. We believe that this work will be particularly beneficial to instructors of radar courses and to radar simulation engineers because of its analytical block approach of the main equations related to radar and electronic warfare fields. Finally this work falls under the field of predictive dynamics for radar systems using mathematical modelling techniques.


title: Electron heat flux in the near-Sun environment

abstract: We survey the electron heat flux observed by the Parker Solar Probe (PSP) in the near-Sun environment at heliocentric distances of 0.125-0.25 AU. We utilized measurements from the Solar Wind Electrons Alphas and Protons and FIELDS experiments to compute the solar wind electron heat flux and its components and to place these in context. The PSP observations reveal a number of trends in the electron heat flux signatures near the Sun. The magnitude of the heat flux is anticorrelated with solar wind speed, likely as a result of the lower saturation heat flux in the higher-speed wind. When divided by the saturation heat flux, the resulting normalized net heat flux is anticorrelated with plasma beta on all PSP orbits, which is consistent with the operation of collisionless heat flux regulation mechanisms. The net heat flux also decreases in very high beta regions in the vicinity of the heliospheric current sheet, but in most cases of this type the omnidirectional suprathermal electron flux remains at a comparable level or even increases, seemingly inconsistent with disconnection from the Sun. The measured heat flux values appear inconsistent with regulation primarily by collisional mechanisms near the Sun. Instead, the observed heat flux dependence on plasma beta and the distribution of suprathermal electron parameters are both consistent with theoretical instability thresholds associated with oblique whistler and magnetosonic modes.


title: Counting with 3-valued truth tables of bracketed formulae connected by implication

abstract: In this paper we investigate the combinatorical structure of the Kleene type truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication.


title: On uniform Hilbert Schmidt stability of groups

abstract: A group $\Gamma$ is said to be uniformly HS stable if any map $\varphi : \Gamma \to U(n)$ that is almost a unitary representation (w.r.t. the Hilbert Schmidt norm) is close to a genuine unitary representation of the same dimension. We present a complete classification of uniformly HS stable groups among finitely generated residually finite ones. Necessity of the residual finiteness assumption is discussed. A similar result is shown to hold assuming only amenability.


title: Abundance of Matrices In Gaussian Integers

abstract: In [HLS], N. Hindman, I. Leader and D. Strauss proved the abundance for a matrix with rational entries. In this paper we proved it for the ring of Gaussian integers. We showed the result when the matrix is taken with entries from \mathbb{Q}\left[i\right]. The main obstacle is in the field of complex numbers, no linear order relation exists. We overcome that in a tactful way.


title: Combined Algebraic Properties in Gaussian and Quaternion Ring

abstract: It is known that for an IP^{*} set A in (\mathbb{N},+) and a sequence \left\langle x_{n}\right\rangle _{n=1}^{\infty} in \mathbb{N}, there exists a sum subsystem \left\langle y_{n}\right\rangle _{n=1}^{\infty} of \left\langle x_{n}\right\rangle _{n=1}^{\infty} such that FS\left(\left\langle y_{n}\right\rangle _{n=1}^{\infty}\right)\cup FP\left(\left\langle y_{n}\right\rangle _{n=1}^{\infty}\right)\subseteq A. Similar types of results have also been proved for central^{*} sets and C^{*}-sets where the sequences have been considered from the class of minimal sequences and almost minimal sequences. In this present work, our aim to establish the similar type of results for the ring of Gaussian integers and the ring of integer quaternions.


title: Absence of high temperature superconductivity in hydrides under pressure

abstract: The long-sought goal of room-temperature superconductivity has reportedly recently been realized in a carbonaceous sulfur hydride compound under high pressure, as reported by Snider et al. [1]. The evidence presented in that paper is stronger than in other similar recent reports of high temperature superconductivity in hydrides under high pressure [2-7], and has been received with universal acclaim [8-10]. Here we point out that features of the experimental data shown in Ref. [1] indicate that the phenomenon observed in that material is not superconductivity. This observation calls into question earlier similar claims of high temperature conventional superconductivity in hydrides under high pressure based on similar or weaker evidence [2-7].


title: Mean and Gaussian Curvature of Lipid Mesophases measured using molecular dynamics

abstract: The ability to measure the mean and Gaussian curvature in lipid mesophases is important in our understanding of their formation and properties, and can be achieved both experimentally and computationally. Here we show that curvature can be measured using Molecular Dynamics simulations, however the reliability of the results is highly dependent on the choice of fitting algorithm, the atoms within the lipid membrane that are selected for fitting and the number of atoms that are included in the fit. We compare the results of our method to the L${\alpha}$ mesophase as previously studied, and subsequently extend the method to the Q$_{II}^{D}$ and H$_{II}$ mesophase, not previously studied in this way computationally, but whose curvatures are known both analytically and experimentally. By systematically comparing our results, we demonstrate a robust method which can be used in general to measure curvature.