title: Anatomy of open-boundary bulk in multiband non-Hermitian systems

abstract: Although the non-Bloch band theory is a milestone in elaborating bulk energy bands of non-Hermitian systems under the open-boundary condition (OBC), vital issues related to multivalued functions of non-Hermitian energy bands remain unsolved. In this paper, we anatomize the bulk properties of one-dimensional multiband non-Hermitian systems under OBC. We put forward the energy-band branches (EBBs) to settle the multivalued functions of non-Hermitian energy bands, which become gapped or gapless corresponding to disconnected or connected EBBs in the complex energy plane, where the branch points and branch cuts play a crucial role. We clarify the precise significance of the non-Hermitian skin effect, which illustrates the asymptotic behavior of EBB eigenstates (bulk eigenstates) in the deep bulk and compensates previous non-Bloch band theory. We also obtain a general expression of open-boundary Green's functions based on such EBBs and generalized Brillouin zones, useful for studies on non-Hermitian dynamical evolution.


title: Verification of C++ Programs with VeriFast

abstract: VeriFast is a prototype tool based on separation logic for modular verification of C and Java programs. We are in the process of adding support for C++. In this report, we describe the features of C++ for which we added support so far, as well as the proof obligations we generate for these features. At this point, VeriFast has basic support for most object-oriented programming features of C++: member functions, member function and operator overloading, implicit and explicit conversions, constructors and initializer lists, destructors, reference types, allocation and deallocation on the stack or on the heap (using new and delete), inheritance (including multiple inheritance but not virtual base classes), and virtual member functions and overriding. To support specification of inheritance hierarchies, we added support for instance predicates, which can be introduced in a base class and overridden in derived classes. The main missing feature at this point is support for C++ templates, which we plan to work on next.


title: Scattering of the UHECR at small pitch angle by damped plasma waves

abstract: In spite a lot of theoretical and experimental effort that has been achieved in ultra-high energy cosmic ray (UHECR) scattering research in last few decades, some questions remain unanswered, or partially answered. Two of them, that will be in the focus of this paper are: possible source of UHECRs and the acceleration mechanism of cosmic rays beyond PeV energies. Small pitch-angle scattering of UHECRs and possible confinement has been investigated using quasilinear theory in order to analytically calculate pitch-angle Fokker-Planck coefficient. CR particles resonantly interact with oblique low frequency damped waves. We show that the resonance function is broadened due to damping effects and this result is compared with the nonlinear broadening. Unlike the case of purely parallel (or antiparallel) propagating waves in slab turbulence, the presence of the compressive magnetic field component of oblique fast-mode waves allows the cosmic ray particles to resonantly interact with these waves through the n = 0 resonance, together with gyroresonance, which strongly influence the Hillas limit. The derived results can be used to compute the parallel mean free path for all forms of the turbulence spectrum; it has been applied on the transport and propagation of CRs close to ultra-high energies in the Galaxy. An accurate understanding of particle acceleration in astrophysical sources could help to interpret eventual transition from Galactic to extragalactic origin of cosmic rays, if any, and the shape of the UHECR spectrum at the highest energies.


title: Controlling topological defects and contractile flow in confined nematic cell population

abstract: Topological defects in nematically aligned cell populations play a critical role in modulating collective motion, from microbial colonies to epithelial tissues. Despite the potential of manipulating such topological defects to control diverse self-organized structures and collective dynamics, defect manipulation in active matter remains an challenging area of research. In this study, we investigated the geometric control of defect positioning and alignment in a nematic cell population by imposing spatial constraints consisting of two or three overlapping circular boundaries. The confined cell population exhibited an ordered pairing of half-integer topological defects that remained stable even when the size of the spatial constraint was altered using geometric parameters. These defects also elicited robust contractile flow that induced a negative divergence in the velocity field of collective motion. Such net contractile flow can contribute to mechanical stimulation on confined cells, as evidenced by the stretched cell nucleus. Our geometry-based approach paves the way for controlling defect pairing, providing a deeper understanding of the interplay among geometry, topology, and collective dynamics.


title: Non-Holomorphic Soft-Term Contributions to the Higgs-Boson Masses in the Feynman Diagrammatic Approach

abstract: We study the effects of non-holomprphic soft SUSY-breaking terms added to the Minimal Supersymmetric Standard Model (MSSM) on the Higgs-boson masses. The calculation of the non-holomorphic contributions is perfromed at the one-loop level in the Feynman diagramatic approach. After generating a FeynArts model file with the help of SARAH, we calculate the renormalized Higgs-boson self-energies at the one-loop level using the FeynArts/FormCalc setup. The results obtained from FeynArts/FormCalc are fed to FeynHiggs to estimate the contributions to the neutral CP-even Higgs-boson masses, $M_{h,H}$, as well as to the charged Higgs-boson mass, $M_{H^{\pm}}$. For the specific set of parameter points that we choose for this study, the non-holomorphic soft-term contributions to the CP-even light Higgs boson mass $M_h$, contrary to claims in the literature, turn out to be very small. For the CP-even heavy Higgs boson mass, $M_{H}$, as well as for the charged Higgs boson mass, $M_{H^{\pm}}$, the contributions can be substantially larger for some parts of parameter space.


title: Krylov Complexity for Jacobi Coherent States

abstract: We develop computational tools necessary to extend the application of Krylov complexity beyond the simple Hamiltonian systems considered thus far in the literature. As a first step toward this broader goal, we show how the Lanczos algorithm that iteratively generates the Krylov basis can be augmented to treat coherent states associated with the Jacobi group, the semi-direct product of the 3-dimensional real Heisenberg-Weyl group $H_{1}$, and the symplectic group, $Sp(2,\mathbb{R})\simeq SU(1,1)$. Such coherent states are physically realized as squeezed states in, for example, quantum optics. With the Krylov basis for both the $SU(1,1)$ and Heisenberg-Weyl groups being well understood, their semi-direct product is also partially analytically tractable. We exploit this to benchmark a scheme to numerically compute the Lanczos coefficients which, in principle, generalizes to the more general Jacobi group $H_{n}\rtimes Sp(2n,\mathbb{R})$.


title: Non-local approximation of free-discontinuity problems in linear elasticity and application to stochastic homogenisation

abstract: We analyse the $\Gamma$-convergence of general non-local convolution type functionals with varying densities depending on the space variable and on the symmetrized gradient. The limit is a local free-discontinuity functional, where the bulk term can be completely characterized in terms of an asymptotic cell formula. From that, we can deduce an homogenisation result in the stochastic setting.


title: Reverse-Mode Automatic Differentiation of Compiled Programs

abstract: Tools for algorithmic differentiation (AD) provide accurate derivatives of computer-implemented functions for use in, e. g., optimization and machine learning (ML). However, they often require the source code of the function to be available in a restricted set of programming languages. As a step towards making AD accessible for code bases with cross-language or closed-source components, we recently presented the forward-mode AD tool Derivgrind. It inserts forward-mode AD logic into the machine code of a compiled program using the Valgrind dynamic binary instrumentation framework. This work extends Derivgrind, adding the capability to record the real-arithmetic evaluation tree, and thus enabling operator overloading style reverse-mode AD for compiled programs. We maintain the high level of correctness reported for Derivgrind's forward mode, failing the same few testcases in an extensive test suite for the same well-understood reasons. Runtime-wise, the recording slows down the execution of a compiled 64-bit benchmark program by a factor of about 180.


title: Predictions for future electron-ion colliders using the Balitsky--Kovchegov equation

abstract: This contribution presents the latest predictions for several QCD processes at low-x in the color dipole picture which are of interest for current hadron-hadron and future electron-hadron colliders. The predictions are derived using the solution to the Balitsky-Kovchegov equation for proton and nuclear targets. Two different approaches to the nuclear case are studied: a solution obtained using a newly proposed type of initial condition which represents the initial state of a given nucleus and the solutions based on an initial condition representing a proton coupled to a Glauber-Gribov prescription. The influence from the different energy evolutions of these two approaches are studied in the following photo-nuclear processes: inclusive and diffractive DIS, coherent production of a J/psi meson in ultra-peripheral collisions, and the deeply virtual Compton scattering. By comparison to the available data from HERA and the LHC and to the other models inspired by the Color Glass Condensate framework, it is demonstrated that the future measurements will be useful to discriminate among different approaches to saturation physics. The contribution was presented at the Hot Quarks 2022 - Workshop for young scientists on the physics of ultrarelativistic nucleus-nucleus collisions, Dao House, Colorado, USA, October 11-17 2022.


title: Third order, uniform in low to high oscillatory coefficients, exponential integrators for Klein-Gordon equations

abstract: Allowing for space- and time-dependence of mass in Klein--Gordon equations resolves the problem of negative probability density and of violation of Lorenz covariance of interaction in quantum mechanics. Moreover it extends their applicability to the domain of quantum cosmology, where the variation in mass may be accompanied by high oscillations. In this paper we propose a third-order exponential integrator, where the main idea lies in embedding the oscillations triggered by the possibly highly oscillatory component intrinsically into the numerical discretisation. While typically high oscillation requires appropriately small time steps, an application of Filon methods allows implementation with large time steps even in the presence of very high oscillation. This greatly improves the efficiency of the time-stepping algorithm. Proof of the convergence and its rate are nontrivial and require alternative representation of the equation under consideration. We derive careful bounds on the growth of global error in time discretisation and prove that, contrary to standard intuition, the error of time integration does not grow once the frequency of oscillations increases. Several numerical simulations are presented to confirm the theoretical investigations and the robustness of the method in all oscillatory regimes.


title: $F$-zips with additional structure on splitting models of Shimura varieties

abstract: We construct universal $G$-zips on good reductions of the Pappas-Rapoport splitting models for PEL-type Shimura varieties. We study the induced Ekedahl-Oort stratification, which sheds new light on the mod $p$ geometry of splitting models. Building on the work of Lan on arithmetic compactifications of splitting models, we further extend these constructions to smooth toroidal compactifications. Combined with the work of Goldring-Koskivirta on group theoretical Hasse invariants, we get an application to Galois representations associated to torsion classes in coherent cohomology in the ramified setting.


