title: Power Management in Smart Residential Building with Deep Learning Model for Occupancy Detection by Usage Pattern of Electric Appliances

abstract: With the growth of smart building applications, occupancy information in residential buildings is becoming more and more significant. In the context of the smart buildings' paradigm, this kind of information is required for a wide range of purposes, including enhancing energy efficiency and occupant comfort. In this study, occupancy detection in residential building is implemented using deep learning based on technical information of electric appliances. To this end, a novel approach of occupancy detection for smart residential building system is proposed. The dataset of electric appliances, sensors, light, and HVAC, which is measured by smart metering system and is collected from 50 households, is used for simulations. To classify the occupancy among datasets, the support vector machine and autoencoder algorithm are used. Confusion matrix is utilized for accuracy, precision, recall, and F1 to demonstrate the comparative performance of the proposed method in occupancy detection. The proposed algorithm achieves occupancy detection using technical information of electric appliances by 95.7~98.4%. To validate occupancy detection data, principal component analysis and the t-distributed stochastic neighbor embedding (t-SNE) algorithm are employed. Power consumption with renewable energy system is reduced to 11.1~13.1% in smart buildings by using occupancy detection.


title: Quasipotentials for coupled escape problems and the gate-height bifurcation

abstract: The escape statistics of a gradient dynamical system perturbed by noise can be estimated using properties of the associated potential landscape. More generally, the Freidlin and Wentzell quasipotential (QP) can be used for similar purposes, but computing this is non-trivial and it is only defined relative to some starting point. In this paper we focus on computing quasipotentials for coupled bistable units, numerically solving a Hamilton-Jacobi-Bellman type problem. We analyse noise induced transitions using the QP in cases where there is no potential for the coupled system. Gates (points on the boundary of basin of attraction that have minimal QP relative to that attractor) are used to understand the escape rates from the basin, but these gates can undergo a global change as coupling strength is changed. Such a global gate-height bifurcation is a generic qualitative transitions in the escape properties of parametrised non-gradient dynamical systems for small noise.


title: Small coverage effect in epidemic network models shows that masks can become more effective with less people wearing them

abstract: The effectiveness of non-pharmaceutical interventions to curb the spread of SARS-CoV-2 is determined by numerous contextual factors, including adherence. Conventional wisdom holds that the effectiveness of protective behaviour such as wearing masks always increases with the number of people adopting it. Here we show in a simulation study that this is not true in general. We employ a parsimonious network model based on the well-established empirical facts that (i) adherence to such interventions wanes over time and (ii) individuals tend to align their adoption strategies with their close social ties (homophily). When combining these assumptions, a broad dynamical regime emerges where the individual-level infection risk reduction for those adopting protective behaviour increases as the adherence to protective behavior decreases. For instance, for a protective coverage of 10% we find the infection risk for adopting individuals can be reduced by close to 30% compared to situations where the coverage is 60%. Using estimates for the effectiveness of surgical masks, we find that reductions in relative risk of masking versus non-masking individuals range between 5% and 15%, i.e., vary by a factor of three. This small coverage effect originates from system-dynamical network properties that conspire to increase the chance that an outbreak will be over before the pathogen is able to invade small but tightly connected groups of individuals that protect themselves. Our results contradict the popular belief that masking becomes ineffectual as more people drop their masks and might have far-reaching implications for the protection of vulnerable population groups under resurgent infection waves.


title: WS-3D-Lane: Weakly Supervised 3D Lane Detection With 2D Lane Labels

abstract: Compared to 2D lanes, real 3D lane data is difficult to collect accurately. In this paper, we propose a novel method for training 3D lanes with only 2D lane labels, called weakly supervised 3D lane detection WS-3D-Lane. By assumptions of constant lane width and equal height on adjacent lanes, we indirectly supervise 3D lane heights in the training. To overcome the problem of the dynamic change of the camera pitch during data collection, a camera pitch self-calibration method is proposed. In anchor representation, we propose a double-layer anchor with a improved non-maximum suppression (NMS) method, which enables the anchor-based method to predict two lane lines that are close. Experiments are conducted on the base of 3D-LaneNet under two supervision methods. Under weakly supervised setting, our WS-3D-Lane outperforms previous 3D-LaneNet: F-score rises to 92.3% on Apollo 3D synthetic dataset, and F1 rises to 74.5% on ONCE-3DLanes. Meanwhile, WS-3D-Lane in purely supervised setting makes more increments and outperforms state-of-the-art. To the best of our knowledge, WS-3D-Lane is the first try of 3D lane detection under weakly supervised setting.


title: Control Barrier Functions in UGVs for Kinematic Obstacle Avoidance: A Collision Cone Approach

abstract: In this paper, we propose a new class of Control Barrier Functions (CBFs) for Unmanned Ground Vehicles (UGVs) that help avoid collisions with kinematic (non-zero velocity) obstacles. While the current forms of CBFs have been successful in guaranteeing safety/collision avoidance with static obstacles, extensions for the dynamic case have seen limited success. Moreover, with the UGV models like the unicycle or the bicycle, applications of existing CBFs have been conservative in terms of control, i.e., steering/thrust control has not been possible under certain scenarios. Drawing inspiration from the classical use of collision cones for obstacle avoidance in trajectory planning, we introduce its novel CBF formulation with theoretical guarantees on safety for both the unicycle and bicycle models. The main idea is to ensure that the velocity of the obstacle w.r.t. the vehicle is always pointing away from the vehicle. Accordingly, we construct a constraint that ensures that the velocity vector always avoids a cone of vectors pointing at the vehicle. The efficacy of this new control methodology is later verified by Pybullet simulations on TurtleBot3 and F1Tenth.


title: Broad resonance structure in $e^+e^-\to f_1(1285)\pi^+\pi^-$ and higher $\rho$-meson excitations

abstract: Recently, the BaBar Collaboration reported a broad resonance structure near 2 GeV when analyzing the $e^+e^-\to f_1(1285)\pi^+\pi^-$ process, which provides a good opportunity to study the higher $\rho$-mesonic states. When considering the $\rho(1900)$ and $\rho(2150)$ contributions, the experimental data of the cross section of $e^+e^-\to f_1(1285)\pi^+\pi^-$ around 2 GeV can be well depicted, especially the observed broad resonance structure in $e^+e^-\to f_1(1285)\pi^+\pi^-$ containing two substructures is suggested by the present work. Additionally, we also indicate a possible signal of $\rho(5S)$ around 2.5 GeV in the $e^+e^-\to f_1(1285)\pi^+\pi^-$ process. The obtained result may provide a valuable hint to identify higher $\rho$ mesons, which will be a new task for the BESIII and Belle II experiments with the accumulation of higher precision data.


title: Statistical shape representations for temporal registration of plant components in 3D

abstract: Plants are dynamic organisms and understanding temporal variations in vegetation is an essential problem for robots in the wild. However, associating repeated 3D scans of plants across time is challenging. A key step in this process is re-identifying and tracking the same individual plant components over time. Previously, this has been achieved by comparing their global spatial or topological location. In this work, we demonstrate how using shape features improves temporal organ matching. We present a landmark-free shape compression algorithm, which allows for the extraction of 3D shape features of leaves, characterises leaf shape and curvature efficiently in few parameters, and makes the association of individual leaves in feature space possible. The approach combines 3D contour extraction and further compression using Principal Component Analysis (PCA) to produce a shape space encoding, which is entirely learned from data and retains information about edge contours and 3D curvature. Our evaluation on temporal scan sequences of tomato plants shows, that incorporating shape features improves temporal leaf-matching. A combination of shape, location, and rotation information proves most informative for recognition of leaves over time and yields a true positive rate of 75%, a 15% improvement on sate-of-the-art methods. This is essential for robotic crop monitoring, which enables whole-of-lifecycle phenotyping.


title: An artificial neural network-based system for detecting machine failures using tiny sound data: A case study

abstract: In an effort to advocate the research for a deep learning-based machine failure detection system, we present a case study of our proposed system based on a tiny sound dataset. Our case study investigates a variational autoencoder (VAE) for augmenting a small drill sound dataset from Valmet AB. A Valmet dataset contains 134 sounds that have been divided into two categories: "Anomaly" and "Normal" recorded from a drilling machine in Valmet AB, a company in Sundsvall, Sweden that supplies equipment and processes for the production of biofuels. Using deep learning models to detect failure drills on such a small sound dataset is typically unsuccessful. We employed a VAE to increase the number of sounds in the tiny dataset by synthesizing new sounds from original sounds. The augmented dataset was created by combining these synthesized sounds with the original sounds. We used a high-pass filter with a passband frequency of 1000 Hz and a low-pass filter with a passband frequency of 22\kern 0.16667em000 Hz to pre-process sounds in the augmented dataset before transforming them to Mel spectrograms. The pre-trained 2D-CNN Alexnet was then trained using these Mel spectrograms. When compared to using the original tiny sound dataset to train pre-trained Alexnet, using the augmented sound dataset enhanced the CNN model's classification results by 6.62\%(94.12\% when trained on the augmented dataset versus 87.5\% when trained on the original dataset).


title: Orbital-selective time-domain signature of nematicity dynamics in the charge-density-wave phase of La$_{1.65}$Eu$_{0.2}$Sr$_{0.15}$CuO$_4$

abstract: Understanding the interplay between charge, nematic, and structural ordering tendencies in cuprate superconductors is critical to unraveling their complex phase diagram. Using pump-probe time-resolved resonant x-ray scattering on the (0 0 1) Bragg peak at the Cu $L_3$ and O $K$ resonances, we investigate non-equilibrium dynamics of $Q_a = Q_b = 0$ nematic order and its association with both charge density wave (CDW) order and lattice dynamics in La$_{1.65}$Eu$_{0.2}$Sr$_{0.15}$CuO$_4$. The orbital selectivity of the resonant x-ray scattering cross-section allows nematicity dynamics associated with the planar O 2$p$ and Cu 3$d$ states to be distinguished from the response of anisotropic lattice distortions. A direct time-domain comparison of CDW translational-symmetry breaking and nematic rotational-symmetry breaking reveals that these broken symmetries remain closely linked in the photoexcited state, consistent with the stability of CDW topological defects in the investigated pump fluence regime.


