title: Quantum Computer Music: Foundations and Initial Experiments

abstract: Quantum computing is a nascent technology, which is advancing rapidly. There is a long history of research into using computers for music. Nowadays computers are absolutely essential for the music economy. Thus, it is very likely that quantum computers will impact the music industry in time to come. This chapter lays the foundations of the new field of 'Quantum Computer Music'. It begins with an introduction to algorithmic computer music and methods to program computers to generate music, such as Markov chains and random walks. Then, it presents quantum computing versions of those methods. The discussions are supported by detailed explanations of quantum computing concepts and walk-through examples. A bespoke generative music algorithm is presented, the Basak-Miranda algorithm, which leverages a property of quantum mechanics known as constructive and destructive interference to operate a musical Markov chain. An Appendix introducing the fundamentals of quantum computing deemed necessary to understand the chapter and a link to access Jupyter Notebooks with examples are also provided.


title: Oscillations in Modified Combinants of Hadronic Multiplicity Distributions

abstract: Oscillations in modified combinants ($C_j$s) have been of interest to multiparticle production mechanisms since the 1990s. Recently, there has been a discussion on how these oscillations can be reproduced by compounding a binomial distribution with a negative binomial distribution. In this work, we explore a stochastic branching model based on a simple interaction term $\lambda\overline{\psi}\phi\psi$ for partons and propose a hadronization scheme to arrive at the final multiplicity distribution. We study the effects that compounding our model with a binomial distribution has on $C_j$s and explore its physical implications. We find that there is a significant difference in the oscillations in $C_j$s between high energy $pp$ and $p\bar{p}$ scattering that our model can reproduce.


title: Nature of the ultrarelativistic prompt emission phase of GRB 190114C

abstract: We address the physical origin of the ultrarelativistic prompt emission (UPE) phase of GRB 190114C observed in the interval 1.9-3.99 s, by the Fermi-GBM in 10 keV-10 MeV . Thanks to high S/N ratio of Fermi-GBM data, a time resolved spectral analysis has evidenced a sequence of similar blackbody plus cutoff power-law spectra, on ever decreasing time intervals during the entire UPE phase. We assume that during the UPE phase, the inner engine of the GRB, composed of a Kerr black hole and a uniform test magnetic field B0, aligned with the BH rotation axis, operates in an overcritical field. We infer an $e^+e^-$ pair electromagnetic plasma in presence of a baryon load, a PEMB pulse, originating from a vacuum polarization quantum process in the inner engine. This initially optically thick plasma self-accelerates, giving rise at the transparency radius to the MeV radiation observed by Ferm-GBM. At trf > 3.99 s, the electric field becomes undercritical, and the inner engine operates in the classical electrodynamics regime and generate the GeV emission. During both the quantum and the classical electrodynamics processes, we determine the time varying mass and spin of the Kerr BH in the inner engine, fulfilling the Christodoulou-Hawking-Ruffini mass-energy formula. For the first time, we quantitatively show how the inner engine, by extracting the rotational energy of the Kerr BH, produces a series of PEMB pulses. We follow the quantum vacuum polarization process in sequences with decreasing time bins. We compute the Lorentz factors, the baryon loads and the radii at transparency, as well as the value of the magnetic field, assumed to be constant in each sequence. The fundamental hierarchical structure, linking the quantum electrodynamics regime to the classical electrodynamics regime, is characterized by the emission of blackholic quanta with a timescale $t=10^{-9}$s, and energy $E=10^{45}$ erg.


title: Friedmann cosmology with decaying vacuum density in Brans-Dicke theory

abstract: In this paper, we study Friedmann cosmology with time-varying vacuum energy density in the context of Brans-Dicke theory. We consider an isotropic and homogeneous flat space, filled with a matter-dominated perfect fluid and a dynamical cosmological term $\Lambda(t) $, obeying the equation of state of the vacuum. As the exact nature of a possible time-varying vacuum is yet to be found, we explore $\Lambda(t)$ given by the phenomenological law $\Lambda(t)=\lambda+\sigma H$, where $\lambda$ and $\sigma$ are positive constants. We solve the model and then focus on two different cases $\Lambda_{H1}$ and $\Lambda_{H2}$ by assuming $\Lambda=\lambda$ and $\Lambda=\sigma H$, respectively. Notice that $\Lambda_{H1}$ is the analog of the standard $\Lambda$CDM, but within the Brans-Dicke cosmology. We find the analytical solution of the main cosmological functions such as the Hubble parameter, the scale factor, deceleration and equation of state parameters for these models. In order to test the viability of the cosmological scenarios, we perform two sets of joint observational analyses of the recent Type Ia supernova data (Pantheon), observational measurements of Hubble parameter data, Baryon acoustic oscillation/Cosmic microwave background data and Local Hubble constant for each model. For the sake of comparison, the same data analysis is performed for the $\Lambda$CDM model. Each model shows a transition from decelerated phase to accelerated phase and can be viewed as an effective quintessence behavior. Using the model selection criteria AIC and BIC to distinguish from existing dark energy models, we find that the Brans-Dicke analog of the $\Lambda$-cosmology (i.e. our model $\Lambda_{H1}$) performs at a level comparable to the standard $\Lambda$CDM, whereas $\Lambda_{H2}$ is less favoured.


title: Improved Goal Oriented Dialogue via Utterance Generation and Look Ahead

abstract: Goal oriented dialogue systems have become a prominent customer-care interaction channel for most businesses. However, not all interactions are smooth, and customer intent misunderstanding is a major cause of dialogue failure. We show that intent prediction can be improved by training a deep text-to-text neural model to generate successive user utterances from unlabeled dialogue data. For that, we define a multi-task training regime that utilizes successive user-utterance generation to improve the intent prediction. Our approach achieves the reported improvement due to two complementary factors: First, it uses a large amount of unlabeled dialogue data for an auxiliary generation task. Second, it uses the generated user utterance as an additional signal for the intent prediction model. Lastly, we present a novel look-ahead approach that uses user utterance generation to improve intent prediction in inference time. Specifically, we generate counterfactual successive user utterances for conversations with ambiguous predicted intents, and disambiguate the prediction by reassessing the concatenated sequence of available and generated utterances.


title: CR embeddability of quotients of the Rossi sphere via spectral theory

abstract: We look at the action of finite subgroups of $\operatorname{SU}(2)$ on $S^3$, viewed as a CR manifold, both with the standard CR structure as the unit sphere in $\mathbb{C}^2$ and with a perturbed CR structure known as the Rossi sphere. We show that quotient manifolds from these actions are indeed CR manifolds, and relate the order of the subgroup of $\operatorname{SU}(2)$ to the asymptotic distribution of the Kohn Laplacian's eigenvalues on the quotient. We show that the order of the subgroup determines whether the quotient of the Rossi sphere by the action of that subgroup is CR embeddable. Finally, in the unperturbed case, we prove that we can determine the size of the subgroup by using the point spectrum.


title: A Compact Coupling Interface Method with Accurate Gradient Approximation for Elliptic Interface Problems

abstract: We propose the Compact Coupling Interface Method (CCIM), a finite difference method capable of obtaining second-order accurate approximations of not only solution values but their gradients, for elliptic complex interface problems with interfacial jump conditions. Such elliptic interface boundary value problems with interfacial jump conditions are a critical part of numerous applications in fields such as heat conduction, fluid flow, materials science, and protein docking, to name a few. A typical example involves the construction of biomolecular shapes, where such elliptic interface problems are in the form of linearized Poisson-Boltzmann equations, involving discontinuous dielectric constants across the interface, that govern electrostatic contributions. Additionally, when interface dynamics are involved, the normal velocity of the interface might be comprised of the normal derivatives of solution, which can be approximated to second-order by our method, resulting in accurate interface dynamics. Our method, which can be formulated in arbitrary spatial dimensions, combines elements of the highly-regarded Coupling Interface Method, for such elliptic interface problems, and Smereka's second-order accurate discrete delta function. The result is a variation and hybrid with a more compact stencil than that found in the Coupling Interface Method, and with advantages, borne out in numerical experiments involving both geometric model problems and complex biomolecular surfaces, in more robust error profiles.


title: A Distributed Deep Reinforcement Learning Technique for Application Placement in Edge and Fog Computing Environments

abstract: Fog/Edge computing is a novel computing paradigm supporting resource-constrained Internet of Things (IoT) devices by the placement of their tasks on the edge and/or cloud servers. Recently, several Deep Reinforcement Learning (DRL)-based placement techniques have been proposed in fog/edge computing environments, which are only suitable for centralized setups. The training of well-performed DRL agents requires manifold training data while obtaining training data is costly. Hence, these centralized DRL-based techniques lack generalizability and quick adaptability, thus failing to efficiently tackle application placement problems. Moreover, many IoT applications are modeled as Directed Acyclic Graphs (DAGs) with diverse topologies. Satisfying dependencies of DAG-based IoT applications incur additional constraints and increase the complexity of placement problems. To overcome these challenges, we propose an actor-critic-based distributed application placement technique, working based on the IMPortance weighted Actor-Learner Architectures (IMPALA). IMPALA is known for efficient distributed experience trajectory generation that significantly reduces the exploration costs of agents. Besides, it uses an adaptive off-policy correction method for faster convergence to optimal solutions. Our technique uses recurrent layers to capture temporal behaviors of input data and a replay buffer to improve the sample efficiency. The performance results, obtained from simulation and testbed experiments, demonstrate that our technique significantly improves the execution cost of IoT applications up to 30\% compared to its counterparts.


title: Sentence Punctuation for Collaborative Commentary Generation in Esports Live-Streaming

abstract: To solve the existing sentence punctuation problem for collaborative commentary generation in Esports live-streaming, this paper presents two strategies for sentence punctuation for text sequences of game commentary, that is, punctuating sentences by two or three text sequence(s) originally punctuated by Youtube to obtain a complete sentence of commentary. We conducted comparative experiments utilizing and fine-tuning a state-of-the-art pre-trained generative language model among two strategies and the baseline to generate collaborative commentary. Both objective evaluations by automatic metrics and subjective analyses showed that our strategy of punctuating sentences by two text sequences outperformed the baseline.


title: El aula invertida para la docencia de F\'isica

