title: From Wigner distributions of photons to dilepton production in semicentral heavy ion collisions

abstract: We present a formalism how to calculate differential distributions for dilepton production in semicentral heavy ion collisions. In this new approach, the differential cross section is calculated using the complete polarization density matrix of photons resulting from the Wigner distribution formalism. The formalism is used to calculate different distributions of the invariant mass, dilepton transverse momentum and acoplanarity for different regions of centrality. The results of the calculation are compared with recent experimental data. We also study the contribution from different parts of impact parameter space.


title: Silicon Drift Detectors spectroscopic response during the SIDDHARTA-2 Kaonic Helium run at the DA{\Phi}NE collider

abstract: A large-area Silicon Drift Detectors (SDDs) system has been developed by the SIDDHARTA2 collaboration for high precision light kaonic atoms X-ray spectroscopy at the DA{\Phi}NE collider of Istituto Nazionale di Fisica Nucleare - Laboratori Nazionali di Frascati. The SDDs geometry and electric field configuration, combined with their read-out electronics, make these devices suitable to perform high precision light kaonic atoms spectroscopy measurements in the high background of the DA{\Phi}NE collider. This work presents the spectroscopic response of the SDDs system during the kaonic helium first exotic atoms run of SIDDHARTA-2, preliminary to the kaonic deuterium data taking campaign


title: Transition rates of non-interacting quantum particles from the Widom insertion formula

abstract: Transition rates among different states in a system of non-interacting quantum particles in contact with a heat reservoir include the factor $1\mp \bar{n}_i$, with a minus sign for fermions and a plus sign for bosons, where $\bar{n}_i$ is the average occupation number of the final state. It is shown that this factor can be related to the difference of the chemical potential from that of an ideal classical mixture; this difference is formally equivalent to the excess chemical potential in a classical system of interacting particles. Using this analogy, Widom's insertion formula is used in the calculation of transition rates. The result allows an alternative derivation of quantum statistics from the condition that transition rates depend only on the number of particles in the target energy level. Instead, if transition rates depend on the particle number only in the origin level, the statistics of ewkons is obtained; this is an exotic statistics that can be applied to the description of dark energy.


title: Topological properties of closed weakly $m$-convex sets

abstract: The present work considers the properties of generally convex sets in the $n$-dimensional real Euclidean space $\mathbb{R}^n$, $n>1$, known as weakly $m$-convex, $m=1,2,\ldots,n-1$. An open set of $\mathbb{R}^n$ is called weakly $m$-convex if for any boundary point of the set there exists an $m$-dimensional plane passing through this point and not intersecting the given set. A closed set of $\mathbb{R}^n$ is called weakly $m$-convex if it is approximated from the outside by a family of open weakly $m$-convex sets. A point of the complement of a set of $\mathbb{R}^n$ to the whole space is called an $m$-nonconvexity point of the set if any $m$-dimensional plane passing through the point intersects the set. It is proved that any closed, weakly $(n-1)$-convex set in $\mathbb{R}^n$ with non-empty set of $(n-1)$-nonconvexity points consists of not less than three connected components. It is also proved that the interior of a closed, weakly $1$-convex set with a finite number of components in the plane is weakly $1$-convex. Weakly $m$-convex domains and closed connected sets in $\mathbb{R}^n$ with non-empty set of $m$-nonconvexity points are constructed for any $n\ge 3$ and any $m=1,2,\ldots,n-2$.


title: Direct Computation of Monodromy Matrices and Classification of 4d N=2 Heterotic--IIA Dual Vacua

abstract: We compute the monodromy matrices on the special geometry of 4d N=2 Heterotic--IIA dual vacua in some simple cases by numerical evaluation of the period integrals, without assuming geometric background. The integrality of the monodromy matrices constrains some classification invariants of the string vacua. We also mention some mathematical open problems on period polynomials for modular form with poles.


title: Provably efficient, succinct, and precise explanations

abstract: We consider the problem of explaining the predictions of an arbitrary blackbox model $f$: given query access to $f$ and an instance $x$, output a small set of $x$'s features that in conjunction essentially determines $f(x)$. We design an efficient algorithm with provable guarantees on the succinctness and precision of the explanations that it returns. Prior algorithms were either efficient but lacked such guarantees, or achieved such guarantees but were inefficient. We obtain our algorithm via a connection to the problem of {\sl implicitly} learning decision trees. The implicit nature of this learning task allows for efficient algorithms even when the complexity of $f$ necessitates an intractably large surrogate decision tree. We solve the implicit learning problem by bringing together techniques from learning theory, local computation algorithms, and complexity theory. Our approach of "explaining by implicit learning" shares elements of two previously disparate methods for post-hoc explanations, global and local explanations, and we make the case that it enjoys advantages of both.


title: Do Names Echo Semantics? A Large-Scale Study of Identifiers Used in C++'s Named Casts

abstract: Developers relax restrictions on a type to reuse methods with other types. While type casts are prevalent, in weakly typed languages such as C++, they are also extremely permissive. Assignments where a source expression is cast into a new type and assigned to a target variable of the new type, can lead to software bugs if performed without care. In this paper, we propose an information-theoretic approach to identify poor implementations of explicit cast operations. Our approach measures accord between the source expression and the target variable using conditional entropy. We collect casts from 34 components of the Chromium project, which collectively account for 27MLOC and random-uniformly sample this dataset to create a manually labelled dataset of 271 casts. Information-theoretic vetting of these 271 casts achieves a peak precision of 81% and a recall of 90%. We additionally present the findings of an in-depth investigation of notable explicit casts, two of which were fixed in recent releases of the Chromium project.


title: On the emergence of heat waves in the transient thermal grating geometry

abstract: The propagation of heat in the transient thermal grating geometry is studied based on phonon Boltzmann transport equation (BTE) in different phonon transport regimes. Our analytical and numerical results show that the phonon dispersion relation and temperature play a significant role in the emergence of heat wave. For the frequency-independent BTE, the heat wave appears as long as the phonon resistive scattering is not sufficient, while for the frequency-dependent BTE, the heat wave could disappear in the ballistic regime, depending on the grating period and temperature. We predict that the heat wave could appear in the suspended graphene and silicon in extremely low temperature but disappear at room temperature.


title: Julia sets and geometrically finite maps over finite extensions of the $p$-adic field

abstract: Let $K$ be a finite extension of the field $\mathbb{Q}_p$ of $p$-adic numbers, and $\phi\in K(z)$ be a rational map of degree at least $2$. We prove that the $K$-Julia set of $\phi$ is the natural restriction of $\mathbb{C}_p$-Julia set, provided that the critical orbits are well-behaved. Moreover, under further assumption that $\phi$ is geometrically finite, we prove that the dynamics on the $K$-Julia set of $\phi$ is a countable state Markov shift.


title: Potential Vector Fields in $\mathbb R^4$ and New Generalizations of the Cauchy-Riemann System

abstract: This paper extends approach of recent author's paper devoted to special classes of exact solutions of the static Maxwell system in inhomogeneous isotropic media and new generalizations of the Cauchy-Riemann system in $\mathbb R^3$. Two families of generalizations of the Cauchy-Riemann system with variable coefficients in $\mathbb R^4$ are presented in the context of non-Euclidean geometry. Analytic models of a wide range of potential meridional vector fields in $\mathbb R^4$ are characterized using a family of Vekua type systems in cylindrical coordinates. The specifics of meridional fields allows us to introduce the concept of four-dimensional $\alpha$-meridional mappings of the first and second kind depending on the values of a real parameter $\alpha$. In case $\alpha=2$ tools of the radially holomorphic potential in $\mathbb R^4$ are developed in the context of generalized axially symmetric potential theory (GASPT). Analytic models of potential meridional fields in $\mathbb R^4$ generated by Bessel functions of the first kind of integer order and quaternionic argument are described in case $\alpha=2$. In case $\alpha =0$ the geometric specifics of four-dimensional harmonic meridional mappings of the second kind is demonstrated explicitly in the context of the theory of gradient dynamical systems with harmonic potential.


title: Electron cloud design for Rydberg multi-qubit gates

abstract: This article proposes quantum processing in an optical lattice, using Rydberg electron's Fermi scattering from ground-state atoms in spin-dependent lattices as a source of interaction. Instead of relying on Rydberg pair potentials, the interaction is controlled by engineering the electron cloud of a sole Rydberg atom. Here we specifically propose the implementation of two prominent multi-qubit gates i.e. the stabilizer-phase operator and the Toffoli gate. The new scheme addresses the main bottleneck in Rydberg quantum simulation by suppressing the population of short-lived Rydberg states over multi-qubit operations. This scheme mitigates different competing infidelity criteria, eliminates unwanted cross-talks, and allows operations in dense atomic lattices. The restoring forces in the molecule type Ryd-Fermi potential preserve the trapping over a long interaction period. The features in the new scheme are of special interest for the implementation of quantum optimization and error correction algorithms.


title: LMdiff: A Visual Diff Tool to Compare Language Models

abstract: While different language models are ubiquitous in NLP, it is hard to contrast their outputs and identify which contexts one can handle better than the other. To address this question, we introduce LMdiff, a tool that visually compares probability distributions of two models that differ, e.g., through finetuning, distillation, or simply training with different parameter sizes. LMdiff allows the generation of hypotheses about model behavior by investigating text instances token by token and further assists in choosing these interesting text instances by identifying the most interesting phrases from large corpora. We showcase the applicability of LMdiff for hypothesis generation across multiple case studies. A demo is available at http://lmdiff.net .


title: Observation of topological flat bands in the kagome semiconductor Nb$_3$Cl$_8$

