title: FAST3D: Flow-Aware Self-Training for 3D Object Detectors

abstract: In the field of autonomous driving, self-training is widely applied to mitigate distribution shifts in LiDAR-based 3D object detectors. This eliminates the need for expensive, high-quality labels whenever the environment changes (e.g., geographic location, sensor setup, weather condition). State-of-the-art self-training approaches, however, mostly ignore the temporal nature of autonomous driving data. To address this issue, we propose a flow-aware self-training method that enables unsupervised domain adaptation for 3D object detectors on continuous LiDAR point clouds. In order to get reliable pseudo-labels, we leverage scene flow to propagate detections through time. In particular, we introduce a flow-based multi-target tracker, that exploits flow consistency to filter and refine resulting tracks. The emerged precise pseudo-labels then serve as a basis for model re-training. Starting with a pre-trained KITTI model, we conduct experiments on the challenging Waymo Open Dataset to demonstrate the effectiveness of our approach. Without any prior target domain knowledge, our results show a significant improvement over the state-of-the-art.


title: Towards Federated Bayesian Network Structure Learning with Continuous Optimization

abstract: Traditionally, Bayesian network structure learning is often carried out at a central site, in which all data is gathered. However, in practice, data may be distributed across different parties (e.g., companies, devices) who intend to collectively learn a Bayesian network, but are not willing to disclose information related to their data owing to privacy or security concerns. In this work, we present a federated learning approach to estimate the structure of Bayesian network from data that is horizontally partitioned across different parties. We develop a distributed structure learning method based on continuous optimization, using the alternating direction method of multipliers (ADMM), such that only the model parameters have to be exchanged during the optimization process. We demonstrate the flexibility of our approach by adopting it for both linear and nonlinear cases. Experimental results on synthetic and real datasets show that it achieves an improved performance over the other methods, especially when there is a relatively large number of clients and each has a limited sample size.


title: An unconstrained-like control-based dynamic method for optimization problems with simple bounds

abstract: The optimization problems with simple bounds are an important class of problems. To facilitate the computation of such problems, an unconstrained-like dynamic method, motivated by the Lyapunov control principle, is proposed. This method employs the anti-windup limited integrator to address the bounds of parameters upon the dynamics for unconstrained problem, and then solves the transformed Initial-value Problems (IVPs) with mature Ordinary Differential Equation (ODE) integration methods. It is proved that when the gain matrix is diagonal, the result is equivalent to that of the general dynamic method which involves an intermediate Quadratic Programming (QP) sub-problem. Thus, the global convergence to the optimal solution is guaranteed without the requirement of the strict complementarity condition. Since the estimation of the right active constraints is avoided and no programming sub-problem is involved in the computation process, it shows higher efficiency than the general dynamic method and other common iterative methods through the numerical examples. In particular, the implementation is simple, and the proposed method is easy-to-use.


title: Higgs-plus-jet inclusive production as stabilizer of the high-energy resummation

abstract: We investigate the inclusive hadroproduction of a Higgs boson in association with a jet, featuring large transverse momenta and separated by a large rapidity distance. We propose this reaction, that can be studied at the LHC as well as at new-generation colliding machines, as a novel probe channel for the manifestation of the Balitsky-Fadin-Kuraev-Lipatov (BFKL) dynamics. We bring evidence that high-energy resummed distributions in rapidity and transverse momentum exhibit a solid stability under higher-order corrections, thus offering us a faultless chance to gauge the feasibility of precision calculations of these observables at high energies. We come out with the message that future, exhaustive analyses of the inclusive Higgs-boson production, would benefit from the inclusion of high-energy effects in a multi-lateral formalism where distinct resummations are concurrently embodied. We propose these studies with the aim of inspiring synergies with other Communities, and pursuing the goal of widening common horizons in the exploration of the Higgs-physics sector.


title: Does human-robot trust need reciprocity?

abstract: Trust is one of the hallmarks of human-human and human-robot interaction. Extensive evidence has shown that trust among humans requires reciprocity. Conversely, research in human-robot interaction (HRI) has mostly relied on a unidirectional view of trust that focuses on robots' reliability and performance. The current paper argues that reciprocity may also play a key role in the emergence of mutual trust and successful collaboration between humans and robots. We will gather and discuss works that reveal a reciprocal dimension in human-robot trust, paving the way to a bidirectional and dynamic view of trust in HRI.


title: Prediction of liquid fuel properties using machine learning models with Gaussian processes and probabilistic conditional generative learning

abstract: Accurate determination of fuel properties of complex mixtures over a wide range of pressure and temperature conditions is essential to utilizing alternative fuels. The present work aims to construct cheap-to-compute machine learning (ML) models to act as closure equations for predicting the physical properties of alternative fuels. Those models can be trained using the database from MD simulations and/or experimental measurements in a data-fusion-fidelity approach. Here, Gaussian Process (GP) and probabilistic generative models are adopted. GP is a popular non-parametric Bayesian approach to build surrogate models mainly due to its capacity to handle the aleatory and epistemic uncertainties. Generative models have shown the ability of deep neural networks employed with the same intent. In this work, ML analysis is focused on a particular property, the fuel density, but it can also be extended to other physicochemical properties. This study explores the versatility of the ML models to handle multi-fidelity data. The results show that ML models can predict accurately the fuel properties of a wide range of pressure and temperature conditions.


title: Efficient Exploration in Binary and Preferential Bayesian Optimization

abstract: Bayesian optimization (BO) is an effective approach to optimize expensive black-box functions, that seeks to trade-off between exploitation (selecting parameters where the maximum is likely) and exploration (selecting parameters where we are uncertain about the objective function). In many real-world situations, direct measurements of the objective function are not possible, and only binary measurements such as success/failure or pairwise comparisons are available. To perform efficient exploration in this setting, we show that it is important for BO algorithms to distinguish between different types of uncertainty: epistemic uncertainty, about the unknown objective function, and aleatoric uncertainty, which comes from noisy observations and cannot be reduced. In effect, only the former is important for efficient exploration. Based on this, we propose several new acquisition functions that outperform state-of-the-art heuristics in binary and preferential BO, while being fast to compute and easy to implement. We then generalize these acquisition rules to batch learning, where multiple queries are performed simultaneously.


title: Quantum Trajectory Theory and Simulations of Nonlinear Spectra and Multi-Photon Effects in Waveguide-QED Systems with a Time-Delayed Coherent Feedback

abstract: We study the nonlinear spectra and multi-photon correlation functions for the waveguide output of a two-level system (including realistic dissipation channels) with a time-delayed coherent feedback. We compute these observables by extending a recent quantum trajectory discretized-waveguide (QTDW) approach which exploits quantum trajectory simulations and a collisional model for the waveguide to tractably simulate the dynamics. Following a description of the general technique, we show how to calculate the first and second order quantum correlation functions, in the presence of a coherent pumping field. With a short delay time, we show how feedback can be used to filter out the central peak of the Mollow triplet or switch the output between bunched and anti-bunched photons by proper choice of round trip phase. We further show how the loop length and round trip phase effects the zero-time second order quantum correlation function, an indicator of bunching or anti-bunching. New resonances introduced through the feedback loop are also shown through their appearance in the incoherent output spectrum from the waveguide. We explain these results in the context of the waiting time distributions of the system output and individual trajectories, uniquely stochastic observables that are easily accessible with the QTDW model.


title: Master equations governing the coupling between spin-currents and gravity

abstract: In this work we consider the Einstein-Hilbert action in the first order order formalism coupled to Dirac spinors. From the little group symmetry, we derive the corresponding Bargmann-Wigner current which is conserved but not gauge invariant. Therefore, we construct a gauge invariant version of the Bargmann-Wigner current which is not conserved but potentially observable. Because it is not conserved we split this current into fermionic and gravitational sectors and derive their broken continuity equations for each sector. These equations compose the master equations governing the interaction of spin-currents with gravity. Furthermore, we derive the corresponding master equations in the weak field approximation.


title: The key impact of the host star's rotational history on the evolution of TOI-849b

abstract: TOI-849b is one of the few planets populating the hot-Neptune desert and it is the densest Neptune-sized one discovered so far. Its extraordinary proximity to the host star, together with the absence of a massive H/He envelope on top of the $40.8 ~M_{\oplus}$ rocky core calls into question the role played by the host star in the evolution of the system. We aim to study the impact of the host star's rotational history on the evolution of TOI-849b, focussing on the planetary migration due to dynamical tides dissipated in the stellar convective envelope and on the high-energy emission. Rotating stellar models of TOI-849 are coupled to our orbital evolution code to study the evolution of the planetary orbit. The evolution of the planetary atmosphere is studied by means of the JADE code, which uses realistic XUV-fluxes provided by our rotating stellar models. Assuming that the planet was at its present day position ($a=0.01598 \rm AU$) at the protoplanetary disc dispersal, with mass $40.8~ M_{\oplus}$, and considering a broad range of host star initial surface rotation rates ($\Omega_{\rm in}$) in the range $ [3.2, 18]~ \Omega_{\odot}$, we find that only for $\Omega_{\rm in} \leq 5 \Omega_{\odot}$ do we reproduce the current position of the planet, given that for $\Omega_{\rm in}$ larger than $5 \Omega_{\odot}$ its orbit is efficiently deflected by dynamical tides. We tested the impact of increasing the initial mass of the planet on the efficiency of tides, finding that a higher initial mass ($1~M_{\rm Jup}$) does not change the results reported above. Based on these results we computed the evolution of the planetary atmospheres with the JADE code for a large range of initial masses above a core mass of $40.8~M_{\oplus}$, finding that the strong XUV-flux received by the planet is able to remove the entirety of the envelope within the first 50 Myr, even if it formed as a Jupiter-mass planet.


title: Optical Front/Mid-haul with Open Access-Edge Server Deployment Framework for Sliced O-RAN