abstract: En este trabajo presentamos una experiencia docente on-line con estudiantes universitarios de primer curso basada en la aplicaci\'on del aula invertida para el estudio de cinem\'atica de s\'olido r\'igido. Los resultados del estudio no demuestran diferencias significativas con respecto a otros temas tratados ni con respecto al mismo tema en el curso anterior, en el que la docencia no fue virtual sino presencial. In this work, we present an on-line educational experience with first-year university students based on the application of the flipped classroom to study kinematics of rigid solid. Our results show no statistical differences when compared with other parts of the Physics module nor with the results obtained last year, when the educational process was not virtual but in person.


title: Gas of sub-recoiled laser cooled atoms described by infinite ergodic theory

abstract: The velocity distribution of a classical gas of atoms in thermal equilibrium is the normal Maxwell distribution. It is well known that for sub-recoiled laser cooled atoms L\'evy statistics and deviations from usual ergodic behaviour come into play. Here we show how tools from infinite ergodic theory describe the cool gas. Specifically, we derive the scaling function and the infinite invariant density of a stochastic model for the momentum of laser cooled atoms using two approaches. The first is a direct analysis of the master equation and the second following the analysis of Bertin and Bardou using the lifetime dynamics. The two methods are shown to be identical, but yield different insights into the problem. In the main part of the paper we focus on the case where the laser trapping is strong, namely the rate of escape from the velocity trap is $R(v) \propto |v|^\alpha$ for $v \to 0$ and $\alpha>1$. We construct a machinery to investigate the time averages of physical observables and their relation to ensemble averages. The time averages are given in terms of functionals of the individual stochastic paths, and here we use a generalisation of L\'evy walks to investigate the ergodic properties of the system. Exploring the energy of the system, we show that when $\alpha=3$ it exhibits a transition between phases where it is either an integrable or non integrable observable, with respect to the infinite invariant measure. This transition corresponds to very different properties of the mean energy, and to a discontinuous behaviour of the fluctuations. Since previous experimental work showed that both $\alpha=2$ and $\alpha=4$ are attainable we believe that both phases could be explored also experimentally.


title: Asymptotic vanishing of syzygies of algebraic varieties

abstract: The purpose of this paper is to prove Ein--Lazarsfeld's conjecture on asymptotic vanishing of syzygies of algebraic varieties. This result, together with Ein--Lazarsfeld's asymptotic nonvanishing theorem, describes the overall picture of asymptotic behaviors of the minimal free resolutions of the graded section rings of line bundles on a projective variety as the positivity of the line bundles grows. Previously, Raicu reduced the problem to the case of products of three projective spaces, and we resolve this case here.


title: Singular subelliptic equations and Sobolev inequalities on nilpotent Lie groups

abstract: In this article we study singular subelliptic $p$-Laplace equations and best constants in Sobolev inequalities on nilpotent Lie groups. We prove solvability of these subelliptic $p$-Laplace equations and existence of the minimizer of the corresponding variational problem. It leads to existence of the best constant in the corresponding $(q,p)$-Sobolev inequality, $0<q<1$, $1<p<\nu$.


title: Refuting Tianrong Lin's arXiv:2110.05942 "Resolution of The Linear-Bounded Automata Question"

abstract: In the preprint mentioned in the title Mr. Tianrong claims to prove $\textrm{NSPACE}[n]\neq\textrm{DSPACE}[n]$, resolving a longstanding open problem in automata theory called the LBA question. He claims to achieve this by showing more generally $\textrm{NSPACE}[S(n)]\neq\textrm{DSPACE}[S(n)]$ for suitable $S(n)$. We demonstrate that his proof is incomplete, even wrong, and his strategy cannot be repaired. Update to include recent developments of Mr. Tianrong's preprint.


title: A Differentiable Newton-Euler Algorithm for Real-World Robotics

abstract: Obtaining dynamics models is essential for robotics to achieve accurate model-based controllers and simulators for planning. The dynamics models are typically obtained using model specification of the manufacturer or simple numerical methods such as linear regression. However, this approach does not guarantee physically plausible parameters and can only be applied to kinematic chains consisting of rigid bodies. In this article, we describe a differentiable simulator that can be used to identify the system parameters of real-world mechanical systems with complex friction models, holonomic as well as non-holonomic constraints. To guarantee physically consistent parameters, we utilize virtual parameters and gradient-based optimization. The described Differentiable Newton-Euler Algorithm (DiffNEA) can be applied to a class of dynamical systems and guarantees physically plausible predictions. The extensive experimental evaluation shows, that the proposed model learning approach learns accurate dynamics models of systems with complex friction and non-holonomic constraints. Especially in the offline reinforcement learning experiments, the identified DiffNEA models excel. For the challenging ball in a cup task, these models solve the task using model-based offline reinforcement learning on the physical system. The black-box baselines fail on this task in simulation and on the physical system despite using more data for learning the model.


title: NAS-FCOS: Efficient Search for Object Detection Architectures

abstract: Neural Architecture Search (NAS) has shown great potential in effectively reducing manual effort in network design by automatically discovering optimal architectures. What is noteworthy is that as of now, object detection is less touched by NAS algorithms despite its significant importance in computer vision. To the best of our knowledge, most of the recent NAS studies on object detection tasks fail to satisfactorily strike a balance between performance and efficiency of the resulting models, let alone the excessive amount of computational resources cost by those algorithms. Here we propose an efficient method to obtain better object detectors by searching for the feature pyramid network (FPN) as well as the prediction head of a simple anchor-free object detector, namely, FCOS [36], using a tailored reinforcement learning paradigm. With carefully designed search space, search algorithms, and strategies for evaluating network quality, we are able to find top-performing detection architectures within 4 days using 8 V100 GPUs. The discovered architectures surpass state-of-the-art object detection models (such as Faster R-CNN, Retina-Net and, FCOS) by 1.0% to 5.4% points in AP on the COCO dataset, with comparable computation complexity and memory footprint, demonstrating the efficacy of the proposed NAS method for object detection. Code is available at https://github.com/Lausannen/NAS-FCOS.


title: A Note on Minimum Degree Condition for Hamiltonian $(a,b)$-Cycles in Hypergraphs

abstract: Let $k,a,b$ be positive integers with $a+b=k$. A $k$-uniform hypergraph is called an $(a,b)$-cycle if there is a partition $(A_0,B_0,A_1,B_1,\ldots,A_{t-1},B_{t-1})$ of the vertex set with $|A_i|=a$, $|B_i|=b$ such that $A_i\cup B_i$ and $B_i\cup A_{i+1}$ (subscripts module $t$) are edges for all $i=0,1,\ldots,t-1$. Let $\mathcal{H}$ be a $k$-uniform $n$-vertex hypergraph with $n\geq 5k$ and $n$ divisible by $k$. By applying the concentration inequality for intersections of a uniform hypergraph with a random matching developed by Frankl and Kupavskii, we show that if there exists $\alpha\in (0,1)$ such that $\delta_a(\mathcal{H})\geq (\alpha +o(1))\binom{n-a}{b}$ and $\delta_b(\mathcal{H})\geq (1-\alpha +o(1))\binom{n-b}{a}$, then $\mathcal{H}$ contains a Hamilton $(a,b)$-cycle. As a corollary, we prove that if $\delta_{\ell}(\mathcal{H})\geq (1/2 +o(1))\binom{n-\ell}{k-\ell}$ for some $\ell \geq k/2$, then $\mathcal{H}$ contains a Hamilton $(k-\ell,\ell)$-cycle and this is asymptotically best possible.


abstract: The ability to generalize under distributional shifts is essential to reliable machine learning, while models optimized with empirical risk minimization usually fail on non-$i.i.d$ testing data. Recently, invariant learning methods for out-of-distribution (OOD) generalization propose to find causally invariant relationships with multi-environments. However, modern datasets are frequently multi-sourced without explicit source labels, rendering many invariant learning methods inapplicable. In this paper, we propose Kernelized Heterogeneous Risk Minimization (KerHRM) algorithm, which achieves both the latent heterogeneity exploration and invariant learning in kernel space, and then gives feedback to the original neural network by appointing invariant gradient direction. We theoretically justify our algorithm and empirically validate the effectiveness of our algorithm with extensive experiments.


title: Non-resonant Streaming Instability driven by Leptons

abstract: Using fully-kinetic plasma simulations, we study the non-resonant (Bell) streaming instability driven by energetic leptons. We identify the necessary conditions to drive it and the differences from the standard proton-driven case in both linear and saturated stages. A simple analytic theory is presented to explain simulations. Our findings are crucial for understanding the phenomenology of astrophysical environments where only electrons may be accelerated (e.g., oblique shocks) or where relativistic pairs are produced (e.g., around pulsar wind nebulae).


title: Image-Based CLIP-Guided Essence Transfer

abstract: We make the distinction between (i) style transfer, in which a source image is manipulated to match the textures and colors of a target image, and (ii) essence transfer, in which one edits the source image to include high-level semantic attributes from the target. Crucially, the semantic attributes that constitute the essence of an image may differ from image to image. Our blending operator combines the powerful StyleGAN generator and the semantic encoder of CLIP in a novel way that is simultaneously additive in both latent spaces, resulting in a mechanism that guarantees both identity preservation and high-level feature transfer without relying on a facial recognition network. We present two variants of our method. The first is based on optimization, while the second fine-tunes an existing inversion encoder to perform essence extraction. Through extensive experiments, we demonstrate the superiority of our methods for essence transfer over existing methods for style transfer, domain adaptation, and text-based semantic editing. Our code is available at https://github.com/hila-chefer/TargetCLIP.


title: A CMOS SoC for Wireless Ultrasonic Power/Data Transfer and SHM Measurements on Structures

abstract: This paper describes a highly-integrated CMOS system-on-chip (SoC) for active structural health monitoring (SHM). The chip integrates ultrasonic power and bidirectional half-duplex data transfer, a power management unit (PMU), and an ultrasound transceiver to enable wireless ultrasonically-coupled sensor SHM networks on structures. The PMU includes an active bias-flip rectifier with off-delay compensation, high-efficiency dual-path DC-DC converter with inductor time-sharing, and five switched-capacitor DC-DC converters to generate multi-level spectrally band-limited pulses for guided-wave SHM. The chip was fabricated in a standard 180 nm process and has a die area of $2\times 2$ mm$^{2}$. Test results show power conversion efficiency (PCE) $>85\%$ for the active rectifier, $>70$\% for the inductive DC-DC converter, and $>60$\% for the switched-capacitor DC-DC converters. Output pulses have a peak-to-sidelobe ratio (PSL) $>30$~dB and worst-case out-of-band emissions $<-30$~dB, respectively. The SoC was integrated with a low-power microcontroller and passive components to realize miniaturized (15~mm $\times$ 30~mm) wireless SHM nodes. A set of nodes was deployed on an SHM test-bed (carbon fiber reinforced polymer sheet) representing an airframe panel. Tests on this wireless network confirm both long-range ultrasound power/data transfer and the ability to detect structural damage.