abstract: The destructive interference of wavefunctions in a kagome lattice can give rise to topological flat bands (TFBs) with a highly degenerate state of electrons. Recently, TFBs have been observed in several kagome metals, including Fe$_3$Sn$_2$, FeSn, CoSn, and YMn$_6$Sn$_6$. Nonetheless, kagome materials that are both exfoliable and semiconducting are lacking, which seriously hinders their device applications. Herein, we show that Nb$_3$Cl$_8$, which hosts a breathing kagome lattice, is gapped out because of the absence of inversion symmetry, while the TFBs survive because of the protection of the mirror reflection symmetry. By angle-resolved photoemission spectroscopy measurements and first-principles calculations, we directly observe the TFB and a moderate band gap in Nb$_3$Cl$_8$. By mechanical exfoliation, we successfully obtain monolayers of Nb$_3$Cl$_8$ and confirm that they are stable under ambient conditions. In addition, our calculations show that monolayers of Nb$_3$Cl$_8$ have a magnetic ground state, thus providing opportunities to study the interplay between geometry, topology, and magnetism.


title: Fitness Landscape Footprint: A Framework to Compare Neural Architecture Search Problems

abstract: Neural architecture search is a promising area of research dedicated to automating the design of neural network models. This field is rapidly growing, with a surge of methodologies ranging from Bayesian optimization,neuroevoltion, to differentiable search, and applications in various contexts. However, despite all great advances, few studies have presented insights on the difficulty of the problem itself, thus the success (or fail) of these methodologies remains unexplained. In this sense, the field of optimization has developed methods that highlight key aspects to describe optimization problems. The fitness landscape analysis stands out when it comes to characterize reliably and quantitatively search algorithms. In this paper, we propose to use fitness landscape analysis to study a neural architecture search problem. Particularly, we introduce the fitness landscape footprint, an aggregation of eight (8)general-purpose metrics to synthesize the landscape of an architecture search problem. We studied two problems, the classical image classification benchmark CIFAR-10, and the Remote-Sensing problem So2Sat LCZ42. The results present a quantitative appraisal of the problems, allowing to characterize the relative difficulty and other characteristics, such as the ruggedness or the persistence, that helps to tailor a search strategy to the problem. Also, the footprint is a tool that enables the comparison of multiple problems.


title: Is RIS-Aided Massive MIMO Promising with ZF Detectors and Imperfect CSI?

abstract: This paper provides a theoretical framework for understanding the performance of reconfigurable intelligent surface (RIS)-aided massive multiple-input multiple-output (MIMO) with zero-forcing (ZF) detectors under imperfect channel state information (CSI). We first propose a low-overhead minimum mean square error (MMSE) channel estimator, and then derive and analyze closed-form expressions for the uplink achievable rate. Our analytical results demonstrate that: $1)$ regardless of the RIS phase shift design, the rate of all users scales at least on the order of $\mathcal{O}\left(\log_2\left(MN\right)\right)$, where $M$ and $N$ are the numbers of antennas and reflecting elements, respectively; $2)$ by aligning the RIS phase shifts to one user, the rate of this user can at most scale on the order of $\mathcal{O}\left(\log_2\left(MN^2\right)\right)$; $3)$ either $M$ or the transmit power can be reduced inversely proportional to $N$, while maintaining a given rate. Furthermore, we propose two low-complexity majorization-minimization (MM)-based algorithms to optimize the sum user rate and the minimum user rate, respectively, where closed-form solutions are obtained in each iteration. Finally, simulation results validate all derived analytical results. Our simulation results also show that the maximum sum rate can be closely approached by simply aligning the RIS phase shifts to an arbitrary user.


title: The fundamental 1/f noise in monolayer graphene

abstract: The quantum indeterminacy caused by non-commutativity of observables at different times sets a lower bound on the voltage noise power spectrum in any conducting material. This bound is calculated explicitly in the case of monolayer graphene. It is found that account of graphene pseudospin/valley band structure raises the quantum bound by a factor of 7/2 compared to the case of spinless charge carriers with a conical energy-momentum dispersion. The bound possesses all characteristic properties of 1/f noise, and its dependence on the charge carrier density is congruent to the experimentally observed.


title: Procedural Generalization by Planning with Self-Supervised World Models

abstract: One of the key promises of model-based reinforcement learning is the ability to generalize using an internal model of the world to make predictions in novel environments and tasks. However, the generalization ability of model-based agents is not well understood because existing work has focused on model-free agents when benchmarking generalization. Here, we explicitly measure the generalization ability of model-based agents in comparison to their model-free counterparts. We focus our analysis on MuZero (Schrittwieser et al., 2020), a powerful model-based agent, and evaluate its performance on both procedural and task generalization. We identify three factors of procedural generalization -- planning, self-supervised representation learning, and procedural data diversity -- and show that by combining these techniques, we achieve state-of-the art generalization performance and data efficiency on Procgen (Cobbe et al., 2019). However, we find that these factors do not always provide the same benefits for the task generalization benchmarks in Meta-World (Yu et al., 2019), indicating that transfer remains a challenge and may require different approaches than procedural generalization. Overall, we suggest that building generalizable agents requires moving beyond the single-task, model-free paradigm and towards self-supervised model-based agents that are trained in rich, procedural, multi-task environments.


title: Singular plane sections and the conics in the Fermat quintic threefold

abstract: We present explicit equations for the space of conics in the Fermat quintic threefold $X$, working within the space of plane sections of $X$ with two singular marked points. This space of two-pointed singular plane sections has a birational morphism to the space of bitangent lines to the Fermat quintic threefold, which in its turn is birational to a 625-to-1 cover of $\PP^4.$ We illustrate the use of the resulting equations in identifying special cases of one-dimensional families of conics in $X.$


title: Nonstochastic Bandits and Experts with Arm-Dependent Delays

abstract: We study nonstochastic bandits and experts in a delayed setting where delays depend on both time and arms. While the setting in which delays only depend on time has been extensively studied, the arm-dependent delay setting better captures real-world applications at the cost of introducing new technical challenges. In the full information (experts) setting, we design an algorithm with a first-order regret bound that reveals an interesting trade-off between delays and losses. We prove a similar first-order regret bound also for the bandit setting, when the learner is allowed to observe how many losses are missing. These are the first bounds in the delayed setting that depend on the losses and delays of the best arm only. When in the bandit setting no information other than the losses is observed, we still manage to prove a regret bound through a modification to the algorithm of Zimmert and Seldin (2020). Our analyses hinge on a novel bound on the drift, measuring how much better an algorithm can perform when given a look-ahead of one round.


title: Detect-and-Segment: a Deep Learning Approach to Automate Wound Image Segmentation

abstract: Chronic wounds significantly impact quality of life. If not properly managed, they can severely deteriorate. Image-based wound analysis could aid in objectively assessing the wound status by quantifying important features that are related to healing. However, the high heterogeneity of the wound types, image background composition, and capturing conditions challenge the robust segmentation of wound images. We present Detect-and-Segment (DS), a deep learning approach to produce wound segmentation maps with high generalization capabilities. In our approach, dedicated deep neural networks detected the wound position, isolated the wound from the uninformative background, and computed the wound segmentation map. We evaluated this approach using one data set with images of diabetic foot ulcers. For further testing, 4 supplemental independent data sets with larger variety of wound types from different body locations were used. The Matthews' correlation coefficient (MCC) improved from 0.29 when computing the segmentation on the full image to 0.85 when combining detection and segmentation in the same approach. When tested on the wound images drawn from the supplemental data sets, the DS approach increased the mean MCC from 0.17 to 0.85. Furthermore, the DS approach enabled the training of segmentation models with up to 90% less training data while maintaining the segmentation performance.


title: Estimating 3D Motion and Forces of Human-Object Interactions from Internet Videos

abstract: In this paper, we introduce a method to automatically reconstruct the 3D motion of a person interacting with an object from a single RGB video. Our method estimates the 3D poses of the person together with the object pose, the contact positions and the contact forces exerted on the human body. The main contributions of this work are three-fold. First, we introduce an approach to jointly estimate the motion and the actuation forces of the person on the manipulated object by modeling contacts and the dynamics of the interactions. This is cast as a large-scale trajectory optimization problem. Second, we develop a method to automatically recognize from the input video the 2D position and timing of contacts between the person and the object or the ground, thereby significantly simplifying the complexity of the optimization. Third, we validate our approach on a recent video+MoCap dataset capturing typical parkour actions, and demonstrate its performance on a new dataset of Internet videos showing people manipulating a variety of tools in unconstrained environments.


title: Trajectory Prediction with Graph-based Dual-scale Context Fusion

abstract: Motion prediction for traffic participants is essential for a safe and robust automated driving system, especially in cluttered urban environments. However, it is highly challenging due to the complex road topology as well as the uncertain intentions of the other agents. In this paper, we present a graph-based trajectory prediction network named the Dual Scale Predictor (DSP), which encodes both the static and dynamical driving context in a hierarchical manner. Different from methods based on a rasterized map or sparse lane graph, we consider the driving context as a graph with two layers, focusing on both geometrical and topological features. Graph neural networks (GNNs) are applied to extract features with different levels of granularity, and features are subsequently aggregated with attention-based inter-layer networks, realizing better local-global feature fusion. Following the recent goal-driven trajectory prediction pipeline, goal candidates with high likelihood for the target agent are extracted, and predicted trajectories are generated conditioned on these goals. Thanks to the proposed dual-scale context fusion network, our DSP is able to generate accurate and human-like multi-modal trajectories. We evaluate the proposed method on the large-scale Argoverse motion forecasting benchmark, and it achieves promising results, outperforming the recent state-of-the-art methods.


title: Design of Tight Minimum-Sidelobe Windows by Riemannian Newton's Method

abstract: The short-time Fourier transform (STFT), or the discrete Gabor transform (DGT), has been extensively used in signal analysis and processing. Their properties are characterized by a window function. For signal processing, designing a special window called tight window is important because it is known to make DGT-domain processing robust to error. In this paper, we propose a method of designing tight windows that minimize the sidelobe energy. It is formulated as a constrained spectral concentration problem, and a Newton's method on an oblique manifold is derived to efficiently obtain a solution. Our numerical example showed that the proposed algorithm requires only several iterations to reach a stationary point.


title: Mean Field and Refined Mean Field Approximations for Heterogeneous Systems: It Works!