abstract: The fifth-generation of mobile radio technologies is expected to be agile, flexible, and scalable while provisioning ultra-reliable and low-latency communication (uRLLC), enhanced mobile broadband (eMBB), and massive machine type communication (mMTC) applications. An efficient way of implementing these is by adopting cloudification, network function virtualization, and network slicing techniques with open-radio access network (O-RAN) architecture where the base-band processing functions are disaggregated into virtualized radio unit (RU), distributed unit (DU), and centralized unit (CU) over front/mid-haul interfaces. However, cost-efficient solutions are required for designing front/mid-haul interfaces and time-wavelength division multiplexed (TWDM) passive optical network (PON) appears as a potential candidate. Therefore, in this paper, we propose a framework for the optimal placement of RUs based on long-term network statistics and connecting them to open access-edge servers for hosting the corresponding DUs and CUs over front/mid-haul interfaces while satisfying the diverse QoS requirements of uRLLC, eMBB, and mMTC slices. In turn, we formulate a two-stage integer programming problem and time-efficient heuristics for users to RU association and flexible deployment of the corresponding DUs and CUs. We evaluate the O-RAN deployment cost and latency requirements with our TWDM-PON-based framework against urban, rural, and industrial areas and show its efficiency over the optical transport network (OTN)-based framework.


title: Use and Misuse of the Term Experiment in Mining Software Repositories Research

abstract: The significant momentum and importance of Mining Software Repositories (MSR) in Software Engineering (SE) has fostered new opportunities and challenges for extensive empirical research. However, MSR researchers seem to struggle to characterize the empirical methods they use into the existing empirical SE body of knowledge. This is especially the case of MSR experiments. To provide evidence on the special characteristics of MSR experiments and their differences with experiments traditionally acknowledged in SE so far, we elicited the hallmarks that differentiate an experiment from other types of empirical studies and characterized the hallmarks and types of experiments in MSR. We analyzed MSR literature obtained from a small-scale systematic mapping study to assess the use of the term experiment in MSR. We found that 19% of the papers claiming to be an experiment are indeed not an experiment at all but also observational studies, so they use the term in a misleading way. From the remaining 81% of the papers, only one of them refers to a genuine controlled experiment while the others stand for experiments with limited control. MSR researchers tend to overlook such limitations, compromising the interpretation of the results of their studies. We provide recommendations and insights to support the improvement of MSR experiments.


title: Influence of coherent vibronic excitation on the high harmonics generation of diatomic molecules

abstract: The generation of high harmonics (HHG) in atomic systems by the highly non-linear response to an intense laser field is a prominent pathway to the synthesis of ever shorter laser pulses at increasingly higher photon energies. Extensions of this process to molecules add to the complexity but also offers novel opportunities as multi-center effects and the coupling to nuclear degrees of freedom can influence HHG. In this work we theoretically explore the impact of coherent vibronic excitations of diatomic molecules on the HHG spectrum within the framework of time-dependent density functional theory. We observe the appearance of novel interference structures in the HHG spectra controlled by resonances between the driving field and the vibronic wavepacket.


title: Interplay between critical and off-critical zeros of two-dimensional Epstein zeta functions

abstract: The two-dimensional Epstein zeta function formulated on a rectangular lattice with spacings $a_x=1$ and $a_y=\Delta$, $\zeta^{(2)}(s,\Delta) = \frac{1}{2} \sum_{j,k} (j^2+\Delta^2 k^2)^{-s}$ $(\Re(s)>1)$ where the sum goes over all integers except of the origin $(j,k)=(0,0)$, is studied. It can be analytically continued to the whole complex $s$-plane except for the point $s=1$. The nontrivial zeros $\{ \rho=\rho_x+{\rm i}\rho_y \}$ of the Epstein zeta function, defined by $\zeta^{(2)} (\rho,\Delta)=0$, split into ``critical'' zeros (on the critical line $\rho_x=\frac{1}{2}$) and ``off-critical'' zeros ($\rho_x\ne\frac{1}{2}$). According to the present numerical calculation, the critical zeros form open or closed curves $\rho_y(\Delta)$ in the plane $(\Delta,\rho_y)$. Two nearest critical zeros merge at special points, referred to as left/right edge zeros, which are defined by a divergent tangent ${\rm d}\rho_y/{\rm d}\Delta\vert_{\Delta^*}$. Each of these edge zeros gives rise to a continuous curve of off-critical zeros which can thus be generated systematically. As a rule, each curve of off-critical zeros joins a pair of left and right edge zeros. It is shown that in the regions of small/large values of the anisotropy parameter $\Delta$ the Epstein zeta function can be approximated adequately by a function which reveals an equidistant distribution of critical zeros along the imaginary axis in the limits $\Delta\to 0$ and $\Delta\to\infty$. It is also found that for each $\Delta\in (0,\Delta_c^*]\cup [1/\Delta_c^*,\infty)$ with $\Delta_c^*\approx 0.141733$ there exists a pair of \emph{real} off-critical zeros, their $\rho_x$ components go to the borders $0$ and $1$ of the critical region in the limits $\Delta\to 0,\infty$. As a rule, each curve of off-critical zeros joins a pair of left and right edge zeros.


title: Anti-Factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard)

abstract: In the general AntiFactor problem, a graph $G$ is given with a set $X_v\subseteq \mathbb{N}$ of forbidden degrees for every vertex $v$ and the task is to find a set $S$ of edges such that the degree of $v$ in $S$ is not in the set $X_v$. Standard techniques (dynamic programming + fast convolution) can be used to show that if $M$ is the largest forbidden degree, then the problem can be solved in time $(M+2)^k\cdot n^{O(1)}$ if a tree decomposition of width $k$ is given. However, significantly faster algorithms are possible if the sets $X_v$ are sparse: our main algorithmic result shows that if every vertex has at most $x$ forbidden degrees (we call this special case AntiFactor$_x$), then the problem can be solved in time $(x+1)^{O(k)}\cdot n^{O(1)}$. That is, the AntiFactor$_x$ is fixed-parameter tractable parameterized by treewidth $k$ and the maximum number $x$ of excluded degrees. Our algorithm uses the technique of representative sets, which can be generalized to the optimization version, but (as expected) not to the counting version of the problem. In fact, we show that #AntiFactor$_1$ is already #W[1]-hard parameterized by the width of the given decomposition. Moreover, we show that, unlike for the decision version, the standard dynamic programming algorithm is essentially optimal for the counting version. Formally, for a fixed nonempty set $X$, we denote by $X$-AntiFactor the special case where every vertex $v$ has the same set $X_v=X$ of forbidden degrees. We show the following lower bound for every fixed set $X$: if there is an $\epsilon>0$ such that #$X$-AntiFactor can be solved in time $(\max X+2-\epsilon)^k\cdot n^{O(1)}$ on a tree decomposition of width $k$, then the Counting Strong Exponential-Time Hypothesis (#SETH) fails.


title: Sugar-Pucker Force-Induced Transition in Single-Stranded~DNA

abstract: The accurate knowledge of the elastic properties of single-stranded DNA (ssDNA) is key to characterize the thermodynamics of molecular reactions that are studied by force spectroscopy methods where DNA is mechanically unfolded. Examples range from DNA hybridization, DNA ligand binding, DNA unwinding by helicases, etc. To date, ssDNA elasticity has been studied with different methods in molecules of varying sequence and contour length. A dispersion of results has been reported and the value of the persistence length has been found to be larger for shorter ssDNA molecules. We carried out pulling experiments with optical tweezers to characterize the elastic response of ssDNA over three orders of magnitude in length (60-14 k bases). By fitting the force-extension curves (FECs) to the Worm-Like Chain model we confirmed the above trend:the persistence length nearly doubles for the shortest molecule (60 b) with respect to the longest one (14 kb). We demonstrate that the observed trend is due to the different force regimes fitted for long and short molecules, which translates into two distinct elastic regimes at low and high forces. We interpret this behavior in terms of a force-induced sugar pucker conformational transition (C3'-endo to C2'-endo) upon pulling ssDNA.


title: Proceedings of the 19th International Overture Workshop

abstract: This volume contains the papers presented at the 19th International Overture Workshop, which was held in an hybrid format: online and physically at Aarhus, Denmark on 22th October 2021. This event was the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the longest established formal methods for systems development. A lively community of researchers and practitioners has grown up in academia and industry around the modelling languages (VDM-SL, VDM++, VDM-RT, CML) and tools (VDMTools, Overture, VDM VSCode extension, Crescendo, Symphony, the INTO-CPS chain, and ViennaTalk). Together, these provide a platform for work on modelling and analysis technology that includes static and dynamic analysis, test generation, execution support, and model checking. This workshop provided updates on the emerging technology of VDM/Overture, including collaboration infrastructure, collaborative modelling and co-simulation for Cyber-Physical Systems.


title: Scaling limits and universality of Ising and dimer models

abstract: After having introduced the notion of universality in statistical mechanics and its importance for our comprehension of the macroscopic behavior of interacting systems, I review recent progress in the understanding of the scaling limit of lattice critical models, including a quantitative characterization of the limiting distribution and the robustness of the limit under perturbations of the microscopic Hamiltonian. Specifically, I focus on two classes of non-exactly-solvable two-dimensional systems: non-planar Ising models and interacting dimers. In both settings, I describe the conjectures on the expected structure of the scaling limit, review the progress towards their proof, and state some of the recent results on the universality of the limit, which I contributed to. Finally, I outline the ideas and methods involved in the proofs, describe some of the perspectives opened by these results, and propose several open problems.


title: Towards a hypergraph version of the P\'osa-Seymour conjecture

abstract: We prove that for fixed $r\ge k\ge 2$, every $k$-uniform hypergraph on $n$ vertices having minimum codegree at least $(1-(\binom{r-1}{k-1}+\binom{r-2}{k-2})^{-1})n+o(n)$ contains the $(r-k+1)$th power of a tight Hamilton cycle. This result may be seen as a step towards a hypergraph version of the P\'osa-Seymour conjecture. Moreover, we prove that the same bound on the codegree suffices for finding a copy of every spanning hypergraph of tree-width less than $r$ which admits a tree decomposition where every vertex is in a bounded number of bags.