title: Representation Separation for Semantic Segmentation with Vision Transformers

abstract: Vision transformers (ViTs) encoding an image as a sequence of patches bring new paradigms for semantic segmentation.We present an efficient framework of representation separation in local-patch level and global-region level for semantic segmentation with ViTs. It is targeted for the peculiar over-smoothness of ViTs in semantic segmentation, and therefore differs from current popular paradigms of context modeling and most existing related methods reinforcing the advantage of attention. We first deliver the decoupled two-pathway network in which another pathway enhances and passes down local-patch discrepancy complementary to global representations of transformers. We then propose the spatially adaptive separation module to obtain more separate deep representations and the discriminative cross-attention which yields more discriminative region representations through novel auxiliary supervisions. The proposed methods achieve some impressive results: 1) incorporated with large-scale plain ViTs, our methods achieve new state-of-the-art performances on five widely used benchmarks; 2) using masked pre-trained plain ViTs, we achieve 68.9% mIoU on Pascal Context, setting a new record; 3) pyramid ViTs integrated with the decoupled two-pathway network even surpass the well-designed high-resolution ViTs on Cityscapes; 4) the improved representations by our framework have favorable transferability in images with natural corruptions. The codes will be released publicly.


title: Nonlinear perturbation of a high-order exceptional point: skin discrete breathers and the hierarchical power-law scaling

abstract: We study the nonlinear perturbation of a high-order exceptional point (EP) of the order equal to the system site number $L$ in a Hatano-Nelson model with unidirectional hopping and Kerr nonlinearity. Notably, We find a class of discrete breathers that aggregate to one boundary, here named as skin discrete breathers (SDBs). The nonlinear spectrum of these SDBs shows a hierarchical power-law scaling near the EP. Specifically, the response of nonlinear energy to the perturbation is given by $E_m\propto \varGamma^{\alpha_{m}}$, where $\alpha_m=3^{m-1}$ is the power with $m=1,\cdots,L$ labeling the nonlinear energy bands. This is in sharp contrast to the $L$-th root of a linear perturbation in general. These SDBs decay in a double-exponential manner, unlike the edge states or skin modes in linear systems, which decay exponentially. Furthermore, these SDBs can survive over the full range of nonlinearity strength and are continuously connected to the self-trapped states in the limit of large nonlinearity. They are also stable, as confirmed by a defined nonlinear fidelity of an adiabatic evolution from the stability analysis. As nonreciprocal nonlinear models may be experimentally realized in various platforms, such as the classical platform of optical waveguides, where Kerr nonlinearity is naturally present, and the quantum platform of optical lattices with Bose-Einstein condensates, our analytical results may inspire further exploration of the interplay between nonlinearity and non-Hermiticity, particularly on high-order EPs, and benchmark the relevant simulations.


title: OVO: One-shot Vision Transformer Search with Online distillation

abstract: Pure transformers have shown great potential for vision tasks recently. However, their accuracy in small or medium datasets is not satisfactory. Although some existing methods introduce a CNN as a teacher to guide the training process by distillation, the gap between teacher and student networks would lead to sub-optimal performance. In this work, we propose a new One-shot Vision transformer search framework with Online distillation, namely OVO. OVO samples sub-nets for both teacher and student networks for better distillation results. Benefiting from the online distillation, thousands of subnets in the supernet are well-trained without extra finetuning or retraining. In experiments, OVO-Ti achieves 73.32% top-1 accuracy on ImageNet and 75.2% on CIFAR-100, respectively.


title: Learning to Detect Noisy Labels Using Model-Based Features

abstract: Label noise is ubiquitous in various machine learning scenarios such as self-labeling with model predictions and erroneous data annotation. Many existing approaches are based on heuristics such as sample losses, which might not be flexible enough to achieve optimal solutions. Meta learning based methods address this issue by learning a data selection function, but can be hard to optimize. In light of these pros and cons, we propose Selection-Enhanced Noisy label Training (SENT) that does not rely on meta learning while having the flexibility of being data-driven. SENT transfers the noise distribution to a clean set and trains a model to distinguish noisy labels from clean ones using model-based features. Empirically, on a wide range of tasks including text classification and speech recognition, SENT improves performance over strong baselines under the settings of self-training and label corruption.


title: Python FPGA Programming with Data-Centric Multi-Level Design

abstract: Although high-level synthesis (HLS) tools have significantly improved programmer productivity over hardware description languages, developing for FPGAs remains tedious and error prone. Programmers must learn and implement a large set of vendor-specific syntax, patterns, and tricks to optimize (or even successfully compile) their applications, while dealing with ever-changing toolflows from the FPGA vendors. We propose a new way to develop, optimize, and compile FPGA programs. The Data-Centric parallel programming (DaCe) framework allows applications to be defined by their dataflow and control flow through the Stateful DataFlow multiGraph (SDFG) representation, capturing the abstract program characteristics, and exposing a plethora of optimization opportunities. In this work, we show how extending SDFGs with multi-level Library Nodes incorporates both domain-specific and platform-specific optimizations into the design flow, enabling knowledge transfer across application domains and FPGA vendors. We present the HLS-based FPGA code generation backend of DaCe, and show how SDFGs are code generated for either FPGA vendor, emitting efficient HLS code that is structured and annotated to implement the desired architecture.


title: Lexicographic Multi-Objective Reinforcement Learning

abstract: In this work we introduce reinforcement learning techniques for solving lexicographic multi-objective problems. These are problems that involve multiple reward signals, and where the goal is to learn a policy that maximises the first reward signal, and subject to this constraint also maximises the second reward signal, and so on. We present a family of both action-value and policy gradient algorithms that can be used to solve such problems, and prove that they converge to policies that are lexicographically optimal. We evaluate the scalability and performance of these algorithms empirically, demonstrating their practical applicability. As a more specific application, we show how our algorithms can be used to impose safety constraints on the behaviour of an agent, and compare their performance in this context with that of other constrained reinforcement learning algorithms.


title: On the structure of finite groups determined by the arithmetic and geometric means of element orders

abstract: In this paper we consider two functions related to the arithmetic and geometric means of element orders of a finite group, showing that certain lower bounds on such functions strongly affect the group structure. In particular, for every prime $p$, we prove a sufficient condition for a finite group to be $p$-nilpotent, that is, a group whose elements of $p'$-order form a normal subgroup. Moreover, we characterize finite cyclic groups with prescribed number of prime divisors.


title: Exploring Vision Transformers as Diffusion Learners

abstract: Score-based diffusion models have captured widespread attention and funded fast progress of recent vision generative tasks. In this paper, we focus on diffusion model backbone which has been much neglected before. We systematically explore vision Transformers as diffusion learners for various generative tasks. With our improvements the performance of vanilla ViT-based backbone (IU-ViT) is boosted to be on par with traditional U-Net-based methods. We further provide a hypothesis on the implication of disentangling the generative backbone as an encoder-decoder structure and show proof-of-concept experiments verifying the effectiveness of a stronger encoder for generative tasks with ASymmetriC ENcoder Decoder (ASCEND). Our improvements achieve competitive results on CIFAR-10, CelebA, LSUN, CUB Bird and large-resolution text-to-image tasks. To the best of our knowledge, we are the first to successfully train a single diffusion model on text-to-image task beyond 64x64 resolution. We hope this will motivate people to rethink the modeling choices and the training pipelines for diffusion-based generative models.


title: On the Number of Stars in the Sun's Birth Cluster

abstract: The Sun is thought to be formed within a star cluster. The coexistence of $^{26}{\rm Al}$-rich and $^{26}{\rm Al}$-poor calcium--aluminum-rich inclusions indicates that a direct injection of $^{26}{\rm Al}$-rich materials from a nearby core-collapse supernova should occur in the first $10^5$ years of the solar system. Therefore, at least one core-collapse supernova should occur within the duration of star formation in the Sun's birth cluster. Here we revisit the number of stars in the Sun's birth cluster from the point of view of the probability for acquiring at least one core-collapse supernova within the finite duration of star formation in the birth cluster. We find that the number of stars in the birth cluster can be significantly larger than that previously considered, depending on the duration of star formation.


title: A Bayesian Framework for Automated Debugging

abstract: Debugging takes up a significant portion of developer time. As a result, automated debugging techniques including Fault Localization (FL) and Automated Program Repair (APR) have garnered significant attention due to their potential to aid developers in debugging tasks. Despite intensive research on these subjects, we are unaware of a theoretic framework that highlights the principles behind automated debugging and allows abstract analysis of techniques. Such a framework would heighten our understanding of the endeavor and provide a way to formally analyze techniques and approaches. To this end, we first propose a Bayesian framework of understanding automated repair and find that in conjunction with a concrete statement of the objective of automated debugging, we can recover maximal fault localization formulae from prior work, as well as analyze existing APR techniques and their underlying assumptions. As a means of empirically demonstrating our framework, we further propose BAPP, a Bayesian Patch Prioritization technique that incorporates intermediate program values to analyze likely patch locations and repair actions, with its core equations being derived by our Bayesian framework. We find that incorporating program values allows BAPP to identify correct patches more precisely: when applied to the patches generated by kPAR, the rankings produced by BAPP reduce the number of required patch validation by 68% and consequently reduce the repair time by 34 minutes on average. Further, BAPP improves the precision of FL, increasing acc@5 on the studied bugs from 8 to 11. These results highlight the potential of value-cognizant automated debugging techniques, and further validates our theoretical framework. Finally, future directions that the framework suggests are provided.


title: Forming a ranking from tied evaluations: a case of an online, interactive student peer assessment system