abstract: Mean field approximation is a powerful technique to study the performance of large stochastic systems represented as $n$ interacting objects. Applications include load balancing models, epidemic spreading, cache replacement policies, or large-scale data centers. Mean field approximation is asymptotically exact for systems composed of $n$ homogeneous objects under mild conditions. In this paper, we study what happens when objects are heterogeneous. This can represent servers with different speeds or contents with different popularities. We define an interaction model that allows obtaining asymptotic convergence results for stochastic systems with heterogeneous object behavior, and show that the error of the mean field approximation is of order $O(1/n)$. More importantly, we show how to adapt the refined mean field approximation, developed by Gast et al. 2019, and show that the error of this approximation is reduced to $O(1/n^2)$. To illustrate the applicability of our result, we present two examples. The first addresses a list-based cache replacement model RANDOM($m$), which is an extension of the RANDOM policy. The second is a heterogeneous supermarket model. These examples show that the proposed approximations are computationally tractable and very accurate. They also show that for moderate system sizes ($n\approx30$) the refined mean field approximation tends to be more accurate than simulations for any reasonable simulation time.


title: Scattering and absorption of a scalar field impinging on a charged black hole in the Einstein-Maxwell-dilaton theory

abstract: This study revisits the absorption and scattering process by which a massless scalar field impinges on a charged dilatonic black hole. First, we review the classical analysis to obtain the deflection angle and the differential scattering cross-section. Then, using the partial wave method, we determine the total absorption cross-section numerically in terms of the decoupling parameter called $M\omega$, finding that the amplitude of the dilatonic black hole is lower than the Reissner-Nordstr\"om one for mild frequencies. In the high-frequency limit, the absorption cross-section exhibits two different complex behaviors; the fine structure and the hyperfine structure. For the differential scattering cross-section, smaller values of $M\omega$ lead to more significant amplitudes; the opposite scenario is obtained by increasing the charge-to-mass ratio. To fully grasp the main properties of the charged dilatonic black hole, we consider a different framework where the compact object is impinged by a charged massive scalar field. The superradiant effect is lessened for intermediate frequency concerning the Reissner-Nordstr\"om case. However, this effect does not necessarily imply the existence of any dynamical instability. In order to trigger the superradiant instability, unstable modes must remain trapped outside the event horizon with a mechanism based on the reflecting-mirror boundary conditions. In this way, a charged scalar field plus a charged black hole configure a charged black hole bomb. We provide an analytic formula (lower bound) for the values of the charge field, which can trigger this superradiant instability. We extend this minimal setup by considering the dilaton perturbations while freezing the other degree of freedom. The new perturbation scheme enhances the superradiance scattering and reduces the lower bound of the charge-to-mass ratio to develop a superradiant instability.

categories: gr-qc astro-ph.GA hep-th math-ph math.MP physics.space-ph


title: On the indistinguishability of Chiral QED with parameter-free Faddeevian anomaly and QED under a chiral constraint

abstract: We carry out an investigation imposing a chiral constraint in the phase space of vector and axial-vector Schwinger model. We find that resulting model is identical to gauge non-invariant model which was obtained by the imposition of chiral constraint in the phase-space of in Chiral Schwinger model with the parameter-free Faddeevian anomaly. Three different models having different types of interaction between the matter and gauge field become indistinguishable under a chiral constraint at the quantum mechanical level. The resulting gauge non-invariant model has an equivalent gauge-invariant version in the same phase space that can be identified with the vector Schwinger model.


title: Deployment of the readout electronics for the BESIII Cylindrical GEM Inner Tracker

abstract: The Beijing Spectrometer (BESIII) is an experimental setup located at the Beijing Electron Positron Collider (BEPCII). The recently approved ten-year extension of data acquisition for BESIII prompted an upgrade program for both the BEPCII collider that houses the experiment and some of the sub-detectors that make up the spectrometer. The current inner drift chamber is suffering from aging and it has been proposed to replace it with a detector based on the Cylindrical Gas Electron Multiplier (CGEM) technology. The CGEM Inner Tracker (CGEM-IT) consists of three coaxial layers of triple GEM. The lightweight tracker is designed to recover efficiency and improve z-determination and secondary vertex position reconstruction, resulting in a better performance and longer lifetime. A novel system has been deeloped for the readout of the CGEM detector, including a new ASIC, called TIGER (Torino Integrated GEM Electronics for Readout), designed to amplify and digitize the CGEM signals. The data output from TIGER are collected and processed by a first FPGA-based module, GEM Read Out Card, which is responsible for configuring and controlling the front-end ASICs. A second FPGA-based module, GEM Data Concentrator (GEM DC), builds the event packets and transmits them to the BESIII data acquisition system. In this thesis I will describe the entire custom electronics chain designed for the CGEM-IT to achieve the desired performance. The structure of my work is presented along with the results of the measurements performed on the detector and the analysis of the data obtained with the detection of cosmic rays and under test beam.


title: Integrated Assessment Modeling of Korea 2050 Carbon Neutrality Technology Pathways

abstract: This integrated assessment modeling research analyzes what Korea's 2050 carbon neutrality would require for the national energy system and the role of the power sector concerning the availability of critical mitigation technologies. Our scenario-based assessments show that Korea's current policy falls short of what the nation's carbon-neutrality ambition would require. Across all technology scenarios examined in this study, extensive and rapid energy system transition is imperative, requiring the large-scale deployment of renewables and carbon capture & storage (CCS) early on and negative emission technologies (NETs) by the mid-century. Importantly, rapid decarbonization of the power sector that goes with rapid electrification of end-uses seems to be a robust national decarbonization strategy. Furthermore, we contextualize our net-zero scenario results using policy costs, requirements for natural resources, and the expansion rate of zero-carbon technologies. We find that the availability of nuclear power lowers the required expansion rate of renewables and CCS, alleviating any stress on terrestrial and geological systems. By contrast, the limited availability of CCS without nuclear power necessarily demands a very high penetration of renewables and significantly high policy compliance costs, which would decrease the feasibility of achieving the carbon neutrality target.


title: Symmetry-prohibited thermalization after a quantum quench

abstract: The observable long-time behavior of an isolated many-body system after a quantum quench is considered, i.e., an eigenstate (or an equilibrium ensemble) of some pre-quench Hamiltonian $H$ serves as initial condition which then evolves in time according to some post-quench Hamiltonian $H_p$. Absence of thermalization is analytically demonstrated for a large class of quite common pre- and post-quench spin Hamiltonians. The main requirement is that the pre-quench Hamiltonian must exhibit a $Z_2$ (spin-flip) symmetry, which would be spontaneously broken in the thermodynamic limit, though we actually focus on finite (but large) systems. On the other hand, the post-quench Hamiltonian must violate the $Z_2$ symmetry, but for the rest may be non-integrable and may obey the eigenstate thermalization hypothesis for (sums of) few-body observables.


title: Milliarcsecond localisation of the repeating FRB 20201124A

abstract: Very long baseline interferometric (VLBI) localisations of repeating fast radio bursts (FRBs) have demonstrated a diversity of local environments: from nearby star-forming regions to globular clusters. Here we report the VLBI localisation of FRB 20201124A using an ad-hoc array of dishes that also participate in the European VLBI Network (EVN). In our campaign, we detected 18 total bursts from FRB 20201124A at two separate epochs. By combining the visibilities from both observing epochs, we were able to localise FRB 20201124A with a 1-$\sigma$ error of 4.5 milliarcseconds (mas). We use the relatively large burst sample to investigate astrometric accuracy, and find that for $\gtrsim20$ baselines ($\gtrsim7$ dishes) that we can robustly reach milliarcsecond precision even using single-burst data sets. Sub-arcsecond precision is still possible for single bursts, even when only $\sim$ six baselines (four dishes) are available. We explore two methods for determining the individual burst positions: the peaks of the dirty maps and a Gaussian fit to the cross fringe pattern on the dirty maps. We found the latter to be more reliable due to the lower mean and standard deviation in the offsets from the FRB position. Our VLBI work places FRB 20201124A 705$\pm$26 mas (1-$\sigma$ errors) from the optical centre of the host galaxy, and consistent with originating from within the recently-discovered extended radio structure associated with star-formation in the host galaxy. Future high-resolution optical observations, e.g. with Hubble Space Telescope, can determine the proximity of our FRB 20201124A VLBI position to nearby knots of star formation.


title: Additive problems with almost prime squares

abstract: We show that every sufficiently large integer is a sum of a prime and two almost prime squares, and also a sum of a smooth number and two almost prime squares. The number of such representations is of the expected order of magnitude. We likewise treat representations of shifted primes p-1 as sums of two almost prime squares. The methods involve a combination of analytic, automorphic and algebraic arguments to handle representations by restricted binary quadratic forms with a high degree of uniformity.


title: Stochastic Online Linear Regression: the Forward Algorithm to Replace Ridge

abstract: We consider the problem of online linear regression in the stochastic setting. We derive high probability regret bounds for online ridge regression and the forward algorithm. This enables us to compare online regression algorithms more accurately and eliminate assumptions of bounded observations and predictions. Our study advocates for the use of the forward algorithm in lieu of ridge due to its enhanced bounds and robustness to the regularization parameter. Moreover, we explain how to integrate it in algorithms involving linear function approximation to remove a boundedness assumption without deteriorating theoretical bounds. We showcase this modification in linear bandit settings where it yields improved regret bounds. Last, we provide numerical experiments to illustrate our results and endorse our intuitions.


title: A short proof of L\'{e}vy's continuity theorem without using tightness

abstract: In this note we present a new short and direct proof of L\'{e}vy's continuity theorem in arbitrary dimension $d$, which does not rely on Prohorov's theorem, Helly's selection theorem or the uniqueness theorem for characteristic functions. Instead, it is based on convolution with a small (scalar) Gaussian distribution as well as on basic facts about weak convergence and measure theory. Moreover, we show how, by similar means, one may prove the fact that a distribution with integrable characteristic function is absolutely continuous with respect to $d$-dimensional Lebesgue measure and derive the formula for its density.


title: A Critical Study on the Recent Deep Learning Based Semi-Supervised Video Anomaly Detection Methods