title: Ortho-Shot: Low Displacement Rank Regularization with Data Augmentation for Few-Shot Learning

abstract: In few-shot classification, the primary goal is to learn representations from a few samples that generalize well for novel classes. In this paper, we propose an efficient low displacement rank (LDR) regularization strategy termed Ortho-Shot; a technique that imposes orthogonal regularization on the convolutional layers of a few-shot classifier, which is based on the doubly-block toeplitz (DBT) matrix structure. The regularized convolutional layers of the few-shot classifier enhances model generalization and intra-class feature embeddings that are crucial for few-shot learning. Overfitting is a typical issue for few-shot models, the lack of data diversity inhibits proper model inference which weakens the classification accuracy of few-shot learners to novel classes. In this regard, we broke down the pipeline of the few-shot classifier and established that the support, query and task data augmentation collectively alleviates overfitting in networks. With compelling results, we demonstrated that combining a DBT-based low-rank orthogonal regularizer with data augmentation strategies, significantly boosts the performance of a few-shot classifier. We perform our experiments on the miniImagenet, CIFAR-FS and Stanford datasets with performance values of about 5\% when compared to state-of-the-art


title: Single-photon transport in a whispering-gallery mode microresonator directionally coupled with a two-level quantum emitter

abstract: We investigate the single-photon transport problem in the system of a Whispering-Gallery mode microresonator directionally coupled with a two-level quantum emitter (QE). This QE-microresonator coupling system can usually be studied by cavity quantum electrodynamics and the single-photon transport methods. However, we find that if we treat a two-level QE as a single-photon phase-amplitude modulator, we can also deal with such systems using the transfer matrix method. Further, in theory, we prove that these three methods are equivalent. The corresponding relations of respective parameters among these approaches are precisely deduced. Our work can be extended to a multiple-resonator system interacting with two-level QEs in a chiral way. Therefore, the transfer matrix method may provide a convenient and intuitive form for exploring more complex chiral QE-resonator interaction systems.


title: Planning of EM Skins for Improved Quality-of-Service in Urban Areas

abstract: The optimal planning of electromagnetic skins (EMSs) installed on the building facades to enhance the received signal strength, thus the wireless coverage and/or the quality-of-service (QoS) in large-scale urban areas, is addressed. More specifically, a novel instance of the System-by-Design (SbD) paradigm is proposed towards the implementation of a smart electromagnetic environment (SEME) where low-cost passive static reflective skins are deployed to enhance the level of the power received within selected regions-of-interest (RoIs). Thanks to the ad-hoc customization of the SbD functional blocks, which includes the exploitation of a digital twin (DT) for the accurate yet fast assessment of the wireless coverage condition, effective solutions are yielded. Numerical results, dealing with real-world test-beds, are shown to assess the capabilities, the potentialities, and the current limitations of the proposed EMSs planning strategy.


title: Comparison Principles for Second Order Elliptic/Parabolic Equations with Discontinuities in the Gradient Compatible with Finsler Norms

abstract: This paper is about elliptic and parabolic partial differential operators with discontinuities in the gradient which are compatible with a Finsler norm in a sense to be made precise. Examples of this type of problems arise in a number of contexts, most notably the recent work of Chatterjee and the second author [7] on scaling limits of discrete surface growth models as well as $L^{\infty}-$variational problems. Building on the approach of Ishii [16], new comparison results are proven within a unified framework that includes a number of previous results as special cases.


title: Forecasting Nonverbal Social Signals during Dyadic Interactions with Generative Adversarial Neural Networks

abstract: We are approaching a future where social robots will progressively become widespread in many aspects of our daily lives, including education, healthcare, work, and personal use. All of such practical applications require that humans and robots collaborate in human environments, where social interaction is unavoidable. Along with verbal communication, successful social interaction is closely coupled with the interplay between nonverbal perception and action mechanisms, such as observation of gaze behaviour and following their attention, coordinating the form and function of hand gestures. Humans perform nonverbal communication in an instinctive and adaptive manner, with no effort. For robots to be successful in our social landscape, they should therefore engage in social interactions in a humanlike way, with increasing levels of autonomy. In particular, nonverbal gestures are expected to endow social robots with the capability of emphasizing their speech, or showing their intentions. Motivated by this, our research sheds a light on modeling human behaviors in social interactions, specifically, forecasting human nonverbal social signals during dyadic interactions, with an overarching goal of developing robotic interfaces that can learn to imitate human dyadic interactions. Such an approach will ensure the messages encoded in the robot gestures could be perceived by interacting partners in a facile and transparent manner, which could help improve the interacting partner perception and makes the social interaction outcomes enhanced.


title: Negative differential resistance state in the free-flux-flow regime of driven vortices in a single crystal of 2H-NbS$_2$

abstract: Time series measurements in 2H-NbS$_2$ crystal had unravelled a drive induced transition wherein the critical current (Ic) changes from a low to a high Ic jammed vortex state, via a negative differential resistance (NDR) transition. Here, using multiple current (I) - voltage (V) measurement cycles, we explore the statistical nature of observing the NDR transition in the free-flux-flow (FF) regime in a single crystal of 2H-NbS$_2$. The probability of observing the NDR transition always remains finite for a vortex state created with either fast or slow rate of magnetic field. The probability of observing the NDR transition in the FF regime is found to systematically increase with magnetic field (B) in weak collective pinning regime. In the strong pinning regime, the said probability becomes B-independent. We show that the higher Ic state is unique and cannot be accessed via any conventional route. While the I-V curves do not distinguish between zero field cooled (ZFC) and field cooled (FC) modes of preparing the vortex state, the probability for observing an NDR transition has different B-dependences for the vortex matter prepared in the ZFC and FC modes. We find that the NDR occurs in a high dissipation regime, where the flow resistivity is well above the theoretical value expected in the FF regime. We understand our results on the basis of a rapid drop in vortex viscosity at high drives in 2H-NbS$_2$, which triggers a rapid increase in the vortex velocity and reorganization in the moving vortex matter leading to a dynamical unstable vortex flow. This dynamical instability leads to the NDR transition into a high entropy vortex state with high Ic.


title: Learning multiplane images from single views with self-supervision

abstract: Generating static novel views from an already captured image is a hard task in computer vision and graphics, in particular when the single input image has dynamic parts such as persons or moving objects. In this paper, we tackle this problem by proposing a new framework, called CycleMPI, that is capable of learning a multiplane image representation from single images through a cyclic training strategy for self-supervision. Our framework does not require stereo data for training, therefore it can be trained with massive visual data from the Internet, resulting in a better generalization capability even for very challenging cases. Although our method does not require stereo data for supervision, it reaches results on stereo datasets comparable to the state of the art in a zero-shot scenario. We evaluated our method on RealEstate10K and Mannequin Challenge datasets for view synthesis and presented qualitative results on Places II dataset.


title: Exactness and faithfulness of monoidal functors

abstract: Inspired by recent work of Peter O'Sullivan (arXiv:2012.15703), we give a condition under which a faithful monoidal functor between abelian $\otimes$-categories is exact.


title: Frequentist-Bayes Hybrid Covariance Estimationfor Unfolding Problems

abstract: In this paper we present a frequentist-Bayesian hybrid method for estimating covariances of unfolded distributions using pseudo-experiments. The method is compared with other covariance estimation methods using the unbiased Rao-Cramer bound (RCB) and frequentist pseudo-experiments. We show that the unbiased RCB method diverges from the other two methods when regularization is introduced. The new hybrid method agrees well with the frequentist pseudo-experiment method for various amounts of regularization. However, the hybrid method has the added advantage of not requiring a clear likelihood definition and can be used in combination with any unfolding algorithm that uses a response matrix to model the detector response.


title: Neuro-Symbolic Forward Reasoning

abstract: Reasoning is an essential part of human intelligence and thus has been a long-standing goal in artificial intelligence research. With the recent success of deep learning, incorporating reasoning with deep learning systems, i.e., neuro-symbolic AI has become a major field of interest. We propose the Neuro-Symbolic Forward Reasoner (NSFR), a new approach for reasoning tasks taking advantage of differentiable forward-chaining using first-order logic. The key idea is to combine differentiable forward-chaining reasoning with object-centric (deep) learning. Differentiable forward-chaining reasoning computes logical entailments smoothly, i.e., it deduces new facts from given facts and rules in a differentiable manner. The object-centric learning approach factorizes raw inputs into representations in terms of objects. Thus, it allows us to provide a consistent framework to perform the forward-chaining inference from raw inputs. NSFR factorizes the raw inputs into the object-centric representations, converts them into probabilistic ground atoms, and finally performs differentiable forward-chaining inference using weighted rules for inference. Our comprehensive experimental evaluations on object-centric reasoning data sets, 2D Kandinsky patterns and 3D CLEVR-Hans, and a variety of tasks show the effectiveness and advantage of our approach.


title: Automatic Detection of COVID-19 and Pneumonia from Chest X-Ray using Deep Learning

abstract: In this study, a dataset of X-ray images from patients with common viral pneumonia, bacterial pneumonia, confirmed Covid-19 disease was utilized for the automatic detection of the Coronavirus disease. The point of the investigation is to assess the exhibition of cutting edge convolutional neural system structures proposed over the ongoing years for clinical picture order. In particular, the system called Transfer Learning was received. With transfer learning, the location of different variations from the norm in little clinical picture datasets is a reachable objective, regularly yielding amazing outcomes. The datasets used in this trial. Firstly, a collection of 24000 X-ray images includes 6000 images for confirmed Covid-19 disease,6000 confirmed common bacterial pneumonia and 6000 images of normal conditions. The information was gathered and expanded from the accessible X-Ray pictures on open clinical stores. The outcomes recommend that Deep Learning with X-Ray imaging may separate noteworthy biological markers identified with the Covid-19 sickness, while the best precision, affectability, and particularity acquired is 97.83%, 96.81%, and 98.56% individually.


title: An alternative to the concept of continuous medium