abstract: In higher education courses, peer assessment activities are common for keeping students engaged during presentations. Defining precisely how students assess the work of others requires careful consideration. Asking the student for numeric grades is the most common method. However, students tend to assign high grades to most projects. Aggregating peer assessments, therefore, results in all projects receiving the same grade. Moreover, students might strategically assign low grades to the projects of others so that their projects will shine. Asking students to order all projects from best to worst imposes a high cognitive load on them, as studies have shown that people find it difficult to order more than a handful of items. To address these issues, we propose a novel peer rating model consisting of (a) an algorithm that elicits student assessments and (b) a protocol for aggregating grades to produce a single order. The algorithm asks students to evaluate projects and answer pairwise comparison queries. These are then aggregated into a ranking over the projects. An application based on our model was deployed and tested in a university course and showed promising results, including fewer ties between alternatives and a significant reduction in the communication load on students. These results indicate that the model provides a simple, accurate, and efficient approach to peer review.


title: On free global spectra

abstract: In this note we define and study free global spectra: global spectra with non-trivial geometric fixed points only at the trivial group. We show that free global spectra often do not exist, and when they do, their homotopy groups satisfy strong divisibility conditions. As an application, we show that the universal free $G$-spectrum $EG_+$ does not admit a global refinement.


title: Uncertainty principle and gravity

abstract: We give a pedagogical introduction to the generalized uncertainty principle (GUP), by showing how it naturally emerges when the action of gravity is taken into account in measurement processes. We review some physical predictions of the GUP. In particular we focus on the bounds that present experimental tests can put on the value of the deformation parameter $\beta$, and on the prediction of black hole remnants, which are a good candidate for dark matter. In passing, we also quote a theoretical value computed for $\beta$, and swiftly comment on the vast parameter region still unexplored, and to be probed by future experiments.


title: Distributed Active Noise Control System Based on a Block Diffusion FxLMS Algorithm with Bidirectional Communication

abstract: Recently, distributed active noise control systems based on diffusion adaptation have attracted significant research interest due to their balance between computational complexity and stability compared to conventional centralized and decentralized adaptation schemes. However, the existing diffusion FxLMS algorithm employs node-specific adaptation and neighborhood-wide combination, and assumes that the control filters of neighbor nodes are similar to each other. This assumption is not true in practical applications, and it leads to inferior performance to the centralized controller approach. In contrast, this paper proposes a Block Diffusion FxLMS algorithm with bidirectional communication, which uses neighborhood-wide adaptation and node-specific combination to update the control filters. Simulation results validate that the proposed algorithm converges to the solution of the centralized controller with reduced computational burden.


title: Testing the $\phi$-nuclear potential in pion-induced $\phi$ meson production on nuclei near threshold

abstract: The near-threshold pion-induced $\phi$ production off nuclei has been studied in the kinematical conditions of the HADES experiment using a collision model based on the nuclear spectral function. Starting from the elementary reaction ${\pi^-}p \to {\phi}n$, absolute differential and integral cross sections for the production of $\phi$ mesons off a light carbon and a heavy tungsten target have been calculated and compared to the recently reported experimental cross sections. The absolute cross section values are shown to be sensitive to the effective nuclear scalar $\phi$ and neutron potentials while the transparency ratio is governed by the ${\phi}N$ absorption cross section. The experimental data are found to be consistent with an attractive ${\phi}$-nucleus potential of $\approx$ -(50--100) MeV at normal nuclear matter density $\rho_0$ and an effective ${\phi}N$ absorption cross section of $\approx$ 12--25 mb. The extracted $\phi$-nucleus potential is deeper than previous theoretical and experimental findings as well as those obtained in the present work within the ($t{\rho}$) approximation with accounting for Pauli correlations from the spin-averaged $\phi$-$p$ scattering length reported in a recent ALICE experiment.


title: The Structure of the 2-factor Transfer Digraph common for Thin Cylinder, Torus and Klein Bottle Grid Graphs

abstract: We prove that the transfer digraph ${\cal D}^*_{C,m}$ needed for the enumeration of 2-factors in the thin cylinder $TnC_{m}(n)$, torus $TG_{m}(n)$ and Klein bottle $KB_m(n)$ (all grid graphs of the fixed width $m$ and with $m \cdot n$ vertices), when $m$ is odd, has only two components of order $2^{m-1}$ which are isomorphic. When $m$ is even, ${\cal D}^*_{C,m}$ has $ \left\lfloor \frac{m}{2} \right\rfloor + 1$ components which orders can be expressed via binomial coefficients and all but one of the components are bipartite digraphs. The proof is based on the application of recently obtained results concerning the related transfer digraph for linear grid graphs (rectangular, thick cylinder and Moebius strip).


title: SynCLay: Interactive Synthesis of Histology Images from Bespoke Cellular Layouts

abstract: Automated synthesis of histology images has several potential applications in computational pathology. However, no existing method can generate realistic tissue images with a bespoke cellular layout or user-defined histology parameters. In this work, we propose a novel framework called SynCLay (Synthesis from Cellular Layouts) that can construct realistic and high-quality histology images from user-defined cellular layouts along with annotated cellular boundaries. Tissue image generation based on bespoke cellular layouts through the proposed framework allows users to generate different histological patterns from arbitrary topological arrangement of different types of cells. SynCLay generated synthetic images can be helpful in studying the role of different types of cells present in the tumor microenvironmet. Additionally, they can assist in balancing the distribution of cellular counts in tissue images for designing accurate cellular composition predictors by minimizing the effects of data imbalance. We train SynCLay in an adversarial manner and integrate a nuclear segmentation and classification model in its training to refine nuclear structures and generate nuclear masks in conjunction with synthetic images. During inference, we combine the model with another parametric model for generating colon images and associated cellular counts as annotations given the grade of differentiation and cell densities of different cells. We assess the generated images quantitatively and report on feedback from trained pathologists who assigned realism scores to a set of images generated by the framework. The average realism score across all pathologists for synthetic images was as high as that for the real images. We also show that augmenting limited real data with the synthetic data generated by our framework can significantly boost prediction performance of the cellular composition prediction task.


title: The Geometry and Superconformal Algebras of String Compactifications with a $G$-structure

abstract: In this thesis we study string compactifications on manifolds equipped with a $G$-structure, placing a special emphasis on the interplay between geometry and physics. We follow two complementary approaches. In the first part of the thesis we adopt a sigma model perspective and focus on the worldsheet superconformal field theory. We consider compactifications on 7-dimensional Extra Twisted Connected Sum (ETCS) G$_2$ manifolds as well as 8-dimensional Generalized Connected Sum (GCS) Spin(7) manifolds. We find that the geometric construction is reproduced in the worldsheet algebra via a diamond of algebra inclusions. In the second part of the thesis we change gears and consider string compactifications from a supergravity point of view. In particular, we focus on compactifications of the heterotic string down to three spacetime dimensions preserving minimal supersymmetry $\mathcal{N}=1$, which are described by the heterotic G$_2$ system. We construct new families of AdS$_3$ solutions to this system on homogeneous 3-Sasakian manifolds with squashed metrics.


title: Comprehensive theory of the Lamb shift in light muonic atoms

abstract: A comprehensive theory of the Lamb shift in light muonic atoms such as $\mu$H, $\mu$D, $\mu^3$He$^+$, and $\mu^4$He$^+$ is presented, with all quantum electrodynamic corrections included at the precision level constrained by the uncertainty of nuclear structure effects. This analysis can be used in the global adjustment of fundamental constants and in the determination of nuclear charge radii. Further improvements in the understanding of electromagnetic interactions of light nuclei will allow for a promising test of fundamental interactions by comparison with ``normal" atomic spectroscopy, in particular, with H-D and $^3$He-$^4$He isotope shifts.


title: Controlled Synchronization of Coupled Pendulums by Koopman Model Predictive Control

abstract: We propose and experimentally demonstrate a feedback control method that allows synchronizing the motion of a chain of several coupled nonlinear oscillators actuated through one end of the chain. The chain considered in this work is a one-dimensional array of pendulums pivoting around a single axis and interacting with adjacent pendulums through torsion springs; the array is actuated using a single torque motor attached to one of the two boundary pendulums. This represents a mechanical realization of the Frenkel-Kontorova model { a spatially discrete version of a sine-Gordon equation describing (nonlinear) waves. The main challenges of controlling these systems are: high order (the number of pendulums can be high), nonlinear dynamics, and (as we set the problem here) only one actuator. The presented problem of synchronization of motion is a special case of the problem of reference tracking, where all pendulums reach a common point or a trajectory. In particular, we demonstrate synchronization to a stable equilibrium (all pendulums downward), unstable equilibrium (all pendulums upward), and a periodic orbit (all pendulums revolving). We use the Koopman Model Predictive Control (KMPC) that constructs a linear predictor of the nonlinear system in a higher-dimensional lifted space and uses the predictor within a classical linear MPC, thereby maintaining low computational cost that allows for a real-time implementation, while taking into account the complex nonlinear dynamics.


title: Three-dimensional bond-order instability in infinite-layer nickelates due to nonlocal quantum interference

abstract: Recently discovered superconducting infinite-layer nickelates $R$NiO$_2$ ($R$=Nd, La, Pr) attracts increasing attention as a similar system to cuprates. Both $R$NiO$_2$ and YBCO cuprates display the three-dimensional (3D) CDW with wave vector ${\bf q}\sim(2\pi/3,0,q_z)$, while $q_z$ is non-zero and incommensurate in the former system. Here, we reveal that the characteristic CDW in $R$NiO$_2$ can be naturally explained as the quantum interference between paramagnons, by focusing on the following characteristics of $R$NiO$_2$: (i) prominent three-dimensionality in the Fermi surface and (ii) large self-hole-doping ($\sim 14$%). This mechanism predicts the emergence of the $d_{x^2-y^2}$-wave bond order at a secondary 3D nesting vector ${\bf q}^c\sim(2\pi/3,0,q^c_z)$ $(q^c_z=0.2\pi\sim 2\pi/3)$. The obtained strong bond fluctuations lead to the non-Fermi liquid electronic states and superconducting states in nickelates.


title: On generations by conjugate elements in almost simple groups with socle $\mbox{}^2F_4(q^2)'$

abstract: We prove that if $L=\mbox{}^2F_4(2^{2n+1})'$ and $x$ is a nonidentity automorphism of $L$ then $G=\langle L,x\rangle$ has four elements conjugate to $x$ that generate $G$. This result is used to study the following conjecture about the $\pi$-radical of a finite group: Let $\pi$ be a proper subset of the set of all primes and let $r$ be the least prime not belonging to $\pi$. Set $m=r$ if $r=2$ or $3$ and set $m=r-1$ if $r\geqslant 5$. Supposedly, an element $x$ of a finite group $G$ is contained in the $\pi$-radical $\operatorname{O}_\pi(G)$ if and only if every $m$ conjugates of $x$ generate a $\pi$-subgroup. Based on the results of this paper and a few previous ones, the conjecture is confirmed for all finite groups whose every nonabelian composition factor is isomorphic to a sporadic, alternating, linear, or unitary simple group, or to one of the groups of type ${}^2B_2(2^{2n+1})$, ${}^2G_2(3^{2n+1})$, ${}^2F_4(2^{2n+1})'$, $G_2(q)$, or ${}^3D_4(q)$.


title: Left Co-K\"othe Rings and Their Characterizations

abstract: K\"othe's classical problem posed by G. K\"othe in 1935 asks to describe the rings $R$ such that every left $R$-module is a direct sum of cyclic modules (these rings are known as left K\"othe rings). K\"othe, Cohen and Kaplansky solved this problem for all commutative rings (that are Artinian principal ideal rings). During the years 1962 to 1965, Kawada solved K\"othe's problem for basic fnite-dimensional algebras. But, so far, K\"othe's problem was open in the non-commutative setting. Recently, in the paper ["Several characterizations of left K\"othe rings", submitted], we classified left K\"othe rings into three classes one contained in the other: left K\"othe rings, strongly left K\"othe rings and very strongly left K\"othe rings, and then, we solved K\"othe's problem by giving several characterizations of these rings in terms of describing the indecomposable modules. In this paper, we will introduce the Morita duals of these notions as left co-K\"othe ring, strongly left co-K\"othe rings and very strongly left co-K\"othe rings, and then, we give several structural characterizations for each of them.