title: Quadratic estimates for degenerate elliptic systems on manifolds with lower Ricci curvature bounds and boundary value problems

abstract: Weighted quadratic estimates are proved for certain bisectorial firstorder differential operators with bounded measurable coefficients which are (not necessarily pointwise) accretive, on complete manifolds with positive injectivity radius. As compared to earlier results, Ricci curvature is only assumed to be bounded from below, and the weight is only assumed to be locally in A^2. The Kato square root estimate is proved under this weaker assumption. On compact Lipschitz manifolds we prove solvability estimates for solutions to degenerate elliptic systems with not necessarily self-adjoint coefficients, and with Dirichlet, Neumann and Atiyah-Patodi-Singer boundary conditions.


title: Solving Robot Assembly Tasks by Combining Interactive Teaching and Self-Exploration

abstract: Many high precision (dis)assembly tasks are still being performed by humans, whereas this is an ideal opportunity for automation. This paper provides a framework which enables a non-expert human operator to teach a robotic arm to do complex precision tasks. The framework uses a variable Cartesian impedance controller to execute trajectories learned from kinesthetic human demonstrations. Feedback can be given to interactively reshape or speed up the original demonstration. Board localization is done through a visual estimation of the task board position and refined through haptic feedback. Our framework is tested on the Robothon benchmark disassembly challenge, where the robot has to perform complex precision tasks, such as a key insertion. The results show high success rates for each of the manipulation subtasks, including cases when the box is in novel poses. An ablation study is also performed to evaluate the components of the framework.


title: Deep Learning-based Anonymization of Chest Radiographs: A Utility-preserving Measure for Patient Privacy

abstract: Robust and reliable anonymization of chest radiographs constitutes an essential step before publishing large datasets of such for research purposes. The conventional anonymization process is carried out by obscuring personal information in the images with black boxes and removing or replacing meta-information. However, such simple measures retain biometric information in the chest radiographs, allowing patients to be re-identified by a linkage attack. Therefore, there is an urgent need to obfuscate the biometric information appearing in the images. We propose the first deep learning-based approach (PriCheXy-Net) to targetedly anonymize chest radiographs while maintaining data utility for diagnostic and machine learning purposes. Our model architecture is a composition of three independent neural networks that, when collectively used, allow for learning a deformation field that is able to impede patient re-identification. Quantitative results on the ChestX-ray14 dataset show a reduction of patient re-identification from 81.8% to 57.7% (AUC) after re-training with little impact on the abnormality classification performance. This indicates the ability to preserve underlying abnormality patterns while increasing patient privacy. Lastly, we compare our proposed anonymization approach with two other obfuscation-based methods (Privacy-Net, DP-Pix) and demonstrate the superiority of our method towards resolving the privacy-utility trade-off for chest radiographs.


title: Metastability from the large deviations point of view: A $\Gamma$-expansion of the level two large deviations rate functional of non-reversible finite-state Markov chains

abstract: Consider a sequence of continuous-time Markov chains $(X^{(n)}_t:t\ge 0)$ evolving on a fixed finite state space $V$. Let $I_n$ be the level two large deviations rate functional for $X^{(n)}_t$, as $t\to\infty$. Under a hypothesis on the jump rates, we prove that $I_n$ can be written as $I_n = I^{(0)} \,+\, \sum_{1\le p\le q} (1/\theta^{(p)}_n) \, I^{(p)}$ for some rate functionals $I^{(p)}$. The weights $\theta^{(p)}_n$ correspond to the time-scales at which the sequence of Markov chains $X^{(n)}_t$ exhibit a metastable behavior, and the zero level sets of the rate functionals $I^{(p)}$ identify the metastable states.


title: A Unified Perspective on Natural Gradient Variational Inference with Gaussian Mixture Models

abstract: Variational inference with Gaussian mixture models (GMMs) enables learning of highly tractable yet multi-modal approximations of intractable target distributions with up to a few hundred dimensions. The two currently most effective methods for GMM-based variational inference, VIPS and iBayes-GMM, both employ independent natural gradient updates for the individual components and their weights. We show for the first time, that their derived updates are equivalent, although their practical implementations and theoretical guarantees differ. We identify several design choices that distinguish both approaches, namely with respect to sample selection, natural gradient estimation, stepsize adaptation, and whether trust regions are enforced or the number of components adapted. We argue that for both approaches, the quality of the learned approximations can heavily suffer from the respective design choices: By updating the individual components using samples from the mixture model, iBayes-GMM often fails to produce meaningful updates to low-weight components, and by using a zero-order method for estimating the natural gradient, VIPS scales badly to higher-dimensional problems. Furthermore, we show that information-geometric trust-regions (used by VIPS) are effective even when using first-order natural gradient estimates, and often outperform the improved Bayesian learning rule (iBLR) update used by iBayes-GMM. We systematically evaluate the effects of design choices and show that a hybrid approach significantly outperforms both prior works. Along with this work, we publish our highly modular and efficient implementation for natural gradient variational inference with Gaussian mixture models, which supports 432 different combinations of design choices, facilitates the reproduction of all our experiments, and may prove valuable for the practitioner.


title: An Interdisciplinary Perspective on Evaluation and Experimental Design for Visual Text Analytics: Position Paper

abstract: Appropriate evaluation and experimental design are fundamental for empirical sciences, particularly in data-driven fields. Due to the successes in computational modeling of languages, for instance, research outcomes are having an increasingly immediate impact on end users. As the gap in adoption by end users decreases, the need increases to ensure that tools and models developed by the research communities and practitioners are reliable, trustworthy, and supportive of the users in their goals. In this position paper, we focus on the issues of evaluating visual text analytics approaches. We take an interdisciplinary perspective from the visualization and natural language processing communities, as we argue that the design and validation of visual text analytics include concerns beyond computational or visual/interactive methods on their own. We identify four key groups of challenges for evaluating visual text analytics approaches (data ambiguity, experimental design, user trust, and "big picture" concerns) and provide suggestions for research opportunities from an interdisciplinary perspective.


title: The path to 5G-Advanced and 6G Non-Terrestrial Network systems

abstract: Today, 5G networks are being worldwide rolled out, with significant benefits in our economy and society. However, 5G systems alone are not expected to be sufficient for the challenges that 2030 networks will experience, including, e.g., always-on networks, 1 Tbps peak data rate, <10 cm positioning, etc. Thus, the definition of evolutions of the 5G systems and their (r)evolutions are already being addressed by the scientific and industrial communities, targeting 5G-Advanced (5G-A) and 6G. In this framework, Non-Terrestrial Networks (NTN) have successfully been integrated in 3GPP Rel. 17 and it is expected that they will play an even more pivotal role for 5G-A (up to Rel. 20) and 6G systems (beyond Rel. 20). In this paper, we explore the path that will lead to 5G-A and 6G NTN communications, providing a clear perspective in terms of system architecture, services, technologies, and standardisation roadmap.


title: Oscillating Solitons and AC Josephson Effect in Ferromagnetic Bose-Bose Mixtures

abstract: Close to the demixing transition, the degree of freedom associated to relative density fluctuations of a two-component Bose-Einstein condensate is described by a non-dissipative Landau-Lifshitz equation. In the quasi one-dimensional weakly immiscible case, this mapping surprisingly predicts that a dark-bright soliton should oscillate when subject to a constant force favoring separation of the two components. We propose a realistic experimental implementation of this phenomenon which we interpret as a spin-Josephson effect in the presence of a movable barrier.


title: Planar graph with twin-width seven

abstract: We construct a planar graph with twin-width equal to seven.


title: Nonequilibrium design strategies for functional colloidal assemblies

abstract: We use a nonequilibrium variational principle to optimize the steady-state, shear-induced interconversion of self-assembled nanoclusters of DNA-coated colloids. Employing this principle within a stochastic optimization algorithm allows us to discover design strategies for functional materials. We find that far-from-equilibrium shear flow can significantly enhance the flux between specific colloidal states by decoupling trade-offs between stability and reactivity required by systems in equilibrium. For isolated nanoclusters, we find nonequilibrium strategies for amplifying transition rates by coupling a given reaction coordinate to the background shear flow. We also find that shear flow can be made to selectively break detailed balance and maximize probability currents by coupling orientational degrees of freedom to conformational transitions. For a microphase consisting of many nanoclusters, we study the flux of colloids hopping between clusters. We find that a shear flow can amplify the flux without a proportional compromise on the microphase structure. This approach provides a general means of uncovering design principles for nanoscale, autonomous, functional materials driven far from equilibrium.


title: Quantile-constrained Wasserstein projections for robust interpretability of numerical and machine learning models

abstract: Robustness studies of black-box models is recognized as a necessary task for numerical models based on structural equations and predictive models learned from data. These studies must assess the model's robustness to possible misspecification of regarding its inputs (e.g., covariate shift). The study of black-box models, through the prism of uncertainty quantification (UQ), is often based on sensitivity analysis involving a probabilistic structure imposed on the inputs, while ML models are solely constructed from observed data. Our work aim at unifying the UQ and ML interpretability approaches, by providing relevant and easy-to-use tools for both paradigms. To provide a generic and understandable framework for robustness studies, we define perturbations of input information relying on quantile constraints and projections with respect to the Wasserstein distance between probability measures, while preserving their dependence structure. We show that this perturbation problem can be analytically solved. Ensuring regularity constraints by means of isotonic polynomial approximations leads to smoother perturbations, which can be more suitable in practice. Numerical experiments on real case studies, from the UQ and ML fields, highlight the computational feasibility of such studies and provide local and global insights on the robustness of black-box models to input perturbations.


title: Self-diffusion in inhomogeneous granular shearing flows