abstract: Video anomaly detection is one of the hot research topics in computer vision nowadays, as abnormal events contain a high amount of information. Anomalies are one of the main detection targets in surveillance systems, usually needing real-time actions. Regarding the availability of labeled data for training (i.e., there is not enough labeled data for abnormalities), semi-supervised anomaly detection approaches have gained interest recently. This paper introduces the researchers of the field to a new perspective and reviews the recent deep-learning based semi-supervised video anomaly detection approaches, based on a common strategy they use for anomaly detection. Our goal is to help researchers develop more effective video anomaly detection methods. As the selection of a right Deep Neural Network plays an important role for several parts of this task, a quick comparative review on DNNs is prepared first. Unlike previous surveys, DNNs are reviewed from a spatiotemporal feature extraction viewpoint, customized for video anomaly detection. This part of the review can help researchers in this field select suitable networks for different parts of their methods. Moreover, some of the state-of-the-art anomaly detection methods, based on their detection strategy, are critically surveyed. The review provides a novel and deep look at existing methods and results in stating the shortcomings of these approaches, which can be a hint for future works.


title: Profit Sharing Contracts between Content and Service Providers for Enhanced Network Quality

abstract: It has been a long demand of Internet Service Providers (ISPs) that the Content Providers (CPs) share their profits for investments in network infrastructure. In this paper, we study profit sharing contracts between a CP with multiple ISPs. Each ISP commits to improving the Quality of Service (QoS) for the end-users through higher investments efforts. The CP agrees to share the profits due to the resulting higher demand for its content. We first model non-cooperative interaction between the CP and the ISPs as a two-stage Stackelberg game. CP is the leader that decides what fraction of its profits will be shared with the ISPs. Each ISP then simultaneously decides the amount of effort (investment) to enhance network quality. Here, CP cannot observe individual effort by the ISPs, which poses a challenge for the CP to decide how to share the profits with each ISP. Therefore, we also investigate a cooperative scenario, where the CP only decides the total share it gives to the ISPs, and each ISP then cooperatively shares the profit among themselves. We study the effect of such cooperation between the ISPs by building a Nash Bargaining based model. We show that the collaboration improves total effort by the ISPs and the payoff of the CP.


title: PolyTrack: Tracking with Bounding Polygons

abstract: In this paper, we present a novel method called PolyTrack for fast multi-object tracking and segmentation using bounding polygons. Polytrack detects objects by producing heatmaps of their center keypoint. For each of them, a rough segmentation is done by computing a bounding polygon over each instance instead of the traditional bounding box. Tracking is done by taking two consecutive frames as input and computing a center offset for each object detected in the first frame to predict its location in the second frame. A Kalman filter is also applied to reduce the number of ID switches. Since our target application is automated driving systems, we apply our method on urban environment videos. We trained and evaluated PolyTrack on the MOTS and KITTIMOTS datasets. Results show that tracking polygons can be a good alternative to bounding box and mask tracking. The code of PolyTrack is available at https://github.com/gafaua/PolyTrack.


title: Centrality determination in heavy-ion collisions with the LHCb detector

abstract: The centrality of heavy-ion collisions is directly related to the medium created therein. A procedure to determine the centrality of collisions with the LHCb detector is implemented for lead-lead collisions at $\sqrt{s_{\scriptscriptstyle\text{NN}}}=5\, \mathrm{TeV}$ and lead-neon fixed-target collisions at $\sqrt{s_{\scriptscriptstyle\text{NN}}}=69\, \mathrm{GeV}$. The energy deposits in the electromagnetic calorimeter are used to determine and define the centrality classes. The correspondence between the number of participants and the centrality for the lead-lead collisions is in good agreement with the correspondence found in other experiments, and the centrality measurements for the lead-neon collisions presented here are the first performed in fixed-target collisions at the LHC.


title: Proton decay matrix elements on the lattice at physical pion mass

abstract: Proton decay is a major prediction of Grand-Unified Theories (GUT) and its observation would indicate baryon number violation that is required for baryogenesis. Many decades of searching for proton decay have constrained its rate and ruled out some of the simplest GUT models. Apart from the baryon number-violating interactions, this rate also depends on transition amplitudes between the proton and mesons or leptons produced in the decay, which are matrix elements of three-quark operators. We report nonperturbative calculation of these matrix elements for the most studied two-body decay channels into a meson and antilepton done on a lattice with physical light and strange quark masses and lattice spacings $a\approx0.14$ and 0.20 fm. We perform nonperturbative renormalization and excited state analysis to control associated systematic effects. Our results largely agree with previous lattice calculations done with heavier quark masses and thus remove ambiguity in ruling out some simple GUT theories due to quark mass dependence of hadron structure.


title: Complex Langevin: Boundary terms at poles of the drift

