title: Understanding the Limits of Poisoning Attacks in Episodic Reinforcement Learning

abstract: To understand the security threats to reinforcement learning (RL) algorithms, this paper studies poisoning attacks to manipulate \emph{any} order-optimal learning algorithm towards a targeted policy in episodic RL and examines the potential damage of two natural types of poisoning attacks, i.e., the manipulation of \emph{reward} and \emph{action}. We discover that the effect of attacks crucially depend on whether the rewards are bounded or unbounded. In bounded reward settings, we show that only reward manipulation or only action manipulation cannot guarantee a successful attack. However, by combining reward and action manipulation, the adversary can manipulate any order-optimal learning algorithm to follow any targeted policy with $\tilde{\Theta}(\sqrt{T})$ total attack cost, which is order-optimal, without any knowledge of the underlying MDP. In contrast, in unbounded reward settings, we show that reward manipulation attacks are sufficient for an adversary to successfully manipulate any order-optimal learning algorithm to follow any targeted policy using $\tilde{O}(\sqrt{T})$ amount of contamination. Our results reveal useful insights about what can or cannot be achieved by poisoning attacks, and are set to spur more works on the design of robust RL algorithms.


title: Matrix Formulae for Decorated Super Teichm\"uller Spaces

abstract: For an arc on a bordered surface with marked points, we associate a holonomy matrix using a product of elements of the supergroup $\mathrm{OSp}(1|2)$, which defines a flat $\mathrm{OSp}(1|2)$-connection on the surface. We show that our matrix formulas of an arc yields its super $\lambda$-length in Penner-Zeitlin's decorated super Teichm\"uller space. This generalizes the matrix formulas of Fock-Goncharov and Musiker-Williams. We also prove that our matrix formulas agree with the combinatorial formulas given in the authors' previous works. As an application, we use our matrix formula in the case of an annulus to obtain new results on super Fibonacci numbers.


title: Pixel centroid characterization with laser speckle and application to the Nancy Grace Roman Space Telescope detector arrays

abstract: The Nancy Grace Roman Space Telescope will use its wide-field instrument to carry out a suite of sky surveys in the near infrared. Several of the science objectives of these surveys, such as the measurement of the growth of cosmic structure using weak gravitational lensing, require exquisite control of instrument-related distortions of the images of astronomical objects. Roman will fly 4kx4k Teledyne H4RG-10 infrared detector arrays. This paper investigates whether the pixel centroids are located on a regular grid by projecting laser speckle patterns through a double slit aperture onto a non-flight detector array. We develop a method to reconstruct the pixel centroid offsets from the stochastic speckle pattern. Due to the orientation of the test setup, only x-offsets are measured here. We test the method both on simulations, and by injecting artificial offsets into the real images. We use cross-correlations of the reconstructions from different speckle realizations to determine how much of the variance in the pixel offset maps is signal (fixed to the detector) and how much is noise. After performing this reconstruction on 64x64 pixel patches, and fitting out the best-fit linear mapping from pixel index to position, we find that there are residual centroid offsets in the x (column) direction from a regular grid of 0.0107 pixels RMS (excluding shifts of an entire row relative to another, which our speckle patterns cannot constrain). This decreases to 0.0097 pix RMS if we consider residuals from a quadratic rather than linear mapping. These RMS offsets include both the physical pixel offsets, as well as any apparent offsets due to cross-talk and remaining systematic errors in the reconstruction. We comment on the advantages and disadvantages of speckle scene measurements as a tool for characterizing the pixel-level behavior in astronomical detectors.


title: Cube normalized symplectic capacities

abstract: We introduce a new normalization condition for symplectic capacities, which we call cube normalization. This condition is satisfied by the Lagrangian capacity and the cube capacity. Our main result is an analogue of the strong Viterbo conjecture for monotone toric domains in all dimensions. Moreover, we give a family of examples where standard normalized capacities coincide but not cube normalized ones. Along the way, we give an explicit formula for the Lagrangian capacity on a large class of toric domains.


title: Existence of multi-point boundary Green's function for chordal Schramm-Loewner evolution (SLE)

abstract: In the paper we prove that, for $\kappa\in(0,8)$, the $n$-point boundary Green's function of exponent $\frac8\kappa -1$ for chordal SLE$_\kappa$ exists. We also prove that the convergence is uniform over compact sets and the Green's function is continuous. We also give up-to-constant bounds for the Green's function.


title: Comparing the Performance of a Solar Wind model from the Sun to 1 AU using Real and Synthetic Magnetograms

abstract: The input of the Solar wind models plays a significant role in accurate solar wind predictions at 1 AU. This work introduces a synthetic magnetogram produced from a dynamo model as an input for Magnetohydrodynamics (MHD) simulations. We perform a quantitative study that compares the Space Weather Modeling Framework (SWMF) results for the observed and the synthetic solar magnetogram input. For each case, we compare the results for Extreme Ultra-Violet (EUV) images and extract the simulation data along the earth trajectory to compare with in-situ observations. We initialize SWMF using the real and synthetic magnetogram for a set of Carrington Rotations (CR)s within the solar cycle 23 and 24. Our results help quantify the ability of dynamo models to be used as input to solar wind models and thus, provide predictions for the solar wind at 1 AU.


title: Latent Heterogeneous Graph Network for Incomplete Multi-View Learning

abstract: Multi-view learning has progressed rapidly in recent years. Although many previous studies assume that each instance appears in all views, it is common in real-world applications for instances to be missing from some views, resulting in incomplete multi-view data. To tackle this problem, we propose a novel Latent Heterogeneous Graph Network (LHGN) for incomplete multi-view learning, which aims to use multiple incomplete views as fully as possible in a flexible manner. By learning a unified latent representation, a trade-off between consistency and complementarity among different views is implicitly realized. To explore the complex relationship between samples and latent representations, a neighborhood constraint and a view-existence constraint are proposed, for the first time, to construct a heterogeneous graph. Finally, to avoid any inconsistencies between training and test phase, a transductive learning technique is applied based on graph learning for classification tasks. Extensive experimental results on real-world datasets demonstrate the effectiveness of our model over existing state-of-the-art approaches.


title: Interferometric imaging, and beam-formed study of a moving Type IV Radio burst with LOFAR

abstract: Type IV radio burst has been studied for over 50 years. However, the specifics of the radio emission mechanisms is still an open question. In order to provide more information about the emission mechanisms, we studied a moving type IV radio burst with fine structures (spike group) by using the high resolution capability of Low-Frequency Array (LOFAR) on Aug 25, 2014\textbf{ (SOLA-D-21-00188)}. We present a comparison of Nan\c{c}ay RadioHeliograph (NRH) and the first LOFAR imaging data of type IV radio burst. The degree of circular polarization (DCP) is calculated at frequencies in the range 20$\sim$180 MHz using LOFAR data, and it was found that the value of DCP gradually increased during the event, with values of 10\%$\sim$20\%. LOFAR interferometric data were combined with white light observations in order to track the propagation of this type IV. The kinematics shows a westward motion of the radio sources, slower than the CME leading edge. The dynamic spectrum of LOFAR shows a large number of fine structures with duration of less than 1s and high brightness temperature ($T_\mathrm{B}$), i.e. $10^{12}$$\sim$$10^{13}$ K. The gradual increase of DCP supports gyrosynchrotron emission as the most plausible mechanism for the type IV. However, coherent emissions such as Electron Cyclotron Maser (ECM) instability can be responsible for small scale fine structures. Countless fine structures altogether were responsible for such high $T_\mathrm{B}$.


title: Comprehensive study of good model training for prostate segmentation in volumetric MRI

abstract: Prostate cancer was the third most common cancer in 2020 internationally, coming after breast cancer and lung cancer. Furthermore, in recent years prostate cancer has shown an increasing trend. According to clinical experience, if this problem is detected and treated early, there can be a high chance of survival for the patient. One task that helps diagnose prostate cancer is prostate segmentation from magnetic resonance imaging. Manual segmentation performed by clinical experts has its drawbacks such as: the high time and concentration required from observers; and inter- and intra-observer variability. This is why in recent years automatic approaches to segment a prostate based on convolutional neural networks have emerged. Many of them have novel proposed architectures. In this paper I make an exhaustive study of several deep learning models by adjusting them to the task of prostate prediction. I do not use novel architectures, but focus my work more on how to train the networks. My approach is based on a ResNext101 3D encoder and a Unet3D decoder. I provide a study of the importance of resolutions in resampling data, something that no one else has done before.


title: Universal wrinkling of supported elastic rings

abstract: An exactly solvable family of models describing the wrinkling of substrate-supported inextensible elastic rings under compression is identified. The resulting wrinkle profiles are shown to be related to the buckled states of an unsupported ring and are therefore universal. Closed analytical expressions for the resulting universal shapes are provided, including the one-to-one relations between the pressure and tension at which these emerge. The analytical predictions agree with numerical continuation results to within numerical accuracy, for a large range of parameter values, up to the point of self-contact.


title: Synergy Between Quantum Circuits and Tensor Networks: Short-cutting the Race to Practical Quantum Advantage

abstract: While recent breakthroughs have proven the ability of noisy intermediate-scale quantum (NISQ) devices to achieve quantum advantage in classically-intractable sampling tasks, the use of these devices for solving more practically relevant computational problems remains a challenge. Proposals for attaining practical quantum advantage typically involve parametrized quantum circuits (PQCs), whose parameters can be optimized to find solutions to diverse problems throughout quantum simulation and machine learning. However, training PQCs for real-world problems remains a significant practical challenge, largely due to the phenomenon of barren plateaus in the optimization landscapes of randomly-initialized quantum circuits. In this work, we introduce a scalable procedure for harnessing classical computing resources to provide pre-optimized initializations for PQCs, which we show significantly improves the trainability and performance of PQCs on a variety of problems. Given a specific optimization task, this method first utilizes tensor network (TN) simulations to identify a promising quantum state, which is then converted into gate parameters of a PQC by means of a high-performance decomposition procedure. We show that this learned initialization avoids barren plateaus, and effectively translates increases in classical resources to enhanced performance and speed in training quantum circuits. By demonstrating a means of boosting limited quantum resources using classical computers, our approach illustrates the promise of this synergy between quantum and quantum-inspired models in quantum computing, and opens up new avenues to harness the power of modern quantum hardware for realizing practical quantum advantage.