abstract: Discrete mechanics proposes an alternative formulation of the equations of mechanics where the Navier-Stokes and Navier-Lam\'e equations become approximations of the equation of discrete motion. It unifies the fields of fluid and solid mechanics by extending the fields of application of these equations to all space and time scales. This article presents the essential differences induced by the abandonment of the notion of continuous medium and global frame of reference. The results of the mechanics of continuous medium validated by fluid and solid observations are not questioned. The concept of continuous medium is not invalidated, the discrete formulation proposed simply widens the spectrum of the applications of the classical equations. The discrete equation of motion introduces several important modifications, in particular the fundamental law of the dynamics on an element of volume becomes a law of conservation of the accelerations on an edge. The acceleration considered as an absolute quantity is written as a sum of two components, one soledoidal the other irrotational according to a local orthogonal Helmholtz-Hodge decomposition. The mass is abandoned and replaced by the compression and rotation energies represented by the scalar and vectorial potentials of the acceleration. The equation of motion and all the physical parameters are expressed only with two fundamental units, those of length and time. The essential differences between the two approaches are listed and some of them are discussed in depth. This is particularly the case with the known paradoxes of the Navier-Stokes equation or the importance of inertia for the Navier-Lam\'e equation.


title: Quantum Hair from Gravity

abstract: We explore the relationship between the quantum state of a compact matter source and of its asymptotic graviton field. For a matter source in an energy eigenstate, the graviton state is determined at leading order by the energy eigenvalue. Insofar as there are no accidental energy degeneracies there is a one to one map between graviton states on the boundary of spacetime and the matter source states. A typical semiclassical matter source results in an entangled asymptotic graviton state. We exhibit a purely quantum gravitational effect which causes the subleading asymptotic behavior of the graviton state to depend on the internal structure of the source. These observations establish the existence of ubiquitous quantum hair due to gravitational effects.


title: Gluing theory for slc surfaces and threefolds in positive characteristic

abstract: We develop a gluing theory in the sense of Koll\'{a}r for slc surfaces and threefolds in positive characteristic. For surfaces we are able to deal with every positive characteristic $p$, while for threefolds we assume that $p>5$. Along the way we study nodes in characteristic $2$ and establish a theory of sources and springs \`a la Koll\'{a}r for threefolds. We also give applications to the topology of lc centers on slc threefolds, and to the projectivity of the moduli space of stable surfaces in characteristic $p>5$.


title: Symmetric inseparability and number entanglement in charge conserving mixed states

abstract: We explore sufficient conditions for inseparability in mixed states with a globally conserved charge, such as a particle number. We argue that even separable states may contain entanglement in fixed charge sectors, as long as the state can not be separated into charge conserving components. As a witness of symmetric inseparability we study the number entanglement (NE), $\Delta S_m$, defined as the entropy change due to a subsystem's charge measurement. Whenever $\Delta S_m > 0$, there exist inseparable charge sectors, having finite (logarithmic) negativity, even when the full state is either separable or has vanishing negativity. We demonstrate that the NE is not only a witness of symmetric inseparability, but also an entanglement monotone. Finally, we study the scaling of $\Delta S_m$ in thermal 1D systems combining high temperature expansion and conformal field theory.


title: Algebras of pseudo-differential operators acting on holomorphic Sobolev spaces

abstract: We search for pseudo-differential operators acting on holomorphic Sobolev spaces. The operators should mirror the standard Sobolev mapping property in the holomorphic analogues. The setting is a closed real-analytic Riemannian manifold, or Lie group with a bi-invariant metric, and the holomorphic Sobolev spaces are defined on a fixed Grauert tube about the core manifold. We find that every pseudo-differential operator in the commutant of the Laplacian is of this kind. Moreover, so are all the operators in the commutant of certain analytic pseudo-differential operators, but for more general tubes, provided that an old statement of Boutet de Monvel holds true generally. In the Lie group setting, we find even larger algebras, and characterize all their elliptic elements. These latter algebras are determined by global matrix-valued symbols.


title: Importance truncation for the in-medium similarity renormalization group

abstract: Ab initio nuclear many-body frameworks require extensive computational resources, especially when targeting heavier nuclei. Importance-truncation (IT) techniques allow to significantly reduce the dimensionality of the problem by neglecting unimportant contributions to the solution of the many-body problem. In this work, we apply IT methods to the nonperturbative in-medium similarity renormalization group (IMSRG) approach and investigate the induced errors for ground-state energies in different mass regimes based on different nuclear Hamiltonians. We study various importance measures, which define the IT selection, and identify two measures that perform best, resulting in only small errors to the full IMSRG(2) calculations even for sizable compression ratios. The neglected contributions are accounted for in a perturbative way and serve as an estimate of the IT-induced error. Overall we find that the IT-IMSRG(2) performs well across all systems considered, while the largest compression ratios for a given error can be achieved when using soft Hamiltonians and for large single-particle bases.


title: How Far Two UAVs Should Be subject to Communication Uncertainties

abstract: Unmanned aerial vehicles are now becoming increasingly accessible to amateur and commercial users alike. A safety air traffic management system is needed to help ensure that every newest entrant into the sky does not collide with others. Much research has been done to design various methods to perform collision avoidance with obstacles. However, how to decide the safety radius subject to communication uncertainties is still suspended. Based on assumptions on communication uncertainties and supposed control performance, a separation principle of the safety radius design and controller design is proposed. With it, the safety radius corresponding to the safety area in the design phase (without uncertainties) and flight phase (subject to uncertainties) are studied. Furthermore, the results are extended to multiple obstacles. Simulations and experiments are carried out to show the effectiveness of the proposed methods.


title: Search for dark Higgs inflaton with curvature couplings at LHC experiments

abstract: We analyse the dark Higgs inflation model with curvature corrections and explore the possibility to test its predictions by the particle physics experiments at LHC. We show that the dark Higgs inflation model with curvature corrections is strongly favoured by the present cosmological observations. The cosmological predictions of this model, including the quantum corrections of dark Higgs coupling constants and the uncertainty in estimation of the reheating temperature, lead to the dark Higgs mass $m_{\phi}=0.919 \pm$ 0.211 GeV and the mixing angle $\theta =1.492 \pm$ 0.045 (at 68\% CL). We evaluate the FASER and MAPP-1 experiments reach for dark Higgs inflaton mass and mixing angle in the 95\% CL cosmological confidence region for an integrated luminosity of 3ab$^{-1}$ at 13 TeV LHC, assuming 100\% detection efficiency. We conclude that the dark Higgs inflation model with curvature corrections is a compelling inflation scenario based on particle physics theory favoured by the present cosmological measurements that leaves imprints in the dark Higgs boson searchers at LHC.


title: Ceasing hate withMoH: Hate Speech Detection in Hindi-English Code-Switched Language

abstract: Social media has become a bedrock for people to voice their opinions worldwide. Due to the greater sense of freedom with the anonymity feature, it is possible to disregard social etiquette online and attack others without facing severe consequences, inevitably propagating hate speech. The current measures to sift the online content and offset the hatred spread do not go far enough. One factor contributing to this is the prevalence of regional languages in social media and the paucity of language flexible hate speech detectors. The proposed work focuses on analyzing hate speech in Hindi-English code-switched language. Our method explores transformation techniques to capture precise text representation. To contain the structure of data and yet use it with existing algorithms, we developed MoH or Map Only Hindi, which means "Love" in Hindi. MoH pipeline consists of language identification, Roman to Devanagari Hindi transliteration using a knowledge base of Roman Hindi words. Finally, it employs the fine-tuned Multilingual Bert and MuRIL language models. We conducted several quantitative experiment studies on three datasets and evaluated performance using Precision, Recall, and F1 metrics. The first experiment studies MoH mapped text's performance with classical machine learning models and shows an average increase of 13% in F1 scores. The second compares the proposed work's scores with those of the baseline models and offers a rise in performance by 6%. Finally, the third reaches the proposed MoH technique with various data simulations using the existing transliteration library. Here, MoH outperforms the rest by 15%. Our results demonstrate a significant improvement in the state-of-the-art scores on all three datasets.


title: Signed area enumeration for lattice walks

abstract: We give a summary of recent progress on the signed area enumeration of closed walks on planar lattices. Several connections are made with quantum mechanics and statistical mechanics. Explicit combinatorial formulae are proposed which rely on sums labelled by the multicompositions of the length of the walks.


title: From river flow to spatial flow: flow map via river flow directions assignment algorithm

abstract: Flow maps are thematic maps that visualize object movements across space with a tree layout, in which the underlying tree structure is similar to a natural river system. In this paper, we present a novel and automated approach named RFDA-FM for flow maps from one origin to multiple destinations using a river extraction algorithm in digital elevation models (DEM). The RFDA-FM first models the mapping space as a flat surface by a DEM. A maze-solving algorithm (MSA) for river extraction is then adapted to calculate the flow path from one destination to the origin by constraining its searching directions, direction weights, and searching ranges according to the quality criteria of flow maps. All flow paths from the destinations to the origin are obtained iteratively based on the MSA according to their importance, which is defined by considering their length. Finally, these paths are smoothly rendered with varying widths according to their volume using B\'ezier curves. A comparison with existing approaches indicates that the flow maps generated by RFDA-FM can be better at keeping nodes away from edges without node overlaps and edge crosses. Two extension experiments demonstrate that RFDA-FM is applicable to heterogeneous mapping space or mapping space with obstacle areas. The parameter analysis shows that RFDA-FM can intuitively control the layouts of flow maps. Project website: https://github.com/TrentonWei/FlowMap


title: Streaming Machine Learning and Online Active Learning for Automated Visual Inspection

abstract: Quality control is a key activity performed by manufacturing companies to verify product conformance to the requirements and specifications. Standardized quality control ensures that all the products are evaluated under the same criteria. The decreased cost of sensors and connectivity enabled an increasing digitalization of manufacturing and provided greater data availability. Such data availability has spurred the development of artificial intelligence models, which allow higher degrees of automation and reduced bias when inspecting the products. Furthermore, the increased speed of inspection reduces overall costs and time required for defect inspection. In this research, we compare five streaming machine learning algorithms applied to visual defect inspection with real-world data provided by Philips Consumer Lifestyle BV. Furthermore, we compare them in a streaming active learning context, which reduces the data labeling effort in a real-world context. Our results show that active learning reduces the data labeling effort by almost 15% on average for the worst case, while keeping an acceptable classification performance. The use of machine learning models for automated visual inspection are expected to speed up the quality inspection up to 40%.