abstract: In this letter, we discuss how flow inhomogeneity affects the self-diffusion behavior in granular flows. Whereas self-diffusion scalings have been well characterized in the past for homogeneous shearing, the effect of shear localization and nonlocality of the flow has not been studied. We therefore present measurements of self-diffusion coefficients in discrete numerical simulations of steady, inhomogeneous, and collisional shearing flows of nearly identical, frictional, and inelastic spheres. We focus on a wide range of dense solid volume fractions, that correspond to geophysical and industrial shearing flows that are dominated by collisional interactions. We compare the measured values first, with a scaling based on shear rate and, then, on a scaling based on the granular temperature. We find that the latter does much better than the former in collapsing the data. The results lay the foundations of diffusion models for inhomogeneous shearing flows, which should be useful in treating problems of mixing and segregation.


title: Higgs inflation model with non-minimal coupling in hybrid Palatini approach

abstract: The inflation model with non-minimal coupling scalar field in the context of the hybrid metric Palatini is studied in this paper. We derive the Einstein's field equations, the equations of motion of the scalar field. Furthermore,the background and the perturbative parameters are obtained by means of Friedmann equation in the slow roll regime. The analysis of cosmological perturbations allowed us to obtain the main inflationary parameters such as the scalar spectral index $n_s$ and the tensor to scalar ratio $r$. In this perspective, as an application of our analysis, we consider the Higgs field with quartic potential which plays the inflaton role, and we show that the predictions of Higgs hybrid inflation are in good agreement with recent observational data \cite{Akrami:2018odb}.