title: Errors When Constraining Hot Blackbody Parameters with Optical Photometry

abstract: Measuring blackbody parameters for objects hotter than a few 10^4K with optical data alone is common in many astrophysical studies. However this process is prone to large errors because at those temperatures the optical bands are mostly sampling the Rayleigh-Jeans tail of the spectrum. Here we quantify these errors by simulating different blackbodies, sampling them in various bands with realistic measurement errors, and re-fitting them to blackbodies using two different methods and two different priors. We find that when using only optical data, log-uniform priors perform better than uniform priors. Still, measured temperatures of blackbodies above ~35,000K can be wrong by ~10,000K, and only lower limits can be obtained for temperatures of blackbodies hotter than ~50,000K. Bolometric luminosities estimated from optical-only blackbody fits can be wrong by factors of 3-5. When adding space-based ultraviolet data, these errors shrink significantly. For when such data are not available, we provide plots and tables of the distributions of true temperatures that can result in various measured temperatures. It is important to take these distributions into account as systematic uncertainties when fitting hot blackbodies with optical data alone.


title: Juggling too many balls at once: Qualitatively different effects when measuring priming and masking in single, dual, and triple tasks

abstract: Dissociation paradigms examine dissociations between indirect measures of prime processing and direct measures of prime awareness. It is debated whether direct measures should be objective or subjective, and whether these measures should be obtained on the same or separate trials. In two metacontrast experiments, we measured prime discrimination, PAS ratings, and response priming either separately or in multiple tasks. Single tasks show the fastest responses in priming and therefore most likely meet the assumption of feedforward processing as assumed under Rapid-Chase Theory. Similarly, dual tasks allow for a fast response activation by the prime; nevertheless, prolonged responses and slower errors occur more often. In contrast, triple tasks have a negative effect on response activation: responses are massively slowed and fast prime-locked errors are lost. Moreover, decreasing priming effects and prime identification performance result in a loss of a double dissociation. Here, a necessary condition for unconscious response priming, feedforward processing, is violated.


title: Engulfment of a drop on solids coated by thin and thick fluid films

abstract: When an aqueous drop contacts an immiscible oil film, it displays complex interfacial dynamics. Upon contact the oil spreads onto the drop's liquid-air interface, first forming a curvature that drives an apparent drop spreading motion and later fully engulfing the drop. We study this flow using both 3-phase Lattice-Boltzmann simulations based on the conservative phase field model and experiments. Inertially and viscously limited dynamics are explored using the Ohnesorge number $Oh$ as a function of $R/H$, the ratio between the initial drop radius $R$ and the film height $H$. Both regimes show that the apparent spreading radius $r$ is fairly independent of the film height, and scales with time $T$ as $r\sim T^{1/2}$ for $Oh\ll 1$ and for $Oh\gg 1$ as $r\sim T^{2/5}$. For $Oh\gg 1$ we show experimentally that this immiscible apparent spreading motion is analogous with the miscible drop-film coalescence case. Contrary to the apparent spreading, however, we find that the late time engulfment dynamics and final interface profiles are significantly affected by the ratio of $H/R$.


title: DM-power: an algorithm for high precision dispersion measure with application to fast radio bursts

abstract: We present DM-power, a new method for precisely determining the dispersion measure (DM) of radio bursts, and apply it to the Fast Radio Burst (FRB) source FRB~20180916B. Motivated by the complex structure on multiple time scales seen in FRBs, DM-power optimizes the DM by combining measurements at multiple Fourier frequencies in the power spectrum of the burst. By optimally weighting the measurements at each Fourier frequency, DM-power finds a burst DM that effectively incorporates information on many different burst timescales. We validate this technique on simulated Gaussian pulse profiles with a precision down to $\sigma_{\rm DM} \sim 0.001~{\rm pc~cm}^{-3}$, and then apply it to bursts from pulsar B0329+54 and FRB~20180916B. The precision of these DM measurements are sufficient to measure a statistically significant variation in DM over a $\approx 2$ hr span. While this variation could be the result of electron density variations along the line of sight, it is more like that the observed variation is the result of intrinsic frequency-dependent burst structure that can mimic a dispersive delay.


title: Superconductivity in functionalized niobium-carbide MXenes

abstract: We show the effect of Cl and S functionalization on the superconducting properties of layered (bulk) and monolayer niobium carbide (Nb$_2$C) MXene crystals, based on first-principles calculations combined with Eliashberg theory. For the bulk layered Nb$_2$CCl$_2$, the calculated superconducting transition temperature ($T_c$) is in very good agreement with the recently measured value of 6 K. We show that $T_c$ is enhanced to 10 K for monolayer Nb$_2$CCl$_2$, due to an increase in the density of states at the Fermi level, and the corresponding electron-phonon coupling. We further demonstrate a feasible gate-induced enhancement of $T_c$ up to 40 K for both bulk-layered and monolayer Nb$_2$CCl$_2$ crystals. For the S-functionalized cases our calculations reveal the importance of phonon softening in understanding their superconducting properties. Finally, we predict that Nb$_3$C$_2$S$_2$ in bulk-layered and monolayer form is potentially superconducting, with a $T_c$ around 30 K. Considering that Nb$_2$C is not superconducting in pristine form, our findings promote functionalization as a pathway towards robust superconductivity in MXenes.


title: Qubit Mapping and Routing via MaxSAT

abstract: Near-term quantum computers will operate in a noisy environment, without error correction. A critical problem for near-term quantum computing is laying out a logical circuit onto a physical device with limited connectivity between qubits. This is known as the qubit mapping and routing (QMR) problem, an intractable combinatorial problem. It is important to solve QMR as optimally as possible to reduce the amount of added noise, which may render a quantum computation useless. In this paper, we present a novel approach for optimally solving the QMR problem via a reduction to maximum satisfiability (MAXSAT). Additionally, we present two novel relaxation ideas that shrink the size of the MAXSAT constraints by exploiting the structure of a quantum circuit. Our thorough empirical evaluation demonstrates (1) the scalability of our approach compared to state-of-the-art optimal QMR techniques (solves more than 3x benchmarks with 40x speedup), (2) the significant cost reduction compared to state-of-the-art heuristic approaches (an average of ~5x swap reduction), and (3) the power of our proposed constraint relaxations.


title: 10th Low-Level RF Workshop (LLRF2022)

abstract: This volume contains contributions presented at LLRF2022: the 10th Low-Level RF Workshop held in Brugg-Windisch, Switzerland on October 10-13, 2022.


title: Competing orders in the honeycomb lattice $t$-$J$ model

abstract: We study the honeycomb lattice $t$-$J$ model using the fermionic tensor network approach. By examining the ansatz with various unit cells, we discover several different stripe states with different periods that compete strongly with uniform states. At very small doping $\delta < 0.05$, we find almost degenerate uniform $d$-wave superconducting ground states coexisting with antiferromagnetic order. While at larger doping $\delta > 0.05$, the ground state is an approximately half-filled stripe-ordered state, where the stripe period decreases with increasing hole doping $\delta$. Furthermore, the stripe states with the lowest variational energy always display $d_{x^2-y^2}$-wave pairing symmetry. The similarity between our results and those on the square lattice contributes to a more comprehensive understanding of doped Mott insulators.


title: Data-Driven Distributed Voltage Control for Microgrids: A Koopman-based Approach

abstract: This paper presents a distributed data-driven control to regulate the voltage in an alternate current microgrid (MG). Following the hierarchical control frame for MGs, a secondary control for voltage is designed with a data-driven strategy using the Koopman operator. The Koopman operator approach represents the nonlinear behavior of voltage as a linear problem in the space of observables or lifted space. The representation in the lifted space is used together with linear consensus to design a model predictive control (MPC). The complete algorithm is proved in an MG model including changes in load, transmission lines, and the communication graph. The data-driven model regulates voltage using a distributed approach based only on local measurements, and includes reactive power constraints and control cost minimization.


title: Bubble Lattices II: Combinatorics

abstract: We introduce two simplicial complexes, the noncrossing matching complex and the noncrossing bipartite complex. Both complexes are intimately related to the bubble lattice introduced in our earlier article "Bubble Lattices I: Structure" (arXiv:2202.02874). We study these complexes from both an enumerative and a geometric point of view. In particular, we prove that these complexes are shellable and give explicit formulas for certain refined face numbers. Lastly, we conjecture an intriguing connection of these refined face numbers to the so-called M-triangle of the shuffle lattice.


title: Geometric parametrization of valuations on a polynomial ring

abstract: We extend and prove a conjecture of Bengu\c{s}-Lasnier on the parametrization of valuations on a polynomial ring by certain spaces of diskoids.


title: FedEgo: Privacy-preserving Personalized Federated Graph Learning with Ego-graphs

abstract: As special information carriers containing both structure and feature information, graphs are widely used in graph mining, e.g., Graph Neural Networks (GNNs). However, in some practical scenarios, graph data are stored separately in multiple distributed parties, which may not be directly shared due to conflicts of interest. Hence, federated graph neural networks are proposed to address such data silo problems while preserving the privacy of each party (or client). Nevertheless, different graph data distributions among various parties, which is known as the statistical heterogeneity, may degrade the performance of naive federated learning algorithms like FedAvg. In this paper, we propose FedEgo, a federated graph learning framework based on ego-graphs to tackle the challenges above, where each client will train their local models while also contributing to the training of a global model. FedEgo applies GraphSAGE over ego-graphs to make full use of the structure information and utilizes Mixup for privacy concerns. To deal with the statistical heterogeneity, we integrate personalization into learning and propose an adaptive mixing coefficient strategy that enables clients to achieve their optimal personalization. Extensive experimental results and in-depth analysis demonstrate the effectiveness of FedEgo.