title: Using Psychological Characteristics of Situations for Social Situation Comprehension in Support Agents

abstract: Support agents that help users in their daily lives need to take into account not only the user's characteristics, but also the social situation of the user. Existing work on including social context uses some type of situation cue as an input to information processing techniques in order to assess the expected behavior of the user. However, research shows that it is important to also determine the meaning of a situation, a step which we refer to as social situation comprehension. We propose using psychological characteristics of situations, which have been proposed in social science for ascribing meaning to situations, as the basis for social situation comprehension. Using data from user studies, we evaluate this proposal from two perspectives. First, from a technical perspective, we show that psychological characteristics of situations can be used as input to predict the priority of social situations, and that psychological characteristics of situations can be predicted from the features of a social situation. Second, we investigate the role of the comprehension step in human-machine meaning making. We show that psychological characteristics can be successfully used as a basis for explanations given to users about the decisions of an agenda management personal assistant agent.


title: Six operations for D-cap-modules on rigid analytic spaces

abstract: We introduce all six operations for D-cap-modules on smooth rigid analytic spaces by considering the derived category of complete bornological D-cap-modules. We then focus on a full subcategory which should be thought of as consisting of complexes with coadmissible cohomology, and establish analogues of some classical results: Kashiwara's equivalence, stability of coadmissibility under extraordinary inverse image for smooth morphisms and direct image for projective morphisms, as well as the computation of relative de Rham cohomology.


title: Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation

abstract: The current push towards interoperability drives companies to collaborate through process choreographies. At the same time, they face a jungle of continuously changing regulations, e.g., due to the pandemic and developments such as the BREXIT, which strongly affect cross-organizational collaborations. Think of, for example, supply chains spanning several countries with different and maybe even conflicting COVID19 traveling restrictions. Hence, providing automatic compliance verification in process choreographies is crucial for any cross-organizational business process. A particular challenge concerns the restricted visibility of the partner processes at the presence of global compliance rules (GCR), i.e., rules that span across the process of several partners. This work deals with the question how to verify global compliance if affected tasks are not fully visible. Our idea is to decompose GCRs into so called assertions that can be checked by each affected partner whereby the decomposition is both correct and lossless. The algorithm exploits transitivity properties of the underlying rule specification, and its correctness and complexity are proven, considering advanced aspects such as loops. The algorithm is implemented in a proof-of-concept prototype, including a model checker for verifying compliance. The applicability of the approach is further demonstrated on a real-world manufacturing use case.


title: Identifying the Effects of Sanctions on the Iranian Economy using Newspaper Coverage

abstract: This paper considers how sanctions affected the Iranian economy using a novel measure of sanctions intensity based on daily newspaper coverage. It finds sanctions to have significant effects on exchange rates, inflation, and output growth, with the Iranian rial over-reacting to sanctions, followed up with a rise in inflation and a fall in output. In absence of sanctions, Iran's average annual growth could have been around 4-5 per cent, as compared to the 3 per cent realized. Sanctions are also found to have adverse effects on employment, labor force participation, secondary and high-school education, with such effects amplified for females.


title: Mesh Convolutional Autoencoder for Semi-Regular Meshes of Different Sizes

abstract: The analysis of deforming 3D surface meshes is accelerated by autoencoders since the low-dimensional embeddings can be used to visualize underlying dynamics. But, state-of-the-art mesh convolutional autoencoders require a fixed connectivity of all input meshes handled by the autoencoder. This is due to either the use of spectral convolutional layers or mesh dependent pooling operations. Therefore, the types of datasets that one can study are limited and the learned knowledge cannot be transferred to other datasets that exhibit similar behavior. To address this, we transform the discretization of the surfaces to semi-regular meshes that have a locally regular connectivity and whose meshing is hierarchical. This allows us to apply the same spatial convolutional filters to the local neighborhoods and to define a pooling operator that can be applied to every semi-regular mesh. We apply the same mesh autoencoder to different datasets and our reconstruction error is more than 50% lower than the error from state-of-the-art models, which have to be trained for every mesh separately. Additionally, we visualize the underlying dynamics of unseen mesh sequences with an autoencoder trained on different classes of meshes.


title: The formation of the Milky Way halo and its dwarf satellites: A NLTE-1D abundance analysis. V. The Sextans galaxy

abstract: We present a homogeneous set of accurate atmospheric parameters for a sample of eleven very metal-poor (-3.32 <= [Fe/H] <= -2.61) stars in the Sextans dwarf spheroidal galaxy (dSph) and the non-local thermodynamic equilibrium (NLTE) abundances of, at least, seven chemical elements based on high-resolution UVES/VLT and HDS/Subaru spectra. For each star, its effective temperature and surface gravity were derived from the spectral energy distribution and the known distance, and the Fe abundance was obtained as the average from lines of Fe I and Fe II. Based on abundances of Mg, Ca, and Ti, we show that all the investigated stars reveal alpha-enhancements of 0.4~dex to 0.2~dex, and there is a hint of a decline in alpha/Fe for [Fe/H] > -2.8. The Sextans stars are deficient in Ba. The new result is an extremely tight relation between Ba and Mg, suggesting their common origin in massive stars and Ba synthesis in the r-process events on the timescales of standard supernovae. The exception is a C-enhanced star S 15-19 which is strongly enhanced in Ba. This star is unlikely to be a CEMP-s star because of low abundances of Sr and Y ([Y/Fe] < -1) that are produced in the s-process as efficiently as Ba and a non-detection of variation in the radial velocity. No distinctions from the Milky Way halo and the Sculptor and Ursa Minor dSphs were found in a history of early enrichment in Na and Ni, namely, the Sextans stars are deficient in Na and have close-to-solar Ni/Fe.


title: Improved lower bound for the list chromatic number of graphs with no $K_t$ minor

abstract: Hadwiger's conjecture asserts that every graph without a $K_t$-minor is $(t-1)$-colorable. It is known that the exact version of Hadwiger's conjecture does not extend to list coloring, but it has been conjectured by Kawarabayashi and Mohar (2007) that there exists a constant $c$ such that every graph with no $K_t$-minor has list chromatic number at most $ct$. More specifically, they also conjectured that this holds for $c=\frac{3}{2}$. Refuting the latter conjecture, we show that the maximum list chromatic number of graphs with no $K_t$-minor is at least $(2-o(1))t$, and hence $c \ge 2$ in the above conjecture is necessary. This improves the previous best lower bound by Bar\'{a}t, Joret and Wood (2011), who proved that $c \ge \frac{4}{3}$. Our lower-bound examples are obtained via the probabilistic method.


title: An improved condition for a graph to be determined by its generalized spectrum

abstract: A fundamental and challenging problem in spectral graph theory is to characterize which graphs are uniquely determined by their spectra. In Wang [J. Combin. Theory, Ser. B, 122 (2017): 438-451], the author proved that an $n$-vertex graph $G$ is uniquely determined by its generalized spectrum (DGS) whenever $2^{-\lfloor\frac{n}{2}\rfloor}\det W$ is odd and square-free. Here, $W$ is the walk matrix of $G$, namely, $W=[e,Ae,\ldots,A^{n-1}e]$ with $e$ all-one vector and $A$ the adjacency matrix of $G$. In this paper, we focus on a larger family of graphs with $d_n$ square-free, where $d_n$ refers to the last invariant factor of $W$. We introduce a new kind of polynomials for a graph $G$ associated with a prime $p$. Such a polynomial is invariant under generalized cospectrality. Using the newly defined polynomials, we obtain a sufficient condition for a graph in the larger family to be DGS. The main result of this paper improves upon the aforementioned result of Wang while the proof for the main result gives a new way to attack the problem of generalized spectral characterization of graphs.


title: Capacity Region Bounds for the K user Dispersive Nonlinear Optical WDM Channel with Peak Power Constraints

abstract: It is known that fiber nonlinearities induce crosstalk in a wavelength division multiplexed (WDM) system, which limits the capacity of such systems as the transmitted signal power is increased. A network user in a WDM system is an entity that operates around a given optical wavelength. Traditionally, the channel capacity of a WDM system has been analyzed under different assumptions for the transmitted signals of the other users, while treating the interference arising from these users as noise. In this paper, we instead take a multiuser information theoretic view and treat the optical WDM system impaired by cross-phase modulation and dispersion as an interference channel. We characterize an outer bound on the capacity region of simultaneously achievable rate pairs, assuming a simplified K-user perturbative channel model using genie-aided techniques. Furthermore, an achievable rate region is obtained by time-sharing between certain single-user strategies. It is shown that such time-sharing can achieve better rate tuples compared to treating nonlinear interference as noise. For the single-polarization single-span system under consideration and a power 4.4 dB above the optimum launch power, treating nonlinear interference as noise results in a rate of 1.67 bit/sym, while time-sharing gives a rate of 6.33 bit/sym.


title: Mass determination of protoplanetary disks from dust evolution

abstract: The mass of protoplanetary disks is arguably one of their most important quantities shaping their evolution toward planetary systems, but it remains a challenge to determine this quantity. Using the high spatial resolution now available on telescopes such as the Atacama Large Millimeter/submillimeter Array (ALMA), recent studies derived a relation between the disk surface density and the location of the "dust lines". This is a new concept in the field, linking the disk size at different continuum wavelengths with the radial distribution of grain populations of different sizes. We aim to use a dust evolution model to test the dependence of the dust line location on disk gas mass. In particular, we are interested in the reliability of the method for disks showing radial substructures, as recent high-resolution observations revealed. Our models show that the determination of the dust line location is a promising approach to the mass estimate of protoplanetay disks, but the exact relation between the dust line location and disk mass depends on the structure of the particular disk. We calibrated the relation for disks without evidence of radial structures, while for more complex structures we ran a simple dust evolution model. However, this method fails when there is evidence of strong dust traps. It is possible to reveal when dust evolution is dominated by traps, providing the necessary information for when the method should be applied with caution.