title: The Multiplication Formulas of Weighted Quantum Cluster Functions

abstract: By applying the property of Ext-symmetry and the affine space structure of certain fibers, we introduce the notion of weighted quantum cluster functions and prove their multiplication formulas associated to abelian categories with Ext-symmetry and 2-Calabi-Yau triangulated categories with cluster-tilting objects.


title: Lattice dynamics across the ferroelastic phase transition in Ba2ZnTeO6: A Raman and first-principles study

abstract: Structural phase transitions drive several unconventional phenomena including some illustrious ferroic attributes which are relevant for technological advancements. With this note, we have investigated the structural transition of perovskite-type trigonal Ba2ZnTeO6, across Tc ~ 150 K, which is also accompanied by a para- to ferroelastic transition. With the help of Raman spectroscopy and density-functional theory (DFT)-based calculations, here we report new intriguing observations associated with the phase transition in Ba2ZnTeO6 elucidating the lattice dynamics across the Tc. We have observed the presence of a central peak (quasi-elastic Rayleigh profile), huge softening in the soft mode, hysteretic phonon behavior, and signatures of coexistent phases. The existence of a central peak in Ba2ZnTeO6 is manifested by a sharp rise in the intensity of the Rayleigh profile in concomitant with the damping of the soft mode near Tc, shedding light on the lattice dynamics during the phase transition. While most of the phonon bands split below Tc confirming the phase transition, we have observed thermal hysteretic behavior of phonon modes that signifies the first-order nature of the transition and presence of coexisting phases, which are corroborated by our temperature-dependent x-ray diffraction and specific heat measurements. Further, an evidence of the concomitant structural transition appears in the form of huge softening in the thermal response of the soft phonon mode at ~ 31 cm-1 which is remarkable compared to the hitherto known behavior of soft modes in well-known ferroelectrics. This is further corroborated by our phonon calculations that show an unstable Eg-mode in the high-symmetry structure involving TeO6 octahedral rotation (with Ba and Zn translation) which later condenses into the C2/m low-symmetry phase.


title: Locally elliptic actions, torsion groups, and nonpositively curved spaces

abstract: Extending and unifying a number of well-known conjectures and open questions, we conjecture that locally elliptic (that is, every element has a bounded orbit) actions by automorphisms of finitely generated groups on finite dimensional nonpositively curved complexes have global fixed points. In particular, finitely generated torsion groups cannot act without fixed points on such spaces. We prove these conjectures for a wide class of complexes, including all infinite families of Euclidean buildings, Helly complexes, some graphical small cancellation and systolic complexes, uniformly locally finite Gromov hyperbolic graphs. We present consequences of these result, e.g. concerning the automatic continuity. Our main tool are Helly graphs. On the way we prove several results concerning their automorphisms. This is of independent interest and includes a classification result: any automorphism of a Helly graph with finite combinatorial dimension is either elliptic or hyperbolic, with rational translation length. One consequence is that groups with distorted elements cannot act properly on such graphs. We also present and study a new notion of geodesic clique paths. Their local-to-global properties are crucial in our proof of ellipticity results.


title: Numerical reparametrization of periodic planar curves via curvature interpolation

abstract: A novel static algorithm is proposed for numerical reparametrization of periodic planar curves. The method identifies a monitor function of the arclength variable with the true curvature of an open planar curve and considers a simple interpolation between the object and the unit circle at the curvature level. Since a convenient formula is known for tangential velocity that maintains the equidistribution rule with curvature-type monitor functions, the strategy enables to compute the correspondence between the arclength and another spatial variable by evolving the interpolated curve. With a certain normalization, velocity information in the motion is obtained with spectral accuracy while the resulting parametrization remains unchanged. Then, the algorithm extracts a refined representation of the input curve by sampling its arclength parametrization whose Fourier coefficients are directly accessed through a simple change of variables. As a validation, improvements to spatial resolution are evaluated by approximating the invariant coefficients from downsampled data and observing faster global convergence to the original shape.


title: Model Predictive Control with Gaussian Processes for Flexible Multi-Modal Physical Human Robot Interaction

abstract: Physical human-robot interaction can improve human ergonomics, task efficiency, and the flexibility of automation, but often requires application-specific methods to detect human state and determine robot response. At the same time, many potential human-robot interaction tasks involve discrete modes, such as phases of a task or multiple possible goals, where each mode has a distinct objective and human behavior. In this paper, we propose a novel method for multi-modal physical human-robot interaction that builds a Gaussian process model for human force in each mode of a collaborative task. These models are then used for Bayesian inference of the mode, and to determine robot reactions through model predictive control. This approach enables optimization of robot trajectory based on the belief of human intent, while considering robot impedance and human joint configuration, according to ergonomic- and/or task-related objectives. The proposed method reduces programming time and complexity, requiring only a low number of demonstrations (here, three per mode) and a mode-specific objective function to commission a flexible online human-robot collaboration task. We validate the method with experiments on an admittance-controlled industrial robot, performing a collaborative assembly task with two modes where assistance is provided in full six degrees of freedom. It is shown that the developed algorithm robustly re-plans to changes in intent or robot initial position, achieving online control at 15 Hz.


title: Energy partition between Alfv\'enic and compressive fluctuations in magnetorotational turbulence with near-azimuthal mean magnetic field

abstract: The theory of magnetohydrodynamic (MHD) turbulence predicts that Alfv\'enic and slow-mode-like compressive fluctuations are energetically decoupled at small scales in the inertial range. The partition of energy between these fluctuations determines the nature of dissipation, which, in many astrophysical systems, happens on scales where plasma is collisionless. However, when the magnetorotational instability (MRI) drives the turbulence, it is difficult to resolve numerically the scale at which both types of fluctuations start to be decoupled because the MRI energy injection occurs in a broad range of wavenumbers, and both types of fluctuations are usually expected to be coupled even at relatively small scales. In this study, we focus on collisional MRI turbulence threaded by a near-azimuthal mean magnetic field, which is naturally produced by the differential rotation of a disc. We show that, in such a case, the decoupling scales are reachable using a reduced MHD model that includes differential-rotation effects. In our reduced MHD model, the Alfv\'enic and compressive fluctuations are coupled only through the linear terms that are proportional to the angular velocity of the accretion disc. We numerically solve for the turbulence in this model and show that the Alfv\'enic and compressive fluctuations are decoupled at the small scales of our simulations as the nonlinear energy transfer dominates the linear coupling below the MRI-injection scale. In the decoupling scales, the energy flux of compressive fluctuations contained in the small scales is almost double that of Alfv\'enic fluctuations. Finally, we discuss the application of this result to prescriptions of ion-to-electron heating ratio in hot accretion flows.


title: Contact Information Flow and Design of Compliance

abstract: Identifying changes in contact during contact-rich manipulation can detect task state or errors, enabling improved robustness and autonomy. The ability to detect contact is affected by the mechatronic design of the robot, especially its physical compliance. Established methods can design physical compliance for many aspects of contact performance (e.g. peak contact force, motion/force control bandwidth), but are based on time-invariant dynamic models. A change in contact mode is a discrete change in coupled robot-environment dynamics, not easily considered in existing design methods. Towards designing robots which can robustly detect changes in contact mode online, this paper investigates how mechatronic design can improve contact estimation, with a focus on the impact of the location and degree of compliance. A design metric of information gain is proposed which measures how much position/force measurements reduce uncertainty in the contact mode estimate. This information gain is developed for fully- and partially-observed systems, as partial observability can arise from joint flexibility in the robot or environmental inertia. Hardware experiments with various compliant setups validate that information gain predicts the speed and certainty with which contact is detected in (i) monitoring of contact-rich assembly and (ii) collision detection.


title: Holomorphic invariant strongly pseudoconvex complex Finsler metrics

abstract: Let $B_n$ and $P_n$ be the unit ball and the unit polydisk in $\mathbb{C}^n$ with $n\geq 2$ respectively. Denote $\mbox{Aut}(B_n)$ and $\mbox{Aut}(P_n)$ the holomorphic automorphism group of $B_n$ and $P_n$ respectively. In this paper, we prove that $B_n$ admits no $\mbox{Aut}(B_n)$-invariant strongly pseudoconvex complex Finsler metric other than a constant multiple of the Poincar$\acute{\mbox{e}}$-Bergman metric, while $P_n$ admits infinite many $\mbox{Aut}(P_n)$-invariant complete strongly convex complex Finsler metrics other than the Bergman metric. The $\mbox{Aut}(P_n)$-invariant complex Finsler metrics are explicitly constructed which depend on a real parameter $t\in [0,+\infty)$ and integer $k\geq 2$. These metrics are proved to be strongly convex K\"ahler-Berwald metrics, and they posses very similar properties as that of the Bergman metric on $P_n$. As applications, the existence of $\mbox{Aut}(M)$-invariant strongly convex complex Finsler metrics is also investigated on some Siegel domains of the first and the second kind which are biholomorphic equivalently to the unit polydisc in $\mathbb{C}^n$. We also give a characterization of strongly convex K\"ahler-Berwald spaces and give a de Rahm type decomposition theorem for strongly convex K\"ahler-Berwald spaces.


title: WARPd: A linearly convergent first-order method for inverse problems with approximate sharpness conditions

abstract: Reconstruction of signals from undersampled and noisy measurements is a topic of considerable interest. Sharpness conditions directly control the recovery performance of restart schemes for first-order methods without the need for restrictive assumptions such as strong convexity. However, they are challenging to apply in the presence of noise or approximate model classes (e.g., approximate sparsity). We provide a first-order method: Weighted, Accelerated and Restarted Primal-dual (WARPd), based on primal-dual iterations and a novel restart-reweight scheme. Under a generic approximate sharpness condition, WARPd achieves stable linear convergence to the desired vector. Many problems of interest fit into this framework. For example, we analyze sparse recovery in compressed sensing, low-rank matrix recovery, matrix completion, TV regularization, minimization of $\|Bx\|_{l^1}$ under constraints ($l^1$-analysis problems for general $B$), and mixed regularization problems. We show how several quantities controlling recovery performance also provide explicit approximate sharpness constants. Numerical experiments show that WARPd compares favorably with specialized state-of-the-art methods and is ideally suited for solving large-scale problems. We also present a noise-blind variant based on the Square-Root LASSO decoder. Finally, we show how to unroll WARPd as neural networks. This approximation theory result provides lower bounds for stable and accurate neural networks for inverse problems and sheds light on architecture choices. Code and a gallery of examples are made available online as a MATLAB package.