title: Deformable Image Registration using Unsupervised Deep Learning for CBCT-guided Abdominal Radiotherapy

abstract: CBCTs in image-guided radiotherapy provide crucial anatomy information for patient setup and plan evaluation. Longitudinal CBCT image registration could quantify the inter-fractional anatomic changes. The purpose of this study is to propose an unsupervised deep learning based CBCT-CBCT deformable image registration. The proposed deformable registration workflow consists of training and inference stages that share the same feed-forward path through a spatial transformation-based network (STN). The STN consists of a global generative adversarial network (GlobalGAN) and a local GAN (LocalGAN) to predict the coarse- and fine-scale motions, respectively. The network was trained by minimizing the image similarity loss and the deformable vector field (DVF) regularization loss without the supervision of ground truth DVFs. During the inference stage, patches of local DVF were predicted by the trained LocalGAN and fused to form a whole-image DVF. The local whole-image DVF was subsequently combined with the GlobalGAN generated DVF to obtain final DVF. The proposed method was evaluated using 100 fractional CBCTs from 20 abdominal cancer patients in the experiments and 105 fractional CBCTs from a cohort of 21 different abdominal cancer patients in a holdout test. Qualitatively, the registration results show great alignment between the deformed CBCT images and the target CBCT image. Quantitatively, the average target registration error (TRE) calculated on the fiducial markers and manually identified landmarks was 1.91+-1.11 mm. The average mean absolute error (MAE), normalized cross correlation (NCC) between the deformed CBCT and target CBCT were 33.42+-7.48 HU, 0.94+-0.04, respectively. This promising registration method could provide fast and accurate longitudinal CBCT alignment to facilitate inter-fractional anatomic changes analysis and prediction.


title: Categorical semantics of compositional reinforcement learning

abstract: Reinforcement learning (RL) often requires decomposing a problem into subtasks and composing learned behaviors on these tasks. Compositionality in RL has the potential to create modular subtask units that interface with other system capabilities. However, generating compositional models requires the characterization of minimal assumptions for the robustness of the compositional feature. We develop a framework for a \emph{compositional theory} of RL using a categorical point of view. Given the categorical representation of compositionality, we investigate sufficient conditions under which learning-by-parts results in the same optimal policy as learning on the whole. In particular, our approach introduces a category $\mathsf{MDP}$, whose objects are Markov decision processes (MDPs) acting as models of tasks. We show that $\mathsf{MDP}$ admits natural compositional operations, such as certain fiber products and pushouts. These operations make explicit compositional phenomena in RL and unify existing constructions, such as puncturing hazardous states in composite MDPs and incorporating state-action symmetry. We also model sequential task completion by introducing the language of zig-zag diagrams that is an immediate application of the pushout operation in $\mathsf{MDP}$.


title: Using Speech to Reduce Loss of Trust in Humanoid Social Robots

abstract: We present data from two online human-robot interaction experiments where 227 participants viewed videos of a humanoid robot exhibiting faulty or non-faulty behaviours while either remaining mute or speaking. The participants were asked to evaluate their perception of the robot's trustworthiness, as well as its likeability, animacy, and perceived intelligence. The results show that, while a non-faulty robot achieves the highest trust, an apparently faulty robot that can speak manages to almost completely mitigate the loss of trust that is otherwise seen with faulty behaviour. We theorize that this mitigation is correlated with the increase in perceived intelligence that is also seen when speech is present.


title: Low-$Q^2$ elastic electron-proton scattering using a gas jet target

abstract: In this paper, we describe an experiment measuring low-$Q^2$ elastic electron-proton scattering using a newly developed cryogenic supersonic gas jet target in the A1 three-spectrometer facility at the Mainz Microtron. We measured the proton electric form factor within the four-momentum transfer range of $0.01\le Q^2 \le 0.045(\text{GeV/c})^2$. The experiment showed consistent results with the existing measurements. The data we collected demonstrated the feasibility of the gas jet target and the potential of future scattering experiments using high-resolution spectrometers with this gas jet target.


title: Terahertz Communications Can Work in Rain and Snow: Impact of Adverse Weather Conditions on Channels at 140 GHz

abstract: Next-generation wireless networks will leverage the spectrum above 100 GHz to enable ultra-high data rate communications over multi-GHz-wide bandwidths. The propagation environment at such high frequencies, however, introduces challenges throughout the whole protocol stack design, from physical layer signal processing to application design. Therefore, it is fundamental to develop a holistic understanding of the channel propagation and fading characteristics over realistic deployment scenarios and ultra-wide bands. In this paper, we conduct an extensive measurement campaign to evaluate the impact of weather conditions on a wireless link in the 130-150 GHz band through a channel sounding campaign with clear weather, rain, and snow in a typical urban backhaul scenario. We present a novel channel sounder design that captures signals with -82 dBm sensitivity and 20 GHz of bandwidth. We analyze link budget, capacity, as well as channel parameters such as the delay spread and the K-factor. Our experimental results indicate that in the considered context the adverse weather does not interrupt the link, but introduces some additional constraints (e.g., high delay spread and increase in path loss in snow conditions) that need to be accounted for in the design of reliable Sixth Generation (6G) communication links above 100 GHz.


title: Free polynilpotent groups and the Magnus property

abstract: Motivated by a classic result for free groups, one says that a group $G$ has the Magnus property if the following holds: whenever two elements generate the same normal subgroup of $G$, they are conjugate or inverse-conjugate in $G$. It is a natural problem to find out which relatively free groups display the Magnus property. We prove that a free polynilpotent group of any given class row has the Magnus property if and only if it is nilpotent of class at most $2$. For this purpose we explore the Magnus property more generally in soluble groups, and we produce new techniques, both for establishing and for disproving the property. We also prove that a free centre-by-(polynilpotent of given class row) group has the Magnus property if and only if it is nilpotent of class at most $2$. On the way, we display $2$-generated nilpotent groups (with non-trivial torsion) of any prescribed nilpotency class with the Magnus property. Similar examples of finitely generated, torsion-free nilpotent groups are hard to come by, but we construct a $4$-generated, torsion-free, class-$3$ nilpotent group of Hirsch length $9$ with the Magnus property. Furthermore, using a weak variant of the Magnus property and an ultraproduct construction, we establish the existence of metabelian, torsion-free, nilpotent groups of any prescribed nilpotency class with the Magnus property.


title: Bring's curve: Old and New

abstract: Bring's curve, the unique Riemann surface of genus-4 with automorphism group $S_5$, has many exceptional properties. We review, give new proofs of, and extend a number of these including giving the complete realisation of the automorphism group for a plane curve model, identifying a new elliptic quotient of the curve and the modular curve $X_0(50)$, providing a complete description of the orbit decomposition of the theta characteristics, and identifying the unique invariant characteristic with the divisor of the Sz\"ego kernel. In achieving this we have used modern computational tools in Sagemath, Macaulay2, and Maple, for which notebooks demonstrating calculations are provided.


title: Cooper-Frye sampling with short-range repulsion

abstract: This work incorporates the effect of short-range repulsion between particles into the Cooper-Frye hadron sampling procedure. This is achieved by means of a rejection sampling step, which prohibits any pair of particles from overlapping in the coordinate space, effectively modeling the effect of hard-core repulsion. The new procedure -- called the FIST sampler -- is based on the package Thermal-FIST. It is used here to study the effect of excluded volume on cumulants of the (net-)proton number distribution in central collisions of heavy ions in a broad collision energy range in conjunction with exact global conservation of baryon number, electric charge, and strangeness. The results are compared with earlier calculations based on analytical approximations, quantifying the accuracy of the latter at different collision energies. An additional advantage of the new method over the analytic approaches is that it offers the flexibility provided by event generators, making it straightforwardly extendable to other observables.


title: The hanging chain problem in the sphere and in the hyperbolic plane

abstract: In this paper, the notion of the catenary curve in the sphere and in the hyperbolic plane is introduced. In both spaces, a catenary is defined as the shape of a hanging chain when its potential energy is determined by the distance to a given geodesic of the space. Several characterizations of the catenary are established in terms of the curvature of the curve and of the angle that its unit normal makes with a vector field of the ambient space. Furthermore, in the hyperbolic plane, we extend the concept of catenary substituting the reference geodesic by a horocycle or the hyperbolic distance by the horocycle distance.


title: A Data-Centric Approach For Dual-Arm Robotic Garment Flattening

abstract: Due to the high dimensionality of object states, a garment flattening pipeline requires recognising the configurations of garments for a robot to produce/select manipulation plans to flatten garments. In this paper, we propose a data-centric approach to identify known configurations of garments based on a known configuration network (KCNet) trained on depth images that capture the known configurations of garments and prior knowledge of garment shapes. In this paper, we propose a data-centric approach to identify the known configurations of garments based on a known configuration network (KCNet) trained on the depth images that capture the known configurations of garments and prior knowledge of garment shapes. The known configurations of garments are the configurations of garments when a robot hangs garments in the middle of the air. We found that it is possible to achieve 92\% accuracy if we let the robot recognise the common hanging configurations (the known configurations) of garments. We also demonstrate an effective robot garment flattening pipeline with our proposed approach on a dual-arm Baxter robot. The robot achieved an average operating time of 221.6 seconds and successfully manipulated garments of five different shapes.


title: Minimizing Completion Times for Stochastic Jobs via Batched Free Times