title: Boundary regularity for parabolic systems in convex domains

abstract: In a cylindrical space-time domain with a convex, spatial base, we establish a local Lipschitz estimate for weak solutions to parabolic systems with Uhlenbeck structure up to the lateral boundary, provided homogeneous Dirichlet data are assumed on that part of the lateral boundary.


title: HRFormer: High-Resolution Transformer for Dense Prediction

abstract: We present a High-Resolution Transformer (HRFormer) that learns high-resolution representations for dense prediction tasks, in contrast to the original Vision Transformer that produces low-resolution representations and has high memory and computational cost. We take advantage of the multi-resolution parallel design introduced in high-resolution convolutional networks (HRNet), along with local-window self-attention that performs self-attention over small non-overlapping image windows, for improving the memory and computation efficiency. In addition, we introduce a convolution into the FFN to exchange information across the disconnected image windows. We demonstrate the effectiveness of the High-Resolution Transformer on both human pose estimation and semantic segmentation tasks, e.g., HRFormer outperforms Swin transformer by $1.3$ AP on COCO pose estimation with $50\%$ fewer parameters and $30\%$ fewer FLOPs. Code is available at: https://github.com/HRNet/HRFormer.


title: Spectral multiplexing of telecom emitters with stable transition frequency

abstract: In a quantum network, coherent emitters can be entangled over large distances using photonic channels. In solid-state devices, the required efficient light-emitter interface can be implemented by confining the light in nanophotonic structures. However, fluctuating charges and magnetic moments at the nearby interface then lead to spectral instability of the emitters. Here we avoid this limitation when enhancing the photon emission up to 70(12)-fold using a Fabry-Perot resonator with an embedded 19 micrometer thin crystalline membrane, in which we observe around 100 individual erbium emitters. In long-term measurements, they exhibit an exceptional spectral stability of < 0.2 MHz that is limited by the coupling to surrounding nuclear spins. We further implement spectrally multiplexed coherent control and find an optical coherence time of 0.11(1) ms, approaching the lifetime limit of 0.3 ms for the strongest-coupled emitters. Our results constitute an important step towards frequency-multiplexed quantum-network nodes operating directly at a telecommunication wavelength.


title: Exploiting Domain-Specific Features to Enhance Domain Generalization

abstract: Domain Generalization (DG) aims to train a model, from multiple observed source domains, in order to perform well on unseen target domains. To obtain the generalization capability, prior DG approaches have focused on extracting domain-invariant information across sources to generalize on target domains, while useful domain-specific information which strongly correlates with labels in individual domains and the generalization to target domains is usually ignored. In this paper, we propose meta-Domain Specific-Domain Invariant (mDSDI) - a novel theoretically sound framework that extends beyond the invariance view to further capture the usefulness of domain-specific information. Our key insight is to disentangle features in the latent space while jointly learning both domain-invariant and domain-specific features in a unified framework. The domain-specific representation is optimized through the meta-learning framework to adapt from source domains, targeting a robust generalization on unseen domains. We empirically show that mDSDI provides competitive results with state-of-the-art techniques in DG. A further ablation study with our generated dataset, Background-Colored-MNIST, confirms the hypothesis that domain-specific is essential, leading to better results when compared with only using domain-invariant.


title: Parametric kinds of generalized Apostol-Bernoulli polynomials and their properties

abstract: The purpose of this paper is to define generalized Apostol--Bernoulli polynomials with including a new cosine and sine parametric type of generating function using the quasi-monomiality properties and trigonometric functions. In this study, the Apostol-Bernoulli polynomials with three variable are defined with two new generating functions cosine and sine parameters. Then, we investigate multiplicative and derivative operators, diffrential equations, some summation formulas and partial differential equations for these polynomials. Moreover, we introduce Gould--Hopper--Apostol--Bernoulli type polynomials, Hermite--Appell--Apostol--Bernoulli type polynomials and truncated exponential Apostol--Bernoulli type polynomials. Finally, the special cases of these new polynomials are investigated, and the corresponding results are expressed.


title: Very-High-Energy Emission From Pulsars

abstract: Air-Cherenkov telescopes have detected pulsations at energies above 50 GeV from a growing number of Fermi pulsars. These include the Crab, Vela, PSR B1706-44 and Geminga, with the first two having pulsed detections above 1 TeV. In some cases, there appears to be very-high-energy (VHE) emission that is an extension of the Fermi spectra to high energies, while in other cases, additional higher-energy spectral components that require a separate emission mechanism may be present. We present results of broad-band spectral modeling using global magnetosphere fields and multiple emission mechanisms that include synchro-curvature (SC) and inverse Compton scattered (ICS) radiation from accelerated particles (primaries) and synchrotron-self Compton (SSC) emission from lower-energy pairs. Our models predict three distinct VHE components: SC from primaries whose high-energy tail can extend to 100 GeV, SSC from pairs that can extend to several TeV and ICS from primary particles accelerated in the current sheet, scattering pair synchrotron radiation, that appears beyond 10 TeV. Our models suggest that H.E.S.S.-II and MAGIC have detected the high-energy tail of the primary SC component that produces the Fermi spectrum in Vela, Geminga and PSR B1706-44. We argue that the ICS component peaking above 10 TeV from Vela has been seen by H.E.S.S. Detection of this emission component from the Crab and other pulsars is possible with HAWC and CTA, and directly measures the maximum particle energy in pulsars.


title: SGEN: Single-cell Sequencing Graph Self-supervised Embedding Network

abstract: Single-cell sequencing has a significant role to explore biological processes such as embryonic development, cancer evolution, and cell differentiation. These biological properties can be presented by a two-dimensional scatter plot. However, single-cell sequencing data generally has very high dimensionality. Therefore, dimensionality reduction should be used to process the high dimensional sequencing data for 2D visualization and subsequent biological analysis. The traditional dimensionality reduction methods, which do not consider the structure characteristics of single-cell sequencing data, are difficult to reveal the data structure in the 2D representation. In this paper, we develop a 2D feature representation method based on graph convolutional networks (GCN) for the visualization of single-cell data, termed single-cell sequencing graph embedding networks (SGEN). This method constructs the graph by the similarity relationship between cells and adopts GCN to analyze the neighbor embedding information of samples, which makes the similar cell closer to each other on the 2D scatter plot. The results show SGEN achieves obvious 2D distribution and preserves the high-dimensional relationship of different cells. Meanwhile, similar cell clusters have spatial continuity rather than relying heavily on random initialization, which can reflect the trajectory of cell development in this scatter plot.


title: BPPChecker: An SMT-based Model Checker on Basic Parallel Processes(Full Version)

abstract: Program verification on concurrent programs is a big challenge due to general undecidable results. Petri nets and its extensions are used in most works. However, existing verifiers based on Petri nets are difficult to be complete and efficient. Basic Parallel Process (BPP), as a subclass of Petri nets, can be used as a model for describing and verifying concurrent programs with lower complexity. We propose and implement BPPChecker, the first model checker for verifying a subclass of CTL on BPP. We propose constraint-based algorithms for the problem of model checking on BPPs and handle formulas by SMT solver Z3. For EF operator, we reduce the model checking of EF-formulas to the satisfiability problem of existential Presburger formula. For EG operator, we provide a k-step bounded semantics and reduce the model checking of EG-formulas to the satisfiability problem of linear integer arithmetic. Besides, we give Actor Communicating System (ACS) the over-approximation BPP-based semantics and evaluate BPPChecker on ACSs generated from real Erlang programs. Experimental results show that BPPChecker performs more efficiently than the existing tools for a series of branching-time property verification problems of Erlang programs.


title: NeuralBlox: Real-Time Neural Representation Fusion for Robust Volumetric Mapping

abstract: We present a novel 3D mapping method leveraging the recent progress in neural implicit representation for 3D reconstruction. Most existing state-of-the-art neural implicit representation methods are limited to object-level reconstructions and can not incrementally perform updates given new data. In this work, we propose a fusion strategy and training pipeline to incrementally build and update neural implicit representations that enable the reconstruction of large scenes from sequential partial observations. By representing an arbitrarily sized scene as a grid of latent codes and performing updates directly in latent space, we show that incrementally built occupancy maps can be obtained in real-time even on a CPU. Compared to traditional approaches such as Truncated Signed Distance Fields (TSDFs), our map representation is significantly more robust in yielding a better scene completeness given noisy inputs. We demonstrate the performance of our approach in thorough experimental validation on real-world datasets with varying degrees of added pose noise.


title: Numeraire-invariant quadratic hedging and mean--variance portfolio allocation

abstract: The paper investigates quadratic hedging in a semimartingale market that does not necessarily contain a risk-free asset. An equivalence result for hedging with and without numeraire change is established (Proposition 3.16). This permits direct computation of the optimal strategy without choosing a reference asset and/or performing a numeraire change (Theorem 4.1). New explicit expressions for optimal strategies are obtained, featuring the use of oblique projections that provide unified treatment of the case with and without a risk-free asset (Theorem 4.3). The analysis yields a streamlined computation of the efficient frontier for the pure investment problem in terms of three easily interpreted processes (Equation~1.1). The main result advances our understanding of the efficient frontier formation in the most general case where a risk-free asset may not be present. Several illustrations of the numeraire-invariant approach are given.


title: Mean-Variance Portfolio Selection in Contagious Markets

abstract: We consider a mean-variance portfolio selection problem in a financial market with contagion risk. The risky assets follow a jump-diffusion model, in which jumps are driven by a multivariate Hawkes process with mutual-excitation effect. The mutual-excitation feature of the Hawkes process captures the contagion risk in the sense that each price jump of an asset increases the likelihood of future jumps not only in the same asset but also in other assets. We apply the stochastic maximum principle, backward stochastic differential equation theory, and linear-quadratic control technique to solve the problem and obtain the efficient strategy and efficient frontier in semi-closed form, subject to a non-local partial differential equation. Numerical examples are provided to illustrate our results.