abstract: The complex Langevin method is a general method to treat systems with complex action, such as QCD at nonzero density. The formal justification relies on the absence of certain boundary terms, both at infinity and at the unavoidable poles of the drift force. Here I focus on the boundary terms at these poles for simple models, which so far have not been discussed in detail. The main result is that those boundary terms (for the "un-evolved" observables) arise after running the Langevin process for a finite time and vanish again as the Langevin time goes to infinity. This is in contrast to the boundary terms at infinity, which can be found to occur in the long time limit (cf. the contribution by D\'enes Sexty).


title: Model of charge triplets for high-T$_c$ cuprates

abstract: Starting with a minimal model for the CuO$_2$ planes with the on-site Hilbert space reduced to a charge triplet of the three effective valence centers [CuO$_4$]$^{7-,6-,5-}$ (nominally Cu$^{1+,2+,3+}$) with different conventional spin, different orbital symmetry, and different local lattice configuration, we develop a unified non-BCS spin-pseudospin model to describe the main phase states of doped cuprates. We argue that antiferromagnetic insulating, charge ordered, superconducting, and Fermi-liquid phases are possible phase states of a model parent cuprate, while typical phase state of a doped cuprate, in particular mysterious pseudogap phase, is a result of a phase separation. Superconductivity of cuprates is not a consequence of pairing of doped holes, but the result of quantum transport of on-site composite hole bosons, whereas main peculiarities of normal state can be related to an electron-hole interplay for unusual Fermi-liquid phase and features of the phase separation. Puzzlingly, but it is the electron-lattice interaction, which in the BCS model determines $s$-wave pairing, in the model of local composite bosons gives $d_{x^2-y^2}$-symmetry of the superconducting order parameter, thus showing once again a substantial involvement of the lattice in the cuprate's HTSC.


title: Intertwining SU($N$) symmetry and frustration on a honeycomb lattice

abstract: Large symmetry groups in quantum many-body systems could strongly enhance quantum fluctuations and thereby stabilize exotic quantum phases. Frustrated interactions were long known to have similar effects. Here we intertwine the large SU($N$) symmetry and the frustration in a $J_1$-$J_2$ SU($N$) Heisenberg model on a honeycomb lattice, where $J_1$ is the nearest-neighbor coupling and $J_2$ is the next-nearest-neighbor coupling. With a large-$N$ analysis, we obtain a rich phase diagram by varying both $N$ and the ratio $J_2/J_1$. The ground states include Dirac spin liquid, chiral spin liquid, valence cluster solids, flux ordered state, and stripe states. The physical properties of each phase are discussed.


title: Protecting the Edge: Ultrafast Laser Modified C-shaped Glass Edges

abstract: A procedure and optical concept is introduced for ultrashort pulsed laser cleaving of transparent materials with tailored edges in a single pass. The procedure is based on holographically splitting a number of foci along the desired edge geometry including C-shaped edges with local 45{\deg} tangential angles to the surface. Single-pass, full thickness laser modifications are achieved requiring single-side access to the workpiece only without inclining the optical head. After having induced laser modifications with feed rates of 1 m/s actual separation is performed using a selective etching strategy.


title: IACHEC 2020/2021 Pandemic Report

abstract: In this report we summarize the activities of the International Astronomical Consortium for High Energy Calibration (IACHEC) and the work done since the last in-person meeting in Japan (Shonan Village Center), May 2019, through two virtual meetings that were held in November 2020 and May 2021. The on-line only meetings divided the contents of the usual in-person workshop between mission updates and working group updates. The November meeting was dedicated to mission calibration updates and the current status of the cross-calibration between NuSTAR, Swift, and NICER, which frequently join together in observations of bright transients, and a review of the XMM-Newton and Chandra cross-calibration. Results between \nustar\ and \swift\ overall show good agreement, but issues persist in the overlap region 3--5 keV for bright source with large dust scattering halos. The NICER cross-calibration is still progressing and evolving, while for the XMM-Newton and Chandra cross-calibration systematic differences both in the absolute flux and spectral shape determination still exists on different classes of sources. The meeting in May was focused on the Working Group progress and reports summarized here.


title: Measured foliations at infinity of quasi-Fuchsian manifolds close to the Fuchsian locus

abstract: Measured foliations at infinity of quasi-Fuchsian manifolds are a natural analog at infinity to the measured bending laminations on the boundary of its convex core. We show that given a pair of arational measured foliations $(\mathsf{F}_{+},\mathsf{F}_{-})$ which fill a closed hyperbolic surface $S$, for $t>0$ sufficiently small, $t\mathsf{F}_{+}$ and $t\mathsf{F}_{-}$ can be uniquely realised as the measured foliations at infinity of a quasi-Fuchsian manifold homeomorphic to $S\times \mathbb{R}$, which is sufficiently close to the Fuchsian locus. Here arationality means that the corresponding measured laminations are maximal. The proof is inspired by Bonahon's in\cite{bonahon05} which shows that a quasi-Fuchsian manifold close to the Fuchsian locus can be uniquely determined by the data of filling measured bending laminations on the boundary of its convex core. We also interpret the result in half-pipe geometry


title: The MURALES survey. V. Jet-induced star formation in 3C 277.3 (Coma A)

abstract: We present observations obtained with the VLT/MUSE optical integral field spectrograph of the radio source 3C277.3, located at a redshift of 0.085 and associated with the galaxy Coma A. An emission line region fully enshrouds the double-lobed radio source, which is ~60 kpc x 90 kpc in size. Based on the emission line ratios, we identified five compact knots in which the gas ionization is powered by young stars located as far as ~60 kpc from the host. The emission line filaments surrounding the radio emission are compatible with ionization from fast shocks (with a velocity of 350-500 km/s), but a contribution from star formation occurring at the edges of the radio source is likely. Coma A might be a unique example in the local Universe in which the expanding outflow triggers star formation throughout the whole radio source.


title: OnSlicing: Online End-to-End Network Slicing with Reinforcement Learning

abstract: Network slicing allows mobile network operators to virtualize infrastructures and provide customized slices for supporting various use cases with heterogeneous requirements. Online deep reinforcement learning (DRL) has shown promising potential in solving network problems and eliminating the simulation-to-reality discrepancy. Optimizing cross-domain resources with online DRL is, however, challenging, as the random exploration of DRL violates the service level agreement (SLA) of slices and resource constraints of infrastructures. In this paper, we propose OnSlicing, an online end-to-end network slicing system, to achieve minimal resource usage while satisfying slices' SLA. OnSlicing allows individualized learning for each slice and maintains its SLA by using a novel constraint-aware policy update method and proactive baseline switching mechanism. OnSlicing complies with resource constraints of infrastructures by using a unique design of action modification in slices and parameter coordination in infrastructures. OnSlicing further mitigates the poor performance of online learning during the early learning stage by offline imitating a rule-based solution. Besides, we design four new domain managers to enable dynamic resource configuration in radio access, transport, core, and edge networks, respectively, at a timescale of subseconds. We implement OnSlicing on an end-to-end slicing testbed designed based on OpenAirInterface with both 4G LTE and 5G NR, OpenDayLight SDN platform, and OpenAir-CN core network. The experimental results show that OnSlicing achieves 61.3% usage reduction as compared to the rule-based solution and maintains nearly zero violation (0.06%) throughout the online learning phase. As online learning is converged, OnSlicing reduces 12.5% usage without any violations as compared to the state-of-the-art online DRL solution.


title: Algebraic construction of associated functions of nondiagonalizable models with anharmonic oscillator complex interaction

abstract: A shape invariant nonseparable and nondiagonalizable two-dimensional model with anharmonic complex interaction, first studied by Cannata, Ioffe, and Nishnianidze, is re-examined with the purpose of providing an algebraic construction of the associated functions to the excited-state wavefunctions, needed to complete the basis. The two operators $A^+$ and $A^-$, coming from the shape invariant supersymmetric approach, where $A^+$ acts as a raising operator while $A^-$ annihilates all wavefunctions, are completed by introducing a novel pair of operators $B^+$ and $B^-$, where $B^-$ acts as the missing lowering operator. It is then shown that building the associated functions as polynomials in $A^+$ and $B^+$ acting on the ground state provides a much more efficient approach than that used in the original paper. In particular, we have been able to extend the previous results obtained for the first two excited states of the quartic anharmonic oscillator either by considering the next three excited states or by adding a cubic or a sextic term to the Hamiltonian.


title: SU(2) gauge theory with $N_f=24$ quarks at non-zero mass

abstract: We study SU(2) gauge field theory with $N_f=24$ quarks. The theory is asymptotically non-free and, at vanishing quark mass, governed by a Gaussian fixed point at long distances. On the other hand, at non-zero quark mass the quarks are expected to decouple at long distances and the system behaves like confining pure gauge SU(2) theory. We study the mass spectrum of the theory as the quark mass is varied and obtain scaling laws for meson masses and string tension. We also measure the evolution of the coupling constant at non-zero quark mass with gradient flow method. We observe unambiguously the decoupling of the quarks with the associated change of evolution of the coupling constant.


title: StyleGAN of All Trades: Image Manipulation with Only Pretrained StyleGAN

abstract: Recently, StyleGAN has enabled various image manipulation and editing tasks thanks to the high-quality generation and the disentangled latent space. However, additional architectures or task-specific training paradigms are usually required for different tasks. In this work, we take a deeper look at the spatial properties of StyleGAN. We show that with a pretrained StyleGAN along with some operations, without any additional architecture, we can perform comparably to the state-of-the-art methods on various tasks, including image blending, panorama generation, generation from a single image, controllable and local multimodal image to image translation, and attributes transfer. The proposed method is simple, effective, efficient, and applicable to any existing pretrained StyleGAN model.


title: Cross-checking SMBH mass estimates in NGC 6958 -- I: Stellar dynamics from adaptive optics-assisted MUSE observations

abstract: Supermassive black hole masses (MBH) can dynamically be estimated with various methods and using different kinematic tracers. Different methods have only been cross-checked for a small number of galaxies and often show discrepancies. To understand these discrepancies, detailed cross-comparisons of additional galaxies are needed. We present the first part of our cross-comparison between stellar- and gas-based MBH estimates in the nearby fast-rotating early-type galaxy NGC 6958. The measurements presented here are based on ground-layer adaptive optics-assisted Multi-Unit Spectroscopic Explorer (MUSE) science verification data at around 0.6 arcsec spatial resolution. The spatial resolution is a key ingredient for the measurement and we provide a Gaussian parametrisation of the adaptive optics-assisted point spread function (PSF) for various wavelengths. From the MUSE data, we extracted the stellar kinematics and constructed dynamical models. Using an axisymmetric Schwarzschild technique, we measured an MBH of (3.6+2.7-2.4)\times 10^8 Msun at 3\sigma significance taking kinematical and dynamical systematics (e.g.,radially-varying mass-to-light ratio) into account. We also added a dark halo, but our data does not allow to constrain the dark matter fraction. Adding dark matter with an abundance matching prior results in a 25 per cent more massive black hole. Jeans anisotropic models return MBH of (4.6+2.5-2.7) \times 10^8 Msun and (8.6+0.8-0.8) \times 10^8 Msun at 3\sigma confidence for spherical and cylindrical alignment of the velocity ellipsoid, respectively. In a follow-up study, we will compare the stellar-based MBH with those from cold and warm gas tracers, which will provide additional constraints for the MBH for NGC 6958, and insights into assumptions that lead to potential systematic uncertainty.


title: Microstructure engineering of metamagnetic Ni-Mn-based Heusler compounds by Fe-doping: A roadmap towards excellent cyclic stability combined with large elastocaloric and magnetocaloric effects

abstract: Ni-Mn-based metamagnetic shape-memory alloys exhibit a giant thermal response to magnetic fields and uniaxial stress which can be utilized in single caloric or multicaloric cooling concepts for energy-efficient and sustainable refrigeration. However, during cyclic operation these alloys suffer from structural and functional fatigue as a result of their high intrinsic brittleness. Here, we present based on Fe-doping of Ni-Mn-In a microstructure design strategy which simultaneously improves cyclic stability and maintains the excellent magnetocaloric and elastocaloric properties. Our results reveal that precipitation of a strongly Fe-enriched and In-depleted coherent secondary gamma-phase at grain boundaries can ensure excellent mechanical stability by hindering intergranular fracture during cyclic loading. In this way, a large elastocaloric effect of -4.5 K was achieved for more than 16000 cycles without structural or functional degradation, which corresponds to an increase of the cyclic stability by more than three orders of magnitude as compared to single-phase Ni-Mn-In-(Fe). In addition, we demonstrate that the large magnetocaloric effect of single-phase Ni-Mn-In-(Fe) can be preserved in the dual-phase material when the secondary gamma-phase is exclusively formed at grain boundaries as the martensitic transformation within the Heusler matrix is barely affected. This way, an adiabatic temperature change of -3 K and an isothermal entropy change of 15 $Jkg^{-1}K^{-1}$ was obtained in 2 T for dual-phase Ni-Mn-In-Fe. We expect that this concept can be applied to other single caloric and mutlicaloric materials, therewith paving the way for solid-state caloric cooling applications.


title: Towards an Optimal Hybrid Algorithm for EV Charging Stations Placement using Quantum Annealing and Genetic Algorithms

abstract: Quantum Annealing is a heuristic for solving optimization problems that have seen a recent surge in usage owing to the success of D-Wave Systems. This paper aims to find a good heuristic for solving the Electric Vehicle Charger Placement (EVCP) problem, a problem that stands to be very important given the costs of setting up an electric vehicle (EV) charger and the expected surge in electric vehicles across the world. The same problem statement can also be generalized to the optimal placement of any entity in a grid and can be explored for further uses. Finally, the authors introduce a novel heuristic combining Quantum Annealing and Genetic Algorithms to solve the problem. The proposed hybrid approach entails seeding the genetic algorithms with the results of quantum annealing. Experimental results show that this method decreases the minimum distance from Points of Interest (POI) by $42.89\%$ compared to vanilla quantum annealing over the sample EVCP datasets.


title: A Tri-attention Fusion Guided Multi-modal Segmentation Network

abstract: In the field of multimodal segmentation, the correlation between different modalities can be considered for improving the segmentation results. Considering the correlation between different MR modalities, in this paper, we propose a multi-modality segmentation network guided by a novel tri-attention fusion. Our network includes N model-independent encoding paths with N image sources, a tri-attention fusion block, a dual-attention fusion block, and a decoding path. The model independent encoding paths can capture modality-specific features from the N modalities. Considering that not all the features extracted from the encoders are useful for segmentation, we propose to use dual attention based fusion to re-weight the features along the modality and space paths, which can suppress less informative features and emphasize the useful ones for each modality at different positions. Since there exists a strong correlation between different modalities, based on the dual attention fusion block, we propose a correlation attention module to form the tri-attention fusion block. In the correlation attention module, a correlation description block is first used to learn the correlation between modalities and then a constraint based on the correlation is used to guide the network to learn the latent correlated features which are more relevant for segmentation. Finally, the obtained fused feature representation is projected by the decoder to obtain the segmentation results. Our experiment results tested on BraTS 2018 dataset for brain tumor segmentation demonstrate the effectiveness of our proposed method.


title: Global cell-cell communication enables spatial segregation of cells in organoids of the inner cell mass

abstract: During development, cell fates are determined through a combination of intracellular transcriptional regulations and extracellular signaling. As a result, spatial patterns of different cell types arise. We investigate the decision between epiblast and primitive endoderm cells in the inner cell mass of the preimplantation mouse embryo. Our computational model uses global cell signaling for the pattern formation. By varying the signal dispersion, cell type arrangements ranging from a checkerboard to an engulfing pattern can be generated. Pair correlation functions provide a well-suited way of characterizing the model output. With these, we established a quantitative comparison between the simulation results and experimental data of inner cell mass organoids. We obtained an astonishing agreement. Thus, our model proves its capability to replicate the cell differentiation patterns, making global signaling a strong contender to explain pattern formation in the preimplantation embryo.

categories: q-bio.CB math.DS physics.bio-ph q-bio.TO


title: Learning Robotic Ultrasound Scanning Skills via Human Demonstrations and Guided Explorations

abstract: Medical ultrasound has become a routine examination approach nowadays and is widely adopted for different medical applications, so it is desired to have a robotic ultrasound system to perform the ultrasound scanning autonomously. However, the ultrasound scanning skill is considerably complex, which highly depends on the experience of the ultrasound physician. In this paper, we propose a learning-based approach to learn the robotic ultrasound scanning skills from human demonstrations. First, the robotic ultrasound scanning skill is encapsulated into a high-dimensional multi-modal model, which takes the ultrasound images, the pose/position of the probe and the contact force into account. Second, we leverage the power of imitation learning to train the multi-modal model with the training data collected from the demonstrations of experienced ultrasound physicians. Finally, a post-optimization procedure with guided explorations is proposed to further improve the performance of the learned model. Robotic experiments are conducted to validate the advantages of our proposed framework and the learned models.


title: Generating the liftable mapping class groups of regular cyclic covers

abstract: Let $\text{Mod}(S_g)$ be the mapping class group of the closed orientable surface of genus $g \geq 1$, and let $\text{LMod}_{p}(X)$ be the liftable mapping class group associated with a finite-sheeted branched cover $p:S \to X$, where $X$ is a hyperbolic surface. For $k \geq 2$, let $p_k: S_{k(g-1)+1} \to S_g$ be the standard $k$-sheeted regular cyclic cover. In this paper, we derive an explicit finite generating sets for $\text{LMod}_{p_k}(S_g)$ for $g \geq 3$ and $k \geq 2$, and $\text{LMod}_{p_2}(S_2)$. For $g \geq 2$, as an application of our main result, we also derive a generating set for $\text{LMod}_{p_2}(S_g) \cap C_{\text{Mod}(S_g)}(\iota)$, where $C_{\text{Mod}(S_g)}(\iota)$ is the centralizer of the hyperelliptic involution $\iota \in \text{Mod}(S_g)$. Let $\mathcal{L}$ be the infinite ladder surface, and let $q_g : \mathcal{L} \to S_g$ be the standard infinite-sheeted cover induced by $\langle h^{g-1} \rangle$ where $h$ is the standard handle shift on $\mathcal{L}$. As another application, we derive a finite generating set for $\text{LMod}_{q_g}(S_g)$. Finally, we establish that for $k \geq 2$ and $g \geq 2$, $\text{LMod}_{p_k}(S_g)$ is self-normalizing in $\text{Mod}(S_g)$.


title: Mediated Semi-Quantum Key Distribution with Improved Efficiency

abstract: Mediated semi-quantum key distribution involves the use of two end-users who have very restricted, almost classical, capabilities, who wish to establish a shared secret key using the help of a fully-quantum server who may be adversarial. In this paper, we introduce a new mediated semi-quantum key distribution protocol, extending prior work, which has asymptotically perfect efficiency. Though this comes at the cost of decreased noise tolerance, our protocol is backwards compatible with prior work, so users may easily switch to the old (normally less efficient) protocol if the noise level is high enough to justify it. To prove security, we show an interesting reduction from the mediated semi-quantum scenario to a fully-quantum entanglement based protocol which may be useful when proving the security of other multi-user QKD protocols.


title: Human Attention in Fine-grained Classification

abstract: The way humans attend to, process and classify a given image has the potential to vastly benefit the performance of deep learning models. Exploiting where humans are focusing can rectify models when they are deviating from essential features for correct decisions. To validate that human attention contains valuable information for decision-making processes such as fine-grained classification, we compare human attention and model explanations in discovering important features. Towards this goal, we collect human gaze data for the fine-grained classification dataset CUB and build a dataset named CUB-GHA (Gaze-based Human Attention). Furthermore, we propose the Gaze Augmentation Training (GAT) and Knowledge Fusion Network (KFN) to integrate human gaze knowledge into classification models. We implement our proposals in CUB-GHA and the recently released medical dataset CXR-Eye of chest X-ray images, which includes gaze data collected from a radiologist. Our result reveals that integrating human attention knowledge benefits classification effectively, e.g. improving the baseline by 4.38% on CXR. Hence, our work provides not only valuable insights into understanding human attention in fine-grained classification, but also contributes to future research in integrating human gaze with computer vision tasks. CUB-GHA and code are available at https://github.com/yaorong0921/CUB-GHA.


title: Accelerating Algebraic Multigrid Methods via Artificial Neural Networks

abstract: We present a novel deep learning-based algorithm to accelerate - through the use of Artificial Neural Networks (ANNs) - the convergence of Algebraic Multigrid (AMG) methods for the iterative solution of the linear systems of equations stemming from finite element discretizations of Partial Differential Equations (PDE). We show that ANNs can be successfully used to predict the strong connection parameter that enters in the construction of the sequence of increasingly smaller matrix problems standing at the basis of the AMG algorithm, so as to maximize the corresponding convergence factor of the AMG scheme. To demonstrate the practical capabilities of the proposed algorithm, which we call AMG-ANN, we consider the iterative solution of the algebraic system of equations stemming from finite element discretizations of two-dimensional model problems. First, we consider an elliptic equation with a highly heterogeneous diffusion coefficient and then a stationary Stokes problem. We train (off-line) our ANN with a rich dataset and present an in-depth analysis of the effects of tuning the strong threshold parameter on the convergence factor of the resulting AMG iterative scheme.


title: Transfinite game values in infinite games

abstract: The object of this study are countably infinite games with perfect information that allow players to choose among arbitrarily many moves in a turn; in particular, we focus on the generalisations of the finite board games of Hex and Draughts. In chapter 1 we develop the theory of transfinite ordinal game values for open infinite games following Evans and Hamkins (arXiv:1302.4377), and we focus on the properties of the omega one, that is the supremum of the possible game values, of classes of open games; we moreover design the class of climbing-through-T games as a tool to study the omega one of given game classes. The original contributions of this research are presented in the following two chapters. In chapter 2 we prove classical results about finite Hex and present Infinite Hex, a well-defined infinite generalisation of Hex. We then introduce the class of stone-placing games, which captures the key features of Infinite Hex and further generalises the class of positional games already studied in the literature within the finite setting of Combinatorial Game Theory. The main result of this research is the characterization of open stone-placing games in terms of the property of essential locality, which leads to the conclusion that the omega one of any class of open stone-placing games is at most $\omega$. In particular, we obtain that the class of open games of Infinite Hex has the smallest infinite omega one, that is $\omega_1^{\rm Hex}=\omega$. In chapter 3 we show a dual result; we define the class of games of Infinite Draughts and explicitly construct open games of arbitrarily high game value with the tools of chapter 1, concluding that the omega one of the class of open games of Infinite Draughts is as high as possible, that is $\omega_1^{\rm Draughts}=\omega_1$.


title: SO{U}RCERER: Developer-Driven Security Testing Framework for Android Apps

abstract: Frequently advised secure development recommendations often fall short in practice for app developers. Tool-driven (e.g., using static analysis tools) approaches lack context and domain-specific requirements of an app being tested. App developers struggle to find an actionable and prioritized list of vulnerabilities from a laundry list of security warnings reported by static analysis tools. Process-driven (e.g., applying threat modeling methods) approaches require substantial resources (e.g., security testing team, budget) and security expertise, which small to medium-scale app dev teams could barely afford. To help app developers securing their apps, we propose SO{U}RCERER, a guiding framework for Android app developers for security testing. SO{U}RCERER guides developers to identify domain-specific assets of an app, detect and prioritize vulnerabilities, and mitigate those vulnerabilities based on secure development guidelines. We evaluated SO{U}RCERER with a case study on analyzing and testing 36 Android mobile money apps. We found that by following activities guided by SO{U}RCERER, an app developer could get a concise and actionable list of vulnerabilities (24-61% fewer security warnings produced by SO{U}RCERER than a standalone static analyzer), directly affecting a mobile money app's critical assets, and devise a mitigation plan. Our findings from this preliminary study indicate a viable approach to Android app security testing without being overwhelmingly complex for app developers.


title: Elucidating Robust Learning with Uncertainty-Aware Corruption Pattern Estimation

abstract: Robust learning methods aim to learn a clean target distribution from noisy and corrupted training data where a specific corruption pattern is often assumed a priori. Our proposed method can not only successfully learn the clean target distribution from a dirty dataset but also can estimate the underlying noise pattern. To this end, we leverage a mixture-of-experts model that can distinguish two different types of predictive uncertainty, aleatoric and epistemic uncertainty. We show that the ability to estimate the uncertainty plays a significant role in elucidating the corruption patterns as these two objectives are tightly intertwined. We also present a novel validation scheme for evaluating the performance of the corruption pattern estimation. Our proposed method is extensively assessed in terms of both robustness and corruption pattern estimation through a number of domains, including computer vision and natural language processing.


title: Neural Program Generation Modulo Static Analysis

abstract: State-of-the-art neural models of source code tend to be evaluated on the generation of individual expressions and lines of code, and commonly fail on long-horizon tasks such as the generation of entire method bodies. We propose to address this deficiency using weak supervision from a static program analyzer. Our neurosymbolic method allows a deep generative model to symbolically compute, using calls to a static-analysis tool, long-distance semantic relationships in the code that it has already generated. During training, the model observes these relationships and learns to generate programs conditioned on them. We apply our approach to the problem of generating entire Java methods given the remainder of the class that contains the method. Our experiments show that the approach substantially outperforms state-of-the-art transformers and a model that explicitly tries to learn program semantics on this task, both in terms of producing programs free of basic semantic errors and in terms of syntactically matching the ground truth.


title: Towards Enabling High-Five Over WiFi

abstract: The next frontier for immersive applications is enabling sentience over the Internet. Tactile Internet (TI) envisages transporting skills by providing Ultra-Low Latency (ULL) communications for transporting touch senses. In this work, we focus our study on the first/last mile communication, where the future generation WiFi-7 is pitched as the front-runner for ULL applications. We discuss a few candidate features of WiFi-7 and highlight its major pitfalls with respect to ULL communication. Further, through a specific implementation of WiFi-7 (vanilla WiFi-7) in our custom simulator, we demonstrate the impact of one of the pitfalls - standard practice of using jitter buffer in conjunction with frame aggregation - on TI communication. To circumvent this, we propose Non-Buffered Scheme (NoBuS) - a simple MAC layer enhancement for enabling TI applications on WiFi-7. NoBuS trades off packet loss for latency enabling swift synchronization between the master and controlled domains. Our findings reveal that employing NoBuS yields a significant improvement in RMSE of TI signals. Further, we show that the worst-case WiFi latency with NoBuS is 3.72 ms - an order of magnitude lower than vanilla WiFi-7 even under highly congested network conditions.


title: Characterizing and Understanding the Generalization Error of Transfer Learning with Gibbs Algorithm

abstract: We provide an information-theoretic analysis of the generalization ability of Gibbs-based transfer learning algorithms by focusing on two popular transfer learning approaches, $\alpha$-weighted-ERM and two-stage-ERM. Our key result is an exact characterization of the generalization behaviour using the conditional symmetrized KL information between the output hypothesis and the target training samples given the source samples. Our results can also be applied to provide novel distribution-free generalization error upper bounds on these two aforementioned Gibbs algorithms. Our approach is versatile, as it also characterizes the generalization errors and excess risks of these two Gibbs algorithms in the asymptotic regime, where they converge to the $\alpha$-weighted-ERM and two-stage-ERM, respectively. Based on our theoretical results, we show that the benefits of transfer learning can be viewed as a bias-variance trade-off, with the bias induced by the source distribution and the variance induced by the lack of target samples. We believe this viewpoint can guide the choice of transfer learning algorithms in practice.


title: Prescribed Weingarten curvature equations in warped product manifolds

abstract: In this paper, under suitable settings, we can obtain the existence of solutions to a class of prescribed Weingarten curvature equations in warped product manifolds of special type by the standard degree theory based on the a priori estimates for the solutions. This is to say that the existence of closed hypersurface (which is graphic with respect to the base manifold and whose $k$-th Weingarten curvature satisfies some constraint) in a given warped product manifold of special type can be assured.


title: Characterizing the bulk and turbulent gas motions in galaxy clusters

abstract: The most massive halos of matter in the Universe grow via accretion and merger events throughout cosmic times. These violent processes generate shocks at many scales and induce large-scale bulk and turbulent motions. These processes inject kinetic energy at large scales, which is transported to the viscous dissipation scales, contributing to the overall heating and virialisation of the halo, and acting as a source of non-thermal pressure in the intra-cluster medium. Characterizing the physical properties of these gas motions will help us to better understand the assembly of massive halos, hence the formation and the evolution of these large-scale structures. We base this characterization on the study of the X-ray and Sunyaev-Zel'dovich effect brightness fluctuations. Our work relies on three complementary samples covering a wide range of redshifts, masses and dynamical states of clusters. We present the results of our X-ray analysis for the low redshift sample, X-COP, and a subsample of higher redshift clusters. We investigate the derived properties according to the dynamical state of our clusters, and the possibility of a self-similar behaviour based on the reconstructed gas motions power-spectra and the correlation with various morphological indicators.


title: A Finite Characterization of Perfect Equilibria

abstract: Govindan and Klumpp [7] provided a characterization of perfect equilibria using Lexicographic Probability Systems (LPSs). Their characterization was essentially finite in that they showed that there exists a finite bound on the number of levels in the LPS, but they did not compute it explicitly. In this note, we draw on two recent developments in Real Algebraic Geometry to obtain a formula for this bound.


title: CMB at small scales: Cosmology from tSZ power spectrum

abstract: Small scale CMB angular power spectrum contains not only primordial CMB information but also many contaminants coming from secondary anisotropies. Most of the latter depend on the cosmological model but are often marginalised over. We propose a new analysis of the SPT data focusing on the cosmological contribution of the thermal Sunyaev Zel'dovich (tSZ) effect. We model the tSZ angular spectrum with the halo model and train a random forest algorithm to speed up its computation. We show that using the cosmological information of the tSZ on top of the primordial CMB one contained in SPT data bring more constraints on cosmological parameters. We also combine for the first time Planck tSZ angular power spectrum with SPT ones to put further constraints. This proof of concept study shows how much a proper modelling of the foregrounds in the cosmological analyses is needed.


title: Inference in high-dimensional online changepoint detection

abstract: We introduce and study two new inferential challenges associated with the sequential detection of change in a high-dimensional mean vector. First, we seek a confidence interval for the changepoint, and second, we estimate the set of indices of coordinates in which the mean changes. We propose an online algorithm that produces an interval with guaranteed nominal coverage, and whose length is, with high probability, of the same order as the average detection delay, up to a logarithmic factor. The corresponding support estimate enjoys control of both false negatives and false positives. Simulations confirm the effectiveness of our methodology, and we also illustrate its applicability on the US excess deaths data from 2017--2020.


title: Radio and X-ray observations of giant pulses from XTE J1810-197

abstract: We present the results of two years of radio and X-ray monitoring of the magnetar XTE J1810$-$197 since the radio re-activation in late 2018. Single pulse analysis of radio observations from the Lovell and MkII telescopes at 1564 MHz and the Effelsberg telescope at 6 GHz has resulted in the detection of a total of 91 giant pulses (GPs) between MJDs 58858 and 59117. These GPs appear to be confined to two specific phase ranges (0.473 <= \phi <= 0.502$ and 0.541 <= \phi <= 0.567). We also observe that the first detection of GP emission corresponds to a minimum in the spin-down rate. Simultaneous radio and X-ray observations were performed on MJDs 59009 and 59096. The 0.5-10 keV X-ray spectrum from NICER is well characterised by a two component blackbody model that can be interpreted as two hot spots on the polar cap of the neutron star. The blackbody temperature decreases with time, consistent with the previous outburst, while the change in the pulsed fraction does not follow the same trend as was seen in the previous outburst. The radio and X-ray flux of XTE J1810-197 are correlated during the initial phase of the outburst (MJD 58450 - MJD 58550) and an increase in the radio flux is observed later that may be correlated to the onset of GPs. We argue that the disparity in the evolution of the current outburst compared to the previous one can be attributed to a change in geometry of the neutron star.


title: Interferometric weak value of polarization observable and differential Jones matrix algebra

abstract: The quantification of simultaneously present weak polarization anisotropy effects are of practical interest from polarimetric and metrological perspective. Recently, in Phys. Rev. A 103, 053518, we experimentally demonstrated a classical analog of post-selected quantum weak measurement through optical interferometry to amplify all possible weak polarization anisotropy effects individually. Here, we propose an extension of this interferometric framework to quantify simultaneously present polarization anisotropy effects. Moreover, a clear correspondence of differential Jones matrix approach with the present scheme is indicated. The proposed scheme enables the measurement of differential Jones matrices through characteristic Stokes vector elements. Our proposal leads to a new class of polarimeter for experimental detection of differential Jones matrix of non-depolarizing anisotropic medium exhibiting simultaneous multiple polarimetric effects of tiny magnitude.


title: Quantum fields on semi-globally hyperbolic space-times

abstract: We introduce a class of space-times modeling singular events such as evaporating black holes and topology changes, which we dub as semi-globally hyperbolic space-times. On these space-times we aim to study the existence of reasonable quantum field theories. We establish a notion of linear scalar quantum field theories on these space-times, show how such a theory might be constructed and introduce notions of global dynamics on these theories. Applying these constructions to both black hole evaporation and topology changing space-times, we find that existence of algebras can be relatively easily established, while the existence of reasonable states on these algebras remains an unsolved problem.


title: Multiscale simulations of uni-polar hole transport in (In,Ga)N quantum well systems

abstract: Understanding the impact of the alloy micro-structure on carrier transport becomes important when designing III-nitride-based LED structures. In this work, we study the impact of alloy fluctuations on the hole carrier transport in (In,Ga)N single and multi-quantum well systems. To disentangle hole transport from electron transport and carrier recombination processes, we focus our attention on uni-polar (p-i-p) systems. The calculations employ our recently established multi-scale simulation framework that connects atomistic tight-binding theory with a macroscale drift-diffusion model. In addition to alloy fluctuations, we pay special attention to the impact of quantum corrections on hole transport. Our calculations indicate that results from a virtual crystal approximation present an upper limit for the hole transport in a p-i-p structure in terms of the current-voltage characteristics. Thus we find that alloy fluctuations can have a detrimental effect on hole transport in (In,Ga)N quantum well systems, in contrast to uni-polar electron transport. However, our studies also reveal that the magnitude by which the random alloy results deviate from virtual crystal approximation data depends on several factors, e.g. how quantum corrections are treated in the transport calculations.


title: Energy and Resource Efficiency by User Traffic Prediction and Classification in Cellular Networks

abstract: There is a lack of research on the analysis of per-user traffic in cellular networks, for deriving and following traffic-aware network management. \textcolor{black}{In fact, the legacy design approach, in which resource provisioning and operation control are performed based on the cell-aggregated traffic scenarios, are not so energy- and cost-efficient and need to be substituted with user-centric predictive analysis of mobile network traffic and proactive network resource management.} Here, we shed light on this problem by designing traffic prediction tools that utilize standard machine learning (ML) tools, including long short-term memory (LSTM) and autoregressive integrated moving average (ARIMA) on top of per-user data. We present an expansive empirical evaluation of the designed solutions over a real network traffic dataset. Within this analysis, the impact of different parameters, such as the time granularity, the length of future predictions, and feature selection are investigated. As a potential application of these solutions, we present an ML-powered Discontinuous reception (DRX) scheme for energy saving. Towards this end, we leverage the derived ML models for dynamic DRX parameter adaptation to user traffic. The performance evaluation results demonstrate the superiority of LSTM over ARIMA in general, especially when the length of the training time series is high enough, and it is augmented by a \textit{wisely}-selected set of features. Furthermore, the results show that adaptation of DRX parameters by online prediction of future traffic provides much more energy-saving at low latency cost in comparison with the legacy cell-wide DRX parameter adaptation.


title: Optical and mechanical properties of ion-beam-sputtered MgF$_2$ thin films for gravitational-wave interferometers

abstract: Brownian thermal noise associated with highly reflective coatings is a fundamental limit for several precision experiments, including gravitational-wave detectors. Research is currently ongoing to find coatings with low thermal noise that also fulfill strict optical requirements such as low absorption and scatter. We report on the optical and mechanical properties of ion-beam-sputtered magnesium fluoride thin films, and we discuss the application of such coatings in current and future gravitational-wave detectors.


title: Information Spillover in Multiple Zero-sum Games

abstract: This paper considers an infinitely repeated three-player Bayesian game with lack of information on two sides, in which an informed player plays two zero-sum games simultaneously at each stage against two uninformed players. This is a generalization of the Aumann et al. [1] two-player zero-sum one-sided incomplete information model. Under a correlated prior, the informed player faces the problem of how to optimally disclose information among two uninformed players in order to maximize his long-term average payoffs. Our objective is to understand the adverse effects of \information spillover" from one game to the other in the equilibrium payoff set of the informed player. We provide conditions under which the informed player can fully overcome such adverse effects and characterize equilibrium payoffs. In a second result, we show how the effects of information spillover on the equilibrium payoff set of the informed player might be severe.


title: Common envelope to explosion delay time distribution (CEEDTD) of type Ia supernovae

abstract: I use recent observations of circumstellar matter (CSM) around type Ia supernovae (SNe Ia) to estimate the fraction of SNe Ia that explode into a planetary nebula (PN) and to suggest a new delay time distribution from the common envelope evolution (CEE) to the SN Ia explosion for SNe Ia that occur shortly after the CEE. Under the assumption that the CSM results from a CEE, I crudely estimate that about 50 per cent of all SNe Ia are SNe Ia inside PNe (SNIPs), and that the explosions of most SNIPs occur within a CEE to explosion delay (CEED) time of less than about ten thousand years. I also estimate that the explosion rate of SNIPs, i.e., the CEED time distribution (CEEDTD), is roughly constant within this time scale of ten thousand years. The short CEED time suggests than a fraction of SNIPs come from the core-degenerate (CD) scenario where the merger of the core with the white dwarf takes place at the end of the CEE. I present my view that the majority of SNIPs come from the CD scenario. I list some further observations that might support or reject my claims, and the challenge to theoretical studies to find a process to explain a merger to explosion delay (MED) time of up to ten thousand years or so. A long MED will apply also to the double degenerate scenario.


title: Non-equilibrium self-assembly of spin-wave solitons in FePt nanoparticles

abstract: Magnetic nanoparticles such as FePt in the L10-phase are the bedrock of our current data storage technology. As the grains become smaller to keep up with technological demands, the superparamagnetic limit calls for materials with higher magneto-crystalline anisotropy. This in turn reduces the magnetic exchange length to just a few nanometers enabling magnetic structures to be induced within the nanoparticles. Here we describe the existence of spin-wave solitons, dynamic localized bound states of spin-wave excitations, in FePt nanoparticles. We show with time-resolved X-ray diffraction and micromagnetic modeling that spin-wave solitons of sub-10 nm sizes form out of the demagnetized state following femtosecond laser excitation. The measured soliton spin-precession frequency of 0.1 THz positions this system as a platform to develop miniature devices capable of filling the THz gap.


title: Adjusting for misclassification of an exposure in an individual participant data meta-analysis

abstract: A common problem in the analysis of multiple data sources, including individual participant data meta-analysis (IPD-MA), is the misclassification of binary variables. Misclassification may lead to biased estimates of model parameters, even when the misclassification is entirely random. We aimed to develop statistical methods that facilitate unbiased estimation of adjusted and unadjusted exposure-outcome associations and between-study heterogeneity in IPD-MA, where the extent and nature of exposure misclassification may vary across studies. We present Bayesian methods that allow misclassification of binary exposure variables to depend on study- and participant-level characteristics. In an example of the differential diagnosis of dengue using two variables, where the gold standard measurement for the exposure variable was unavailable for some studies which only measured a surrogate prone to misclassification, our methods yielded more accurate estimates than analyses naive with regard to misclassification or based on gold standard measurements alone. In a simulation study, the evaluated misclassification model yielded valid estimates of the exposure-outcome association, and was more accurate than analyses restricted to gold standard measurements. Our proposed framework can appropriately account for the presence of binary exposure misclassification in IPD-MA. It requires that some studies supply IPD for the surrogate and gold standard exposure and misclassification is exchangeable across studies conditional on observed covariates (and outcome). The proposed methods are most beneficial when few large studies that measured the gold standard are available, and when misclassification is frequent.


title: Periods of a max-type equation

abstract: We consider the max-type equation $$x_{n+4}=\max\{x_{n+3},x_{n+2},x_{n+1},0\}-x_n,$$ with arbitrary real initial conditions. We describe completely its set of periods $\mathrm{Per}(F_4)$, as well as its associate periodic orbits. We also prove that there exists a natural number $N\notin\mathrm{Per}(F_4)$ for which $$\left\{N+m:m\geq 1,m\in\mathbb N\right\}\subset\mathrm{Per}(F_4).$$


title: Design and Evaluation of Active Noise Control on Machinery Noise

abstract: Construction workers and residents live near around construction sites are exposed to noises that might cause hearing loss, high blood pressure, heart disease, sleep disturbance and stress. Regulations has been carried out by national governments to limit the maximum permissible noise levels for construction works. A four-channel active noise control system mounted on the opening of an enclosure is designed to prevent the machinery noise from spreading around and retaining the heat diffusion path. Multi-channel FxLMS algorithm in time domain is implemented on the main controller. A Genelec speaker is placed inside the box as the primary noise source to play back different types of noises. Analyses and experiments are carried out to investigate the controllable frequency range of this ANC system in detail. Considerable noise reduction performance is achieved for different recorded practical construction noises.


title: Phase separation in high-T$_c$ cuprates

abstract: We develop a minimal non-BCS model for the CuO$_2$ planes with the on-site Hilbert space reduced to only three effective valence centers CuO$_4$ with different charge, conventional spin, and orbital symmetry, combined in a charge triplet. Using the S=1 pseudospin algebra we introduce an effective spin-pseudospin Hamiltonian. To illustrate the possibilities of the molecular field approximation we start with the analysis of the atomic and the "large negative-$U$" limits of the model in comparison with the Bethe cluster approximation, classical and quantum Monte Carlo methods. Both limiting systems exhibit the phase separation effect typical of systems with competing order parameters. The $T$\,-\,$n$ phase diagrams of the complete spin-pseudospin model were reproduced by means of a site-dependent variational approach within effective field approximation typical for spin-magnetic systems. Limiting ourselves to two-sublattice approximation and $nn$-couplings we arrived at several N\'{e}el-like phases in CuO$_2$ planes for parent and doped systems with a single nonzero local order parameter: antiferromagnetic insulator, charge order, glueless $d$-wave Bose superfluid phase, and unusual metallic phase. However, the global minimum of free energy is realized for phase separated states which are bounded by the third-order phase transition line $T^{\star}(n)$, which is believed to be responsible for the onset of the pseudogap phenomenon. With a certain choice of the Hamiltonian parameters the model phase diagrams can quite reasonably reproduce the main features of experimental phase diagrams for T- and T$^{\prime}$-cuprates and novel nickelates. The superconducting phase of cuprates/nickelates is determined by the on-site composite boson transport, it is not a consequence of pairing of doped holes/electrons, but represents one of the possible phase states of parent systems.


title: Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy

abstract: A shallow semantical embedding for public announcement logic with relativized common knowledge is presented. This embedding enables the first-time automation of this logic with off-the-shelf theorem provers for classical higher-order logic. It is demonstrated (i) how meta-theoretical studies can be automated this way, and (ii) how non-trivial reasoning in the target logic (public announcement logic), required e.g. to obtain a convincing encoding and automation of the wise men puzzle, can be realized. Key to the presented semantical embedding is that evaluation domains are modeled explicitly and treated as an additional parameter in the encodings of the constituents of the embedded target logic; in previous related works, e.g. on the embedding of normal modal logics, evaluation domains were implicitly shared between meta-logic and target logic. The work presented in this article constitutes an important addition to the pluralist LogiKEy knowledge engineering methodology, which enables experimentation with logics and their combinations, with general and domain knowledge, and with concrete use cases -- all at the same time.


title: Quantum phase transitions and a disorder-based filter in a Floquet system

abstract: Two-dimensional periodically-driven topological insulators have been shown to exhibit numerous topological phases, including ones which have no static analog, such as anomalous Floquet topological phases. We study a two dimensional model of spinless fermions on a honeycomb lattice with periodic driving. We show that this model exhibits a rich mixture of weak and strong topological phases, which we identify by computing their scattering matrix invariants. Further, we do an in-depth analysis of these topological phases in the presence of spatial disorder and show the relative robustness of these phases against imperfections. Making use of this robustness against spatial disorder, we propose a filter which allows the passage of only edge states, and which can be realized using existing experimental techniques.