abstract: We study the classic problem of minimizing the expected total completion time of jobs on $m$ identical machines in the setting where the sizes of the jobs are stochastic. Specifically, the size of each job is a random variable whose distribution is known to the algorithm, but whose realization is revealed only after the job is scheduled. While minimizing the total completion time is easy in the deterministic setting, the stochastic problem has long been notorious: all known algorithms have approximation ratios that either depend on the variances, or depend linearly on the number of machines. We give an $\widetilde{O}(\sqrt{m})$-approximation for stochastic jobs which have Bernoulli processing times. This is the first approximation for this problem that is both independent of the variance in the job sizes, and is sublinear in the number of machines $m$. Our algorithm is based on a novel reduction from minimizing the total completion time to a natural makespan-like objective, which we call the weighted free time. We hope this free time objective will be useful in further improvements to this problem, as well as other stochastic scheduling problems.


title: Tropical and non-Archimedean Monge-Amp\`ere equations for a class of Calabi-Yau hypersurfaces

abstract: For a class of maximally degenerate families of Calabi-Yau hypersurfaces of complex projective space, we study associated non-Archimedean and tropical Monge-Amp\`ere equations, taking place on the associated Berkovich space, and the essential skeleton therein, respectively. For a symmetric measure on the skeleton, we prove that the tropical equation admits a unique solution, up to an additive constant. Moreover, the solution to the non-Archimedean equation can be derived from the tropical solution, and is the restriction of a continuous semipositive toric metric on projective space. Together with the work of Yang Li, this implies the weak metric SYZ conjecture on the existence of special Lagrangian fibrations in our setting.


title: A characterization of rotational minimal surfaces in the de Sitter space

abstract: The generating curves of rotational minimal surfaces in the de Sitter space $\s_1^3$ are characterized as solutions of a variational problem. It is proved that these curves are the critical points of the center of mass among all curves of $\s_1^2$ with prescribed endpoints and fixed length. This extends the known properties of the catenary and the catenoid in the Euclidean setting.


title: Graph Exploration with Embedding-Guided Layouts

abstract: Node-link diagrams are widely used to visualize graphs. Most graph layout algorithms only use graph topology for aesthetic goals (e.g., minimize node occlusions and edge crossings) or use node attributes for exploration goals (e.g., preserve visible communities). Existing hybrid methods that bind the two perspectives still suffer from various generation restrictions (e.g., limited input types and required manual adjustments and prior knowledge of graphs) and the imbalance between aesthetic and exploration goals. In this paper, we propose a flexible embedding-based graph exploration pipeline to enjoy the best of both graph topology and node attributes. First, we leverage embedding algorithms for attributed graphs to encode the two perspectives into latent space. Then, we present an embedding-driven graph layout algorithm, GEGraph, which can achieve aesthetic layouts with better community preservation to support an easy interpretation of the graph structure. Next, graph explorations are extended based on the generated graph layout and insights extracted from the embedding vectors. Illustrated with examples, we build a layout-preserving aggregation method with Focus+Context interaction and a related nodes searching approach with multiple proximity strategies. Finally, we conduct quantitative and qualitative evaluations, a user study, and two case studies to validate our approach.


title: Constraints on the transition redshift from the calibrated Gamma-ray Burst $E_{\rm p}$-$E_{\rm iso}$ correlation

abstract: We constrain the deceleration-acceleration epoch, namely the transition redshift $z_{tr}$, adopting model-independent techniques that utilize a calibrated $E_{\rm p}$-$E_{\rm iso}$ correlation for gamma-ray bursts (GRBs). To do so, in addition to real data points, we employ up to $1000$ simulated observational Hubble data (OHD) points. We then calibrate the $E_{\rm p}$-$E_{\rm iso}$ correlation by means of the well-consolidate B\'ezier polynomial technique, interpolating OHD up to the second order. Once GRB data have been calibrated, we consider two strategies of cosmographic expansions, i.e., first we take a direct Hubble rate expansion around $z_{tr}$, and second the expansion of the deceleration parameter around the same redshift, but with a different order. Employing type Ia supernovae, baryonic acoustic oscillations and GRB data sets, from Monte Carlo analyses we infer tight constraints on $z_{tr}$ and the jerk parameters at $z=z_{tr}$, namely $j_{tr}$. Our results are extremely compatible with previous outcomes and confirm the $\Lambda$CDM predictions, being slightly different in terms of the jerk parameter. In this respect, we conjecture which extensions of the concordance paradigm are possible and we compare our findings with expectations provided by generic dark energy models.


title: Data-Driven Influence Functions for Optimization-Based Causal Inference

abstract: We study a constructive algorithm that approximates Gateaux derivatives for statistical functionals by finite differencing, with a focus on functionals that arise in causal inference. We study the case where probability distributions are not known a priori but need to be estimated from data. These estimated distributions lead to empirical Gateaux derivatives, and we study the relationships between empirical, numerical, and analytical Gateaux derivatives. Starting with a case study of the interventional mean (average potential outcome), we delineate the relationship between finite differences and the analytical Gateaux derivative. We then derive requirements on the rates of numerical approximation in perturbation and smoothing that preserve the statistical benefits of one-step adjustments, such as rate double robustness. We then study more complicated functionals such as dynamic treatment regimes, the linear-programming formulation for policy optimization in infinite-horizon Markov decision processes, and sensitivity analysis in causal inference. More broadly, we study optimization-based estimators, since this begets a class of estimands where identification via regression adjustment is straightforward but obtaining influence functions under minor variations thereof is not. The ability to approximate bias adjustments in the presence of arbitrary constraints illustrates the usefulness of constructive approaches for Gateaux derivatives. We also find that the statistical structure of the functional (rate double robustness) can permit less conservative rates for finite-difference approximation. This property, however, can be specific to particular functionals; e.g., it occurs for the average potential outcome (hence average treatment effect) but not the infinite-horizon MDP policy value.


title: Configuration Balancing for Stochastic Requests

abstract: The configuration balancing problem with stochastic requests generalizes many well-studied resource allocation problems such as load balancing and virtual circuit routing. In it, we have $m$ resources and $n$ requests. Each request has multiple possible configurations, each of which increases the load of each resource by some amount. The goal is to select one configuration for each request to minimize the makespan: the load of the most-loaded resource. In our work, we focus on a stochastic setting, where we only know the distribution for how each configuration increases the resource loads, learning the realized value only after a configuration is chosen. We develop both offline and online algorithms for configuration balancing with stochastic requests. When the requests are known offline, we give a non-adaptive policy for configuration balancing with stochastic requests that $O(\frac{\log m}{\log \log m})$-approximates the optimal adaptive policy. In particular, this closes the adaptivity gap for this problem as there is an asymptotically matching lower bound even for the very special case of load balancing on identical machines. When requests arrive online in a list, we give a non-adaptive policy that is $O(\log m)$ competitive. Again, this result is asymptotically tight due to information-theoretic lower bounds for very special cases (e.g., for load balancing on unrelated machines). Finally, we show how to leverage adaptivity in the special case of load balancing on related machines to obtain a constant-factor approximation offline and an $O(\log \log m)$-approximation online. A crucial technical ingredient in all of our results is a new structural characterization of the optimal adaptive policy that allows us to limit the correlations between its decisions.


title: Conceptual design of an innovative UVC-LED air-cleaner to reduce airborne pathogen transmission

abstract: A conceptual design of a novel UVC-LED air-cleaner is presented as part of an international educational-research study. The main components are a dust-filter assembly, a UVC chamber and a fan. The dust-filter aims to suppress dust accumulation that will hamper the UVC chamber operation. The innovation is in the UVC chamber that includes a novel turbulence-generating grid to enhance air mixing in the chamber and a novel LEDs layout to achieve sufficient kill of the SARS-CoV-2 virus and TB bacterium aerosols with a reasonable power consumption. Both diseases have hit hard low to medium income countries and this study is part of an effort to offer non-pharmaceutical solutions to mitigate the air-transmission of such diseases. Low to high fidelity methods of computational fluid dynamics and UVC ray method are used to show that the design can provide a kill above 97% for Covid and TB, and above 92% for influenza-A. This is at a flow rate of 100 l/s, power consumption of less than 300W and a device size that is both portable and may also fit into ventilation ducts. Research and educational methodologies are discussed, along with analysis of the inexpensive dust-filter performance and the irradiation and flow fields.


title: Estimating Probability Distributions of Travel Times by Fitting a Markovian Velocity Model

abstract: To improve the routing decisions of individual drivers and the management policies designed by traffic operators, one needs reliable estimates of travel time distributions. Since congestion caused by both recurrent patterns (e.g., rush hours) and non-recurrent events (e.g., traffic incidents) leads to potentially substantial delays in highway travel times, we focus on a framework capable of incorporating both effects. To this end, we propose to work with the Markovian Velocity model (MVM), based on an environmental background process that tracks both random and (semi-)predictable events affecting the vehicle speeds in a highway network. We show how to operationalize this flexible data-driven model in order to obtain the travel time distribution for a vehicle departing at a known day and time to traverse a given path. Specifically, we detail how to structure the background process and set the speed levels corresponding to the different states of this process. First, for the inclusion of non-recurrent events, we study incident data to describe the random durations of the incident and inter-incident times. Both of them depend on the time of day, but we identify periods in which they can be considered time-independent. Second, for an estimation of the speed patterns in both incident and inter-incident regime, loop detector data for each of the identified periods is studied. In numerical examples that use road network detector data of the Dutch highway network, we obtain the travel time distribution estimates that arise under different traffic regimes, and illustrate the advantages compared to traditional travel-time prediction methods.


title: Light dark matter around 100 GeV from the inert doublet model

abstract: We made global fits of the inert Higgs doublet model (IDM) in the light of collider and dark matter search limits and the requirement for a strongly first-order electroweak phase transition (EWPT). These show that there are still IDM parameter spaces compatible with the observational constraints considered. In particular, the data and theoretical requirements imposed favour the hypothesis for the existence of a scalar dark matter candidate around 100 GeV. This is mostly due to the pull towards lower masses by the EWPT constraint. The impact of electroweak precision measurements, the dark matter direct detection limits, and the condition for obtaining a strongly enough first-order EWPT, all have strong dependence, sometimes in opposing directions, on the mass splittings between the IDM scalars.


title: Variational Principles on Geometric Rough Paths and the L\'{e}vy Area Correction

abstract: In this paper, we describe two effects of the L\'evy area correction on the invariant measure of stochastic rigid body dynamics on geometric rough paths. From the viewpoint of dynamics, the L\'evy area correction introduces an additional deterministic torque into the rigid body motion equation on geometric rough paths. When the dynamics is driven by coloured noise, and for rigid body dynamics with double-bracket dissipation, theoretical and numerical results show that this additional deterministic torque shifts the centre of the probability distribution function by shifting the Hamiltonian function in the exponent of the Gibbsian invariant measure.

categories: nlin.CD math.DS math.PR physics.class-ph


title: MPIX Stream: An Explicit Solution to Hybrid MPI+X Programming

abstract: The hybrid MPI+X programming paradigm, where X refers to threads or GPUs, has gained prominence in the high-performance computing arena. This corresponds to a trend of system architectures growing more heterogeneous. The current MPI standard only specifies the compatibility levels between MPI and threading runtimes. No MPI concept or interface exists for applications to pass thread context or GPU stream context to MPI implementations explicitly. This lack has made performance optimization complicated in some cases and impossible in other cases. We propose a new concept in MPI, called MPIX stream, to represent the general serial execution context that exists in X runtimes. MPIX streams can be directly mapped to threads or GPU execution streams. Passing thread context into MPI allows implementations to precisely map the execution contexts to network endpoints. Passing GPU execution context into MPI allows implementations to directly operate on GPU streams, lowering the CPU/GPU synchronization cost.


title: Thermal Hall conductivity near field-suppressed magnetic order in a Kitaev-Heisenberg model

abstract: We investigate thermal Hall conductivity $\kappa_{xy}$ of a $J$-$K$ Kitaev-Heisenberg model with a Zeeman field in the $(111)$ direction in the light of the recent debate surrounding the possible re-emergence of Ising topological order (ITO) and half-quantized $\kappa_{xy}/T$ upon field-suppression of long-range magnetic order in Kitaev materials. We use the purification-based finite temperature Tensor Network approach making no prior assumptions about the nature of the excitations: Majorana, visons or spin waves. For purely Kitaev interactions and fields $h/K \gtrsim 0.02$ sufficient to degrade ITO, the peak $\kappa_{xy}/T$ monotonously decreases from half-quantization associated with lower fields - a behavior reminiscent of vison fluctuation corrections. For higher fields $h/K\gtrsim 0.1,$ we find the results qualitatively consistent with a spin-wave treatment. In our $J$-$K$ model (with ferro-$K$ and antiferro-$J$), in the vicinity of field-suppressed magnetic order, we found $\kappa_{xy}/T$ to be significant, with peak magnitudes exceeding half-quantization followed by a monotonous decrease with increasing $h.$ We thus conclude that half-quantized thermal Hall effect in the vicinity of field suppressed magnetic order in our model, is a fine-tuning effect and is not associated with a Majorana Hall state with ITO.


title: Optimization of Vehicle Trajectories Considering Uncertainty in Actuated Traffic Signal Timings

abstract: This paper introduces a robust optimal green light speed advisory system for fixed and actuated traffic signals when a probability distribution is provided. These distributions represent the domain of possible switching times from the Signal Phasing and Timing (SPaT) messages. The system finds the least-cost vehicle trajectory using a computationally efficient A-star algorithm incorporated in a dynamic programming procedure to minimize the vehicle's total fuel consumption. Constraints are introduced to ensure that vehicles do not, collide with other vehicles, run red lights, or exceed a maximum vehicular jerk for passenger comfort. Results of simulation scenarios are evaluated against comparable trajectories of uninformed drivers to compute fuel consumption savings. The proposed approach produced significant fuel savings compared to the uninformed driver amounting to 37 percent on average for deterministic SPAT and 28 percent for stochastic SPaT. A sensitivity analysis is performed to understand how the degree of uncertainty in SPaT predictions affects the optimal trajectory's fuel consumption. The results present the required levels of confidence in these predictions to achieve most of the possible savings in fuel consumption. Specifically, the proposed system can be within 85 percent of the maximum savings if the timing error is (within 3.3 seconds) at a 95 percent confidence level. They also emphasize the importance of more reliable SPaT predictions the closer the time to green is relative to the time the vehicle is expected to reach the intersection given its current speed.


title: Hale multidisciplinary ecodesign optimization with material selection

abstract: Multidisciplinary Design Optimization (MDO) makes it possible to reach a better solution than by optimizing each discipline independently. In particular, the optimal structure of a drone won't be the same depending on the material used. The CO2 footprint of a solar-powered High Altitude Long Endurance (HALE) drone is optimized here, the structural materials being one of the design variables. The optimization is preformed using a modified version of OpenAeroStruct, a framework based on OpenMDAO. The originality of this work is to include material choice from a discrete catalogue in the MDO approach. This is achieved through a continuous variable, enabling the use of continuous optimization algorithms. Our results show that, in our case, the optimal material in terms of CO2 footprint is also the optimal material in terms of weight. In order for a green surrogate material to enable a lower drone CO2 footprint, it must be almost as good in terms of weight.


title: Frequency Response Analysis of Backside Illuminated Free-Membrane Type IR Superconducting Bolometer

abstract: The IR response of a backside illuminated type Yttrium Barium Copper Oxide (YBCO) transition-edge bolometer (TEB) in a free-membrane configuration is measured and analyzed. The analysis is based on a comprehensive equivalent circuit model for the bolometer structure considering all the thermal parameters of the device. The detector is made using a 450nm superconductive YBCO thin film grown on about 100 um thick crystalline SrTiO3 (STO) substrate using an optimized low cost Metal Organic Deposition (MOD) technique. The backside illuminated structure provided a basis for freely utilizing different IR absorber materials and structures on the backside of the bolometer in order to get wide band high radiation absorption coefficient for the device, while also avoiding any negative effect of the deposition of the absorber layer on the YBCO thin film properties. The obtained analytical and experimental results for the backside illuminated bolometer were also compared with the results of the previously reported front-side illuminated bolometers.


title: Ultimate precision limit of noise sensing and dark matter search

abstract: The nature of dark matter is unknown and calls for a systematical search. For axion dark matter, such a search relies on finding feeble random noise arising from the weak coupling between dark matter and microwave haloscopes. We model such process as a quantum channel and derive the fundamental precision limit of noise sensing. An entanglement-assisted strategy based on two-mode squeezed vacuum is thereby demonstrated optimal, while the optimality of a single-mode squeezed vacuum is found limited to the lossless case. We propose a `nulling' measurement (squeezing and photon counting) to achieve the optimal performances. In terms of the scan rate, even with 20-decibel of strength, single-mode squeezing still underperforms the vacuum limit which is achieved by photon counting on vacuum input; while the two-mode squeezed vacuum provides large and close-to-optimum advantage over the vacuum limit, thus more exotic quantum resources are no longer required. Our results highlight the necessity of entanglement assistance and microwave photon counting in dark matter search.