title: MRI Recovery with A Self-calibrated Denoiser

abstract: Plug-and-play (PnP) methods that employ application-specific denoisers have been proposed to solve inverse problems, including MRI reconstruction. However, training application-specific denoisers is not feasible for many applications due to the lack of training data. In this work, we propose a PnP-inspired recovery method that does not require data beyond the single, incomplete set of measurements. The proposed method, called recovery with a self-calibrated denoiser (ReSiDe), trains the denoiser from the patches of the image being recovered. The denoiser training and a call to the denoising subroutine are performed in each iteration of a PnP algorithm, leading to a progressive refinement of the reconstructed image. For validation, we compare ReSiDe with a compressed sensing-based method and a PnP method with BM3D denoising using single-coil MRI brain data.


title: Compositional Attention: Disentangling Search and Retrieval

abstract: Multi-head, key-value attention is the backbone of the widely successful Transformer model and its variants. This attention mechanism uses multiple parallel key-value attention blocks (called heads), each performing two fundamental computations: (1) search - selection of a relevant entity from a set via query-key interactions, and (2) retrieval - extraction of relevant features from the selected entity via a value matrix. Importantly, standard attention heads learn a rigid mapping between search and retrieval. In this work, we first highlight how this static nature of the pairing can potentially: (a) lead to learning of redundant parameters in certain tasks, and (b) hinder generalization. To alleviate this problem, we propose a novel attention mechanism, called Compositional Attention, that replaces the standard head structure. The proposed mechanism disentangles search and retrieval and composes them in a dynamic, flexible and context-dependent manner through an additional soft competition stage between the query-key combination and value pairing. Through a series of numerical experiments, we show that it outperforms standard multi-head attention on a variety of tasks, including some out-of-distribution settings. Through our qualitative analysis, we demonstrate that Compositional Attention leads to dynamic specialization based on the type of retrieval needed. Our proposed mechanism generalizes multi-head attention, allows independent scaling of search and retrieval, and can easily be implemented in lieu of standard attention heads in any network architecture.


title: Prompt D$^{0}$, D$^{+}$, and D$^{*+}$ production in Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV

abstract: The production of prompt D$^{0}$, D$^{+}$, and D$^{*+}$ mesons was measured at midrapidity (|y|< 0.5) in Pb-Pb collisions at the centre-of-mass energy per nucleon-nucleon pair $\sqrt{s_{\rm NN}}$ = 5.02 TeV with the ALICE detector at the LHC. The D mesons were reconstructed via their hadronic decay channels and their production yields were measured in central (0-10%) and semicentral (30-50%) collisions. The measurement was performed up to a transverse momentum ($p_{\rm T}$) of 36 or 50 GeV/$c$ depending on the D meson species and the centrality interval. For the first time in Pb-Pb collisions at the LHC, the yield of D$^0$ mesons was measured down to $p_{\rm T}$ = 0, which allowed a model-independent determination of the $p_{\rm T}$-integrated yield per unit of rapidity (d$N$/d$y$). A maximum suppression by a factor 5 and 2.5 was observed with the nuclear modification factor ($R_{\rm AA}$) of prompt D mesons at $p_{\rm T}$ = 6-8 GeV/$c$ for the 0-10% and 30-50% centrality classes, respectively. The D-meson $R_{\rm AA}$ is compared with that of charged pions, charged hadrons, and J/$\psi$ mesons as well as with theoretical predictions. The analysis of the agreement between the measured $R_{\rm AA}$, elliptic ($v_2$) and triangular ($v_3$) flow, and the model predictions allowed us to constrain the charm spatial diffusion coefficient $D_s$. Furthermore the comparison of $R_{\rm AA}$ and $v_2$ with different implementations of the same models provides an important insight into the role of radiative energy loss as well as charm quark recombination in the hadronisation mechanisms.


title: Measuring Cognitive Status from Speech in a Smart Home Environment

abstract: The population is aging, and becoming more tech-savvy. The United Nations predicts that by 2050, one in six people in the world will be over age 65 (up from one in 11 in 2019), and this increases to one in four in Europe and Northern America. Meanwhile, the proportion of American adults over 65 who own a smartphone has risen 24 percentage points from 2013-2017, and the majority have Internet in their homes. Smart devices and smart home technology have profound potential to transform how people age, their ability to live independently in later years, and their interactions with their circle of care. Cognitive health is a key component to independence and well-being in old age, and smart homes present many opportunities to measure cognitive status in a continuous, unobtrusive manner. In this article, we focus on speech as a measurement instrument for cognitive health. Existing methods of cognitive assessment suffer from a number of limitations that could be addressed through smart home speech sensing technologies. We begin with a brief tutorial on measuring cognitive status from speech, including some pointers to useful open-source software toolboxes for the interested reader. We then present an overview of the preliminary results from pilot studies on active and passive smart home speech sensing for the measurement of cognitive health, and conclude with some recommendations and challenge statements for the next wave of work in this area, to help overcome both technical and ethical barriers to success.


title: The number and location of Jupiter's circumpolar cyclones explained by vorticity dynamics

abstract: The Juno mission observed that both poles of Jupiter have polar cyclones that are surrounded by a ring of circumpolar cyclones. The North Pole holds eight circumpolar cyclones and the South Pole possesses five, with both circumpolar rings positioned along latitude ~84{\deg} N/S. Here we explain the location, stability, and number of the Jovian circumpolar cyclones by establishing the primary forces that act on them, which develop because of vorticity gradients in the background of a cyclone. In the meridional direction, the background vorticity varies owning to the planetary sphericity and the presence of the polar cyclone. In the zonal direction, the vorticity varies by the presence of adjacent cyclones in the ring. Our analysis successfully predicts the latitude and number of circumpolar cyclones for both poles, according to the size and spin of the respective polar cyclone. Moreover, the analysis successfully predicts that Jupiter can hold circumpolar cyclones while Saturn currently cannot. The match between the theory and observations implies that vortices in the polar regions of the giant planets are largely governed by barotropic dynamics, and that the movement of other vortices at high-latitudes is also driven by interaction with the background vorticity.


title: Evidence supporting the existence of $P_c(4380)^{\pm}$ from the recent measurements of $B_s \to J/\psi p\bar{p}$

abstract: Very recently, the LHCb collaboration released the newest measurements of $B_s \to J/\psi p\bar{p}$, where an enhancement structure near 4.34 GeV was observed in the invariant mass spectrum of $J/\psi p$ with the statistical significance of $3.1-3.7$ $\sigma$. In this work, by performing a combined analysis for the three invariant mass spectra of $B_s \to J/\psi p\bar{p}$, we find that this $J/\psi p$ structure near 4.34 GeV can correspond to the contributions from the $P_c(4380)^+$ state with the assumption of $J^{P}=3/2^{-}$ together with the reflections of $B_s \to (f_2^{*} \to p\bar{p})J/\psi$. Here, $P_c(4380)$ was first observed in $\Lambda_b \to J/\psi p K$ but not confirmed in the updated LHCb data in 2019, and $f_2^{*}$ means the exciting light isoscalar tensor meson around 2.0 GeV. Thus, this provides a possible evidence to support the existence of the pentaquark $P_c(4380)$. Specifically, the assumed spin parity $J^{P}=3/2^{-}$ of $P_c(4380)$ is consistent with a prediction of the theoretical explanation of an $S$-wave $\bar{D}\Sigma_c^*$ molecular bound state.


title: Don't Judge Me by My Face : An Indirect Adversarial Approach to Remove Sensitive Information From Multimodal Neural Representation in Asynchronous Job Video Interviews

abstract: se of machine learning for automatic analysis of job interview videos has recently seen increased interest. Despite claims of fair output regarding sensitive information such as gender or ethnicity of the candidates, the current approaches rarely provide proof of unbiased decision-making, or that sensitive information is not used. Recently, adversarial methods have been proved to effectively remove sensitive information from the latent representation of neural networks. However, these methods rely on the use of explicitly labeled protected variables (e.g. gender), which cannot be collected in the context of recruiting in some countries (e.g. France). In this article, we propose a new adversarial approach to remove sensitive information from the latent representation of neural networks without the need to collect any sensitive variable. Using only a few frames of the interview, we train our model to not be able to find the face of the candidate related to the job interview in the inner layers of the model. This, in turn, allows us to remove relevant private information from these layers. Comparing our approach to a standard baseline on a public dataset with gender and ethnicity annotations, we show that it effectively removes sensitive information from the main network. Moreover, to the best of our knowledge, this is the first application of adversarial techniques for obtaining a multimodal fair representation in the context of video job interviews. In summary, our contributions aim at improving fairness of the upcoming automatic systems processing videos of job interviews for equality in job selection.


title: FacialGAN: Style Transfer and Attribute Manipulation on Synthetic Faces

abstract: Facial image manipulation is a generation task where the output face is shifted towards an intended target direction in terms of facial attribute and styles. Recent works have achieved great success in various editing techniques such as style transfer and attribute translation. However, current approaches are either focusing on pure style transfer, or on the translation of predefined sets of attributes with restricted interactivity. To address this issue, we propose FacialGAN, a novel framework enabling simultaneous rich style transfers and interactive facial attributes manipulation. While preserving the identity of a source image, we transfer the diverse styles of a target image to the source image. We then incorporate the geometry information of a segmentation mask to provide a fine-grained manipulation of facial attributes. Finally, a multi-objective learning strategy is introduced to optimize the loss of each specific tasks. Experiments on the CelebA-HQ dataset, with CelebAMask-HQ as semantic mask labels, show our model's capacity in producing visually compelling results in style transfer, attribute manipulation, diversity and face verification. For reproducibility, we provide an interactive open-source tool to perform facial manipulations, and the Pytorch implementation of the model.


title: Effect of inorganic cation mixing on hybrid halide perovskites using density functional theory for application in single and multi junction photovoltaics