title: Tensor powers of adjoint representations ot classical Lie groups

abstract: Exploiting particular features of classical groups, simple constructions are given for the irreducible constituents of the tensor square of the adjoint modules and the leading terms in higher tensor powers. This provides an independent confirmation of Vogel's general formulae, and alternative approach to that in some recent papers.


title: Explainable and Lightweight Model for COVID-19 Detection Using Chest Radiology Images

abstract: Deep learning (DL) analysis of Chest X-ray (CXR) and Computed tomography (CT) images has garnered a lot of attention in recent times due to the COVID-19 pandemic. Convolutional Neural Networks (CNNs) are well suited for the image analysis tasks when trained on humongous amounts of data. Applications developed for medical image analysis require high sensitivity and precision compared to any other fields. Most of the tools proposed for detection of COVID-19 claims to have high sensitivity and recalls but have failed to generalize and perform when tested on unseen datasets. This encouraged us to develop a CNN model, analyze and understand the performance of it by visualizing the predictions of the model using class activation maps generated using (Gradient-weighted Class Activation Mapping) Grad-CAM technique. This study provides a detailed discussion of the success and failure of the proposed model at an image level. Performance of the model is compared with state-of-the-art DL models and shown to be comparable. The data and code used are available at https://github.com/aleesuss/c19.


title: Extendability of continuous quasiconvex functions from subspaces

abstract: Let $Y$ be a subspace of a topological vector space $X$, and $A\subset X$ an open convex set that intersects $Y$. We say that the property $(QE)$ [property $(CE)$] holds if every continuous quasiconvex [continuous convex] function on $A\cap Y$ admits a continuous quasiconvex [continuous convex] extension defined on $A$. We study relations between $(QE)$ and $(CE)$ properties, proving that $(QE)$ always implies $(CE)$ and that, under suitable hypotheses (satisfied for example if $X$ is a normed space and $Y$ is a closed subspace of $X$), the two properties are equivalent. By combining the previous implications between $(QE)$ and $(CE)$ properties with known results about the property $(CE)$, we obtain some new positive results about the extension of quasiconvex continuous functions. In particular, we generalize the results contained in \cite{DEQEX} to the infinite-dimensional separable case. Moreover, we also immediately obtain existence of examples in which $(QE)$ does not hold.


title: Real space thermalization of locally driven quantum magnets

abstract: Thermalization and its breakdown in isolated systems has led to a deeper understanding of non-equilibrium quantum states and their dependence on initial conditions. This is prominently highlighted by the existence of quantum scars, special athermal states with an underlying effective superspin structure, embedded in an otherwise chaotic many-body spectrum. Spin $XXZ$ models and their variants in one and higher dimension have been shown to host exact quantum scars, exhibiting perfect revivals of spin helix states that are realizable in synthetic and condensed matter systems. Motivated by these advances, we propose experimentally accessible local, time-dependent protocols to explore the spatial thermalization profile and highlight how different parts of the system thermalize and affect the fate of the superspin. We identify distinct parametric regimes for the ferromagnetic ($X$-polarized) initial state based on the interplay between the driven spin and the rest, including local athermal behavior where the driven spin effectively decouples, acting like a "cold" spot while being instrumental in heating up the other spins. We develop a real and Floquet space picture that explains our numerical observations, and make predictions that can be tested in various experimental setups.


title: StyleID: Identity Disentanglement for Anonymizing Faces

abstract: Privacy of machine learning models is one of the remaining challenges that hinder the broad adoption of Artificial Intelligent (AI). This paper considers this problem in the context of image datasets containing faces. Anonymization of such datasets is becoming increasingly important due to their central role in the training of autonomous cars, for example, and the vast amount of data generated by surveillance systems. While most prior work de-identifies facial images by modifying identity features in pixel space, we instead project the image onto the latent space of a Generative Adversarial Network (GAN) model, find the features that provide the biggest identity disentanglement, and then manipulate these features in latent space, pixel space, or both. The main contribution of the paper is the design of a feature-preserving anonymization framework, StyleID, which protects the individuals' identity, while preserving as many characteristics of the original faces in the image dataset as possible. As part of the contribution, we present a novel disentanglement metric, three complementing disentanglement methods, and new insights into identity disentanglement. StyleID provides tunable privacy, has low computational complexity, and is shown to outperform current state-of-the-art solutions.


title: Periocular Biometrics: A Modality for Unconstrained Scenarios

abstract: Periocular refers to the externally visible region of the face that surrounds the eye socket. This feature-rich area can provide accurate identification in unconstrained or uncooperative scenarios, where the iris or face modalities may not offer sufficient biometric cues due to factors such as partial occlusion or high subject-to-camera distance. The COVID-19 pandemic has further highlighted its importance, as the ocular region remained the only visible facial area even in controlled settings due to the widespread use of masks. This paper discusses the state of the art in periocular biometrics, presenting an overall framework encompassing its most significant research aspects, which include: (a) ocular definition, acquisition, and detection; (b) identity recognition, including combination with other modalities and use of various spectra; and (c) ocular soft-biometric analysis. Finally, we conclude by addressing current challenges and proposing future directions.


title: Multi-hadron interactions from lattice QCD

abstract: First-principles calculations of multi-hadron dynamics are a crucial goal in lattice QCD. Significant progress has been achieved in developing, implementing, and applying theoretical tools that connect finite-volume quantities to their infinite-volume counterparts. Here, I review some recent theoretical developments and numerical results regarding multi-particle quantities in a finite volume. These results include $N\pi$ scattering, systems of two and three mesons at maximal isospin, three-body resonances in a toy model, and the formulation of effective theories in finite volume for multi-nucleon systems.


title: Dyck paths, binary words, and Grassmannian permutations avoiding an increasing pattern

abstract: A permutation is called Grassmannian if it has at most one descent. The study of pattern avoidance in such permutations was initiated by Gil and Tomasko in 2021. We continue this work by studying Grassmannian permutations that avoid an increasing pattern. In particular, we count the Grassmannian permutations of size $m$ avoiding the identity permutation of size $k$, thus solving a conjecture made by Weiner. We also refine our counts to special classes such as odd Grassmannian permutations and Grassmannian involutions. We prove most of our results by relating Grassmannian permutations to Dyck paths and binary words.


title: Acoustic Equation in a Lossy Medium

abstract: Here, the acoustic equation for a lossy medium is derived from the first principle from the linearized compressible Navier-Stokes equation without Stokes' hypothesis. The dispersion relation of the governing equation is obtained, which exhibits both the dispersive and dissipative nature of the acoustic perturbations traveling in a lossy medium, depending upon the length scale. We specifically provide a theoretical cut-off wave number above which the acoustic equation represents a diffusive nature. Such a behavior has not been reported before, as per the knowledge of the authors.


title: Axial Magnetic Quadrupole Mode of Dielectric Resonator for Omnidirectional Wireless Power Transfer

abstract: To achieve omnidirectional wireless power transfer with high efficiency, a high Q-factor transmitter generating homogeneous magnetic field is crucial. Traditionally, orthogonal coils of different shapes are used to realize transmitters. In this paper, we develop an omnidirectional magnetic resonant wireless power transfer system based on a dielectric disk resonator with colossal permittivity and low loss operating at axial magnetic quadrupole mode. The constant power transfer efficiency of 88% at the frequency of 157 MHz over the transfer distance of 3 cm for all angular positions of a receiver is experimentally demonstrated. The possibility of multi-receivers charging is also studied demonstrating a total efficiency of 90% regardless of angular position between two receivers with respect to the transmitting disk resonator. The minimized exposure of biological tissues to the electric and magnetic fields as well as a low specific absorption rate is observed that makes the WPT system safer for charging with higher input power.


title: Increasing the second uniform indiscernible by strongly ssp forcing