title: Online Bidding Algorithms for Return-on-Spend Constrained Advertisers

abstract: Online advertising has recently grown into a highly competitive and complex multi-billion-dollar industry, with advertisers bidding for ad slots at large scales and high frequencies. This has resulted in a growing need for efficient "auto-bidding" algorithms that determine the bids for incoming queries to maximize advertisers' targets subject to their specified constraints. This work explores efficient online algorithms for a single value-maximizing advertiser under an increasingly popular constraint: Return-on-Spend (RoS). We quantify efficiency in terms of regret relative to the optimal algorithm, which knows all queries a priori. We contribute a simple online algorithm that achieves near-optimal regret in expectation while always respecting the specified RoS constraint when the input sequence of queries are i.i.d. samples from some distribution. We also integrate our results with the previous work of Balseiro, Lu, and Mirrokni [BLM20] to achieve near-optimal regret while respecting both RoS and fixed budget constraints. Our algorithm follows the primal-dual framework and uses online mirror descent (OMD) for the dual updates. However, we need to use a non-canonical setup of OMD, and therefore the classic low-regret guarantee of OMD, which is for the adversarial setting in online learning, no longer holds. Nonetheless, in our case and more generally where low-regret dynamics are applied in algorithm design, the gradients encountered by OMD can be far from adversarial but influenced by our algorithmic choices. We exploit this key insight to show our OMD setup achieves low regret in the realm of our algorithm.


title: SphereDepth: Panorama Depth Estimation from Spherical Domain

abstract: The panorama image can simultaneously demonstrate complete information of the surrounding environment and has many advantages in virtual tourism, games, robotics, etc. However, the progress of panorama depth estimation cannot completely solve the problems of distortion and discontinuity caused by the commonly used projection methods. This paper proposes SphereDepth, a novel panorama depth estimation method that predicts the depth directly on the spherical mesh without projection preprocessing. The core idea is to establish the relationship between the panorama image and the spherical mesh and then use a deep neural network to extract features on the spherical domain to predict depth. To address the efficiency challenges brought by the high-resolution panorama data, we introduce two hyper-parameters for the proposed spherical mesh processing framework to balance the inference speed and accuracy. Validated on three public panorama datasets, SphereDepth achieves comparable results with the state-of-the-art methods of panorama depth estimation. Benefiting from the spherical domain setting, SphereDepth can generate a high-quality point cloud and significantly alleviate the issues of distortion and discontinuity.


title: Integrally closed $\mathfrak{m}$-primary ideals have extremal resolutions

abstract: We show that every integrally closed $\mathfrak{m}$-primary ideal $I$ in a commutative Noetherian local ring $(R,\mathfrak{m},k)$ has maximal complexity and curvature, i.e., $ {\rm cx}_R(I) = {\rm cx}_R(k) $ and $ {\rm curv}_R(I) = {\rm curv}_R(k) $. As a consequence, we characterize complete intersection local rings in terms of complexity, curvature and complete intersection dimension of such ideals. The analogous results on projective, injective and Gorenstein dimensions are known. However, we provide short proofs of these results as well.