abstract: This work is aimed to study mixed-cation (hybrid methyl ammonium plus inorganic cations) halide perovskites using first principles Density Functional Theory (DFT) formalism in order to find their potential applications in perovskite based photovoltaics. This is an addition to the two previous studies performed by the author on high-throughput screening of hybrid halide and inorganic halide perovskites. This work involves mixing certain amounts of the inorganic cation to the organic site (methyl ammonium) and study the electronic structure of the resultant. 63 perovskites have been simulated in their calculated stable phases and their band gaps have been predicted. Band gaps are important parameters to predict as these indicate their potential to be used as opto-electronic devices. From the calculated band gaps, 37 perovskites are predicted to be suitable for single junction as well as multi junction solar cell application, 7 are not suitable for either single or multi junction solar cells, and the rest 21 are suitable for multi junction but not for single junction solar cells. The study also shows interesting transition in the nature of the band gaps from indirect to direct and vice-versa caused at about 50% of inorganic cation mixing.


title: Enhancing the estimation precision of an unknown phase shift in multipartite Glauber coherent states via skew information correlations and local quantum Fisher information

abstract: Local quantum uncertainty (LQU) and local quantum Fisher information (LQFI) are both two tools used to capture purely quantum correlations in multi-partite quantum systems. In this paper, we study these quantifiers in the case of multipartite Glauber coherent state which include the GHZ (Greenberger-Horne-Zeilinger) and Werner states. We perform a comparative study between LQFI and LQU in an isolated system. Besides, by using the Kraus operator representation, we study the behavior of these quantifiers on the dephasing channel to investigate their performances under the decoherence effect. In addition, the robustness to the decoherence effect of these two quantifiers is studied. We further examine the situation involving the multipartite Glauber coherent state to decide the sensitivity of the probe state as a resource for quantum estimation protocols.


title: Distinguishing Natural and Computer-Generated Images using Multi-Colorspace fused EfficientNet

abstract: The problem of distinguishing natural images from photo-realistic computer-generated ones either addresses natural images versus computer graphics or natural images versus GAN images, at a time. But in a real-world image forensic scenario, it is highly essential to consider all categories of image generation, since in most cases image generation is unknown. We, for the first time, to our best knowledge, approach the problem of distinguishing natural images from photo-realistic computer-generated images as a three-class classification task classifying natural, computer graphics, and GAN images. For the task, we propose a Multi-Colorspace fused EfficientNet model by parallelly fusing three EfficientNet networks that follow transfer learning methodology where each network operates in different colorspaces, RGB, LCH, and HSV, chosen after analyzing the efficacy of various colorspace transformations in this image forensics problem. Our model outperforms the baselines in terms of accuracy, robustness towards post-processing, and generalizability towards other datasets. We conduct psychophysics experiments to understand how accurately humans can distinguish natural, computer graphics, and GAN images where we could observe that humans find difficulty in classifying these images, particularly the computer-generated images, indicating the necessity of computational algorithms for the task. We also analyze the behavior of our model through visual explanations to understand salient regions that contribute to the model's decision making and compare with manual explanations provided by human participants in the form of region markings, where we could observe similarities in both the explanations indicating the powerful nature of our model to take the decisions meaningfully.


title: Understanding jumps in high frequency digital asset markets

abstract: While attention is a predictor for digital asset prices, and jumps in Bitcoin prices are well-known, we know little about its alternatives. Studying high frequency crypto data gives us the unique possibility to confirm that cross market digital asset returns are driven by high frequency jumps clustered around black swan events, resembling volatility and trading volume seasonalities. Regressions show that intra-day jumps significantly influence end of day returns in size and direction. This provides fundamental research for crypto option pricing models. However, we need better econometric methods for capturing the specific market microstructure of cryptos. All calculations are reproducible via the quantlet.com technology.


title: A near-optimal rate of periodic homogenization for convex Hamilton-Jacobi equations

abstract: We consider a Hamilton-Jacobi equation where the Hamiltonian is periodic in space and coercive and convex in momentum. Combining the representation formula from optimal control theory and a theorem of Alexander, originally proved in the context of first-passage percolation, we find a rate of homogenization which is within a log-factor of optimal and holds in all dimensions.


title: Comparing Deep Neural Nets with UMAP Tour

abstract: Neural networks should be interpretable to humans. In particular, there is a growing interest in concepts learned in a layer and similarity between layers. In this work, a tool, UMAP Tour, is built to visually inspect and compare internal behavior of real-world neural network models using well-aligned, instance-level representations. The method used in the visualization also implies a new similarity measure between neural network layers. Using the visual tool and the similarity measure, we find concepts learned in state-of-the-art models and dissimilarities between them, such as GoogLeNet and ResNet.


title: Evidence for a QCD accelerator in relativistic heavy-ion collisions

abstract: We report measurements of forward jets produced in Cu+Au collisions at $\sqrt{s_{NN}}=200$ GeV at the Relativistic Heavy Ion Collider. The jet-energy distributions extend to energies much larger than expected by Feynman scaling. This constitutes the first clear evidence for Feynman-scaling violations in heavy-ion collisions. Such high-energy particle production has been in models via QCD string interactions, but so far is untested by experiment. One such model calls this a hadronic accelerator. Studies with a particular heavy-ion event generator (HIJING) show that photons and mesons exhibit such very high-energy production in a heavy-ion collision, so {\it QCD accelerator} appropriately captures the physics associated with such QCD string interactions. All models other than HIJING used for hadronic interactions in the study of extensive air showers from cosmic rays either do not include these QCD string interactions, or have smaller effects from the QCD accelerator.


title: Cayley fibrations in the Bryant-Salamon $Spin(7)$ manifold

abstract: On each complete asymptotically conical $Spin(7)$ manifold constructed by Bryant and Salamon, including the asymptotic cones, we consider a natural family of $SU(2)$ actions preserving the Cayley form. For each element of this family, we study the (possibly singular) invariant Cayley fibration, which we describe explicitly, if possible. These can be reckoned as generalizations of the trivial flat fibration of $\mathbb{R}^8$ and the product of a line with the Harvey-Lawson coassociative fibration of $\mathbb{R}^7$. The fibres will provide new examples of asymptotically conical Cayley submanifolds in the Bryant-Salamon manifolds of topology $\mathbb{R}^4, \mathbb{R}\times S^3$ and $\mathcal{O}_{CP^1} (-1)$.


title: Learning Realtime One-Counter Automata

abstract: We present a new learning algorithm for realtime one-counter automata. Our algorithm uses membership and equivalence queries as in Angluin's L* algorithm, as well as counter value queries and partial equivalence queries. In a partial equivalence query, we ask the teacher whether the language of a given finite-state automaton coincides with a counter-bounded subset of the target language. We evaluate an implementation of our algorithm on a number of random benchmarks and on a use case regarding efficient JSON-stream validation.


title: Resolving mean-field solutions of dissipative phase transitions using permutational symmetry

abstract: Phase transitions in dissipative quantum systems have been investigated using various analytical approaches, particularly in the mean-field (MF) limit. However, analytical results often depend on specific methodologies. For instance, Keldysh formalism shows that the dissipative transverse Ising (DTI) model exhibits a discontinuous transition at the upper critical dimension, $d_c= 3$, whereas the fluctuationless MF approach predicts a continuous transition in infinite dimensions ($d_\infty$). These two solutions cannot be reconciled because the MF solutions above $d_c$ should be identical. This necessitates a numerical verification. However, numerical studies on large systems may not be feasible because of the exponential increase in computational complexity as $\mathcal{O}(2^{2N})$ with system size $N$. Here, we note that because spins can be regarded as being fully connected at $d_\infty$, the spin indices can be permutation invariant, and the number of quantum states can be considerably contracted with the computational complexity $\mathcal{O}(N^3)$. The Lindblad equation is transformed into a dynamic equation based on the contracted states. Applying the Runge--Kutta algorithm to the dynamic equation, we obtain all the critical exponents, including the dynamic exponent $z\approx 0.5$. Moreover, since the DTI model has $\mathbb{Z}_2$ symmetry, the hyperscaling relation has the form $2\beta+\gamma=\nu(d+z)$, we obtain the relation $d_c+z=4$ in the MF limit. Hence, $d_c\approx 3.5$; thus, the discontinuous transition at $d=3$ cannot be treated as an MF solution. We conclude that the permutation invariance at $d_\infty$ can be used effectively to check the validity of an analytic MF solution in quantum phase transitions.


title: Early Diagnostic Prediction of Covid-19 using Gradient-Boosting Machine Model

abstract: With the huge spike in the COVID-19 cases across the globe and reverse transcriptase-polymerase chain reaction (RT-PCR) test remains a key component for rapid and accurate detection of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2). In recent months there has been an acute shortage of medical supplies in developing countries, especially a lack of RT-PCR testing resulting in delayed patient care and high infection rates. We present a gradient-boosting machine model that predicts the diagnostics result of SARS-CoV- 2 in an RT-PCR test by utilizing eight binary features. We used the publicly available nationwide dataset released by the Israeli Ministry of Health.


title: Ctrl-Shift: How Privacy Sentiment Changed from 2019 to 2021

abstract: People's privacy sentiments influence changes in legislation as well as technology design and use. While single-point-in-time investigations of privacy sentiment offer useful insight, study of people's privacy sentiments over time is also necessary to better understand and anticipate evolving privacy attitudes. In this work, we use repeated cross-sectional surveys (n=6,676) to model the sentiments of people in the U.S. toward collection and use of data for government- and health-related purposes from 2019-2021. After the onset of COVID-19, we observe significant decreases in respondent acceptance of government data use and significant increases in acceptance of health-related data uses. While differences in privacy attitudes between sociodemographic groups largely decreased over this time period, following the 2020 U.S. national elections, we observe some of the first evidence that privacy sentiments may change based on the alignment between a user's politics and the political party in power. Our results offer insight into how privacy attitudes may have been impacted by recent events and allow us to identify potential predictors of changes in privacy attitudes during times of geopolitical or national change.