abstract: We introduce a new and natural stationary set preserving forcing $\mathbb P^{c-c}({\lambda},{\mu})$ that (under $\mathsf{NS}_{\omega_1}$ precipitous + existence of $H_{\theta}^#$ for a sufficiently large regular ${\theta}$) increases the second uniform indiscernible $\mathbf{u}_2$ beyond some given ordinal ${\lambda}$. The forcing $\mathbb P^{c-c}$ shares this property with forcings defined in [2] and [9]. As a main tool we use certain natural open two player games which are of independent interest, viz. the capturing games $\mathbf{G}_M^{cap}(X)$ and the catching-capturing games $\mathbf{G}_M^{c-c}(X)$. In particular, these games are used to isolate a special family of countable elementary submodels $M \prec H_{\theta}$ that occur as side conditions in $\mathbb P^{c-c}$ and thus allow to control the forcing in a strong way.


title: Efficient Battery Usage in Wireless-Powered Cell-Free Systems with Self-Energy Recycling

abstract: This paper investigates wireless-powered cell-free systems, in which the users send their uplink data signal while simultaneously harvesting energy from network nodes and user terminals - including the transmitting user terminal itself - by performing self-energy recycling. In this rather general setting, a closed-form lower bound of the amount of harvested energy and the achieved signal-to-interference-plus-noise ratio expressions are derived. Then, to improve the energy efficiency, we formulate the problem of minimizing the users' battery energy usage while satisfying minimum data rate requirements. Due to the non-convexity of the problem, a novel alternating optimization algorithm is proposed, and its proof of convergence is provided. Finally, numerical results show that the proposed method is more efficient than a state-of-art algorithm in terms of battery energy usage and outage rate.


title: Noncrossing partitions of a marked surface

abstract: We define noncrossing partitions of a marked surface without punctures (interior marked points). We show that the natural partial order on noncrossing partitions is a graded lattice and describe its rank function topologically. Lower intervals in the lattice are isomorphic to products of noncrossing partition lattices of other surfaces. We similarly define noncrossing partitions of a symmetric marked surface with double points and prove some of the analogous results. The combination of symmetry and double points plays a role that one might have expected to be played by punctures.


title: First-quantized eigensolver for ground and excited states of electrons under a uniform magnetic field

abstract: First-quantized eigensolver (FQE) is a recently proposed framework of quantum computation for obtaining the ground state of an interacting electronic system based on probabilistic imaginary-time evolution. In this study, we propose a method for introducing a uniform magnetic field to an FQE calculation. We demonstrate via resource estimation that the additional circuit responsible for the magnetic field can be implemented with a liner depth in terms of the number of qubits assigned to each electron, giving rise to no impact on the leading order of whole computational cost. We confirm the validity of our method via numerical simulations for ground and excited states by employing the filtration circuits for energy eigenstates. We also provide the generic construction of derivative circuits together with measurement-based formulae. As a special case of them, we can obtain the electric-current density in an electronic system to get insights into the microscopic origin of magnetic response.


title: Classical and quantum Merlin-Arthur automata

abstract: We introduce Merlin-Arthur (MA) automata as Merlin provides a single certificate and it is scanned by Arthur before reading the input. We define Merlin-Arthur deterministic, probabilistic, and quantum finite state automata (resp., MA-DFAs, MA-PFAs, MA-QFAs) and postselecting MA-PFAs and MA-QFAs (resp., MA-PostPFA and MA-PostQFA). We obtain several results using different certificate lengths. We show that MA-DFAs use constant length certificates, and they are equivalent to multi-entry DFAs. Thus, they recognize all and only regular languages but can be exponential and polynomial state efficient over binary and unary languages, respectively. With sublinear length certificates, MA-PFAs can recognize several nonstochastic unary languages with cutpoint 1/2. With linear length certificates, MA-PostPFAs recognize the same nonstochastic unary languages with bounded error. With arbitrarily long certificates, bounded-error MA-PostPFAs verify every unary decidable language. With sublinear length certificates, bounded-error MA-PostQFAs verify several nonstochastic unary languages. With linear length certificates, they can verify every unary language and some NP-complete binary languages. With exponential length certificates, they can verify every binary language.


title: Third post-Newtonian effective-one-body Hamiltonian in scalar-tensor and Einstein-scalar-Gauss-Bonnet gravity

abstract: We build an effective-one-body (EOB) Hamiltonian at third post-Newtonian (3PN) order in scalar-tensor (ST) and Einstein-scalar-Gauss-Bonnet (ESGB) theories of gravity. The latter is an extension of general relativity that predicts scalar hair for black holes. We start from the known two-body Lagrangian at 3PN order, and use order-reduction methods to construct its ordinary Hamiltonian counterpart. We then reduce the conservative two-body dynamics to the (nongeodesic) motion of a test particle in an effective metric by means of canonical transformations. The resulting EOB Hamiltonian is a modification of the general relativistic Hamiltonian, and already at 3PN order, it must account for nonlocal-in-time tail contributions. We include the latter beyond circular orbits and up to sixth order in the binary's orbital eccentricity. We finally calculate the orbital frequency at the innermost stable circular orbit (ISCO) of binary black holes in the shift-symmetric ESGB model. Our work extends F.L. Juli\'e and N. Deruelle [Phys. Rev. D 95, 124054 (2017)], and it is an essential step toward the accurate modeling of gravitational waveforms beyond general relativity.


title: Bratteli diagrams in Borel dynamics

abstract: Bratteli-Vershik models have been very successfully applied to the study of various dynamical systems, in particular, in Cantor dynamics. In this paper, we study dynamics on the path spaces of generalized Bratteli diagrams that form models for non-compact Borel dynamical systems. Generalized Bratteli diagrams have countably infinite many vertices at each level, thus the corresponding incidence matrices are also countably infinite. We emphasize differences (and similarities) between generalized and classical Bratteli diagrams. Our main results: $(i)$ We utilize Perron-Frobenius theory for countably infinite matrices to establish criteria for the existence and uniqueness of tail-invariant path space measures (both probability and $\sigma$-finite). $(ii)$ We provide criteria for the topological transitivity of the tail equivalence relation. $(iii)$ We describe classes of stationary generalized Bratteli diagrams (hence Borel dynamical systems) that: $(a)$ do not support a probability tail-invariant measure, $(b)$ are not uniquely ergodic with respect to the tail equivalence relation. $(iv)$ We describe classes of generalized Bratteli diagrams which can or cannot admit a continuous Vershik map and construct a Vershik map which is a minimal homeomorphism of a (non locally compact) Polish space. $(v)$ We provide an application of the theory of stochastic matrices to analyze diagrams with positive recurrent incidence matrices.


title: A Distributed Game-Theoretic Solution for Power Management in the Uplink of Cell-Free Systems

abstract: This paper investigates cell-free massive multiple input multiple output systems with a particular focus on uplink power allocation. In these systems, uplink power control is highly non-trivial, since a single user terminal is associated with multiple intended receiving base stations. In addition, in cell-free systems, distributed power control schemes that address the inherent spectral and energy efficiency targets are desirable. By utilizing tools from game theory, we formulate our proposal as a noncooperative game, and using the best-response dynamics, we obtain a distributed power control mechanism. To ensure that this power control game converges to a Nash equilibrium, we apply the theory of potential games. Differently from existing gamebased schemes, interestingly, our proposed potential function has a scalar parameter that controls the power usage of the users. Numerical results confirm that the proposed approach improves the use of the energy stored in the battery of user terminals and balances between spectral and energy efficiency.


title: Swin MAE: Masked Autoencoders for Small Datasets

abstract: The development of deep learning models in medical image analysis is majorly limited by the lack of large-sized and well-annotated datasets. Unsupervised learning does not require labels and is more suitable for solving medical image analysis problems. However, most of the current unsupervised learning methods need to be applied to large datasets. To make unsupervised learning applicable to small datasets, we proposed Swin MAE, which is a masked autoencoder with Swin Transformer as its backbone. Even on a dataset of only a few thousand medical images and without using any pre-trained models, Swin MAE is still able to learn useful semantic features purely from images. It can equal or even slightly outperform the supervised model obtained by Swin Transformer trained on ImageNet in terms of the transfer learning results of downstream tasks. The code is publicly available at https://github.com/Zian-Xu/Swin-MAE.


title: Matrix product states, geometry, and invariant theory

abstract: Matrix product states play an important role in quantum information theory to represent states of many-body systems. They can be seen as low-dimensional subvarieties of a high-dimensional tensor space. In these notes, we consider two variants: homogeneous matrix product states and uniform matrix product states. Studying the linear spans of these varieties leads to a natural connection with invariant theory of matrices. For homogeneous matrix product states, a classical result on polynomial identities of matrices leads to a formula for the dimension of the linear span, in the case of 2x2 matrices. These notes are based partially on a talk given by the author at the University of Warsaw during the thematic semester "AGATES: Algebraic Geometry with Applications to TEnsors and Secants", and partially on further research done during the semester. This is still a preliminary version; an updated version will be uploaded over the course of 2023.


title: Yang-Baxter equation and cryptography

abstract: We find a method to construct iteratively from a non-degenerate involutive set-theoretic solution of the Yang-Baxter equation an infinite family of very large non-degenerate involutive set-theoretic solutions. In case the initial solution is irretractable, all the induced solutions are also irretractable. In case the initial solution is indecomposable, we give a criterion to decide whether all the induced solutions are also indecomposable. Besides the interest in the construction of large (indecomposable) solutions of the Yang-Baxter equation, this construction may have some applications in cryptography. Indeed, we suggest a public key encryption method and a signature method based on our construction, and examine their strengths and weaknesses.


title: Index estimates for sequences of harmonic maps

abstract: In this paper we study upper and lower bounds of the index and the nullity for sequences of harmonic maps with uniformly bounded Dirichlet energy from a two-dimensional Riemann surface into a compact target manifold. The main difficulty stems from the fact that in the limit the sequence can develop finitely many bubbles. We obtain the index bounds by studying the limiting behavior of sequences of eigenfunctions of the linearized operator and the key novelty of the present paper is that we diagonalize the index form of the Dirichlet energy with respect to a bilinear form which varies with the sequence of harmonic maps and which helps us to show the convergence of the sequence of eigenfunctions on the weak limit, the bubbles and the intermediate neck regions. Finally, we sketch how to modify our arguments in order to also cover the more general case of sequences of critical points of two-dimensional conformally invariant variational problems.


title: Atomic Force Microscopy Simulations for CO-functionalized tips with Deep Learning

abstract: Atomic Force Microscopy (AFM) operating in the frequency modulation mode with a metal tip functionalized with a CO molecule images the internal structure of molecules with an unprecedented resolution. The interpretation of these images is often difficult, making the support of theoretical simulations important. Current simulation methods, particularly the most accurate ones, require expertise and resources to perform ab initio calculations for the necessary inputs (i.e charge density and electrostatic potential of the molecule). Here, we propose an efficient and simple alternative to simulate these AFM images based on a Conditional Generative Adversarial Network (CGAN), that avoids all force calculations, and uses as the only input a 2D ball--and--stick depiction of the molecule. We discuss the performance of the model when optimized using different training subsets. Our CGAN reproduces accurately the intramolecular contrast observed in the simulated images for quasi--planar molecules, but has significant limitations for molecules with a significant internal torsion, due to the strictly 2D character of the input.


title: All's well that FID's well? Result quality and metric scores in GAN models for lip-sychronization tasks

abstract: We test the performance of GAN models for lip-synchronization. For this, we reimplement LipGAN in Pytorch, train it on the dataset GRID and compare it to our own variation, L1WGAN-GP, adapted to the LipGAN architecture and also trained on GRID.


title: Intrinsic torsion and scalar curvature of Spin(7)-structure

abstract: We derive the explicit formula for the intrinsic torsion of a ${\rm Spin}(7)$-structure on an $8$--dimensional Riemannian manifold $M$. Here, the intrinsic torsion is a difference of the minimal ${\rm Spin}(7)$--connection and the Levi-Civita connection. Hence it is a a section of a bundle $T^{\ast}M\otimes\mathfrak{spin}^{\bot}(M)$. The formula relates the intrinsic torsion with the Lee form $\theta$ and $\Lambda^3_{48}$--component $(\delta\Phi)_{48}$ of a codifferential $\delta\Phi$ of the $4$--form defining a given structure. Moreover, using the divergence formula obtained by the author for general Riemannian $G$--structure in another article, we derive the formula for the scalar curvature in terms of norms of $\theta$, $(\delta\Phi)_{48}$ and the divergence ${\rm div}\theta$. We justify the formula on appropriate examples.


title: Invertible Bloom Lookup Tables with Listing Guarantees

abstract: The Invertible Bloom Lookup Table (IBLT) is a probabilistic concise data structure for set representation that supports a listing operation as the recovery of the elements in the represented set. Its applications can be found in network synchronization and traffic monitoring as well as in error-correction codes. IBLT can list its elements with probability affected by the size of the allocated memory and the size of the represented set, such that it can fail with small probability even for relatively small sets. While previous works only studied the failure probability of IBLT, this work initiates the worst case analysis of IBLT that guarantees successful listing for all sets of a certain size. The worst case study is important since the failure of IBLT imposes high overhead. We describe a novel approach that guarantees successful listing when the set satisfies a tunable upper bound on its size. To allow that, we develop multiple constructions that are based on various coding techniques such as stopping sets and the stopping redundancy of error-correcting codes, Steiner systems, and covering arrays as well as new methodologies we develop. We analyze the sizes of IBLTs with listing guarantees obtained by the various methods as well as their mapping memory consumption. Lastly, we study lower bounds on the achievable sizes of IBLT with listing guarantees and verify the results in the paper by simulations.


title: Yang-Baxter deformation of WZW model based on Lie supergroups: The cases of $GL(1|1)$ and $(C^3 +A)$

abstract: We proceed to generalize the Yang-Baxter (YB) deformation of Wess-Zumino-Witten (WZW) model to the Lie supergroups case. This generalization enables us to utilize various kinds of solutions of the (modified) graded classical Yang-Baxter equation ((m)GCYBE) to classify the YB deformations of WZW models based on the Lie supergroups. We obtain the inequivalent solutions (classical r-matrices) of the (m)GCYBE for the $gl(1|1)$ and $({\cal C}^3 +{\cal A})$ Lie superalgebras in the non-standard basis, in such a way that the corresponding automorphism transformations are employed. Then, the YB deformations of the WZW models based on the $GL(1|1)$ and $(C^3 + A)$ Lie supergroups are specified by skew-supersymmetric classical r-matrices satisfying (m)GCYBE. In some cases for both families of deformed models, the metrics remain invariant under the deformation, while the components of $B$-fields are changed. After checking the conformal invariance of the models up to one-loop order, it is concluded that the $GL(1|1)$ and $(C^3 + A)$ WZW models are conformal theories within the classes of the YB deformations preserving the conformal invariance. However, our results are interesting in themselves, but at a constructive level, may prompt many new insights into (generalized) supergravity solutions.


title: Neutral pion mass in warm magnetized medium within Linear Sigma Model coupled to Quarks $\left(\text{LSM}_q\right)$ framework

abstract: We study the neutral pion mass in the presence of an external arbitrary magnetic field in the framework of the linear sigma model coupled to quark (LSMq) at finite temperature. In doing so, we have calculated the pion self-energy, constructed the dispersion equation via re-summation, and solved the dispersion relation at zero three momentum limit. In calculating the pion mass, we have included meson self-coupling's thermal and magnetic contribution and approximate chiral order parameter $v_0$. We report that the $\pi^0$ mass decreases with the magnetic field and increases with temperature.


title: Fundamental theorem for quantum asset pricing

abstract: Quantum computers have the potential to provide an advantage for financial pricing problems by the use of quantum estimation. In a broader context, it is reasonable to ask about situations where the market and the assets traded on the market themselves have quantum properties. In this work, we consider a financial setting where instead of by classical probabilities the market is described by a pure quantum state or, more generally, a quantum density operator. This setting naturally leads to a new asset class, which we call quantum assets. Under the assumption that such assets have a price and can be traded, we develop an extended definition of arbitrage to quantify gains without the corresponding risk. Our main result is a quantum version of the first fundamental theorem of asset pricing. If and only if there is no arbitrage, there exists a risk-free density operator under which all assets are martingales. This density operator is used for the pricing of quantum derivatives. To prove the theorem, we study the density operator version of the Radon-Nikodym measure change. We provide examples to illustrate the theory.


title: Acceleration of probabilistic imaginary-time evolution method combined with quantum amplitude amplification

abstract: A probabilistic imaginary-time evolution (PITE) method was proposed as a nonvariational method to obtain a ground state on a quantum computer. In this formalism, the success probability of obtaining all imaginary-time evolution operators acting on the initial state decreases as the imaginary time proceeds. To alleviate the undesirable nature, we propose quantum circuits for PITE combined with the quantum amplitude amplification (QAA) method. We reduce the circuit depth in the combined circuit with QAA by introducing a pre-amplification operator. We successfully demonstrated that the combination of PITE and QAA works efficiently and reported a case in which the quantum acceleration is achieved. Additionally, we have found that by optimizing a parameter of PITE, we can reduce the number of QAA operations and that deterministic imaginary-time evolution (deterministic ITE) can be achieved which avoids the probabilistic nature of PITE. We applied the deterministic ITE procedure to multiple imaginary-time steps and discussed the computational cost for the circuits. Finally, as an example, we demonstrate the numerical results of the PITE circuit combined with QAA in the first- and second-quantized Hamiltonians.


title: On singularity and normality of regular nilpotent Hessenberg varieties

abstract: Regular nilpotent Hessenberg varieties form an important family of subvarieties of the flag variety, which are often singular and sometimes not normal varieties. Like Schubert varieties, they contain distinguished points called permutation flags. In this paper, we give a combinatorial characterization for a permutation flag of a regular nilpotent Hessenberg variety to be a singular point. We also apply this result to characterize regular nilpotent Hessenberg varieties which are normal algebraic varieties.


title: Adaptive Optics system of the Evanescent Wave Coronagraph (EvWaCo): optimised phase plate and DM characterisation

abstract: The Evanescent Wave Coronagraph (EvWaCo) is an achromatic coronagraph mask with adjustable size over the spectral domain [600nm, 900nm] that will be installed at the Thai National Observatory. We present in this work the development of a bench to characterise its Extreme Adaptive Optics system (XAO) comprising a DM192 ALPAO deformable mirror (DM) and a 15x15 Shack-Hartmann wavefront sensor (SH-WFS). In this bench, the turbulence is simulated using a rotating phase plate in a pupil plane. In general, such components are designed using a randomly generated phase screen. Such single realisation does not necessarily provide the wanted structure function. We present a solution to design the printed pattern to ensure that the beam sees a strict and controlled Kolmogorov statistics with the correct 2D structure function. This is essential to control the experimental conditions in order to compare the bench results with the numerical simulations and predictions. This bench is further used to deeply characterise the full 27 mm pupil of the ALPAO DM using a 54x54 ALPAO SH-WFS. We measure the average shape of its influence functions as well as the influence function of each single actuator to study their dispersion. We study the linearity of the actuator amplitude with the command as well as the linearity of the influence function profile. We also study the actuator offsets as well as the membrane shape at 0-command. This knowledge is critical to get a forward model of the DM for the XAO control loop.


title: Don't do it: Safer Reinforcement Learning With Rule-based Guidance

abstract: During training, reinforcement learning systems interact with the world without considering the safety of their actions. When deployed into the real world, such systems can be dangerous and cause harm to their surroundings. Often, dangerous situations can be mitigated by defining a set of rules that the system should not violate under any conditions. For example, in robot navigation, one safety rule would be to avoid colliding with surrounding objects and people. In this work, we define safety rules in terms of the relationships between the agent and objects and use them to prevent reinforcement learning systems from performing potentially harmful actions. We propose a new safe epsilon-greedy algorithm that uses safety rules to override agents' actions if they are considered to be unsafe. In our experiments, we show that a safe epsilon-greedy policy significantly increases the safety of the agent during training, improves the learning efficiency resulting in much faster convergence, and achieves better performance than the base model.


title: Compton scattering in TFD formalism

abstract: In this paper, the cross section for the Compton scattering process at finite temperature is calculated. Temperature effects are introduced using the Thermofield Dynamics (TFD) formalism. It is a real-time finite temperature quantum field theory. Our result shows that thermal effects become relevant as the temperature increases. A comparison between the TFD and closed-time path results is presented.


title: Stochastic particle creation: from the dynamical Casimir effect to cosmology

abstract: We study a stochastic version of the dynamical Casimir effect, computing the particle creation inside a cavity produced by a random motion of one of its walls. We first present a calculation perturbative in the amplitude of the motion. We compare the stochastic particle creation with the deterministic counterpart. Then we go beyond the perturbative evaluation using a stochastic version of the multiple scale analysis, that takes into account stochastic parametric resonance. We stress the relevance of the coupling between the different modes induced by the stochastic motion. In the single-mode approximation, the equations are formally analogous to those that describe the stochastic particle creation in a cosmological context, that we rederive using multiple scale analysis.


title: Hypergraphs with Polynomial Representation: Introducing $r$-splits

abstract: Inspired by the split decomposition of graphs and rank-width, we introduce the notion of $r$-splits. We focus on the family of $r$-splits of a graph of order $n$, and we prove that it forms a hypergraph with several properties. We prove that such hypergraphs can be represented using only $\mathcal O(n^{r+1})$ of its hyperedges, despite its potentially exponential number of hyperedges. We also prove that there exist hypergraphs that need at least $\Omega(n^r)$ hyperedges to be represented, using a generalization of set orthogonality.


title: Controlling entanglement at absorbing state phase transitions in random circuits

abstract: Many-body unitary dynamics interspersed with repeated measurements display a rich phenomenology hallmarked by measurement-induced phase transitions. Employing feedback-control operations that steer the dynamics toward an absorbing state, we study the entanglement entropy behavior at the absorbing state phase transition. For short-range control operations, we observe a transition between phases with distinct sub-extensive scalings of entanglement entropy. In contrast, the system undergoes a transition between volume-law and area-law phases for long-range feedback operations. The fluctuations of entanglement entropy and of the order parameter of the absorbing state transition are fully coupled for sufficiently strongly entangling feedback operations. In that case, entanglement entropy inherits the universal dynamics of the absorbing state transition. This is, however, not the case for arbitrary control operations, and the two transitions are generally distinct. We quantitatively support our results by introducing a framework based on stabilizer circuits with classical flag labels. Our results shed new light on the problem of observability of measurement-induced phase transitions.


title: Multi-Realism Image Compression with a Conditional Generator

abstract: By optimizing the rate-distortion-realism trade-off, generative compression approaches produce detailed, realistic images, even at low bit rates, instead of the blurry reconstructions produced by rate-distortion optimized models. However, previous methods do not explicitly control how much detail is synthesized, which results in a common criticism of these methods: users might be worried that a misleading reconstruction far from the input image is generated. In this work, we alleviate these concerns by training a decoder that can bridge the two regimes and navigate the distortion-realism trade-off. From a single compressed representation, the receiver can decide to either reconstruct a low mean squared error reconstruction that is close to the input, a realistic reconstruction with high perceptual quality, or anything in between. With our method, we set a new state-of-the-art in distortion-realism, pushing the frontier of achievable distortion-realism pairs, i.e., our method achieves better distortions at high realism and better realism at low distortion than ever before.


title: The effective Equation of State in Palatini $f(R)$ cosmology

abstract: We investigate how the cosmological Equation of State can be used for scrutinizing extended theories of gravity, in particular, the Palatini $f(R)$ gravity. Specifically, the approach consists, at first, in investigating the effective Equation of State produced by a given model. Then, the inverse problem can also be considered in view of determining which models are compatible with a given effective Equation of State. We consider and solve some cases and show that, for example, power-law models are (the only models) capable of transforming barotropic Equations of State into effective barotropic ones. Moreover, the form of Equation of State is preserved (only) for $f(R)=R$, as expected. In this perspective, modified Equations of State are a feature capable of distinguishing Extended Gravity with respect to General Relativity. We also investigate quadratic and non-homogeneous effective Equations of State showing, in particular, that they contain the Starobinsky model and other ones.


title: Anomalous superconducting proximity effect of planar Pb-RhPb2 heterojunctions in the clean limit

abstract: Interest in superconducting proximity effect has been revived by the exploitation of Andreev states and by the possible emergence of Majorana bound states at the interface. Spectroscopy of these states has been so far restricted to just a handful of superconductor-metal systems in the diffusion regime, whereas reports in otherwise clean superconductor-superconductor heterojunctions are scarce. Here, we realize molecular beam epitaxy growth of atomically sharp planar heterojunctions between Pb and a topological superconductor candidate RhPb2 that allows us to spectroscopically image the proximity effect in the clean limit. The measured energy spectra of RhPb2 vary with the spatial separation from proximal Pb, and exhibit unusual modifications in the pairing gap structure and size that extend over a distance far beyond the coherence length. This anomalously long-range proximity (LRP) effect breaks the rotational symmetry of Cooper pair potential in real space and largely deforms the Abrikosov vortex cores. Our work opens promising avenues for fundamental studies of the Andreev physics and extraordinary states in clean superconducting heterojunctions.


title: Escaping Saddle Points for Effective Generalization on Class-Imbalanced Data

abstract: Real-world datasets exhibit imbalances of varying types and degrees. Several techniques based on re-weighting and margin adjustment of loss are often used to enhance the performance of neural networks, particularly on minority classes. In this work, we analyze the class-imbalanced learning problem by examining the loss landscape of neural networks trained with re-weighting and margin-based techniques. Specifically, we examine the spectral density of Hessian of class-wise loss, through which we observe that the network weights converge to a saddle point in the loss landscapes of minority classes. Following this observation, we also find that optimization methods designed to escape from saddle points can be effectively used to improve generalization on minority classes. We further theoretically and empirically demonstrate that Sharpness-Aware Minimization (SAM), a recent technique that encourages convergence to a flat minima, can be effectively used to escape saddle points for minority classes. Using SAM results in a 6.2\% increase in accuracy on the minority classes over the state-of-the-art Vector Scaling Loss, leading to an overall average increase of 4\% across imbalanced datasets. The code is available at: https://github.com/val-iisc/Saddle-LongTail.


title: Dictionary-free Koopman model predictive control with nonlinear input transformation

abstract: This paper introduces a method for data-driven control based on the Koopman operator model predictive control. Unlike exiting approaches, the method does not require a dictionary and incorporates a nonlinear input transformation, thereby allowing for more accurate predictions with less ad hoc tuning. In addition to this, the method allows for input quantization and exploits symmetries, thereby reducing computational cost, both offline and online. Importantly, the method retains convexity of the optimization problem solved within the model predictive control online. Numerical examples demonstrate superior performance compared to existing methods as well as the capacity to learn discontinuous lifting functions.


title: Segregated solutions for nonlinear Schr\"odinger systems with a large number of components

abstract: In this paper we are concerned with the existence of segregated non-radial solutions for nonlinear Schr\"odinger systems with a large number of components in a weak fully attractive or repulsive regime in presence of a suitable external radial potential.


title: Properties of some elliptic Hill's potentials

abstract: We study Hill's differential equation with potential expressed by elliptic functions which arises in some problems of physics and mathematics. Analytical method can be applied to study the local properties of the potential in asymptotic regions of the parameter space. The locations of the saddle points of the potential are determined, the locations of turning points can be determined too when they are close to a saddle point. Combined with the quadratic differential associated with the differential equation, these local data give a qualitative explanation for the asymptotic eigensolutions obtained recently. A relevant topic is about the generalisation of Floquet theorem for ODE with doubly-periodic elliptic function coefficient which bears some new features compared to the case of ODE with real valued singly-periodic coefficient. Beyond the local asymptotic regions, global properties of the elliptic potential are studied using numerical method.


title: Multigrid sequential data assimilation for the large-eddy simulation of a massively separated bluff-body flow

abstract: The potential for data-driven applications to scale-resolving simulations of turbulent flows is assessed herein. Multigrid sequential data assimilation algorithms have been used to calibrate solvers for Large Eddy Simulation for the analysis of the high-Reynolds-number flow around a rectangular cylinder of aspect ratio 5:1. This test case has been chosen because of a number of physical complexities which elude accurate representation using reduced-order numerical simulation. The results for the statistical moments of the velocity and pressure flow field show that the data-driven techniques employed, which are based on the Ensemble Kalman Filter, are able to significantly improve the predictive features of the solver for reduced grid resolution. In addition, it was observed that, despite the sparse and asymmetric distribution of observation in the data-driven process, the data augmented results exhibit perfectly symmetric statistics and a significantly improved accuracy also far from the sensor location.


title: Particle-like solutions in the generalized SU(2) Proca theory

abstract: The generalized SU(2) Proca theory is a vector-tensor modified gravity theory where the action is invariant under both diffeomorphisms and global internal transformations of the SU(2) group. This work constitutes the first approach to investigate the physical properties of the theory at astrophysical scales. We have found solutions that naturally generalize the particle-like solutions of the Einstein-Yang-Mills equations, also known as gauge boson stars. Under the requirement that the solutions must be static, asymptotically flat, and globally regular, the t'Hooft-Polyakov magnetic monopole configuration for the vector field rises as one viable possibility. The solutions have been obtained analytically through asymptotic expansions and numerically by solving the boundary value problem. We have found new features in the solutions such as regions with negative effective energy density and imaginary effective charge. We have also obtained a new kind of globally charged solutions for some region in the parameter space of the theory. Furthermore, we have constructed equilibrium sequences and found turning points in some cases. These results hint towards the existence of stable solutions which are absent in the Einstein-Yang-Mills case.


title: A PML method for signal-propagation problems in axon

abstract: This work is focused on the modelling of signal propagations in myelinated axons to characterize the functions of the myelin sheath in the neural structure. Based on reasonable assumptions on the medium properties, we derive a two-dimensional neural-signaling model in cylindrical coordinates from the time-harmonic Maxwell's equations. The well-posedness of model is established upon Dirichlet boundary conditions at the two ends of the neural structure and the radiative condition in the radial direction of the structure. Using the perfectly matched layer (PML) method, we truncate the unbounded background medium and propose an approximate problem on the truncated domain. The well-posedness of the PML problem and the exponential convergence of the approximate solution to the exact solution are established. Numerical experiments based on finite element discretization are presented to demonstrate the theoretical results and the efficiency of our methods to simulate the signal propagation in axons.


title: Simulating noisy quantum channels via quantum state preparation algorithms

abstract: In Refs. [Phys. Rev. A 96, 062303 (2017)] and [Sci. China Phys. Mech. Astron. 61, 70311 (2018)], the authors reported an algorithm to simulate, in a circuit-based quantum computer, a general quantum channel (QC). However, the application of their algorithm is limited because it entails the solution of intricate non-linear systems of equations in order to obtain the quantum circuit to be implemented for the simulation. Motivated by this issue, in this article we identify and discuss a simple way to implement the simulation of QCs on any $d$-level quantum system through quantum state preparation algorithms, that have received much attention in the quantum information science literature lately. We exemplify the versatility of our protocol applying it to most well known qubit QCs, to some qudit QCs, and to simulate the effect of Lorentz transformations on spin states. We also regard the application of our protocol for initial mixed states. Most of the given application examples are demonstrated using IBM's quantum computers.


title: Representation Learning in Deep RL via Discrete Information Bottleneck

abstract: Several self-supervised representation learning methods have been proposed for reinforcement learning (RL) with rich observations. For real-world applications of RL, recovering underlying latent states is crucial, particularly when sensory inputs contain irrelevant and exogenous information. In this work, we study how information bottlenecks can be used to construct latent states efficiently in the presence of task-irrelevant information. We propose architectures that utilize variational and discrete information bottlenecks, coined as RepDIB, to learn structured factorized representations. Exploiting the expressiveness bought by factorized representations, we introduce a simple, yet effective, bottleneck that can be integrated with any existing self-supervised objective for RL. We demonstrate this across several online and offline RL benchmarks, along with a real robot arm task, where we find that compressed representations with RepDIB can lead to strong performance improvements, as the learned bottlenecks help predict only the relevant state while ignoring irrelevant information.


title: Cyclification of Orbifolds

abstract: Inertia orbifolds homotopy-quotiented by rotation of geometric loops play a fundamental role not only in ordinary cyclic cohomology, but more recently in constructions of equivariant Tate-elliptic cohomology and generally of transchromatic characters on generalized cohomology theories. Nevertheless, existing discussion of such cyclified stacks has been relying on ad-hoc component presentations with intransparent and unverified stacky homotopy type. Following our previous formulation of transgression of cohomological charges ("double dimensional reduction"), we explain how cyclification of infinity-stacks is a fundamental and elementary base-change construction over moduli stacks in cohesive higher topos theory (cohesive homotopy type theory). We prove that Ganter/Huan's extended inertia groupoid used to define equivariant quasi-elliptic cohomology is indeed a model for this intrinsically defined cyclification of orbifolds, and we show that cyclification implements transgression in group cohomology in general, and hence in particular the transgression of degree-4 twists of equivariant Tate-elliptic cohomology to degree-3 twists of orbifold K-theory on the cyclified orbifold. As an application, we show that the universal shifted integral 4-class of equivariant 4-Cohomotopy theory on ADE-orbifolds induces the Platonic 4-twist of ADE-equivariant Tate-elliptic cohomology; and we close by explaining how this should relate to elliptic M5-brane genera, under our previously formulated Hypothesis H.

categories: math.AT hep-th math-ph math.DG math.KT math.MP


title: Optimal photon budget allocation in E91 protocol

abstract: In order for the deployment of quantum communication technologies in a global scale, it is necessary to meet data exchange demand of various size establishments per certain time intervals and it is important to make them cost effective and feasible. In order to meet these requirements, a lot of effort has been put into increasing key rate and having optimized systems. In this study, we focus on the improvement of raw key rate in a standardized E91 QKD system without compromising its security. Our method is to optimize photon budget allocation among three types of bits used in the system for different purposes or occurred unavoidably. These three types of bits are key bits, Bell's inequality bits and discarded bits and their ratios were $25\%$, $50\%$ and $25\%$, respectively, in the proof-of-principle experiment. On the other hand, we present $226.22\%$ increase in raw key rate with $83\%$, $10\%$ and $7\%$ allocation of photon budget among three types of bits. These ratios are achieved by replacing $50:50$ beam splitters with a $90:10$ beam splitter at one communicating side and a $93:7$ beam splitter at the other communicating side. Additionally, we demonstrate that the optimum beam splitting ratios can vary depending on photon budget.


title: The Mostly BRST Exact Operator in Superstrings

abstract: A careful gauge fixing of the conformal killing group (CKG) on genus zero surfaces in bosonic string theory gives non-vanishing two point amplitudes that match the corresponding field theory expressions arXiv:1906.06051, arXiv:1909.03672 . An important ingredient for gauge fixing two point amplitudes in arXiv:1909.03672 was the mostly BRST (mBRST) exact operator. The utility of this operator in gauge fixing CKG perhaps is not just limited to two point amplitudes - we can insert a mBRST exact operator to fix a conformal killing vector (CKV) instead of fixing the position of a vertex operator in a general tree level bosonic string amplitude arXiv:2108.05628, arXiv:2109.08433. Using the mBRST exact operator, written in the pure spinor variables, we get the expected two point superstring amplitudes arXiv:2012.03802. In this work we explore if it is possible to use this operator for fixing CKG for general tree level amplitudes in superstrings. We find it to be the case by explicitly re-calculating the three gluon amplitude in open strings by making use of this operator. Finally, we show that this operator directly emerges by following a Faddeev-Popov gauge fixing method in bosonic string theory. This derivation is independent of the number of external strings, thus proving the above claim.


title: The Impact of the Pharmaceutical Industry on the Innovation Performance of European Countries

abstract: There are significant differences in innovation performance between countries. Additionally, the pharmaceutical sector is stronger in some countries than in others. This suggests that the development of the pharmaceutical industry can influence a country's innovation performance. Using the Global Innovation Index and selected performance measures of the pharmaceutical sector, this study examines how the pharmaceutical sector influences the innovation performance of countries from the European context. The dataset of 27 European countries was analysed using simple, and multiple linear regressions and Pearson correlation. Our findings show that only three indicators of the pharmaceutical industry, more precisely pharmaceutical Research and Development, pharmaceutical exports, and pharmaceutical employment explain the innovation performance of a country largely. Pharmaceutical Research and Development and exports have a significant positive impact on a country's innovation performance, whereas employment in the pharmaceutical industry has a slightly negative impact. Additionally, global innovation performance has been found to positively influence life expectancy. We further outline the implications and possible policy directions based on these findings.


title: The relationship between social innovation and digital economy and society

abstract: The information age is also an era of escalating social problems. The digital transformation of society and the economy is already underway in all countries, although the progress in this transformation can vary widely. There are more social innovation projects addressing global and local social problems in some countries than in others. This suggests that different levels of digital transformation might influence the social innovation potential. Using the International Digital Economy and Society Index and the Social Innovation Index, this study investigates how digital transformation of the economy and society affects the capacity for social innovation. A dataset of 29 countries was analysed using both simple and multiple linear regressions and Pearsons correlation. Based on the research findings, it can be concluded that the digital transformation of the economy and society has a significant positive impact on the capacity for social innovation. It was also found that the integration of digital technology plays a critical role in digital transformation. Therefore, the progress in digital transformation is beneficial to social innovation capacity. In line with the research findings, this study outlines the implications and possible directions for policy.


title: Motivations and locational factors of FDI in CIS countries: Empirical evidence from South Korean FDI in Kazakhstan, Russia, and Uzbekistan

abstract: Considering the growing significance of Eurasian economic ties because of South Korea s New Northern Policy and Russia s New Eastern Policy, this study investigates the motivations and locational factors of South Korean foreign direct investment (FDI) in three countries in the Commonwealth of Independent States (CIS: Kazakhstan, Russia, and Uzbekistan) by employing panel analysis (pooled ordinary least squares (OLS), fixed effects, random effects) using data from 1993 to 2017. The results show the positive and significant coefficients of GDP, resource endowments, and inflation. Unlike conventional South Korean outward FDI, labour-seeking is not defined as a primary purpose. Exchange rates, political rights, and civil liberties are identified as insignificant. The authors conclude that South Korean FDI in Kazakhstan, Russia, and Uzbekistan is associated with market-seeking (particularly in Kazakhstan and Russia) and natural resource-seeking, especially the former. From a policy perspective, our empirical evidence suggests that these countries host governments could implement mechanisms to facilitate the movement of goods across regions and countries to increase the attractiveness of small local markets. The South Korean government could develop financial support and risk sharing programmes to enhance natural resource-seeking investments and mutual exchange programmes to overcome the red syndrome complex in South Korean society.


title: Towards a QoE Model to Evaluate Holographic Augmented Reality Devices

abstract: Augmented reality (AR) technology is developing fast and provides users with new ways to interact with the real-world surrounding environment. Although the performance of holographic AR multimedia devices can be measured with traditional quality-of-service parameters, a quality-of-experience (QoE) model can better evaluate the device from the perspective of users. As there are currently no well-recognized models for measuring the QoE of a holographic AR multimedia device, we present a QoE framework and model it with a fuzzy inference system to quantitatively evaluate the device.