title: Elliptic Hamilton-Jacobi systems and Lane-Emden Hardy-H{\'e}non equations

abstract: Here we study the solutions of any sign of the system --$\Delta$u 1 = |$\nabla$u 2 | p , --$\Delta$u 2 = |$\nabla$u 1 | q , in a domain of R N , N 3 and p, q > 0, pq > 1.. We show their relation with Lane-Emden Hardy-H{\'e}non equations --$\Delta$ N p w= $\epsilon$r $\sigma$ w q , $\epsilon$ = $\pm$1, where u $\rightarrow$ $\Delta$ N p u (p > 1) is the p-Laplacian in dimension N, q > p -- 1 and $\sigma$ $\in$ R. This leads us to explore these equations in not often tackled ranges of the parameters N, p, $\sigma$. We make a complete description of the radial solutions of the system and of the Hardy-Henon equations and give nonradial a priori estimates and Liouville type results.


title: A decomposition Theorem for pointed braided Hopf algebras

abstract: A known fundamental Theorem for braided pointed Hopf algebras states that for each coideal subalgebra, that fulfils a few properties, there is an associated quotient coalgebra right module such that the braided Hopf algebra can be decomposed into a tensor product of these two. Often one considers braided Hopf algebras in a Yetter-Drinfeld category of an ordinary Hopf algebra. In this case the braided Hopf algebra is in particular a comodule, as well as many interesting coideal subalgebras. We extend the mentioned Theorem by proving that the decomposition is compatible with this comodule structure if the underlying ordinary Hopf algebra is cosemisimple.


title: Weak K.A.M. solutions and minimizing orbits of twist maps

abstract: For exact symplectic twist maps of the annulus, we etablish a choice of weak K.A.M. solutions $u_c=u(\cdot, c)$ that depend in a Lipschitz-continuous way on the cohomology class $c$. This allows us to make a bridge between weak K.A.M. theory of Fathi, Aubry-Mather theory for semi-orbits as developped by Bangert and existence of backward invariant pseudo-foliations as seen by Katnelson \& Ornstein. We deduce a very precise description of the pseudographs of the weak K.A.M. solutions and many interesting results as --the Aubry-Mather sets are contained in pseudographs that are vertically ordered by their rotation numbers; --on every image of a vertical of the annulus, there is at most two points whose negative orbit is minimizing with a given rotation number; --all the corresponding pseudographs are filled by minimizing semi-orbits and we provide a description of a smaller selection of full pseudographs whose union contains all the minimizing orbits; --there exists an exact symplectic twist map that has a minimizing negative semi-orbit that is not contained in the pseudograph of a weak K.A.M. solution.


title: Analysis on Blockchain Consensus Mechanism Based on Proof of Work and Proof of Stake

abstract: In the white book of Bitcion, Satoshi Nakamoto described a bitcoin system that can realize point-to-point online payment without a third-party organization. After supporting this magical application scenario and subverting the traditional centralized system, the blockchain technology has attracted worldwide attention, triggered a research upsurge of blockchain consensus algorithm, and produced a large number of innovative applications. Although various consensus algorithms continue to evolve with the iteration of blockchain products and applications, Proof of Work (POW) and Proof of Skake (POS) algorithms are still the core of consensus algorithms. This paper discusses two algorithms of POW and POS in blockchain consensus mechanism, and analyzes the advantages and the existing problems of the two consensus mechanisms. Since consensus mechanism is the main focus of blockchain technology and has many influencing factors, this paper discusses the current problems and some improved ideas, and selects some typical algorithms for a more systematic introduction. In addition, some important issues related to safety and performance are also discussed. This paper provides the researchers a great reference on blockchain consensus mechanism.


title: Solvent quality dependent osmotic pressure of polymer solutions in two dimensions

abstract: Confined in two dimensional planes, polymer chains comprising dense monolayer solution are segregated from each other due to topological interaction. Although the segregation is inherent in two dimensions (2D), the solution may display different properties depending on the solvent quality. Among others, it is well known in both theory and experiment that the osmotic pressure ($\Pi$) in the semi-dilute regime displays solvent quality-dependent increases with the area fraction ($\phi$) (or monomer concentration, $\rho$), that is, $\Pi\sim \phi^3$ for good solvent and $\Pi\sim \phi^8$ for $\Theta$ solvent. The osmotic pressure can be associated with the Flory exponent (or the correlation length exponent) for the chain size and the pair distribution function of monomers; however, they do not necessarily offer a detailed microscopic picture leading to the difference. To gain microscopic understanding into the different surface pressure isotherms of polymer solution under the two distinct solvent conditions, we study the chain configurations of polymer solution based on our numerical simulations that semi-quantitatively reproduce the expected scaling behaviors. Notably, at the same value of $\phi$, polymer chains in $\Theta$ solvent occupy the surface in a more \emph{inhomogeneous} manner than the chains in good solvent, yielding on average a greater and more heterogeneous interstitial void size, which is related to the fact that the polymer in $\Theta$ solvent has a greater correlation length. The polymer configurations and interstitial voids visualized and quantitatively analyzed in this study offer microscopic understanding to the origin of the solvent quality dependent osmotic pressure of 2D polymer solutions.


title: Comparing energy dissipation mechanisms within the vortex dynamics of gap and gapless nano-sized superconductors

abstract: The presence of magnetic fields and/or transport currents can cause penetration of vortices in superconductors. Their motion leads to dissipation and resistive state arises, which in turn strongly affects the performance of superconducting devices such as single-photon and single-electron detectors. Therefore, an understanding of the dissipation mechanisms in mesoscopic superconductors is not only of fundamental value but also very important for further technological advances. In the present work, we analyzed the contributions and interplay of the dissipative mechanisms due to the locally induced electric field and an intrinsic relaxation of the superconducting order parameter, $\Psi$, in mesoscopic samples by using the time-dependent Ginzburg-Landau theory. Although often neglected, we show that the dissipated energy due to relaxation of $\Psi$ must be taken into account for an adequate description of the total dissipated energy. The local increase of the temperature due to vortex motion and its diffusion in the sample were also analyzed, where the joint effect of thermal relaxation and vortex dynamics plays an important role for the dissipative properties presented by the superconducting systems.


title: Dynamics of Pop-Tsack Torsing

abstract: For a finite irreducible Coxeter group $(W,S)$ with a fixed Coxeter element $c$ and set of reflections $T$, Defant and Williams define a pop-tsack torsing operation $\mathrm{Popt}\colon W \to W$ given by $\mathrm{Popt}(w) = w \cdot \pi_T(w)^{-1}$ where $\pi_T(w) = \bigvee_{t \leq_{T}w, \ t \in T}^{NC(w,c)}t$ is the join of all reflections lying below $w$ in the absolute order in the non-crossing partition lattice $NC(w,c)$. This is a "dual" notion of the pop-stack sorting operator $\mathrm{Pops}$ introduced by Defant as a way to generalize the pop-stack sorting operator on $\mathfrak{S}_n$ to general Coxeter groups. Define the forward orbit of an element $w \in W$ to be $O_{\mathrm{Popt}}(w) = \{w, \mathrm{Popt}(w), \mathrm{Popt}^2(w), \ldots \}$. Defant and Williams established the length of the longest possible forward orbits $\max_{w \in W}|O_{\mathrm{Popt}}(w)|$ for Coxeter groups of coincidental types and type $D$ in terms of the corresponding Coxeter number of the group. In their paper, they also proposed multiple conjectures about enumerating elements with near maximal orbit length. We resolve all the conjectures that they have put forth about enumeration, and in the process we give complete classifications of these elements of Coxeter groups of types $A,B$ and $D$ with near maximal orbit lengths.


title: MAGIC: Mask-Guided Image Synthesis by Inverting a Quasi-Robust Classifier

abstract: We offer a method for one-shot mask-guided image synthesis that allows controlling manipulations of a single image by inverting a quasi-robust classifier equipped with strong regularizers. Our proposed method, entitled MAGIC, leverages structured gradients from a pre-trained quasi-robust classifier to better preserve the input semantics while preserving its classification accuracy, thereby guaranteeing credibility in the synthesis. Unlike current methods that use complex primitives to supervise the process or use attention maps as a weak supervisory signal, MAGIC aggregates gradients over the input, driven by a guide binary mask that enforces a strong, spatial prior. MAGIC implements a series of manipulations with a single framework achieving shape and location control, intense non-rigid shape deformations, and copy/move operations in the presence of repeating objects and gives users firm control over the synthesis by requiring to simply specify binary guide masks. Our study and findings are supported by various qualitative comparisons with the state-of-the-art on the same images sampled from ImageNet and quantitative analysis using machine perception along with a user survey of 100+ participants that endorse our synthesis quality. Project page at https://mozhdehrouhsedaghat.github.io/magic.html. Code is available at https://github.com/mozhdehrouhsedaghat/magic


title: Bubble size distribution and electrode coverage at porous nickel electrodes in a novel 3-electrode flow-through cell

abstract: A novel 3-electrode cell type is introduced to run parametrical studies of H$_2$ evolution in an alkaline electrolyte on porous electrodes. Electrochemical methods combined with a high-speed optical measurement system are applied simultaneously to characterize the electrodes and the bubble dynamics in terms of bubble size distribution and coverage of the working electrode. Three different cathodes made of expanded nickel are investigated at applied current densities of |j| = 10 to 200 mA cm$^{-2}$ without forced flow and at a flow rate of 5 ml min$^{-1}$. The applied current density is found to significantly influence both the size of detached bubbles and the surface coverage of the working electrode. The forced flow through the cathodes is found to strongly reduce the bubble size up to current densities of about 100 mA cm$^{-2}$, whereas the initial transient until the cathode surface is completely covered by bubbles is only marginally affected by the flow-through.


title: Comparative analysis of physical properties of some binary transition metal carbides XC (X = Nb, Ta, Ti): Insights from a comprehensive ab-initio study

abstract: Binary metallic carbides belong to a technologically prominent class of materials. We have explored the structural, mechanical, electronic, optical, and some thermophysical properties of XC (X = Nb, Ta, Ti) binary metallic carbides in details employing first-principles method. Some of the results obtained are novel. A comparative analysis has been made.


title: Overview of CNM LGAD results: Boron Si-on-Si and epitaxial wafers

abstract: Low Gain Avalanche Detectors (LGADs) are n-on-p silicon sensors with an extra p-layer below the collection electrode which provides signal amplification. When the primary electrons reach the amplification region new electron-hole pairs are created that enhance the generated signal. The moderate gain of these sensors, together with the relatively thin active region, provide precise time information for minimum ionizing particles. To mitigate the effect of pile-up at the HL-LHC the ATLAS and CMS experiments have chosen the LGAD technology for the High Granularity Timing Detector (HGTD) and for the End-Cap Timing Layer (ETL), respectively. A full characterization of recent productions of LGAD sensors fabricated at CNM has been carried out before and after neutron irradiation up to 2.5 $\times$ 10$^{15}$ n$_{eq}$/cm$^{2}$ . Boron-doped sensors produced in epitaxial and Si-on-Si wafers have been studied. The results include their electrically characterization (IV and bias voltage stability) and performance studies (charge and time resolution) for single pad devices with a Sr-90 radioactive source set-up. The behaviour of the Inter-Pad region for irradiated 2 $\times$ 2 LGAD arrays, using the Transient Current Technique (TCT), is shown. The results indicate that the Si-on-Si devices with higher resistivity perform better than the epitaxial ones.


title: On Efficient Reinforcement Learning for Full-length Game of StarCraft II

abstract: StarCraft II (SC2) poses a grand challenge for reinforcement learning (RL), of which the main difficulties include huge state space, varying action space, and a long time horizon. In this work, we investigate a set of RL techniques for the full-length game of StarCraft II. We investigate a hierarchical RL approach involving extracted macro-actions and a hierarchical architecture of neural networks. We investigate a curriculum transfer training procedure and train the agent on a single machine with 4 GPUs and 48 CPU threads. On a 64x64 map and using restrictive units, we achieve a win rate of 99% against the level-1 built-in AI. Through the curriculum transfer learning algorithm and a mixture of combat models, we achieve a 93% win rate against the most difficult non-cheating level built-in AI (level-7). In this extended version of the paper, we improve our architecture to train the agent against the cheating level AIs and achieve the win rate against the level-8, level-9, and level-10 AIs as 96%, 97%, and 94%, respectively. Our codes are at https://github.com/liuruoze/HierNet-SC2. To provide a baseline referring the AlphaStar for our work as well as the research and open-source community, we reproduce a scaled-down version of it, mini-AlphaStar (mAS). The latest version of mAS is 1.07, which can be trained on the raw action space which has 564 actions. It is designed to run training on a single common machine, by making the hyper-parameters adjustable. We then compare our work with mAS using the same resources and show that our method is more effective. The codes of mini-AlphaStar are at https://github.com/liuruoze/mini-AlphaStar. We hope our study could shed some light on the future research of efficient reinforcement learning on SC2 and other large-scale games.


title: mmWall: A Transflective Metamaterial Surface for mmWave Networks

abstract: Mobile operators are poised to leverage millimeter wave technology as 5G evolves, but despite efforts to bolster their reliability indoors and outdoors, mmWave links remain vulnerable to blockage by walls, people, and obstacles. Further, there is significant interest in bringing outdoor mmWave coverage indoors, which for similar reasons remains challenging today. This paper presents the design, hardware implementation, and experimental evaluation of mmWall, the first electronically almost-360 degree steerable metamaterial surface that operates above 24 GHz and both refracts or reflects incoming mmWave transmissions. Our metamaterial design consists of arrays of varactor-split ring resonator unit cells, miniaturized for mmWave. Custom control circuitry drives each resonator, overcoming coupling challenges that arise at scale. Leveraging beam steering algorithms, we integrate mmWall into the link layer discovery protocols of common mmWave networks. We have fabricated a 10 cm by 20 cm mmWall prototype consisting of a 28 by 76 unit cell array, and evaluate in indoor, outdoor-to-indoor, and multi-beam scenarios. Indoors, mmWall guarantees 91% of locations outage-free under 128-QAM mmWave data rates and boosts SNR by up to 15 dB. Outdoors, mmWall reduces the probability of complete link failure by a ratio of up to 40% under 0-80% path blockage and boosts SNR by up to 30 dB.


title: Analysis of Fault Tolerant Multi-stage Switch Architecture for TSN

abstract: We conducted the feasibility analysis of utilizing a highly available multi-stage architecture for TSN switches used for sending high priority, mission-critical traffic within a bounded latency instead of traditional single-stage architectures. To verify the TSN functionality, we implemented the 'strict priority' feature. We evaluated the performance of both architectures on multiple parameters such as fault tolerance, packet latency, throughput, reliability, path length effectiveness, and cost per unit. The fault tolerance analysis demonstrated that the multi-stage architecture fairs better than the single-stage counterpart. The average latency and throughput performance of multi-stage architectures, although low, can be considered comparable with single-stage counterparts. However, the multi-stage architecture fails to meet the performance of single-stage architectures on parameters such as reliability, path length effectiveness, and cost-effectiveness. The improved fault tolerance comes at the cost of increased hardware resources, cost, and complexity. However, with the advent of cost-effective technologies in hardware design and efficient architecture designs, the multi-stage switching architecture-based TSN switches can be made reasonably comparable to single-stage switching TSN switches. This work gives initial confidence that the multi-stage architecture can be pursued further for safety-critical systems that require determinism and reliability in the communication of critical messages.


title: Asymmetry effects on the phases of RKKY-coupled two-impurity Kondo systems

abstract: In a related work [arXiv:2106.07519] we have shown that in the two-impurity Anderson (2iA) model with two hosts coupled by spin exchange in the most symmetric case there are either two phase transitions or none. The phases comprise the conventional Kondo and RKKY regimes and a novel one, interpreted as a Kondo-stabilized, metallic quantum spin liquid (QSL). Here we analyze how various types of asymmetry affect this picture. We demonstrate that the transitions are robust against the coupling and particle-hole asymmetries, provided charge transfer is forbidden. This holds true despite the scattering phase shift at each impurity taking non-universal values. Finally, for an extended model including charge transfer between the hosts and a small Coulomb interaction at the host sites directly coupled to impurities, we show that the presence of charge transfer changes the phase transitions into crossovers. Provided the inter-host hopping is sufficiently small, this leads to qualitatively the same physics at non-zero temperature. The relevance of this model for rare-earth atoms in a metallic host is discussed and potential experimental setups for observing our findings are proposed.


title: Applications of Machine Learning in Chemical and Biological Oceanography

abstract: Machine learning (ML) refers to computer algorithms that predict a meaningful output or categorize complex systems based on a large amount of data. ML is applied in various areas including natural science, engineering, space exploration, and even gaming development. This review focuses on the use of machine learning in the field of chemical and biological oceanography. In the prediction of global fixed nitrogen levels, partial carbon dioxide pressure, and other chemical properties, the application of ML is a promising tool. Machine learning is also utilized in the field of biological oceanography to detect planktonic forms from various images (i.e., microscopy, FlowCAM, and video recorders), spectrometers, and other signal processing techniques. Moreover, ML successfully classified the mammals using their acoustics, detecting endangered mammalian and fish species in a specific environment. Most importantly, using environmental data, the ML proved to be an effective method for predicting hypoxic conditions and harmful algal bloom events, an essential measurement in terms of environmental monitoring. Furthermore, machine learning was used to construct a number of databases for various species that will be useful to other researchers, and the creation of new algorithms will help the marine research community better comprehend the chemistry and biology of the ocean.


title: Local Randomization Regression Discontinuity Designs when Test Scores are the Running Variable

abstract: Explanations of the internal validity of regression discontinuity designs (RDD) generally appeal to the idea that RDDs are ``as good as" random near the treatment cut point. Cattaneo, Frandsen, and Titiunik (2015) are the first to take this justification to its full conclusion and propose estimating the RDD local average treatment effect (LATE) the same as one would a randomized experiment. This paper explores the implications of analyzing an RDD as a local random experiment when the running variable is a test score. I derive a formula for the bias in the LATE estimate estimated using the local randomization method, $a\rho\Delta$. Where $a$ is the relationship between latent proficiency and the potential outcome absent treatment, $\rho$ is the test reliability, and $\Delta$ is the distance between the treatment and control running variable value. I use this quantification of the bias to demonstrate that local randomization and related design based methods for estimating RDDs are problematic when the running variable is test score or other human developed measure (e.g., medical tests).


title: Query-based Hard-Image Retrieval for Object Detection at Test Time

abstract: There is a longstanding interest in capturing the error behaviour of object detectors by finding images where their performance is likely to be unsatisfactory. In real-world applications such as autonomous driving, it is also crucial to characterise potential failures beyond simple requirements of detection performance. For example, a missed detection of a pedestrian close to an ego vehicle will generally require closer inspection than a missed detection of a car in the distance. The problem of predicting such potential failures at test time has largely been overlooked in the literature and conventional approaches based on detection uncertainty fall short in that they are agnostic to such fine-grained characterisation of errors. In this work, we propose to reformulate the problem of finding "hard" images as a query-based hard image retrieval task, where queries are specific definitions of "hardness", and offer a simple and intuitive method that can solve this task for a large family of queries. Our method is entirely post-hoc, does not require ground-truth annotations, is independent of the choice of a detector, and relies on an efficient Monte Carlo estimation that uses a simple stochastic model in place of the ground-truth. We show experimentally that it can be applied successfully to a wide variety of queries for which it can reliably identify hard images for a given detector without any labelled data. We provide results on ranking and classification tasks using the widely used RetinaNet, Faster-RCNN, Mask-RCNN, and Cascade Mask-RCNN object detectors. The code for this project is available at https://github.com/fiveai/hardest.


title: Comment on "the quantum dynamics for general time-dependent three coupled oscillators"

abstract: In a recent paper, Hassoul et al.[1], the authors proposed an analysis of the quantum dynamics for general time-dependent three coupled oscillators through an approach based on their decouplement using the unitary transformation method. Thus, to diagonalize the transformed Hamiltonian, they introduce a new unitary operator corresponding to a three-dimensional rotation parameterized by Euler angles. Through this procedure, Hassoul et al. [1] claim that the coupled oscillatory subsystems are completely decoupled. This last approach is partly wrong. In this brief note, we show that their method is indeed not correct and we try to explain what truly lies behind their mistakes. We also propose a brief discussion on an alternative method that might achieve satisfactory results.


title: Three-dimensional Lagrangian Coherent Structures in the Elliptic-Restricted Three-body Problem

abstract: In the preliminary design of space missions it can be useful to identify regions of dynamics that drive the system's behaviour or separate qualitatively different dynamics. The Lagrangian Coherent Structure (LCS) has been widely used in the analysis of dynamical systems, and generalises the concept of the stable and unstable manifolds to systems with arbitrary time-dependence. However, the use of three-dimensional LCS in astrodynamics has thus far been limited. This paper presents the application of a new numerical method introduced by the authors, DA-LCS, to astrodynamics systems using the Elliptic-Restricted Three-body Problem (ER3BP) as a test case. We are able to construct the full, three-dimensional LCS associated with the Sun-Mars ER3BP directly from the variational theory of LCS even for numerically challenging initial conditions. The LCS is analysed in detail, showing how it in this case separates regions of qualitatively different behaviour without any a priori knowledge. The paper then studies the effect of integration time and the parameterisation of the initial condition on the LCS found. We highlight how round-off errors arise from limits of floating-point arithmetic in the most challenging test cases and provide mitigating strategies for avoiding these errors practically.


title: Magnetostatics of Room Temperature Compensated Co/Gd/Co/Gd-based Synthetic Ferrimagnets

abstract: Flexibility for interface engineering, and access to all-optical switching of the magnetization, make synthetic ferrimagnets an interesting candidate for advanced opto-spintronic devices. Moreover, due to their layered structure and disordered interfaces they also bear promise for the emerging field of graded magnetic materials. The fastest and most efficient spin-orbit torque driven manipulation of the magnetic order in this material system generally takes place at compensation. Here, we present a systematic experimental and modeling study of the conditions for magnetization compensation and perpendicular magnetic anisotropy in the synthetic ferrimagnetic Co/Gd/Co/Gd system. A model based on partial intermixing at the Co/Gd interfaces of this system has been developed which explains the experiments well, and provides a new tool to understand its magnetic characteristics. More specifically, this work provides new insight in the decay of the Co proximity-induced magnetization in the Gd, and the role the capping layer plays in the Gd magnetization.


title: Phase diagrams of binary ionic mixtures and white dwarf cooling

abstract: Phase diagrams of fully ionized binary ionic mixtures are considered within the framework of the linear mixing formalism taking into account recent advances in understanding quantum one-component plasma thermodynamics. We have followed a transformation of azeotropic phase diagrams into peritectic and eutectic types with increase of the charge ratio. For solid $^{12}$C/$^{16}$O and $^{16}$O/$^{20}$Ne mixtures, we have found extensive miscibility gaps. Their appearance seems to be a robust feature of the theory. The gaps evolve naturally into two-solid regions of eutectic phase diagrams at higher $Z_2/Z_1$. They do not depend on thermodynamic fit extensions beyond their applicability limits. The gaps are sensitive to binary mixture composition and physics, being strongly different for C/O and O/Ne mixtures and for the three variants of corrections to linear-mixing solid-state energies available in the literature. When matter cools to its miscibility gap temperature, the exsolution process takes place. It results in a separation of heavier and lighter solid solutions. This may represent a significant reservoir of gravitational energy and should be included in future white dwarf (WD) cooling simulations. Ion quantum effects mostly resulted in moderate modifications, however, for certain $Z_2/Z_1$, these effects can produce qualitative restructuring of the phase diagram. This may be important for the model with $^{22}$Ne distillation in cooling C/O/Ne WD proposed as a solution for the ultramassive WD cooling anomaly.


title: CMS HI Physics at LHC Runs 3+4 and Beyond

abstract: The heavy ion (HI) program at the LHC has proven to be a successful and indispensable part of the LHC physics program. Its chief aim had been the detailed characterization of the quark-gluon plasma (QGP) in lead-lead collisions. Using additional data sets of proton-lead, proton-proton, and xenon-xenon collisions, the program has also included many advances, for example, in the understanding of the partonic nuclear structure, collectivity in smaller collision systems, and electromagnetic interactions. This Letter of Interest outlines the CMS Heavy Ion Group point of view regarding the scientific case for the use of ultrarelativistic HI beams in the coming decade to characterize QGP with unparalleled precision and to probe novel fundamental physics phenomena. More specifically, it outlines the open questions in the field which can be addressed with CMS, and aims to promote engagement from the US community and its international partners by building upon the recently concluded Snowmass 2022 exercise, the input provided to the European Strategy for Particle Physics, and proposed continuations and extensions of the last version of the US Long-Range Plan for Nuclear Physics.


title: Superparticle in an external chiral matter superfield

abstract: In this paper the interaction Lagrangian of a superparticle with an external chiral superfield $\Phi(x,\theta,\bar{\theta})$,invariant with respect to the global supersymmetry, is proposed. The kinematics of the superparticle is defined in an extended superspace described by superspace coordinates $(x_{\mu},\theta_{\alpha},\bar{\theta}_{\alpha})$, where $x_{\mu}$ are pure bosonic coordinates, $\mu=0,\ldots,3$; $\theta_{\alpha}$ and $\bar{\theta}_{\alpha}$ are additional fermionic Grassmann-valued spinors. With the purpose of the construction of the required Lagrangian, chiral analogues of the supervector $A_{\mu}(x,\theta,\bar{\theta})$ and superspinor $A_{\alpha}(x,\theta,\bar{\theta})$, $\bar{A}_{\dot{\alpha}}(x,\theta,\bar{\theta})$ gauge fields are introduced, which are also matrices in color space. The problem considered in this paper is the further step in deriving the dynamical equations of motion for a spin color-charged particle moving in an external fermionic matter field. These equations of motion are of fundamental importance, for example, when taking into account the influence of fermionic background fields induced in a hot quark-gluon plasma (QGP) by thermal fluctuations on the dynamics of hard color-charged partons crossing the QGP. In turn, the solution of this problem will make it possible, at least at the qualitative level, to advance in the study of the motion in the external fermion matter field of such a complex physical object as a string.


title: On $G(A)_\mathbb{Q}$ of rings of finite representation type

abstract: Let $(A,\mathfrak{m})$ be an excellent Henselian Cohen-Macaulay local ring of finite representation type. If the AR-quiver of $A$ is known then by a result of Auslander and Reiten one can explicity compute $G(A)$ the Grothendieck group of finitely generated $A$-modules. If the AR-quiver is not known then in this paper we give estimates of $G(A)_\mathbb{Q} = G(A)\otimes_\mathbb{Z} \mathbb{Q}$ when $k = A/\mathfrak{m}$ is perfect. As an application we prove that if $A$ is an excellent equi-characteristic Henselian Gornstein local ring of positive even dimension with $\text{char} \ A/\mathfrak{m} \neq 2,3,5$ (and $A/\mathfrak{m}$ perfect) then $G(A)_\mathbb{Q} \cong \mathbb{Q}$.


title: The origin and properties of red spirals: Insights from cosmological simulations

abstract: A significant fraction of spiral galaxies are red, gas-poor, and have low star formation rates (SFRs). We study these unusual objects using the IllustrisTNG100 simulation. Among 1912 well-resolved disk galaxies selected from the last simulation output, we identify 377 red objects and describe their properties and origins using a few representative examples. The simulated red spirals turn out to be typically very gas-poor, have very low SFRs, are more metal-rich, and have larger stellar masses than the remaining disks. Only about 13% of red spirals suffered strong mass loss and thus could have resulted from environmental quenching by ram pressure and tidal stripping of the gas, or similar processes. The majority of red disks were probably quenched by feedback from the active galactic nucleus (AGN). This conclusion is supported by the higher black hole masses and lower accretion rates of red disks, as well as the larger total AGN feedback energies injected into the surrounding gas in the kinetic feedback mode implemented in the IllustrisTNG simulations. The timescales of the gas loss correlate with the black hole growth for the AGN-quenched galaxies and with the dark-matter loss for the environmentally quenched ones. The red spirals are more likely to possess bars, and their bars are stronger than in the remaining disks, which is probably the effect of gas loss rather than the reason for quenching.


title: Normal functions and maximal order types

abstract: Transformations of well partial orders induce functions on the ordinals, via the notion of maximal order type. In most examples from the literature, these functions are not normal, in marked contrast with the central role that normal functions play in ordinal analysis and related work from computability theory. The present paper aims to explain this phenomenon. In order to do so, we investigate a rich class of order transformations that are known as $\mathsf{WPO}$-dilators. According to a first main result of this paper, $\mathsf{WPO}$-dilators induce normal functions when they satisfy a rather restrictive condition, which we call strong normality. Moreover, the reverse implication holds as well, for reasonably well behaved $\mathsf{WPO}$-dilators. Strong normality also allows us to explain another phenomenon: by previous work of Freund, Rathjen and Weiermann, a uniform Kruskal theorem for $\mathsf{WPO}$-dilators is as strong as $\Pi^1_1$-comprehension, while the corresponding result for normal dilators on linear orders is equivalent to the much weaker principle of $\Pi^1_1$-induction. As our second main result, we show~that $\Pi^1_1$-induction is equivalent to the uniform Kruskal theorem for $\mathsf{WPO}$-dilators that are strongly normal.


title: Asymmetric Roughness of Elastic Interfaces at the Depinning Threshold

abstract: Roughness of driven elastic interfaces in random media is typically understood to be characterized by a single roughness exponent $\zeta$. We show that at the depinning threshold, due to symmetry breaking caused by the direction of the driving force, elastic interfaces with local, long-range and mean-field elasticity exhibit asymmetric roughness. It is manifested as a skewed distribution of the local interface heights, and can be quantified by using detrended fluctuation analysis to compute a spectrum of local, segment-level scaling exponents. The asymmetry is observed as approximately linear dependence of the local scaling exponents on the difference of the segment height from the mean interface height.


title: A Unified Generative Framework based on Prompt Learning for Various Information Extraction Tasks

abstract: Prompt learning is an effective paradigm that bridges gaps between the pre-training tasks and the corresponding downstream applications. Approaches based on this paradigm have achieved great transcendent results in various applications. However, it still needs to be answered how to design a unified framework based on the prompt learning paradigm for various information extraction tasks. In this paper, we propose a novel composable prompt-based generative framework, which could be applied to a wide range of tasks in the field of Information Extraction. Specifically, we reformulate information extraction tasks into the form of filling slots in pre-designed type-specific prompts, which consist of one or multiple sub-prompts. A strategy of constructing composable prompts is proposed to enhance the generalization ability to extract events in data-scarce scenarios. Furthermore, to fit this framework, we transform Relation Extraction into the task of determining semantic consistency in prompts. The experimental results demonstrate that our approach surpasses compared baselines on real-world datasets in data-abundant and data-scarce scenarios. Further analysis of the proposed framework is presented, as well as numerical experiments conducted to investigate impact factors of performance on various tasks.


title: A Jacobi-type Newton method for Nash equilibrium problems with descent guarantees

abstract: A common strategy for solving an unconstrained two-player Nash equilibrium problem with continuous variables is applying Newton's method to the system of nonlinear equations obtained by the corresponding first-order necessary optimality conditions. However, when taking into account the game dynamics, it is not clear what is the goal of each player when considering that they are taking their current decision following Newton's iterates. In this paper we provide an interpretation for Newton's iterate in view of the game dynamics as follows: instead of minimizing the quadratic approximation of their objective function parameterized by the other player current decision (as a typical Jacobi-type strategy), we show that the Newton iterate follows this approach but with the objective function parameterized by a prediction of the other player action, considering that they are following the same Newtonian strategy. This interpretation allows us to present a new Newtonian algorithm where a backtracking procedure is introduced in order to guarantee that the computed Newtonian directions, for each player, are descent directions for their corresponding parameterized functions. Thus, besides favoring global convergence, our algorithm also favors true minimizers instead of maximizers or saddle points, differently from the standard Newton method, which does not consider the minimization structure of the problem in the non-convex case. Thus, our method is more robust in comparison with other Jacobi-type strategies or the pure Newtonian approach, which is corroborated by our illustrative numerical experiments. We also present a proof of the well-definiteness of the algorithm under some standard assumptions, together with a thorough analysis of its convergence properties taking into account the game dynamics.


title: Multi-Modal Cross-Domain Alignment Network for Video Moment Retrieval

abstract: As an increasingly popular task in multimedia information retrieval, video moment retrieval (VMR) aims to localize the target moment from an untrimmed video according to a given language query. Most previous methods depend heavily on numerous manual annotations (i.e., moment boundaries), which are extremely expensive to acquire in practice. In addition, due to the domain gap between different datasets, directly applying these pre-trained models to an unseen domain leads to a significant performance drop. In this paper, we focus on a novel task: cross-domain VMR, where fully-annotated datasets are available in one domain (``source domain''), but the domain of interest (``target domain'') only contains unannotated datasets. As far as we know, we present the first study on cross-domain VMR. To address this new task, we propose a novel Multi-Modal Cross-Domain Alignment (MMCDA) network to transfer the annotation knowledge from the source domain to the target domain. However, due to the domain discrepancy between the source and target domains and the semantic gap between videos and queries, directly applying trained models to the target domain generally leads to a performance drop. To solve this problem, we develop three novel modules: (i) a domain alignment module is designed to align the feature distributions between different domains of each modality; (ii) a cross-modal alignment module aims to map both video and query features into a joint embedding space and to align the feature distributions between different modalities in the target domain; (iii) a specific alignment module tries to obtain the fine-grained similarity between a specific frame and the given query for optimal localization. By jointly training these three modules, our MMCDA can learn domain-invariant and semantic-aligned cross-modal representations.


title: Ballistic transport and spin dependent anomalous quantum tunnelling in Rashba-Zeeman and bilayer graphene hybrid structures

abstract: In this work, we have studied the spin-dependent ballistic transport and anomalous quantum tunnelling in Bilayer Graphene (BLG) hybrid connected to two Rashba-Zeeman (RZ) leads under an external electric biasing. We investigated the transmission and conductance for the proposed system using scattering matrix formalism and Landauer - Buttiker formula considering a double delta-like barrier under a set of experimentally viable parameters. We found that the transmission characteristics are notably different for up and down spin incoming electrons depending upon the strength of magnetization. Moreover, the transmission of up and down spin electrons is found to be magnetization orientation dependent. The maximum tunnelling and conductance can be achieved by tuning biasing energy and magnetization strength and choosing a material with suitable Rashba Spin-Orbit Coupling (RSOC). This astonishing property of our system can be utilized in fabricating devices like spin filters. We found the Fano factor of our system is 0.4 under strong magnetization conditions while it reduces to 0.3 under low magnetization conditions. Moreover, we also noticed that the transmission and conductance significantly depend on the Rashba - Zeeman effect. So, considering a suitable RZ material, the tunnelling of the electrons can be tuned and controlled.


title: Magnetic interactions in orbital dynamics

abstract: The magnetic field of a host star can impact the orbit of a stellar partner, planet, or asteroid if the orbiting body is itself magnetic or electrically conducting. Here, we focus on the instantaneous magnetic forces on an orbiting body in the limit where the dipole approximation describes its magnetic properties as well as those of its stellar host. A permanent magnet in orbit about a star will be inexorably drawn toward the stellar host if the magnetic force is comparable to gravity due to the steep radial dependence of the dipole-dipole interaction. While magnetic fields in observed systems are much too weak to drive a merger event, we confirm that they may be high enough in some close compact binaries to cause measurable orbital precession. When the orbiting body is a conductor, the stellar field induces a time-varying magnetic dipole moment that leads to the possibility of eccentricity pumping and resonance trapping. The challenge is that the orbiter must be close to the stellar host, so that magnetic interactions must compete with tidal forces and the effects of intense stellar radiation.


title: Robot Localization using Situational Graphs and Building Architectural Plans

abstract: Robots in the construction industry can reduce costs through constant monitoring of the work progress, using high precision data capturing. Accurate data capturing requires precise localization of the mobile robot within the environment. In this paper we present our novel work on robot localization which extracts geometric, semantic as well as the topological information from the architectural plans in the form of walls and rooms, and creates the topological and metric-semantic layer of the Situational Graphs (S-Graphs) before navigating in the environment. When the robot navigates in the construction environment, it uses the robot odometry and the sensorial observations in the form of planar walls extracted from the 3D lidar measurements, to estimate its pose relying on a particle filter method, by exploiting the previously built situational graph and its available geometric, semantic and topological information. We validate our approach in both simulated and real datasets captured on actual on-going construction sites presenting state-of-the-art results when comparing it against traditional geometry based localization techniques.


title: Photon number conservation in time dependent systems

abstract: Time dependent systems in general do not conserve photons nor do they conserve energy. However when parity time symmetry holds Maxwells equations can sometimes both conserve photon number and energy. Here we show that photon conservation is the more widely applicable law which can hold in circumstances where energy conservation is violated shedding further light on an amplification mechanism identified in previous papers as a process of conserved photons climbing a frequency ladder.


title: Towards Complete-View and High-Level Pose-based Gait Recognition

abstract: The model-based gait recognition methods usually adopt the pedestrian walking postures to identify human beings. However, existing methods did not explicitly resolve the large intra-class variance of human pose due to camera views changing. In this paper, we propose to generate multi-view pose sequences for each single-view pose sample by learning full-rank transformation matrices via lower-upper generative adversarial network (LUGAN). By the prior of camera imaging, we derive that the spatial coordinates between cross-view poses satisfy a linear transformation of a full-rank matrix, thereby, this paper employs the adversarial training to learn transformation matrices from the source pose and target views to obtain the target pose sequences. To this end, we implement a generator composed of graph convolutional (GCN) layers, fully connected (FC) layers and two-branch convolutional (CNN) layers: GCN layers and FC layers encode the source pose sequence and target view, then CNN branches learn a lower triangular matrix and an upper triangular matrix, respectively, finally they are multiplied to formulate the full-rank transformation matrix. For the purpose of adversarial training, we further devise a condition discriminator that distinguishes whether the pose sequence is true or generated. To enable the high-level correlation learning, we propose a plug-and-play module, named multi-scale hypergraph convolution (HGC), to replace the spatial graph convolutional layer in baseline, which could simultaneously model the joint-level, part-level and body-level correlations. Extensive experiments on two large gait recognition datasets, i.e., CASIA-B and OUMVLP-Pose, demonstrate that our method outperforms the baseline model and existing pose-based methods by a large margin.


title: Socio-economic and Technological Factors Influencing Financial Inclusion among Indigenous Peoples in Bauchi State, Nigeria

abstract: The need to understand the factors that come to bear in the financial inclusion on the indigenous peoples in Nigeria necessitated the study. The need is pressing because scholars have established that the financial inclusion is crucial to the socio-cultural and economic development of the indigenous peoples.


title: A Probabilistic Model of Activity Recognition with Loose Clothing

abstract: Human activity recognition has become an attractive research area with the development of on-body wearable sensing technology. With comfortable electronic-textiles, sensors can be embedded into clothing so that it is possible to record human movement outside the laboratory for long periods. However, a long-standing issue is how to deal with motion artefacts introduced by movement of clothing with respect to the body. Surprisingly, recent empirical findings suggest that cloth-attached sensor can actually achieve higher accuracy of activity recognition than rigid-attached sensor, particularly when predicting from short time-windows. In this work, a probabilistic model is introduced in which this improved accuracy and resposiveness is explained by the increased statistical distance between movements recorded via fabric sensing. The predictions of the model are verified in simulated and real human motion capture experiments, where it is evident that this counterintuitive effect is closely captured.


title: A new perspective on parameter study of optimization problems

abstract: We provide a new perspective on the study of parameterized optimization problems. Our approach combines methods for post-optimal sensitivity analysis and ordinary differential equations to quantify the uncertainty in the minimizer due to uncertain parameters in the optimization problem. We illustrate the proposed approach with a simple analytic example and an inverse problem governed by an advection diffusion equation.


title: Neural Network Potentials for Chemistry: Concepts, Applications and Prospects

abstract: Artificial Neural Networks (ANN) are already heavily involved in methods and applications for frequent tasks in the field of computational chemistry such as representation of potential energy surfaces (PES) and spectroscopic predictions. This perspective provides an overview of the foundations of neural network-based full-dimensional potential energy surfaces, their architectures, underlying concepts, their representation and applications to chemical systems. Methods for data generation and training procedures for PES construction are discussed and means for error assessment and refinement through transfer learning are presented. A selection of recent results illustrates the latest improvements regarding accuracy of PES representations and system size limitations in dynamics simulations, but also NN application enabling direct prediction of physical results without dynamics simulations. The aim is to provide an overview for the current state-of-the-art NN approaches in computational chemistry and also to point out the current challenges in enhancing reliability and applicability of NN methods on larger scale.


title: Pose-Aided Video-based Person Re-Identification via Recurrent Graph Convolutional Network

abstract: Existing methods for video-based person re-identification (ReID) mainly learn the appearance feature of a given pedestrian via a feature extractor and a feature aggregator. However, the appearance models would fail when different pedestrians have similar appearances. Considering that different pedestrians have different walking postures and body proportions, we propose to learn the discriminative pose feature beyond the appearance feature for video retrieval. Specifically, we implement a two-branch architecture to separately learn the appearance feature and pose feature, and then concatenate them together for inference. To learn the pose feature, we first detect the pedestrian pose in each frame through an off-the-shelf pose detector, and construct a temporal graph using the pose sequence. We then exploit a recurrent graph convolutional network (RGCN) to learn the node embeddings of the temporal pose graph, which devises a global information propagation mechanism to simultaneously achieve the neighborhood aggregation of intra-frame nodes and message passing among inter-frame graphs. Finally, we propose a dual-attention method consisting of node-attention and time-attention to obtain the temporal graph representation from the node embeddings, where the self-attention mechanism is employed to learn the importance of each node and each frame. We verify the proposed method on three video-based ReID datasets, i.e., Mars, DukeMTMC and iLIDS-VID, whose experimental results demonstrate that the learned pose feature can effectively improve the performance of existing appearance models.


title: Representations of branched twist spins with a non-trivial center of order 2

abstract: It is known that a presentation of the knot group of a branched twist spin is obtained from a Wirtinger presentation of the original 1-knot group by adding a generator corresponding to a regular orbit of the circle action and a certain relator. In particular, the additional generator is an element of the center of the knot group. In this paper, we focus on ${\rm SL}_2(\mathbb{Z}_3)$-representations and dihedral group representations. For the former case, we give a sufficient condition for the existence of an ${\rm SL}_2(\mathbb{Z}_3)$-representation for a branched twist spin. For the latter case, we determine the number of even-ordered dihedral group representations of branched twist spins.


title: Multi-Granularity Graph Pooling for Video-based Person Re-Identification

abstract: The video-based person re-identification (ReID) aims to identify the given pedestrian video sequence across multiple non-overlapping cameras. To aggregate the temporal and spatial features of the video samples, the graph neural networks (GNNs) are introduced. However, existing graph-based models, like STGCN, perform the \textit{mean}/\textit{max pooling} on node features to obtain the graph representation, which neglect the graph topology and node importance. In this paper, we propose the graph pooling network (GPNet) to learn the multi-granularity graph representation for the video retrieval, where the \textit{graph pooling layer} is implemented to downsample the graph. We first construct a multi-granular graph, whose node features denote image embedding learned by backbone, and edges are established between the temporal and Euclidean neighborhood nodes. We then implement multiple graph convolutional layers to perform the neighborhood aggregation on the graphs. To downsample the graph, we propose a multi-head full attention graph pooling (MHFAPool) layer, which integrates the advantages of existing node clustering and node selection pooling methods. Specifically, MHFAPool takes the main eigenvector of full attention matrix as the aggregation coefficients to involve the global graph information in each pooled nodes. Extensive experiments demonstrate that our GPNet achieves the competitive results on four widely-used datasets, i.e., MARS, DukeMTMC-VideoReID, iLIDS-VID and PRID-2011.


title: Synthetic Voice Spoofing Detection Based On Online Hard Example Mining

abstract: The automatic speaker verification spoofing (ASVspoof) challenge series is crucial for enhancing the spoofing consideration and the countermeasures growth. Although the recent ASVspoof 2019 validation results indicate the significant capability to identify most attacks, the model's recognition effect is still poor for some attacks. This paper presents the Online Hard Example Mining (OHEM) algorithm for detecting unknown voice spoofing attacks. The OHEM is utilized to overcome the imbalance between simple and hard samples in the dataset. The presented system provides an equal error rate (EER) of 0.77% on the ASVspoof 2019 Challenge logical access scenario's evaluation set.


title: First-principles superadiabatic theory for the dynamics of inhomogeneous fluids

abstract: For classical many-body systems subject to Brownian dynamics we develop a superadiabatic dynamical density functional theory (DDFT) for the description of inhomogeneous fluids out-of-equilibrium. By explicitly incorporating the dynamics of the inhomogeneous two-body correlation functions we obtain superadiabatic forces directly from the microscopic interparticle interactions. We demonstrate the importance of these nonequilibrium forces for an accurate description of the one-body density by numerical implementation of our theory for three-dimensional hard-spheres in a time-dependent planar potential. The relaxation of the one-body density in superadiabatic-DDFT is found to be slower than that predicted by standard adiabatic DDFT and significantly improves the agreement with Brownian dynamics simulation data. We attribute this improved performance to the correct treatment of structural relaxation within the superadiabatic-DDFT. Our approach provides fundamental insight into the underlying structure of dynamical density functional theories and makes possible the study of situations for which standard approaches fail.


title: Detailed simulation for the ClearMind prototype detection module and event reconstruction using artificial intelligence

abstract: The ClearMind project aims to develop the TOF-PET position sensitive detection module optimized for the time resolution, spatial resolution, and detection efficiency. For this, the ClearMind project uses a large (59 $\times$ 59 mm$^2$) monolithic PbWO$_4$ (PWO) scintillating crystal with a bialkali photo-electric layer deposited directly on the crystal. Scintillation and Cherenkov photons result together from the 511 keV gamma-ray interation into the PWO crystal. A micro-channel plate photomultiplier tube (MCP-PMT) encapsulating the PWO crystal amplifies photoelectrons generated at the photocathode, and the corresponding anode signals are collected through the transmission lines read out at both ends and digitized by a SAMPIC module. In this work, we present a realistic Geant4 simulation of the ClearMind prototype detector, including the propagation of the visible photons in the crystal, the modelling of a realistic response of the photocathode and of the PMT, and the propagation of the electrical signals over the transmission lines. The reconstruction of the gamma conversion in the detector volume is performed from the signals registered at both ends of the transmission lines. We compare the reconstruction precision of a statistical algorithm against machine learning algorithms developed using the TMVA package. We expect to reach a spatial resolution down to a few mm$^3$ (FWHM). Finally, we will discuss prospects for the ClearMind detector.


title: Learning Articulated Rigid Body Dynamics with Lagrangian Graph Neural Network

abstract: Lagrangian and Hamiltonian neural networks (LNNs and HNNs, respectively) encode strong inductive biases that allow them to outperform other models of physical systems significantly. However, these models have, thus far, mostly been limited to simple systems such as pendulums and springs or a single rigid body such as a gyroscope or a rigid rotor. Here, we present a Lagrangian graph neural network (LGNN) that can learn the dynamics of articulated rigid bodies by exploiting their topology. We demonstrate the performance of LGNN by learning the dynamics of ropes, chains, and trusses with the bars modeled as rigid bodies. LGNN also exhibits generalizability -- LGNN trained on chains with a few segments exhibits generalizability to simulate a chain with large number of links and arbitrary link length. We also show that the LGNN can simulate unseen hybrid systems including bars and chains, on which they have not been trained on. Specifically, we show that the LGNN can be used to model the dynamics of complex real-world structures such as the stability of tensegrity structures. Finally, we discuss the non-diagonal nature of the mass matrix and its ability to generalize in complex systems.


title: On the hydrodynamics of (2 + 1)-dimensional strongly coupled relativistic theories in an external magnetic field

abstract: In this paper we review recent progress on relativistic hydrodynamics in (2 + 1)-dimensions with an external magnetic field. We discuss the formalism allowing for momentum loss due to the explicit and spontaneous breaking of translation invariance by scalar operators. We also compare to some results from the gauge/gravity correspondence.


title: Buchdahl quark stars within $f(Q)$ theory

abstract: In the present paper, authors study the strange stars with the MIT Bag EoS admitting Buchdahl symmetry (non-singular and physically viable metric potential) in the both linear $f(Q)=aQ+b$ and non-linear $f(Q)=Q+aQ^b$ forms of modified symmetric teleparallel gravitation. In order to obtain the correct form of Buchdahl metric coefficients, they matched interior strange star spacetime with the exterior Schwarzschild vacuum spacetime. As a strange star candidate, PSRJ1416-2230 has been used with mass $M=1.69M_\odot$ and radius $R=9.69R_\odot$. For either linear and non-linear $f(Q)$ gravities, they probed Null, Dominant and Strong Energy Conditions as well as the radial, tangential Equation of State (EoS), gradients of the perfect fluid energy-momentum tensor elements, Tolman-Oppenheimer-Volkoff equilibrium condition, relativistic adiabatic index and causality conditions, surface redshift. It was found that strange stars in the linear and non-linear $f(Q)$ gravity show physically viable behavior, respect energy and causality conditions, has EoS in the bounds $0\leq\omega\leq1$ and surface redshift does not exceed 2, as expected.


title: involve-MI: Informative Planning with High-Dimensional Non-Parametric Beliefs

abstract: One of the most complex tasks of decision making and planning is to gather information. This task becomes even more complex when the state is high-dimensional and its belief cannot be expressed with a parametric distribution. Although the state is high-dimensional, in many problems only a small fraction of it might be involved in transitioning the state and generating observations. We exploit this fact to calculate an information-theoretic expected reward, mutual information (MI), over a much lower-dimensional subset of the state, to improve efficiency and without sacrificing accuracy. A similar approach was used in previous works, yet specifically for Gaussian distributions, and we here extend it for general distributions. Moreover, we apply the dimensionality reduction for cases in which the new states are augmented to the previous, yet again without sacrificing accuracy. We then continue by developing an estimator for the MI which works in a Sequential Monte Carlo (SMC) manner, and avoids the reconstruction of future belief's surfaces. Finally, we show how this work is applied to the informative planning optimization problem. This work is then evaluated in a simulation of an active SLAM problem, where the improvement in both accuracy and timing is demonstrated.


title: Non-contractive logics, Paradoxes, and Multiplicative Quantifiers

abstract: The paper investigates from a proof-theoretic perspective various non-contractive logical systems circumventing logical and semantic paradoxes. Until recently, such systems only displayed additive quantifiers (Gri\v{s}in, Cantini). Systems with multiplicative quantifers have also been proposed in the 2010s (Zardini), but they turned out to be inconsistent with the naive rules for truth or comprehension. We start by presenting a first-order system for disquotational truth with additive quantifiers and we compare it with Gri\v{s}in set theory. We then analyze the reasons behind the inconsistency phenomenon affecting multiplicative quantifers: after interpreting the exponentials in affine logic as vacuous quantifiers, we show how such a logic can be simulated within a truth-free fragment of a system with multiplicative quantifiers. Finally, we prove that the logic of these multiplicative quantifiers (but without disquotational truth) is consistent, by showing that an infinitary version of the cut rule can be eliminated. This paves the way to a syntactic approach to the proof theory of infinitary logic with infinite sequents.


title: Engineering a heat engine purely driven by quantum coherence

abstract: The question of whether quantum coherence is a resource beneficial or detrimental to the performance of quantum heat engines has been thoroughly studied but remains undecided. To isolate the contribution of coherence, we analyze the performance of a purely coherence-driven quantum heat engine, a device that does not include any heat flow during the thermodynamic cycle. The engine is powered by the coherence of a multiqubit system, where each qubit is charged via interaction with a coherence bath using the Jaynes-Cummings model. We demonstrate that optimal coherence charging and hence extractable work is achieved when the coherence bath has an intermediate degree of coherence. In our model, the extractable work is maximized when four copies of the charged qubits are used. Meanwhile, the efficiency of the engine, given by the extractable work per input coherence flow, is optimized by avoiding the coherence being stored in the system-bath correlations that is inaccessible to work. We numerically find that the highest efficiency is obtained for slightly lower temperatures and weaker system-bath coupling than those for optimal coherence charging.


title: Gravitational radiation contributions to the two-body scattering angle

abstract: We compute the contribution to the two-body scattering angle of a specific class of interactions involving the exchange of gravitational radiative degrees of freedom, including the nonlinear memory process and square of radiation reaction effects. Our computation is performed directly from the equations of motion, thus computing the overall effect of both conservative and dissipative processes. Such contributions provide in principle the last missing ingredients to compute the scattering angle at fifth post-Newtonian, at fourth post-Minkowskian order.


title: Differentially private partitioned variational inference

abstract: Learning a privacy-preserving model from sensitive data which are distributed across multiple devices is an increasingly important problem. The problem is often formulated in the federated learning context, with the aim of learning a single global model while keeping the data distributed. Moreover, Bayesian learning is a popular approach for modelling, since it naturally supports reliable uncertainty estimates. However, Bayesian learning is generally intractable even with centralised non-private data and so approximation techniques such as variational inference are a necessity. Variational inference has recently been extended to the non-private federated learning setting via the partitioned variational inference algorithm. For privacy protection, the current gold standard is called differential privacy. Differential privacy guarantees privacy in a strong, mathematically clearly defined sense. In this paper, we present differentially private partitioned variational inference, the first general framework for learning a variational approximation to a Bayesian posterior distribution in the federated learning setting while minimising the number of communication rounds and providing differential privacy guarantees for data subjects. We propose three alternative implementations in the general framework, one based on perturbing local optimisation runs done by individual parties, and two based on perturbing updates to the global model (one using a version of federated averaging, the second one adding virtual parties to the protocol), and compare their properties both theoretically and empirically.


title: Quantification before Selection: Active Dynamics Preference for Robust Reinforcement Learning

abstract: Training a robust policy is critical for policy deployment in real-world systems or dealing with unknown dynamics mismatch in different dynamic systems. Domain Randomization~(DR) is a simple and elegant approach that trains a conservative policy to counter different dynamic systems without expert knowledge about the target system parameters. However, existing works reveal that the policy trained through DR tends to be over-conservative and performs poorly in target domains. Our key insight is that dynamic systems with different parameters provide different levels of difficulty for the policy, and the difficulty of behaving well in a system is constantly changing due to the evolution of the policy. If we can actively sample the systems with proper difficulty for the policy on the fly, it will stabilize the training process and prevent the policy from becoming over-conservative or over-optimistic. To operationalize this idea, we introduce Active Dynamics Preference~(ADP), which quantifies the informativeness and density of sampled system parameters. ADP actively selects system parameters with high informativeness and low density. We validate our approach in four robotic locomotion tasks with various discrepancies between the training and testing environments. Extensive results demonstrate that our approach has superior robustness for system inconsistency compared to several baselines.


title: Instability of Closed $p$-Elastic Curves in $\mathbb{S}^2$

abstract: For $p\in\mathbb{R}$, we show that non-circular closed $p$-elastic curves in $\mathbb{S}^2$ exist only when $p=2$, in which case they are classical elastic curves, or when $p\in(0,1)$. In the latter case, we prove that for every pair of relatively prime natural numbers $n$ and $m$ satisfying $m<2n<\sqrt{2}\,m$, there exists a closed spherical $p$-elastic curve with non-constant curvature which winds around a pole $n$ times and closes up in $m$ periods of its curvature. Further, we show that all closed spherical $p$-elastic curves for $p\in(0,1)$ are unstable as critical points of the $p$-elastic energy.


title: Linear Orders in Presburger Arithmetic

abstract: We prove that any linear order definable in the standard model (Z, <, +) of Presburger arithmetic is (Z, <, +)-definably embeddable into the lexicographic ordering on Z^n, for some n.


title: Quantum critical dynamics in two-dimensional transverse Ising model

abstract: In the vicinity of the quantum critical point(QCP), thermodynamic properties diverge toward zero temperature governed by universal exponents. Although this fact is well known, how it is reflected in quantum dynamics has not been addressed. As an ideal experimental platform to test the issue, we consider an organic Mott insulator whose dielectric degrees of freedom, a quantum electric dipole, is described by the transverse Ising model on a triangular lattice that has a QCP. We track the Glauber-type dynamics of the model by constructing a kinetic protocol based on the quantum Monte Carlo method. The dynamical susceptibility takes the form of the Debye function and shows a significant peak-narrowing in approaching a QCP due to the divergence of the relaxation timescale. It resembles the anomaly of dielectric constants observed in the organic materials \k{appa}-ET 2 X dimer Mott insulating phase, indicating that the material is very near the ferroelectric QCP.


title: Machine Learning and Analytical Power Consumption Models for 5G Base Stations

abstract: The energy consumption of the fifth generation(5G) of mobile networks is one of the major concerns of the telecom industry. However, there is not currently an accurate and tractable approach to evaluate 5G base stations (BSs) power consumption. In this article, we propose a novel model for a realistic characterisation of the power consumption of 5G multi-carrier BSs, which builds on a large data collection campaign. At first, we define a machine learning architecture that allows modelling multiple 5G BS products. Then, we exploit the knowledge gathered by this framework to derive a realistic and analytically tractable power consumption model, which can help driving both theoretical analyses as well as feature standardisation, development and optimisation frameworks. Notably, we demonstrate that such model has high precision, and it is able of capturing the benefits of energy saving mechanisms. We believe this analytical model represents a fundamental tool for understanding 5G BSs power consumption, and accurately optimising the network energy efficiency.


title: Posterior Probabilities: Dominance and Optimism

abstract: The Bayesian posterior probability of the true state is stochastically dominated by that same posterior under the probability law of the true state. This generalizes to notions of "optimism" about posterior probabilities.