title: On Time and Space: An Experimental Study on Graph Structural and Temporal Encodings

abstract: Dynamic networks reflect temporal changes occurring to the graph's structure and are used to model a wide variety of problems in many application fields. We investigate the design space of dynamic graph visualization along two major dimensions: the network structural and temporal representation. Significant research has been conducted evaluating the benefits and drawbacks of different structural representations for static graphs, however, few extend this comparison to a dynamic network setting. We conduct a study where we assess the participants' response times, accuracy, and preferences for different combinations of the graph's structural and temporal representations on typical dynamic network exploration tasks, with and without support of common interaction methods. Our results suggest that matrices provide better support for tasks on lower-level entities and basic interactions require longer response times while increasing accuracy. Node-link with auto animation proved to be the quickest and most accurate combination overall, while animation with playback control the most preferred temporal encoding.


title: StableFace: Analyzing and Improving Motion Stability for Talking Face Generation

abstract: While previous speech-driven talking face generation methods have made significant progress in improving the visual quality and lip-sync quality of the synthesized videos, they pay less attention to lip motion jitters which greatly undermine the realness of talking face videos. What causes motion jitters, and how to mitigate the problem? In this paper, we conduct systematic analyses on the motion jittering problem based on a state-of-the-art pipeline that uses 3D face representations to bridge the input audio and output video, and improve the motion stability with a series of effective designs. We find that several issues can lead to jitters in synthesized talking face video: 1) jitters from the input 3D face representations; 2) training-inference mismatch; 3) lack of dependency modeling among video frames. Accordingly, we propose three effective solutions to address this issue: 1) we propose a gaussian-based adaptive smoothing module to smooth the 3D face representations to eliminate jitters in the input; 2) we add augmented erosions on the input data of the neural renderer in training to simulate the distortion in inference to reduce mismatch; 3) we develop an audio-fused transformer generator to model dependency among video frames. Besides, considering there is no off-the-shelf metric for measuring motion jitters in talking face video, we devise an objective metric (Motion Stability Index, MSI), to quantitatively measure the motion jitters by calculating the reciprocal of variance acceleration. Extensive experimental results show the superiority of our method on motion-stable face video generation, with better quality than previous systems.


title: Minimal Piecewise Linear Cones in $\mathbb{R}^{4}$

abstract: We consider three dimensional piecewise linear cones in $\mathbb{R}^4$ that are mass minimizing w.r.t. Lipschitz maps in the sense of \cite{almgren1976existence} as in \cite{Taylor76}. There are three that arise naturally by taking products of $\mathbb{R}$ with lower dimensional cases and earlier literature has demonstrated the existence of two with 0-dimensional singularities. We classify all possible candidates and demonstrate that there are no p.l. minimizers outside these five.


title: The general Two-Higgs Doublet Model in a gauge-invariant form

abstract: In the general Two-Higgs Doublet Model it has been shown that the Higgs potential can be expressed in terms of gauge-independent quantities. In particular, stability, electroweak symmetry breaking, and CP symmetry can be understood in a concise way, avoiding unphysical gauge degrees of freedom. We complete this program and show how all the masses, the trilinear and quartic scalar interactions, the gauge-boson-Higgs interactions, as well as the Yukawa couplings in the general THDM can be expressed in a gauge-invariant way.


title: Demystifying Arch-hints for Model Extraction: An Attack in Unified Memory System

abstract: The deep neural network (DNN) models are deemed confidential due to their unique value in expensive training efforts, privacy-sensitive training data, and proprietary network characteristics. Consequently, the model value raises incentive for adversary to steal the model for profits, such as the representative model extraction attack. Emerging attack can leverage timing-sensitive architecture-level events (i.e., Arch-hints) disclosed in hardware platforms to extract DNN model layer information accurately. In this paper, we take the first step to uncover the root cause of such Arch-hints and summarize the principles to identify them. We then apply these principles to emerging Unified Memory (UM) management system and identify three new Arch-hints caused by UM's unique data movement patterns. We then develop a new extraction attack, UMProbe. We also create the first DNN benchmark suite in UM and utilize the benchmark suite to evaluate UMProbe. Our evaluation shows that UMProbe can extract the layer sequence with an accuracy of 95% for almost all victim test models, which thus calls for more attention to the DNN security in UM system.


title: CounTR: Transformer-based Generalised Visual Counting

abstract: In this paper, we consider the problem of generalised visual object counting, with the goal of developing a computational model for counting the number of objects from arbitrary semantic categories, using arbitrary number of "exemplars", i.e. zero-shot or few-shot counting. To this end, we make the following four contributions: (1) We introduce a novel transformer-based architecture for generalised visual object counting, termed as Counting Transformer (CounTR), which explicitly capture the similarity between image patches or with given "exemplars" with the attention mechanism;(2) We adopt a two-stage training regime, that first pre-trains the model with self-supervised learning, and followed by supervised fine-tuning;(3) We propose a simple, scalable pipeline for synthesizing training images with a large number of instances or that from different semantic categories, explicitly forcing the model to make use of the given "exemplars";(4) We conduct thorough ablation studies on the large-scale counting benchmark, e.g. FSC-147, and demonstrate state-of-the-art performance on both zero and few-shot settings.


abstract: Recent developments for Semi-Supervised Object Detection (SSOD) have shown the promise of leveraging unlabeled data to improve an object detector. However, thus far these methods have assumed that the unlabeled data does not contain out-of-distribution (OOD) classes, which is unrealistic with larger-scale unlabeled datasets. In this paper, we consider a more practical yet challenging problem, Open-Set Semi-Supervised Object Detection (OSSOD). We first find the existing SSOD method obtains a lower performance gain in open-set conditions, and this is caused by the semantic expansion, where the distracting OOD objects are mispredicted as in-distribution pseudo-labels for the semi-supervised training. To address this problem, we consider online and offline OOD detection modules, which are integrated with SSOD methods. With the extensive studies, we found that leveraging an offline OOD detector based on a self-supervised vision transformer performs favorably against online OOD detectors due to its robustness to the interference of pseudo-labeling. In the experiment, our proposed framework effectively addresses the semantic expansion issue and shows consistent improvements on many OSSOD benchmarks, including large-scale COCO-OpenImages. We also verify the effectiveness of our framework under different OSSOD conditions, including varying numbers of in-distribution classes, different degrees of supervision, and different combinations of unlabeled sets.


title: Bayesian Continual Learning via Spiking Neural Networks

abstract: Among the main features of biological intelligence are energy efficiency, capacity for continual adaptation, and risk management via uncertainty quantification. Neuromorphic engineering has been thus far mostly driven by the goal of implementing energy-efficient machines that take inspiration from the time-based computing paradigm of biological brains. In this paper, we take steps towards the design of neuromorphic systems that are capable of adaptation to changing learning tasks, while producing well-calibrated uncertainty quantification estimates. To this end, we derive online learning rules for spiking neural networks (SNNs) within a Bayesian continual learning framework. In it, each synaptic weight is represented by parameters that quantify the current epistemic uncertainty resulting from prior knowledge and observed data. The proposed online rules update the distribution parameters in a streaming fashion as data are observed. We instantiate the proposed approach for both real-valued and binary synaptic weights. Experimental results using Intel's Lava platform show the merits of Bayesian over frequentist learning in terms of capacity for adaptation and uncertainty quantification.


title: FDP control in multivariate linear models using the bootstrap

abstract: In this article we develop a method for performing post hoc inference of the False Discovery Proportion (FDP) over multiple contrasts of interest in the multivariate linear model. To do so we use the bootstrap to simulate from the distribution of the null contrasts. We combine the bootstrap with the post hoc inference bounds of Blanchard (2020) and prove that doing so provides simultaneous asymptotic control of the FDP over all subsets of hypotheses. This requires us to demonstrate consistency of the multivariate bootstrap in the linear model, which we do via the Lindeberg Central Limit Theorem, providing a simpler proof of this result than that of Eck (2018). We demonstrate, via simulations, that our approach provides simultaneous control of the FDP over all subsets and is typically more powerful than existing, state of the art, parametric methods. We illustrate our approach on functional Magnetic Resonance Imaging data from the Human Connectome project and on a transcriptomic dataset of chronic obstructive pulmonary disease.


title: Sparse analytic systems

abstract: Erd\H{o}s \cite{MR168482} proved that the Continuum Hypothesis (CH) is equivalent to the existence of an uncountable family $\mathcal{F}$ of (real or complex) analytic functions, such that $\big\{ f(x) \ : \ f \in \mathcal{F} \big\}$ is countable for every $x$. We strengthen Erd\H{o}s' result by proving that CH is equivalent to the existence of what we call \emph{sparse analytic systems} of functions. We use such systems to construct, assuming CH, an equivalence relation $\sim$ on $\mathbb{R}$ such that any "analytic-anonymous" attempt to predict the map $x \mapsto [x]_\sim$ must fail almost everywhere. This provides a consistently negative answer to a question of Bajpai-Velleman \cite{MR3552748}.


title: Improved Grant-Free Access for URLLC via Multi-Tier-Driven Computing: Network-Load Learning, Prediction, and Resource Allocation