categories: math.NA cs.CV cs.IR cs.NA math.OC stat.ML


title: Schr\"odinger's cat state of optical parallel universes

abstract: Parallel worlds are imaginative ideas in quantum mechanics and cosmology. The superpositions of parallel worlds are novel states of quantum gravity and have no classical correspondences generally. In this letter, we investigate the superposition or the Schr\"odinger's cat state of optical parallel worlds, which could be realized in laboratory and may shed some light on the detection of parallel universes in a real world. We propose two realizable experimental schemes, which enable to explore the mysterious `parallel universes' by a Mach-Zehnder interferometer. The first one is based on an atomic ensemble in a superposition state, which is a fat Schr\"odinger's cat state. The second one is to prepare a photon in a superposition of different paths, where each path lies in an optical parallel universe.

categories: quant-ph cond-mat.other gr-qc physics.atm-clus physics.optics


title: Compositional data analysis -- linear algebra, visualization and interpretation

abstract: Compositional data analysis is concerned with multivariate data that have a constant sum, usually 1 or 100\%. These are data often found in biochemistry and geochemistry, but also in the social sciences, when relative values are of interest rather than the raw values. Recent applications are in the area of very high-dimensional "omics" data. Logratios are frequently used for this type of data, i.e. the logarithms of ratios of the components of the data vectors. These ratios raise interesting issues in matrix-vector representation, computation and interpretation, which will be dealt with in this chapter.


title: DIAMASIC: A multichannel front-end electronics for high-accuracy time measurements for diamond detectors

abstract: This paper describes the design and testing results of an 8 channels preamplifier-discriminator circuit based on a resistive feedback Transimpedance Amplifier architecture and a Leading-Edge Discriminator stage for fast high-accuracy time measurement systems. The circuit has been designed in a 130 nm CMOS technology. It is intended to be used as a Front-End-Electronics for measuring the Time Of Flight using diamond detectors. The size of the chip is 1.27x1.22mm2 and the total power consumption of one channel is 1.5mW with a power supply of 1.2V. Testing results shows a timing jitter of about 80ps for a 10fC input charge pulse.


title: Production of charmed baryon $\Lambda_c(2860)$ via low energy antiproton-proton interaction

abstract: In the present work, we study the production problem of the charmed baryon $\Lambda_c(2860)^+$ at $\overline{\mbox{P}}$ANDA. With the $J^P=\frac{3}{2}^+$ assignment to $\Lambda_c(2860)^+$, an effective Lagrangian approach is adopted to calculate the cross section of $p\bar{p} \to \Lambda_c^-\Lambda_c(2860)^+$. The Dalitz plot analysis and the $D^0p$ invariant mass spectrum distribution are also given for the $p\bar{p} \to \Lambda_c^-\Lambda_c(2860)^+ \to \Lambda_c^-pD^0$ process. The numerical results show that the total cross section may reach up to about 10 $ \mu $b. With the designed luminosity of $\overline{\mbox{P}}$ANDA ($2\times10^{32}~\mbox{cm}^{-2}\mbox{s}^{-1}$), about $ 10^8 $ $\Lambda_c(2860)$ events can be expected per day by reconstructing the final $ pD^0 $.


title: Bangla Image Caption Generation through CNN-Transformer based Encoder-Decoder Network

abstract: Automatic Image Captioning is the never-ending effort of creating syntactically and validating the accuracy of textual descriptions of an image in natural language with context. The encoder-decoder structure used throughout existing Bengali Image Captioning (BIC) research utilized abstract image feature vectors as the encoder's input. We propose a novel transformer-based architecture with an attention mechanism with a pre-trained ResNet-101 model image encoder for feature extraction from images. Experiments demonstrate that the language decoder in our technique captures fine-grained information in the caption and, then paired with image features, produces accurate and diverse captions on the BanglaLekhaImageCaptions dataset. Our approach outperforms all existing Bengali Image Captioning work and sets a new benchmark by scoring 0.694 on BLEU-1, 0.630 on BLEU-2, 0.582 on BLEU-3, and 0.337 on METEOR.


title: Toward establishing the low-lying $P$-wave excited $\Sigma_c$ baryon states

abstract: In this study, by combining the equal spacing rule with recent observations of $\Omega_c(X)$ and $\Xi_c(X)$ baryons, we predict the spectrum of the low-lying $\lambda$-mode $1P$-wave excited $\Sigma_c$ states. Furthermore, their strong decay properties are predicted using the chiral quark model and the nature of $\Sigma_c(2800)$ is investigated by analyzing the $\Lambda_c\pi$ invariant mass spectrum. The $\Sigma_c(2800)$ structure observed in the $\Lambda_c \pi$ mass spectrum was found to potentially arise from two overlapping $P$-wave $\Sigma_c$ resonances, $\Sigma_c(2813)3/2^-$ and $\Sigma_c(2840)5/2^-$. These resonances have similar decay widths of $\Gamma\sim 40$ MeV and predominantly decay into the $\Lambda_c \pi$ channel. The $\Sigma_c(2755)1/2^-$ state is likely to be a very narrow state with a width of $\Gamma\sim 15$ MeV, with its decays almost saturated by the $\Lambda_c \pi$ channel. Additionally, evidence of the $\Sigma_c(2755)\frac{1}{2}^-$ resonance as a very narrow peak may be seen in the $\Lambda_c\pi$ invariant mass spectrum. The other two $P$-wave states, $\Sigma_c(2746)\frac{1}{2}^-$ and $\Sigma_c(2796)\frac{3}{2}^-$, are relatively narrow states with similar widths of $\Gamma\sim 30$ MeV and predominantly decay into $\Sigma_c\pi$ and $\Sigma^{*}_c\pi$, respectively. We hope our study can provide useful references for discovering these low-lying $P$-wave states in forthcoming experiments.


title: Machine learning accelerated particle-in-cell plasma simulations

abstract: Particle-In-Cell (PIC) methods are frequently used for kinetic, high-fidelity simulations of plasmas. Implicit formulations of PIC algorithms feature strong conservation properties, up to numerical round-off errors, and are not subject to time-step limitations which make them an attractive candidate to use in simulations fusion plasmas. Currently they remain prohibitively expensive for high-fidelity simulation of macroscopic plasmas. We investigate how amortized solvers can be incorporated with PIC methods for simulations of plasmas. Incorporated into the amortized solver, a neural network predicts a vector space that entails an approximate solution of the PIC system. The network uses only fluid moments and the electric field as input and its output is used to augment the vector space of an iterative linear solver. We find that this approach reduces the average number of required solver iterations by about 25% when simulating electron plasma oscillations. This novel approach may allow to accelerate implicit PIC simulations while retaining all conservation laws and may also be appropriate for multi-scale systems.


title: Pairing Fluctuation Corrections to the Kinetic Theory of Liquid $^3\mathrm{He}$

abstract: Liquid $^3\mathrm{He}$ is a Fermi liquid that undergoes a BCS-type phase transition to a spin-triplet superfluid, making it valuable for understanding interacting fermions. When the temperature approaches the transition temperature $T_{\mathrm{c}}$ from above, physical properties can be modified by Cooper pair fluctuations, leading to deviations from the predictions of Fermi liquid theory. We use nonequilibrium Green's function theory to study the role of pair fluctuations on quasiparticle transport. The Boltzmann-Landau kinetic equation, which describes the transport properties of Fermi liquids, acquires corrections from the interaction of quasiparticles with pair fluctuations. As an application, we study the effects of pair fluctuations on the propagation of zero sound in liquid $^3\mathrm{He}$. We calculate the temperature-dependent correction to the zero sound velocity due to pair fluctuations, and compare the result with existing experimental data.


title: Crossing tribes of tangles in a thickened surface

abstract: Crossings of knot diagrams can be divided into classes (tribes) compatible with Reidemeister moves. Tribes can be considered as localization of the notion of weak chord index introduced by M. Xu. In the article we describe tribes of crossings for tangles in a fixed surface and show that crossings are differentiated by their component, order and homotopy types. As a consequence, we conclude that there are no nontrivial indices on diagrams of classical knots.


title: Deprojection of X-ray data in galaxy clusters: confronting simulations with observations

abstract: Numerical simulations with varying realism indicate an emergent principle -- multiphase condensation and large cavity power occur when the ratio of the cooling time to the free-fall time ($t_{\rm cool}/t_{\rm ff}$) falls below a threshold value close to 10. Observations indeed show cool-core signatures when this ratio falls below 20-30, but the prevalence of cores with $t_{\rm cool}/t_{\rm ff}$ ratio below 10 is rare as compared to simulations. In X-ray observations, we obtain projected spectra from which we have to infer radial gas density and temperature profiles. Using idealized models of X-ray cavities and multiphase gas in the core and 3-D hydro jet-ICM simulations, we quantify the biases introduced by deprojection based on the assumption of spherical symmetry in determining $t_{\rm cool}/t_{\rm ff}$. We show that while the used methods are able to recover the $t_{\rm cool}/t_{\rm ff}$ ratio for relaxed clusters, they have an uncertainty of a factor of $2-3$ in systems containing large cavities ($\gtrsim 20$ kpc). We also show that the mass estimates from these methods, in the absence of X-ray spectra close to the virial radius, suffer from a degeneracy between the virial mass ($M_{200}$) and the concentration parameter ($c$) in the form of $M_{200} c^2 \approx$ constant. Additionally, lack of soft-X-ray ($\lesssim 0.5$ keV) coverage and poor spatial resolution make us overestimate min($t_{\rm cool}/t_{\rm ff}$) by a factor of few in clusters with min($t_{\rm cool}/t_{\rm ff}$) $\lesssim 5$. This bias can largely explain the lack of cool-core clusters with min($t_{\rm cool}/t_{\rm ff}$) $\lesssim 5$.


title: Isotropic finite-difference approximations for phase-field simulations of polycrystalline alloy solidification

abstract: Phase-field models of microstructural pattern formation during alloy solidification are commonly solved numerically using the finite-difference method, which is ideally suited to carry out computationally efficient simulations on massively parallel computer architectures such as Graphic Processing Units. However, one known drawback of this method is that the discretization of differential terms involving spatial derivatives introduces a spurious lattice anisotropy that can influence the solid-liquid interface dynamics. We find that this influence is significant for the case of polycrystalline dendritic solidification, where the crystal axes of different grains do not generally coincide with the reference axes of the finite-difference lattice. In particular, we find that with the commonly used finite-difference implementation of the quantitative phase-field model of binary alloy solidification, both the operating state of the dendrite tip and the dendrite growth orientation are strongly affected by the lattice anisotropy. To circumvent this problem, we use known methods in both real and Fourier space to derive finite-difference approximations of leading differential terms in 2D and 3D that are isotropic at order $h^2$ of the lattice spacing $h$. Importantly, those terms include the divergence of the anti-trapping current that is found to have a critical influence on pattern selection. The 2D and 3D discretizations use an approximated form of the anti-trapping current that facilitates the Fourier-space derivation of the associated isotropic differential operator at $O(h^2)$, but we also derive a 2D discretization of the standard form of this current. Finally, we present 2D and 3D phase-field simulations of alloy solidification, showing that the isotropic finite-difference implementations can dramatically reduce spurious lattice anisotropy effects.


title: Photoinduced anisotropic lattice dynamic response and domain formation in thermoelectric SnSe

abstract: Identifying and understanding the mechanisms behind strong phonon-phonon scattering in condensed matter systems is critical to maximizing the efficiency of thermoelectric devices. To date, the leading method to address this has been to meticulously survey the full phonon dispersion of the material in order to isolate modes with anomalously large linewidth and temperature-dependence. Here we combine quantitative MeV ultrafast electron diffraction (UED) analysis with Monte Carlo based dynamic diffraction simulation and first-principles calculations to directly unveil the soft, anharmonic lattice distortions of model thermoelectric material SnSe. A small single-crystal sample is photoexcited with ultrafast optical pulses and the soft, anharmonic lattice distortions are isolated using MeV-UED as those associated with long relaxation time and large displacements. We reveal that these modes have interlayer shear strain character, induced mainly by c-axis atomic displacements, resulting in domain formation in the transient state. These findings provide an innovative approach to identify mechanisms for ultralow and anisotropic thermal conductivity and a promising route to optimizing thermoelectric devices.


title: Pandemic model with data-driven phase detection, a study using COVID-19 data

abstract: The recent COVID-19 pandemic has promoted vigorous scientific activity in an effort to understand, advice and control the pandemic. Data is now freely available at a staggering rate worldwide. Unfortunately, this unprecedented level of information contains a variety of data sources and formats, and the models do not always conform to the description of the data. Health officials have recognized the need for more accurate models that can adjust to sudden changes, such as produced by changes in behavior or social restrictions. In this work we formulate a model that fits a ``SIR''-type model concurrently with a statistical change detection test on the data. The result is a piece wise autonomous ordinary differential equation, whose parameters change at various points in time (automatically learned from the data). The main contributions of our model are: (a) providing interpretation of the parameters, (b) determining which parameters of the model are more important to produce changes in the spread of the disease, and (c) using data-driven discovery of sudden changes in the evolution of the pandemic. Together, these characteristics provide a new model that better describes the situation and thus, provides better quality of information for decision making.


title: Impact of $b \to s \ell \ell$ anomalies on rare charm decays in non-universal $Z'$ models

abstract: In this work, we study the impact of $b \to s \ell \ell$, $B_s - \bar{B_s}$ mixing and neutrino trident measurements on observables in decays induced by $c \to u $ transition in the context of a non-universal $Z'$ model which generates $C^{\rm NP}_{9} <0$ and $C^{\rm NP}_9 = - \,C^{\rm NP}_{10} $ new physics scenarios at the tree level. We inspect the effects on $D^0 \to \pi^0 \nu \bar{\nu}$, $D^+ \to \pi^+ \nu \bar{\nu}$ and $B_c \to B^+ \nu \bar{\nu} $ decays which are induced by the quark level transition $c \to u \nu \bar{\nu}$. The fact that the branching ratios of these decays are negligible in the standard model (SM) and the long distance effects are relatively smaller in comparison to their charged dileptons counterparts, they are considered to provide genuine null-tests of SM. Therefore the observation of these modes at the level of current as well as planned experimental sensitivities would imply unambiguous signature of new physics. Using the constraints on $Z'$ couplings coming from a combined fit to $b \to s \ell \ell$, $\Delta M_s$ and neutrino trident data, we find that any meaningful enhancement over the SM value is ruled out in the considered framework. The same is true for $D - \bar{D}$ mixing observable $\Delta M_D$ along with $D^0 \to \mu^+ \mu^-$ and $D^+ \to \pi^+ \mu^+ \mu^-$ decay modes which are induced through $c \to u \mu^+ \mu^-$ transition.


title: New Bounds for the Flock-of-Birds Problem

abstract: In this paper, we continue a line of work on obtaining succinct population protocols for Presburger-definable predicates. More specifically, we focus on threshold predicates. These are predicates of the form $n\ge d$, where $n$ is a free variable and $d$ is a constant. For every $d$, we establish a 1-aware population protocol for this predicate with $\log_2 d + \min\{e, z\} + O(1)$ states, where $e$ (resp., $z$) is the number of $1$'s (resp., $0$'s) in the binary representation of $d$ (resp., $d - 1$). This improves upon an upper bound $4\log_2 d + O(1)$ due to Blondin et al. We also show that any 1-aware protocol for our problem must have at least $\log_2(d)$ states. This improves upon a lower bound $\log_3 d$ due to Blondin et al.


title: Commutants and Complex Symmetry of Finite Blaschke Product Multiplication Operator in $\bm{L^2(\T)}$

abstract: Consider the multiplication operator $M_{B}$ in $L^2(\T)$, where the symbol $B$ is a finite Blaschke product. In this article, we characterize the commutant of $M_{B}$ in $L^2(\T)$, noting the fact that $L^2(\T)$ is not an RKHS. As an application of this characterization result, we explicitly determine the class of conjugations commuting with $M_{z^2}$ or making $M_{z^2}$ complex symmetric by introducing a new class of conjugations in $L^2(\T)$. Moreover, we analyze their properties while keeping the whole Hardy space, model space, and Beurling-type subspaces invariant. Furthermore, we extended our study concerning conjugations in the case of finite Blaschke.


title: De Novo Molecular Generation with Stacked Adversarial Model

abstract: Generating novel drug molecules with desired biological properties is a time consuming and complex task. Conditional generative adversarial models have recently been proposed as promising approaches for de novo drug design. In this paper, we propose a new generative model which extends an existing adversarial autoencoder (AAE) based model by stacking two models together. Our stacked approach generates more valid molecules, as well as molecules that are more similar to known drugs. We break down this challenging task into two sub-problems. A first stage model to learn primitive features from the molecules and gene expression data. A second stage model then takes these features to learn properties of the molecules and refine more valid molecules. Experiments and comparison to baseline methods on the LINCS L1000 dataset demonstrate that our proposed model has promising performance for molecular generation.


title: Radiation formation length in astrophysical high brightness sources

abstract: The radiation formation length for relativistic particles, $l_c \sim \gamma^2 \lambda$ ($\gamma$ is the Lorentz factor, $\lambda$ is the emitted wavelength), is much lager than the inter-particle distances in many astrophysical applications. This leads to the importance of plasma effects even for the high energy emission. The consequences are nontrivial: (i) averaging of the phases of the emitting particles reduces the power (a.k.a., a circle current does not emit); (ii) density fluctuations may lead to the sporadic production of coherent emission; (iii) plasma effects during assembly of a photon may lead to the suppression of the emission (Razin-Tsytovich effect for the superluminal modes), or, in the opposite limit of subluminous normal modes, to the newly discussed synchrotron super-radiance. For synchrotron emission the radiation formation length is the same for all emitted waves, $\sim c/\omega_B$ (non-relativistic Larmor length); for curvature emission it is $R/\gamma$ - macroscopically long in pulsar magnetospheres (e.g., kilometers for radio). The popular model of coherent curvature emission by bunches", with kilometers-long radiation formation length, particles swinging-out in a rotating magnetospheres before they finish emitting a wave, extreme requirements on the momentum spreads, and demands on the electric energy needed to keep the electrostatically repulsing charges together, all make that model internally inconsistent. Long radiation formation lengths affect how emission from PIC simulations should be interpreted: phases of the emitted wave should be added over the radiation formation length, not just the powers from the instantaneous acceleration of each particle.


title: Dissipative coupling induced phonon lasing with anti-parity-time symmetry

abstract: Phonon lasers, as the counterpart of photonic lasers, have been intensively studied in a large variety of systems, however, (all) most of them are based on the directly coherent pumping. Intuitively, dissipation is an unfavorable factor for gain in a laser. Here we demonstrate a novel mechanism of phonon lasing from the dissipative coupling in a multimode optomechanical system. By precisely engineering the dissipations of two membranes and tuning the intensity modulation of the cavity light, the two-membrane-in-the-middle system shows anti-parity-time (anti-PT) symmetry and the cavity mediated interaction between two nanomechanical resonators becomes purely dissipative. The level attraction and damping repulsion are clearly exhibited as the signature of dissipative coupling. After the exceptional point, a non-Hermitian phase transition, where eigenvalues and the corresponding eigenmodes coalesce, two phonon modes are simultaneously excited into the self-sustained oscillation regime by increasing the interaction strength over a critical value (threshold). In distinct contrast to conventional phonon lasers, the measurement of the second-order phonon correlation reveals the oscillatory and biexponential phases in the nonlasing regime as well as the coherence phase in the lasing regime. Our study provides a new method to study phonon lasers in a non-Hermitian open system and could be applied to a wide range of disciplines, including optics, acoustics, and quantum many-body physics.


title: Inflation with exotic kinetic terms in Einstein-Chern-Simons gravity