abstract: Grant-Free (GF) access has been recognized as a promising candidate for Ultra-Reliable and Low-Latency Communications (URLLC). However, even with GF access, URLLC still may not effectively gain high reliability and millimeter-level latency, simultaneously. This is because the network load is typically time-varying and not known to the base station (BS), and thus, the resource allocated for GF access cannot well adapt to variations of the network load, resulting in low resource utilization efficiency under light network load and leading to severe collisions under heavy network load. To tackle this problem, we propose a multi-tier-driven computing framework and the associated algorithms for URLLC to support users with different QoS requirements. Especially, we concentrate on K - repetition GF access in light of its simplicity and well-balanced performance for practical systems. In particular, our framework consists of three tiers of computation, namely network-load learning, network-load prediction, and adaptive resource allocation. In the first tier, the BS can learn the network-load information from the states (success, collision, and idle) of random-access resources in terms of resource blocks (RB) and time slots. In the second tier, the network-load variation is effectively predicted based on estimation results from the first tier. Finally, in the third tier, by deriving and weighing the failure probabilities of different groups of users, their QoS requirements, and the predicted network loads, the BS is able to dynamically allocate sufficient resources accommodating the varying network loads. Simulation results show that our proposed approach can estimate the network load more accurately compared with the baseline schemes. Moreover, our adaptive resource allocation offers an effective way to enhance the QoS for different URLLC services, simultaneously.


title: Optimization of Spectral Efficiency in Cell-Free massive MIMO Systems Using Deep Neural Networks

abstract: Cellular communication is a widely used technology in the world where the coverage area is divided into multiple cells. Interference is one of the most important challenges in cellular networks which causes problems by reducing the quality of the service. Cell-Free (CF) massive multiple-input multiple-output (MIMO) is a novel technolgy in which a large number of distributed access points (APs) are concurrently serving a small number of user equipment (UE). CF network can be an alternative technology to cellular networks for reducing interference. A challenging task in a CF network is scalability, where although the number of UEs tends to infinity, the computational complexity must remain finite in each AP or UE. In this paper, we provide two architectures of Dense fully connected neural network (Dense_Net) and 1D convolution neural network (Conv_Net) to be implemented in different cases in terms of the number of antennas in each AP/UE and the method for the combining vector. The Dense_Net outperforms the Conv_Net in all the cases. For instance, in the first case it has a %62.87 improvement in terms of loss. The results show that our proposed method performs better in terms of obtaining optimal values for spectral efficiency (SE).


title: Compressible Topological Vector Spaces

abstract: The optimum subspace decomposition of the infinite-dimensional compressible random processes in the locally convex Hausdorff space has been propose and its dimension has been measured. We conduct topological analysis of finite- and infinite-dimensional compressible vector spaces. We prove that if there are a sufficient number of separating points in compressible topological vector space, the Banach Limit coincides the minimal linear functional. Then, optimum orthogonal decomposition of the compressible topological vector space can be formulated as a limit for which minimal linear functional occurs. It has been shown that the separable space, also referred to as an optimum subspace, is the subset of the compressible vector space that contains its extreme points. The inseparable subspace is characterized using a novel absorbing null space property through Minkowski functional and Lebesgue measure. We prove that the absorbing null space is a connected subspace of the locally convex space. We purpose reflexive homomorphism that establishes a relation between signal space and double dual space. It has been shown that the Banach limit can be determined by the compact convergence of the Cauchy nets on the left and right hands sides of a reflexive homomorphism. Finally, we propose to measure the optimum subspace dimension using the Frechet distance metric. To apply the Frechet distance to the compressible topological vector space, the Kothe sequence sampled from a continuous function has been proposed. Briefly, the proposed approach measures the sufficient number of separating points of the finite- and infinite-dimensional compressible vector space for the given undersampled operator with respect to Hahn-Banach and Daniell-Kolmogorov theorems. The numerical analysis have been presented for finite- and infinite-dimensional signals.


title: Identifying Self-Conjugate Partitions

abstract: A partition of a positive integer $n$ is defined as a non-increasing sequence $P = [y_0, y_1, ..., y_m]$ of positive integers which sum to $n$, where the $y_i$ are called the $parts$ of the partition. A Young diagram is a visual representation of a partition using rows of boxes, where each row of boxes corresponds to a part. The conjugate partition is similar to a transpose of a matrix; we switch the rows with columns, or the index of a part with the part itself. Self-conjugate partitions are partitions that are equal to their conjugate; previously, the only known way to verify whether a partition is self-conjugate was through the use of a Young diagram. In this research, by proving preliminary lemmas and theorems about easily identifiable shapes which are symmetric, we come to the main result: by simply adding the multiplicities of parts appropriately, we can show whether or not a partition is self-conjugate without the use of a Young diagram.


title: Geometry of symmetric spaces of type EVI

abstract: We generalize Atsuyama's result on the geometry of symmetric spaces of type EVI to the case of arbitrary field of characteristic zero. We relate the possible mutual positions of two points with the classification of balanced symplectic ternary algebras (also known as Freudenthal triple systems).


title: Independence of the Continuum Hypothesis: an Intuitive Introduction

abstract: The independence of the continuum hypothesis is a result of broad impact: it settles a basic question regarding the nature of N and R, two of the most familiar mathematical structures; it introduces the method of forcing that has become the main workhorse of set theory; and it has broad implications on mathematical foundations and on the role of syntax versus semantics. Despite its broad impact, it is not broadly taught. A main reason is the lack of accessible expositions for nonspecialists, because the mathematical structures and techniques employed in the proof are unfamiliar outside of set theory. This manuscript aims to take a step in addressing this gap by providing an exposition at a level accessible to advanced undergraduate mathematicians and theoretical computer scientists, while covering all the technically challenging parts of the proof.


title: Infinity is Not a Size

abstract: We present a dynamic model theory that avoids the paradoxes stemming from completed infinities, but does not require any translation of formulae. The main adoption is the replacement of an actual infinite carrier set by a potential infinite one, and by a finitistic interpretation of the universal quantifier.


title: On the Hurwitz Zeta Function and Its Applications to Hyperbolic Probability Distributions

abstract: In this paper, we propose a new proof of the Jensen formula in 1895. We also derive some formulas similar to those in Pitman and Yor, 2003. Besides, a new formula of the generalized Bernoulli function is also derived. At the end of the paper, the probability density functions of sinh and tanh are studied briefly for general cases.


title: Investigating student interpretations of the differences between classical and quantum computers: Are quantum computers just analog classical computers?

abstract: Significant attention in the PER community has been paid to student cognition and reasoning processes in undergraduate quantum mechanics. Until recently, however, these same topics have remained largely unexplored in the context of emerging interdisciplinary quantum information science (QIS) courses. We conducted exploratory interviews with 22 students in an upper-division quantum computing course at a large R1 university crosslisted in physics and computer science, as well as 6 graduate students in a similar graduate-level QIS course offered in physics. We classify and analyze students' responses to a pair of questions regarding the fundamental differences between classical and quantum computers. We specifically note two key themes of importance to educators: (1) when reasoning about computational power, students often struggled to distinguish between the relative effects of exponential and linear scaling, resulting in students frequently focusing on distinctions that are arguably better understood as analog-digital than classical-quantum, and (2) introducing the thought experiment of analog classical computers was a powerful tool for helping students develop a more expertlike perspective on the differences between classical and quantum computers.


title: Reflectors to quantales

abstract: In this paper, we show that marked quantales have a reflection into quantales. To obtain the reflection we construct free quantales over marked quantales using appropriate lower sets. A marked quantale is a posemigroup in which certain admissible subsets are required to have joins, and multiplication distributes over these. Sometimes are the admissible subsets in question specified by means of a so-called selection function. A distinguishing feature of the study of marked quantales is that a small collection of axioms of an elementary nature allows one to do much that is traditional at the level of quantales. The axioms are sufficiently general to include as examples of marked quantales the classes of posemigroups, $\sigma$-quantales, prequantales and quantales. Furthermore, we discuss another reflection to quantales obtained by the injective hull of a posemigroup.


title: A cosmological model with time dependent $\Lambda$, $G$ and viscous fluid in General Relativity

abstract: In this paper, we investigate Bianchi type$-V$ cosmological models with bulk viscous fluid and time varying cosmological $\Lambda$ and Newtonian $G$ parameters. The Einstein's field equations have been transformed into a coupling non-linear, first-order differential equations, and the fourth-order Runge-Kutta method of numerical integration has been used to integrate the differential equations with appropriate initial conditions consistent with current cosmological observations. We show that the model describes a universe that starts off with a negative cosmological term, as well as a matter-dominated and decelerated early epoch that, eventually becomes $\Lambda$-dominated and expanding with acceleration, in concordance with current observations.


title: The Physics of Time: Current Knowledge and Unanswered Challenges

abstract: In contemporary physics space and time are intertwined entities so that kinematical and dynamical quantities are expressed in the four-dimensional space-time. This formulation seems to contradict our every-day experience and perception according to which space and time are distinct entities. In this brief report we shall discuss these apparently antagonist views and analyse the underlying physical property of time, namely that it evolves from the past to the present, from the present to the future.


title: Towards an information description of space-time

abstract: We attempt to describe geometry in terms of informational quantities for the universe considered as a finite ensemble of correlated quantum particles. As the main dynamical principle, we use the conservation of the sum of all kinds of entropies: thermodynamic, quantum and informational. The fundamental constant of speed is interpreted as the information velocity for the world ensemble and also connected with the gravitational potential of the universe on a particle. The two postulates, which are enough to derive the whole theory of Special Relativity, are re-formulated as the principles of information entropy universality and finiteness of information density.


title: Effective Image Tampering Localization with Multi-Scale ConvNeXt Feature Fusion

abstract: With the widespread use of powerful image editing tools, image tampering becomes easy and realistic. Existing image forensic methods still face challenges of low generalization performance and robustness. In this letter, we propose an effective image tampering localization scheme based on ConvNeXt network and multi-scale feature fusion. Stacked ConvNeXt blocks are used as an encoder to capture hierarchical multi-scale features, which are then fused in decoder for locating tampered pixels accurately. Combined loss and effective data augmentation are adopted to further improve the model performance. Extensive experimental results show that localization performance of our proposed scheme outperforms other state-of-the-art ones. The source code will be available at https://github.com/ZhuHC98/ITL-SSN.


title: Transport of aerosols and nanoparticles through respirators and masks