abstract: An alternative scenario about the phenomenology of primordial Universe is k-inflation. According to this concept, inflation can be achieved by nonstandard kinetic term of scalar field, namely the inflaton. In this project we focus on k-essence models in the presence of a higher order and a linear kinetic term. Furthermore, the inflationary phenomenology with a Dirac-Born-Infeld scalar field is briefly examined, which arises from quantum theories of gravity such as superstring theory. Our approach about the inflationary era is that it can be described in the context of Einstein's gravity involving quantum corrections such as the Chern-Simons string inspired parity violating gravitational term. The equations of motion namely, the Friedmann equation, the Raychadhuri equation and the Klein-Gordon equation for an expanding background are extracted from the gravitational action utilizing the variational principle. The consequential system of differential equations with respect to Hubble's parameter and the inflaton field was quite perplexed in order to be solved with an analytic way. Therefore, the slow-roll conditions during inflationary era were imposed and terms with minor numerically contribution were neglected. From the overall phenomenological analysis it is proved that, models with exotic kinetic terms can generate viable results in consistency with the latest Planck data. Finally, the presence of Chern-Simons quantum corrections shifts the primordial spectral tensor index to blue. Even though blue gravitational waves have yet to be observed, if detected, compatibility with the aforementioned theory can be achieved.


title: Simulating photo-dissociation in strong field by the random phase thermal wavefunction approach

abstract: Simulating photo-dissociation processes is a challenging task when the number of states involved is significantly large. We present an ab-initio quantum model for strong field photo-dissociation processes which incorporates rotational dynamics. The computational complexity was reduced by employing the random phase thermal wavefunction method. The simulation outcome are analogous to experimental observable, such as the momentum angular distribution of the photo-fragments. We studied the convergence of these observables at two field intensities. The simulation method can be applied to wide-ranging time-domain spectroscopy at experimental conditions far beyond the reach of accurate direct numerical methods.


title: Non-convex Distributionally Robust Optimization: Non-asymptotic Analysis

abstract: Distributionally robust optimization (DRO) is a widely-used approach to learn models that are robust against distribution shift. Compared with the standard optimization setting, the objective function in DRO is more difficult to optimize, and most of the existing theoretical results make strong assumptions on the loss function. In this work we bridge the gap by studying DRO algorithms for general smooth non-convex losses. By carefully exploiting the specific form of the DRO objective, we are able to provide non-asymptotic convergence guarantees even though the objective function is possibly non-convex, non-smooth and has unbounded gradient noise. In particular, we prove that a special algorithm called the mini-batch normalized gradient descent with momentum, can find an $\epsilon$ first-order stationary point within $O( \epsilon^{-4} )$ gradient complexity. We also discuss the conditional value-at-risk (CVaR) setting, where we propose a penalized DRO objective based on a smoothed version of the CVaR that allows us to obtain a similar convergence guarantee. We finally verify our theoretical results in a number of tasks and find that the proposed algorithm can consistently achieve prominent acceleration.


title: Nonlinear Fokker-Planck equations with time-dependent coefficients

abstract: An operatorial based approach is used here to prove the existence and uniqueness of a strong solution $u$ to the time-varying nonlinear Fokker--Planck equation $u_t(t,x)-\Delta(a(t,x,u(t,x))u(t,x))+{\rm div}(b(t,x,u(t,x))u(t,x))=0$ in $(0,\infty)\times \mathbb{R}$ $u(0,x)=u_0(x),\ x\in\mathbb{R}^d$ in the Sobolev space $H^{-1}(\mathbb{R}^d)$, under appropriate conditions on the $a:[0,T]\times\mathbb{R}^d\times\mathbb{R}\to\mathbb{R}$ and $b:[0,T]\times\mathbb{R}^d\times\mathbb{R}\to\mathbb{R}^d.$ It is proved also that, if $u_0$ is a density of a probability measure, so is $u(t,\cdot)$ for all $t\ge0$. Moreover, we construct a weak solution to the McKean-Vlasov SDE associated with the Fokker-Planck equation such that $u(t)$ is the density of its time marginal law. MSC: 60H15, 47H05, 47J05. Keywords: Fokker--Planck equation, Cauchy problem, stochastic differential equation, Sobolev space, periodic solution.


title: Epidemia: An R Package for Semi-Mechanistic Bayesian Modelling of Infectious Diseases using Point Processes

abstract: This article introduces epidemia, an R package for Bayesian, regression-oriented modeling of infectious diseases. The implemented models define a likelihood for all observed data while also explicitly modeling transmission dynamics: an approach often termed as semi-mechanistic. Infections are propagated over time using renewal equations. This approach is inspired by self-exciting, continuous-time point processes such as the Hawkes process. A variety of inferential tasks can be performed using the package. Key epidemiological quantities, including reproduction numbers and latent infections, may be estimated within the framework. The models may be used to evaluate the determinants of changes in transmission rates, including the effects of control measures. Epidemic dynamics may be simulated either from a fitted model or a prior model; allowing for prior/posterior predictive checks, experimentation, and forecasting.


title: A degree bound for strongly nilpotent polynomial automorphisms

abstract: Let $k$ be a field of characteristic zero. Let $F = X + H$ be a polynomial mapping from $k^n \to k^n$, where $X$ is the identity mapping and $H$ has only degree two terms and higher. We say that the Jacobian matrix $JH$ of $H$ is strongly nilpotent with index $p$ if for all $X^{(1)},\ldots,X^{(p)} \in k^n$ we have \begin{align*} JH(X^{(1)})\ldots JH (X^{(p)}) = 0. \end{align*} Every $F$ of this form is a polynomial automorphism, i.e. there is a second polynomial mapping $F^{-1}$ such that $F \circ F^{-1} = F^{-1} \circ F = X$. We prove that the degree of the inverse $F^{-1}$ satisfies \begin{align*} deg(F^{-1}) \leq deg(F)^p, \end{align*} improving in the strongly nilpotent case on the well known degree bound $deg(F^{-1}) \leq deg(F)^n$ for general polynomial automorphisms.


title: On the convergence of the Kac-Moody Correction Factor

abstract: The Kac-Moody correction factor, first studied by Macdonald in the affine case, corrects the failure of an identity found by Macdonald in finite-dimensional root systems in 1972. Subsequntly this factor appeared in several formulas in the affine or Kac-Moody analogue of $p$-adic spherical theory for reductive groups. In this article we view the inverse of this correction factor as a function, prove the convergency and holomorphy of this function on a certain domain.


title: Requirement analysis for an artificial intelligence model for the diagnosis of the COVID-19 from chest X-ray data

abstract: There are multiple papers published about different AI models for the COVID-19 diagnosis with promising results. Unfortunately according to the reviews many of the papers do not reach the level of sophistication needed for a clinically usable model. In this paper I go through multiple review papers, guidelines, and other relevant material in order to generate more comprehensive requirements for the future papers proposing a AI based diagnosis of the COVID-19 from chest X-ray data (CXR). Main findings are that a clinically usable AI needs to have an extremely good documentation, comprehensive statistical analysis of the possible biases and performance, and an explainability module.


title: A Carleman estimate and an energy method for a first-order symmetric hyperbolic system

abstract: For a symmetric hyperbolic system of the first order, we prove a Carleman estimate under some positivity condition concerning the coefficient matrices. Next, applying the Carleman estimate, we prove an observability $L^2$-estimate for initial values by boundary data.


title: Bipolar Molecular Outflow from M17