abstract: In several countries wearing multiple surgical masks or N95 respirators was mandatory in public during the COVID pandemic. In this study, we investigated the transportation and filtering mechanism of heterogeneous nanoparticles and viruses through surgical masks and N95 respirators. We conducted experiments in vitro using aerosol spray paints containing nanoparticles and validated the findings in vivo on a human volunteer. Scanning electron microscopy was employed to analyse the transportation and distribution of nanoparticles in different mask layers and on pristine silicon substrates placed on human skin. We provide analytical insights into the pressure distribution and fluid velocity profiles within the complex polymer network. Remarkably, our results showed that both single surgical masks and N95 respirators demonstrated similar efficiency in filtering colloidal and jet-stream nanoparticles in the air. These comprehensive findings have significant implications for policymakers in defining regulations for airborne pandemics and air pollution control.

categories: physics.bio-ph physics.app-ph physics.chem-ph physics.flu-dyn


title: Recursive Session Logical Relations

abstract: Program equivalence is the fulcrum for reasoning about and proving properties of programs. For noninterference, for example, program equivalence up to the secrecy level of an observer is shown. A powerful enabler for such proofs are logical relations. Logical relations only recently were adopted for session types--but exclusively for terminating languages. This paper scales logical relations to recursive session types. It develops a logical relation for progress-sensitive noninterference for linear session types, tackling the challenges non-termination and concurrency pose. The contributions include secrecy-polymorphic processes and the logical relation with metatheory. A distinguishing feature is the choice of "step index" of the logical relation, allowing for a natural proof of transitivity and soundness.


title: Machine Learning guided high-throughput search of non-oxide garnets

abstract: Garnets, known since the early stages of human civilization, have found important applications in modern technologies including magnetorestriction, spintronics, lithium batteries, etc. The overwhelming majority of experimentally known garnets are oxides, while explorations (experimental or theoretical) for the rest of the chemical space have been limited in scope. A key issue is that the garnet structure has a large primitive unit cell, requiring an enormous amount of computational resources. To perform a comprehensive search of the complete chemical space for new garnets,we combine recent progress in graph neural networks with high-throughput calculations. We apply the machine learning model to identify the potential (meta-)stable garnet systems before systematic density-functional calculations to validate the predictions. In this way, we discover more than 600 ternary garnets with distances to the convex hull below 100~meV/atom with a variety of physical and chemical properties. This includes sulfide, nitride and halide garnets. For these, we analyze the electronic structure and discuss the connection between the value of the electronic band gap and charge balance.


title: Extendibility of Werner States

abstract: We investigate the two-sided symmetric extendibility problem of Werner states. The interplay of the unitary symmetry of these states and the inherent bipartite permutation symmetry of the extendibility scenario allows us to map this problem into the ground state problem of a highly symmetric spin-model Hamiltonian. We solve this ground state problem analytically by utilizing the representation theory of SU(d), in particular a result related to the dominance order of Young diagrams in Littlewood-Richarson decompositions. As a result, we obtain necessary and sufficient conditions for the extendibility of Werner states for arbitrary extension size and local dimension. Interestingly, the range of extendible states has a non-trivial trade-off between the extension sizes on the two sides. We compare our result with the two-sided extendibility problem of isotropic states, where there is no such trade-off.


title: A Solution to the Sign Problem Using a Sum of Controlled Few-Fermions

abstract: A restricted path integral method is proposed to simulate a type of quantum system or Hamiltonian called a sum of controlled few-fermions on a classical computer using Monte Carlo without a numerical sign problem. Then a universality is proven to assert that any bounded-error quantum polynomial time (BQP) algorithm can be encoded into a sum of controlled few-fermions and simulated efficiently using classical Monte Carlo. Therefore, BQP is precisely the same as the class of bounded-error probabilistic polynomial time (BPP), namely, BPP = BQP.


title: Characterization of graphs whose a small power of their edge ideals has a linear free resolution

abstract: Let $I(G)$ be the edge ideal of a simple graph $G$. We prove that $I(G)^2$ has a linear free resolution if and only if $G$ is gap-free and reg$I(G) \le 3$. Similarly, we show that $I(G)^3$ has a linear free resolution if and only if $G$ is gap-free and reg$I(G) \le 4$. We deduce these characterizations from a general formula for the regularity of powers of edge ideals of gap-free graphs $${\rm reg}(I(G)^s) = \max({\rm reg} I(G) + s-1,2s),$$ for $s =2,3$.


title: A Questionable Fundamental Basis for Quantum Computing Advantage

abstract: The widely accepted basis for quantum computing advantage is derived from the entanglement and superposition properties of the probabilistic interpretation of the underlying quantum mechanical formalism which in turn is widely accepted based upon results of Bell experiments. That advantage is questioned here in view of a locally real interpretation that is not negated by Bell experiments and under which entanglement and superposition are excluded.


title: Atomic Origin of Annealing Embrittlement in Metallic Glasses

abstract: An atomistic understanding of annealing embrittlement is a longstanding issue for metallic glasses, which is still lacking due to the insurmountable gap between the thermal history of atomic models and laboratory-made samples. Here, based on a thermal-cycling annealing method that can vary the effective quenching rate over ten orders of magnitude, we perform an atomistic study of the ductile-brittle transition in a ternary model metallic glass, which can be keyed to the annealing embrittlement in bulk metallic glasses. We reveal that thermal annealing can effectively obliterate thermally active-able "defects", which are abundant in the hyper-quenched and ductile glass but gives rise to strain-created shear events in the well-annealed and brittle glass. While the activation of the strain-created events eventually causes single shear banding, other local structural disruptions can be "healed" by the same type of events upon stress reversal, thereby hindering shear band broadening or multiplication, and resulting in annealing embrittlement.


title: The essence and origin of quantum theory

abstract: According to De Broglie's idea of analogy, the relation between quantum mechanics and classical mechanics is similar to that between wave optics and geometric optics, we have given the quantum equation of the gravitational field intensity $E_g(\vec{r},t)$ for matter particles, since the gravitational field intensity $E_g(\vec{r},t)$ relatives to the particle position distribution function $\psi(\vec{r},t)$, the quantum equation convert into the Schrodinger equation. In addition, we have further studied the essence and origin of quantum theory, and obtained some new results.


title: Rapid Blue- and Red-shifted Excursions in H$\alpha$ line profiles synthesized from realistic 3D MHD simulations

abstract: Rapid blue- and red-shifted events (RBEs/RREs) may have an important role in mass-loading and heating the solar corona, but their nature and origin are still debatable. We aim to model these features to learn more about their properties, formation and origin. A realistic three-dimensional (3D) magneto-hydrodynamic (MHD) model of a solar plage region is created. Synthetic H$\alpha$ spectra are generated and the spectral signatures of these features are identified. The magnetic field lines associated with these events are traced and the underlying dynamic is studied. The model reproduces well many properties of RBEs and RREs, such as spatial distribution, lateral movement, length and lifetimes. Synthetic H$\alpha$ line profiles, similarly to observed ones, show strong blue- or red-shift and asymmetries. These line profiles are caused by the vertical component of velocity with magnitudes larger than $30-40$ km/s that appear mostly in the height range of $2-4$ Mm. By tracing magnetic field lines, we show that the vertical velocity that causes the appearance of RBE/RREs to appear is always associated with the component of velocity perpendicular to the magnetic field line. The study confirms the hypothesis that RBEs and RREs are signs of Alfv{\'e}nic waves with, in some cases, a significant contribution from slow magneto-acoustic mode.


title: Moyal deformations, $W_{1+\infty}$ and celestial holography

abstract: We consider the Moyal deformation of self-dual gravity. In the conformal primary basis, holomorphic collinear limits of the amplitudes of this theory show that it enjoys a perturbatively exact symmetry algebra $LW_\wedge$ that generalises $Lw_\wedge$, the loop algebra of the wedge algebra of $w_{1+\infty}$, which appears in self-dual gravity.


title: Estimating gravimetric effects for ordinary bodies

abstract: The main topic of this article is a discussion about the best way to show students that the proportionality of mass and weight, strictly true for point-like particles, is an excellent approximation for objects of "normal" size. The usual way of addressing this issue, although very simple, is not entirely satisfactory. Our approach considers first and second order, coordinate dependent, gravimetric effects, connected to the internal geometry of objects; these effects, extremely small, are estimated through examples.


title: Fermionic contribution to the anomalous dimension of twist-2 operators in N=4 SYM theory, critical indices and integrability

abstract: We compute the contribution to the anomalous dimension of the twist-2 operators in N=4 SYM theory, which is proportional to the number of fermion loops inside Feynman diagrams or, formally, to the number of fermions. The result was obtained by the method based on the calculation of critical indices at the critical point by analogy with previous similar computations in scalar theories and in QCD. The obtained result is much simpler with compare to analogous results in QCD and almost satisfies the maximal transcedentality principle. A possible relation between the obtained result and integrability is discussed.


title: Frido: Feature Pyramid Diffusion for Complex Scene Image Synthesis

abstract: Diffusion models (DMs) have shown great potential for high-quality image synthesis. However, when it comes to producing images with complex scenes, how to properly describe both image global structures and object details remains a challenging task. In this paper, we present Frido, a Feature Pyramid Diffusion model performing a multi-scale coarse-to-fine denoising process for image synthesis. Our model decomposes an input image into scale-dependent vector quantized features, followed by a coarse-to-fine gating for producing image output. During the above multi-scale representation learning stage, additional input conditions like text, scene graph, or image layout can be further exploited. Thus, Frido can be also applied for conditional or cross-modality image synthesis. We conduct extensive experiments over various unconditioned and conditional image generation tasks, ranging from text-to-image synthesis, layout-to-image, scene-graph-to-image, to label-to-image. More specifically, we achieved state-of-the-art FID scores on five benchmarks, namely layout-to-image on COCO and OpenImages, scene-graph-to-image on COCO and Visual Genome, and label-to-image on COCO. Code is available at https://github.com/davidhalladay/Frido.