abstract: Kinematics of the molecular clouds in the star forming complex M17 is studied using the high-resolution CO-line mapping data at resolution ($20" \sim 0.2$ pc) with the Nobeyama 45-m telescope. The northern molecular cloud of M17, which we call the molecular "lobe", is shown to have an elongated shell structure around a top-covered cylindrical cavity. The lobe is expanding at $\sim 5$ \kms in the minor axis direction, and at $ \sim 3/\cos \ i$ km s$^{-1}$ in the major axis direction, where $i$ is the inclination of the major axis. The kinetic energy of the expanding motion is on the order of $\sim 3\times 10^{49}$ ergs. We show that the lobe is a backyard structure having the common origin to the denser molecular "horn" flowing out from NGC 6618 toward the south, so that the lobe and horn compose a bipolar outflow. Intensity distributions across the lobe and horn show a double-peak profile typical for a cylinder around a cavity. Position-velocity diagrams (PVD) across the lobe and horn exhibit open ring structure with the higher- and/or lower-velocity side(s) being lacking or faded. This particular PVD behavior can be attributed to outflow in a conical cylinder with the flow velocity increasing toward the lobe and horn axes.


title: Robustness via Uncertainty-aware Cycle Consistency

abstract: Unpaired image-to-image translation refers to learning inter-image-domain mapping without corresponding image pairs. Existing methods learn deterministic mappings without explicitly modelling the robustness to outliers or predictive uncertainty, leading to performance degradation when encountering unseen perturbations at test time. To address this, we propose a novel probabilistic method based on Uncertainty-aware Generalized Adaptive Cycle Consistency (UGAC), which models the per-pixel residual by generalized Gaussian distribution, capable of modelling heavy-tailed distributions. We compare our model with a wide variety of state-of-the-art methods on various challenging tasks including unpaired image translation of natural images, using standard datasets, spanning autonomous driving, maps, facades, and also in medical imaging domain consisting of MRI. Experimental results demonstrate that our method exhibits stronger robustness towards unseen perturbations in test data. Code is released here: https://github.com/ExplainableML/UncertaintyAwareCycleConsistency.


title: False Correlation Reduction for Offline Reinforcement Learning

abstract: Offline reinforcement learning (RL) harnesses the power of massive datasets for resolving sequential decision problems. Most existing papers only discuss defending against out-of-distribution (OOD) actions while we investigate a broader issue, the false correlations between epistemic uncertainty and decision-making, an essential factor that causes suboptimality. In this paper, we propose falSe COrrelation REduction (SCORE) for offline RL, a practically effective and theoretically provable algorithm. We empirically show that SCORE achieves the SoTA performance with 3.1x acceleration on various tasks in a standard benchmark (D4RL). The proposed algorithm introduces an annealing behavior cloning regularizer to help produce a high-quality estimation of uncertainty which is critical for eliminating false correlations from suboptimality. Theoretically, we justify the rationality of the proposed method and prove its convergence to the optimal policy with a sublinear rate under mild assumptions.


title: Design and testing of an sTGC ASIC interface board for the ATLAS New Small Wheel upgrade

abstract: The ATLAS experiment will replace the present Small Wheel (SW) detector with a New Small Wheel detector (NSW) aiming to improve the performance of muon triggering and precision tracking in the endcap region at the High-Luminosity LHC. Small-strip Thin Gap Chamber (sTGC) is one of the two new detector technologies used in this upgrade. A few custom-designed ASICs are needed for the sTGC detector. We designed an sTGC ASIC interface board to test ASIC-to-ASIC communication and validate the functionality of the entire system. A test platform with the final readout system is set up and the whole sTGC readout chain is demonstrated for the first time. Key parameters in the readout chain are discussed and the results are shown.


title: Strongly minimal self-conjugate linearizations for polynomial and rational matrices

abstract: We prove that we can always construct strongly minimal linearizations of an arbitrary rational matrix from its Laurent expansion around the point at infinity, which happens to be the case for polynomial matrices expressed in the monomial basis. If the rational matrix has a particular self-conjugate structure we show how to construct strongly minimal linearizations that preserve it. The structures that are considered are the Hermitian and skew-Hermitian rational matrices with respect to the real line, and the para-Hermitian and para-skew-Hermitian matrices with respect to the imaginary axis. We pay special attention to the construction of strongly minimal linearizations for the particular case of structured polynomial matrices. The proposed constructions lead to efficient numerical algorithms for constructing strongly minimal linearizations. The fact that they are valid for {\em any} rational matrix is an improvement on any other previous approach for constructing other classes of structure preserving linearizations, which are not valid for any structured rational or polynomial matrix. The use of the recent concept of strongly minimal linearization is the key for getting such generality.


title: Convergence Criteria for Dynamic Integer Systems

abstract: Criteria are presented for testing whether every trajectory of a dynamic integer system converges to the same fixed point


title: Stabilization of Spatiotemporal Dissipative Solitons in Multimode Fiber Lasers by External Phase Modulation

abstract: In this work, we introduce a method for stabilizing spatiotemporal solitons. These solitons correspond to light bullets in multimode optical fiber lasers, energy-scalable waveguide oscillators and amplifiers, localized coherent patterns in Bose-Einstein condensates, etc. We show that a three-dimensional confinement potential, formed by a spatial transverse (radial) parabolic graded refractive index and dissipation profile, combined with quadratic temporal phase modulation, may permit the generation of stable spatiotemporal dissipative solitons. This corresponds to combining phase mode-locking with the distributed Kerr-lens mode-locking. Our study of the soliton characteristics and stability is based on analytical and numerical solutions of the generalized dissipative Gross-Pitaevskii equation. This approach could lead to higher energy (or condensate mass) harvesting in coherent spatio-temporal beam structures formed in multimode fiber lasers, waveguide oscillators, and weakly-dissipative Bose-Einstein condensates.


title: L-homologies of double complexes

abstract: The notion of L-homologies (of double complexes) as proposed in this paper extends the notion of classical horizontal and vertical homologies, along with two other new homologies introduced in the homological diagram lemma called salamander lemma. We enumerate all L-homologies associated with an object of a double complex and provide new examples of exact sequences. We describe a classification problem of these exact sequences. We study two poset structures on these L-homologies; one of them determines the trivialities of horizontal and vertical homologies of an object in terms of other L-homologies of that object, whereas the second structure shows the significance of the two homologies introduced in salamander lemma. Finally, we prove the existence of a faithful amnestic Grothendieck fibration from the category of L-homologies to a category consisting of objects and morphisms of a given double complex.


title: Universal sequences of lines in $\mathbb R^d$

abstract: One of the most important and useful examples in discrete geometry is a finite sequence of points on the moment curve $\gamma(t)=(t,t^2,t^3,\dots ,t^d)$ or, more generally, on a {\it strictly monotone curve} in $\mathbb R^d$. These sequences as well as the ambient curve itself can be described in terms of {\it universality properties} and we will study the question: "What is a universal sequence of oriented and unoriented lines in $d$-space'' We give partial answers to this question, and to the analogous one for $k$-flats. Given a large integer $n$, it turns out that, like the case of points the number of universal configurations is bounded by a function of $d$, but unlike the case for points, there are a large number of distinct universal finite sequences of lines. We show that their number is at least $2^{d-1}-2$ and at most $(d-1)!$. However, like for points, in all dimensions except $d=4$, there is essentially a unique {\em continuous} example of a universal family of lines. The case $d=4$ is left as an open question.


title: Recent results on hyperon pair production and nucleon time-like form factors at BESIII

abstract: The BESIII experiment, based on the BEPCII collider at IHEP in Beijing, China, is capable of measuring nucleon form factors with unprecedented precision. We report recent results achieved by the BESIII collaboration concerning the nucleon time-like form factors and the hyperon pair production. More in detail we outline the results obtained by the study of the process $e^+e^- \to p \overline p$, using both the scan-energy and initial-state radiation techniques, those of the process $e^+e^- \to n \overline n$, and the study of the $\Sigma$ polarization regarding the process $e^+e^- \to J/\psi \to \Sigma^+\overline \Sigma{}^-$.


title: On $A_{\alpha}$-spectrum of joined union of graphs and its applications to power graphs of finite groups

abstract: For a simple graph $G$, the generalized adjacency matrix $A_{\alpha}(G)$ is defined as $A_{\alpha}(G)=\alpha D(G)+(1-\alpha)A(G), \alpha\in [0,1]$, where $A(G)$ is the adjacency matrix and $D(G)$ is the diagonal matrix of vertex degrees of $G$. This matrix generalises the spectral theories of the adjacency matrix and the signless Laplacian matrix of $G$. In this paper, we find $ A_{\alpha} $-spectrum of the joined union of graphs in terms of spectrum of adjacency matrices of its components and the zeros of the characteristic polynomials of an auxiliary matrix determined by the joined union. We determine the $ A_{\alpha}$-spectrum of join of two regular graphs, the join of a regular graph with the union of two regular graphs of distinct degrees. As an applications, we investigate the $ A_{\alpha} $-spectrum of certain power graphs of finite groups.


title: Exploring Gradient Flow Based Saliency for DNN Model Compression

abstract: Model pruning aims to reduce the deep neural network (DNN) model size or computational overhead. Traditional model pruning methods such as l-1 pruning that evaluates the channel significance for DNN pay too much attention to the local analysis of each channel and make use of the magnitude of the entire feature while ignoring its relevance to the batch normalization (BN) and ReLU layer after each convolutional operation. To overcome these problems, we propose a new model pruning method from a new perspective of gradient flow in this paper. Specifically, we first theoretically analyze the channel's influence based on Taylor expansion by integrating the effects of BN layer and ReLU activation function. Then, the incorporation of the first-order Talyor polynomial of the scaling parameter and the shifting parameter in the BN layer is suggested to effectively indicate the significance of a channel in a DNN. Comprehensive experiments on both image classification and image denoising tasks demonstrate the superiority of the proposed novel theory and scheme. Code is available at https://github.com/CityU-AIM-Group/GFBS.


title: Deep Asymmetric Hashing with Dual Semantic Regression and Class Structure Quantization

abstract: Recently, deep hashing methods have been widely used in image retrieval task. Most existing deep hashing approaches adopt one-to-one quantization to reduce information loss. However, such class-unrelated quantization cannot give discriminative feedback for network training. In addition, these methods only utilize single label to integrate supervision information of data for hashing function learning, which may result in inferior network generalization performance and relatively low-quality hash codes since the inter-class information of data is totally ignored. In this paper, we propose a dual semantic asymmetric hashing (DSAH) method, which generates discriminative hash codes under three-fold constraints. Firstly, DSAH utilizes class prior to conduct class structure quantization so as to transmit class information during the quantization process. Secondly, a simple yet effective label mechanism is designed to characterize both the intra-class compactness and inter-class separability of data, thereby achieving semantic-sensitive binary code learning. Finally, a meaningful pairwise similarity preserving loss is devised to minimize the distances between class-related network outputs based on an affinity graph. With these three main components, high-quality hash codes can be generated through network. Extensive experiments conducted on various datasets demonstrate the superiority of DSAH in comparison with state-of-the-art deep hashing methods.


title: Flat-band plasmons in twisted bilayer transition metal dichalcogenides

abstract: Twisted bilayer transition metal dichalcogenides are ideal platforms to study flat-band phenomena. In this paper, we investigate flat-band plasmons in the hole-doped twisted bilayer MoS$_2$ (tb-MoS$_2$) by employing a full tight-binding model and the random phase approximation. When considering lattice relaxations in tb-MoS$_2$, the flat band is not separated from remote valence bands, which makes the contribution of interband transitions in transforming the plasmon dispersion and energy significantly different. In particular, low-damped and quasi-flat plasmons emerge if we only consider intraband transitions in the doped flat band, whereas a $\sqrt q$ plasmon dispersion emerges if we also take into account interband transitions between the flat band and remote bands. Furthermore, the plasmon energies are tunable with twist angles and doping levels. However, in a rigid sample that suffers no lattice relaxations, lower-energy quasi-flat plasmons and higher-energy interband plasmons can coexist. For rigid tb-MoS$_2$ with a high doping level, strongly enhanced interband transitions quench the quasi-flat plasmons. Based on the lattice relaxation and doping effects, we conclude that two conditions, the isolated flat band and a properly hole-doping level, are essential for observing the low-damped and quasi-flat plasmon mode in twisted bilayer transition metal dichalcogenides. We hope that our study on flat-band plasmons can be instructive for studying the possibility of plasmon-mediated superconductivity in twisted bilayer transition metal dichalcogenides in the future.


title: On the Embedding of $BV$ Space into Besov-Orlicz Space

abstract: We give a sufficient (and, in the case of a compact domain, a necessary) condition for the embedding of Sobolev space of functions with integrable gradient into Besov-Orlicz spaces to be bounded. The condition has a form of a simple integral inequality involving Young and weight functions. We provide an example with Matuszewska-Orlicz indices of involved Orlicz norm equal to one. The main tool is the molecular decomposition of functions from a BV space.


title: Spurious solutions for high order curl problems

abstract: We investigate numerical solutions of high order curl problems with various formulations and finite elements. We show that several classical conforming finite elements lead to spurious solutions, while mixed formulations with finite elements in complexes solve the problems correctly. To explain the numerical results, we clarify the cohomological structures in high order curl problems by relating the partial differential equations to the Hodge-Laplacian boundary problems of the gradcurl-complexes.


title: A new approach to the Fourier extension problem for the paraboloid

abstract: We propose a new approach to the Fourier restriction conjectures. It is based on a discretization of the Fourier extension operators in terms of quadratically modulated wave packets. Using this new point of view, and by combining natural scalar and mixed norm quantities from appropriate level sets, we prove that all the $L^{2}$-based $k$-linear extension conjectures are true up to the endpoint for every $1 \leq k \leq d+1$ if one of the functions involved is a full tensor. We also introduce the concept of \textit{weak transversality}, under which we show that all conjectured $L^{2}$-based multilinear extension estimates are still true up to the endpoint provided that one of the functions involved has a weaker tensor structure, and we prove that this result is sharp. Under additional tensor hypotheses, we show that one can improve the conjectured threshold of these problems in some cases. In general, the largely unknown multilinear extension theory beyond $L^{2}$ inputs remains open even in the bilinear case; with this new point of view, and still under the previous tensor hypothesis, we obtain the near-restriction target for the $k$-linear extension operator if the inputs are in a certain $L^{p}$ space for $p$ sufficiently large. The proof of this result is adapted to show that the $k$-fold product of linear extension operators (no transversality assumed) also ``maps near restriction" if one input is a tensor. Finally, we exploit the connection between the geometric features behind the results of this paper and the theory of Brascamp-Lieb inequalities, which allows us to verify a special case of a conjecture by Bennett, Bez, Flock and Lee.


title: Machine Learning Line Bundle Connections

abstract: We study the use of machine learning for finding numerical hermitian Yang-Mills connections on line bundles over Calabi-Yau manifolds. Defining an appropriate loss function and focusing on the examples of an elliptic curve, a K3 surface and a quintic threefold, we show that neural networks can be trained to give a close approximation to hermitian Yang-Mills connections.


title: Micro Batch Streaming: Allowing the Training of DNN Models to Use a large Batch Size in Memory Constrained Environments

abstract: Recent deep learning models are difficult to train using a large batch size, because commodity machines may not have enough memory to accommodate both the model and a large data batch size. The batch size is one of the hyper-parameters used in the training model, and it is dependent on and is limited by the target machine memory capacity because the batch size can only fit into the remaining memory after the model is uploaded. Moreover, the data item size is also an important factor because if each data item size is larger then the batch size that can fit into the remaining memory becomes smaller. This paper proposes a framework called Micro-Batch Streaming (MBS) to address this problem. This method helps deep learning models to train by providing a batch streaming method that splits a batch into a size that can fit in the remaining memory and streams them sequentially. A loss normalization algorithm based on the gradient accumulation is used to maintain the performance. The purpose of our method is to allow deep learning models to train using larger batch sizes that exceed the memory capacity of a system without increasing the memory size or using multiple devices (GPUs).


title: Scaling Neural Program Synthesis with Distribution-based Search

abstract: We consider the problem of automatically constructing computer programs from input-output examples. We investigate how to augment probabilistic and neural program synthesis methods with new search algorithms, proposing a framework called distribution-based search. Within this framework, we introduce two new search algorithms: Heap Search, an enumerative method, and SQRT Sampling, a probabilistic method. We prove certain optimality guarantees for both methods, show how they integrate with probabilistic and neural techniques, and demonstrate how they can operate at scale across parallel compute environments. Collectively these findings offer theoretical and applied studies of search algorithms for program synthesis that integrate with recent developments in machine-learned program synthesizers.


title: EgoNN: Egocentric Neural Network for Point Cloud Based 6DoF Relocalization at the City Scale

abstract: The paper presents a deep neural network-based method for global and local descriptors extraction from a point cloud acquired by a rotating 3D LiDAR. The descriptors can be used for two-stage 6DoF relocalization. First, a course position is retrieved by finding candidates with the closest global descriptor in the database of geo-tagged point clouds. Then, the 6DoF pose between a query point cloud and a database point cloud is estimated by matching local descriptors and using a robust estimator such as RANSAC. Our method has a simple, fully convolutional architecture based on a sparse voxelized representation. It can efficiently extract a global descriptor and a set of keypoints with local descriptors from large point clouds with tens of thousand points. Our code and pretrained models are publicly available on the project website.


title: A Programming Language For Quantum Oracle Construction

abstract: Many quantum programs require circuits for addition, subtraction and logical operations. These circuits may be packaged within routines known as oracles. However, oracles can be tedious to code with current frameworks. To solve this problem the author developed Higher-Level Oracle Description Language (HODL) -- a C-style programming language for use on quantum computers -- to ease the creation of such circuits. The compiler translates high-level code written in HODL and converts it into OpenQASM, a gate-based quantum assembly language that runs on IBM Quantum Systems and compatible simulators.


title: Gender Systematics in the NRAO Proposal Review System

abstract: Several recent investigations indicate the existence of gender-related systematic trends in the peer review of proposals for observations on astronomical facilities. This includes the National Radio Astronomy Observatory (NRAO) where there is evidence of a gender imbalance in the rank of proposals with male principal investigators (PIs) favored over female PIs. Since semester 2017A (17A), the NRAO has taken the following steps: (1) inform science review panels (SRPs) and the telescope time allocation committee (TAC) about the gender imbalance; and (2) increase the female representation on SRPs and the TAC to reflect the community demographics. Here we analyze SRP normalized rank-ordered scores, or linear ranks, by PI gender for NRAO observing proposals from semesters 12A-21A. We use bootstrap resampling to generate modeled distributions and the Anderson-Darling (AD) test to evaluate the probability that the linear rank distributions for male and female PIs are drawn from the same parent sample. We find that between semesters 12A-17A that male PIs are favored over female PIs (AD p-value 0.0084), whereas between semesters 17B-21A female PIs are favored over male PIs, but at a lower significance (AD p-value 0.11). Therefore the gender imbalance is currently being ameliorated, but this imbalance may have been reversed. Regardless, we plan to adopt a dual-anonymous approach to proposal review to reduce the possibility of bias to occur.


title: A Comprehensive Survey of Logging in Software: From Logging Statements Automation to Log Mining and Analysis

abstract: Logs are widely used to record runtime information of software systems, such as the timestamp and the importance of an event, the unique ID of the source of the log, and a part of the state of a task's execution. The rich information of logs enables system developers (and operators) to monitor the runtime behaviors of their systems and further track down system problems and perform analysis on log data in production settings. However, the prior research on utilizing logs is scattered and that limits the ability of new researchers in this field to quickly get to the speed and hampers currently active researchers to advance this field further. Therefore, this paper surveys and provides a systematic literature review and mapping of the contemporary logging practices and log statements' mining and monitoring techniques and their applications such as in system failure detection and diagnosis. We study a large number of conference and journal papers that appeared on top-level peer-reviewed venues. Additionally, we draw high-level trends of ongoing research and categorize publications into subdivisions. In the end, and based on our holistic observations during this survey, we provide a set of challenges and opportunities that will lead the researchers in academia and industry in moving the field forward.


title: Paperfetcher: A tool to automate handsearch for systematic reviews

abstract: Handsearch is an important technique that contributes to thorough literature search in systematic reviews. Traditional handsearch requires reviewers to systematically browse through each issue of a curated list of field-specific journals and conference proceedings to find articles relevant to their review. This manual process is not only time-consuming, laborious, costly, and error-prone, but it also lacks replicability and cross-checking mechanisms. In an attempt to solve these problems, this paper presents a free and open-source Python package and an accompanying web-app, Paperfetcher, to automate handsearch for systematic reviews. With Paperfetcher's assistance, researchers can retrieve articles from designated journals within a specified time frame with just a few clicks. In addition to handsearch, this tool also incorporates snowballing in both directions. Paperfetcher allows researchers to download retrieved studies as a list of DOIs or as an RIS database to facilitate seamless import into citation management and systematic review screening software. To our knowledge, Paperfetcher is the first tool that automates handsearch with high usability and a multi-disciplinary focus.


title: Rate Splitting with Wireless Edge Caching: A System-Level-based Co-design

abstract: Rate splitting (RS) and wireless edge caching are essential means for meeting the quality of service requirements of future wireless networks. In this work, we focus on the cross-layer co-design of wireless edge caching schemes with sophisticated physical layer techniques, which facilitate non-orthogonal multiple access and interference mitigation. A flexible caching-aided RS (CRS) technique is proposed that operates in various modes that specify the cache placement at the receivers. We consider two caching policies: the intelligent coded caching (CC), as well as the well-known most popular content (MPC) policy. Both caching policies are integrated within the design parameters of RS in order to serve multiple cache-enabled receivers. The proposed technique is investigated from a system level perspective by taking into account spatial randomness. We consider a single cell network consisting of center and edge receivers and provide a comprehensive analytical framework for the evaluation of the proposed technique in terms of achieved rates. Specifically, we derive the rate achieved at each receiver under minimum rate constraints while incorporating the cache placement characteristics. Numerical results are presented which highlight the flexibility of the proposed technique and show how caching can be exploited in order to further boost the performance of RS.


title: Optimal Distributed Energy Resource Coordination: A Decomposition Method Based on Distribution Locational Marginal Costs

abstract: In this paper, we consider the day-ahead operational planning problem of a radial distribution network hosting Distributed Energy Resources (DERs) including rooftop solar and storage-like loads, such as electric vehicles. We present a novel decomposition method that is based on a centralized AC Optimal Power Flow (AC OPF) problem interacting iteratively with self-dispatching DER problems adapting to real and reactive power Distribution Locational Marginal Costs. We illustrate the applicability and tractability of the proposed method on an actual distribution feeder, while modeling the full complexity of spatiotemporal DER capabilities and preferences, and accounting for instances of non-exact AC OPF convex relaxations. We show that the proposed method achieves optimal Grid-DER coordination, by successively improving feasible AC OPF solutions, and discovers spatiotemporally varying marginal costs in distribution networks that are key to optimal DER scheduling by modeling losses, ampacity and voltage congestion, and, most importantly, dynamic asset degradation.


title: The privacy protection effectiveness of the video conference platforms' virtual background and the privacy concerns from the end-users

abstract: Due to the abrupt arise of pandemic worldwide, the video conferencing platforms are becoming ubiquitously available and being embedded into either various digital devices or the collaborative daily work. Even though the service provider has designed many security functions to protect individual's privacy, such as virtual background (VB), it still remains to be explored that how the instability of VB leaks users' privacy or impacts their mentality and behaviours. In order to understand and locate implications for the contextual of the end-users' privacy awareness and its mental model, we will conduct survey and interviews for users as the first stage research. We will raise conceptual challenges in terms of the designing safety and stable VB, as well as provide design suggestions.