title: Towards optical toroidal wavepacket through tightly focusing of cylindrical vector two dimensional spatiotemporal optical vortex

abstract: Spatiotemporal optical vortices (STOVs) carrying transverse orbital angular momentum (OAM) are of rapidly growing interest for the field of optics due to the new degree of freedom that can be exploited. In this paper, we propose cylindrical vector two dimensional STOVs (2D-STOVs) containing two orthogonal transverse OAMs in both x-t and y-t planes for the first time, and investigate the tightly focusing of such fields using the Richards-Wolf vectorial diffraction theory. Highly confined spatiotemporal wavepackets with polarization structure akin to toroidal topology is generated, whose spatiotemporal intensity distributions resemble the shape of Yo-Yo balls. Highly focused radially polarized 2D-STOVs will produce wavepackets towards transverse magnetic toroidal topology, while the focused azimuthally polarized 2D-STOVs will give rise to wavepackets towards transverse electric toroidal topology. The presented method may pave a way to experimentally generate the optical toroidal wavepackets in a controllable way, with potential applications in electron acceleration, photonics, energy, transient light-matter interaction, spectroscopy, quantum information processing, etc.


title: Treating Interference as Noise in Cell-Free Massive MIMO Networks

abstract: How to manage the interference introduced by the enormous wireless devices is a crucial issue to address in the prospective sixth-generation (6G) communications. The treating interference as noise (TIN) optimality conditions are commonly used for interference management and thus attract significant interest in existing wireless systems. Cell-free massive multiple-input multiple-output (CF mMIMO) is a promising technology in 6G that exhibits high system throughput and excellent interference management by exploiting a large number of access points (APs) to serve the users collaboratively. In this paper, we take the first step on studying TIN in CF mMIMO systems from a stochastic geometry perspective by investigating the probability that the TIN conditions hold with spatially distributed network nodes. We propose a novel analytical framework for TIN in a CF mMIMO system with both Binomial Point Process (BPP) and Poisson Point Process (PPP) approximations. We derive the probability that the TIN conditions hold in close form using the PPP approximation. Numerical results validate our derived expressions and illustrate the impact of various system parameters on the probability that the TIN conditions hold.


title: Weighted Sum-Rate Maximization for Rate-Splitting Multiple Access Based Multi-antenna Broadcast Channel with Confidential Messages

abstract: In this paper, we take all users' secrecy rate requirements into consideration and propose a rate-splitting multiple access (RSMA)-based secure beamforming approach to maximize the weighted sum-rate (WSR), where multi-user interference (MUI) is partially decoded and partially treated as noise. User messages are split and encoded into common and private streams. Each user not only decodes the common stream and the intended private stream, but also eavesdrops other users' private streams. To solve the introduced non-convex security constraints in the formulated problem, a successive convex approximation (SCA)-based approach is first proposed to maximize the instantaneous WSR under perfect channel state information at the transmitter (CSIT). When only imperfect CSIT is available, to ensure robustness, a weighted ergodic sum-rate maximization problem is formulated. Then, a joint weighted minimum mean square error and SCA-based alternating optimization algorithm is proposed to optimize the precoder. Numerical results demonstrate that, compared with baseline schemes, the performance advantage of the proposed RSMA-based secure beamforming design has been shown in terms of WSR and robustness to channel errors while ensuring all users' security requirements thanks to its powerful interference management capability.


title: The directed plump ordering

abstract: Based on Taylor's hereditarily directed plump ordinals, we define the directed plump ordering on W-types in Martin-L\"of type theory. This ordering is similar to the plump ordering but comes equipped with non-empty finite joins in addition to the usual properties of the plump ordering.


title: Drive beam sources and longitudinal shaping techniques

abstract: Linear colliders are an attractive platform to explore high-precision physics of newly discovered particles. The recent significant progress in advanced accelerator technologies has motivated their applications to colliders which has been discussed in the {\sc alegro} workshop. In this paper we discuss one promising scheme, collinear wakefield acceleration. We especially discuss available drive and witness beam sources based on L and S-band radiofrequency technology, and also summarize available and forthcoming longitudinal shaping techniques to improve the overall acceleration efficiency via the transformer ratio.


title: Levi-Civita connections on quantum spheres

abstract: We introduce $q$-deformed connections on the quantum 2-sphere and 3-sphere, satisfying a twisted Leibniz rule in analogy with $q$-deformed derivations. We show that such connections always exist on projective modules. Furthermore, a condition for metric compatibility is introduced, and an explicit formula is given, parametrizing all metric connections on a free module. On the quantum 3-sphere, a q-deformed torsion freeness condition is introduced and we derive explicit expressions for the Christoffel symbols of a Levi-Civita connection for a general class of metrics. We also give metric connections on a class of projective modules over the quantum 2-sphere. Finally, we outline a generalization to any Hopf algebra with a (left) covariant calculus and associated quantum tangent space.


title: Taming numerical errors in simulations of continuous variable non-Gaussian state preparation

abstract: Numerical simulation of continuous variable quantum state preparation is a necessary tool for optimization of existing quantum information processing protocols. A powerful instrument for such simulation is the numerical computation in the Fock state representation. It unavoidably uses an approximation of the infinite-dimensional Fock space by finite complex vector spaces implementable with classical digital computers. In this approximation we analyze the accuracy of several currently available methods for computation of the truncated coherent displacement operator. To overcome their limitations we propose an alternative with improved accuracy based on the standard matrix exponential. We then employ the method in analysis of non-Gaussian state preparation scheme based on coherent displacement of a two mode squeezed vacuum with subsequent photon counting measurement. We compare different detection mechanisms, including avalanche photodiodes, their cascades, and photon number resolving detectors in the context of engineering non-linearly squeezed cubic states and construction of qubit-like superpositions between vacuum and single photon states.


title: QCD Predictions for Event-Shape Distributions in Hadronic Higgs Decays

abstract: We study the six classical event-shape observables in hadronic Higgs decays at next-to-leading order in QCD. To this end, we consider the decay of on-shell Higgs bosons to three partons, taking into account both the Yukawa-induced decay to $\mathrm{b}$-quark pairs and the loop-induced decay to two gluons via an effective Higgs-gluon coupling. The results are discussed with a particular focus on the discriminative power of event shapes regarding these two classes of processes.


title: Dimension expanders via quiver representations

abstract: We relate the notion of dimension expanders to quiver representations and their general subrepresentations, and use this relation to establish sharp existence results.


title: Geometry of measures in random systems with complete connections

abstract: We study new relations between countable iterated function systems (IFS) with overlaps, Smale endomorphisms and random systems with complete connections. We prove that stationary measures for countable conformal IFS with overlaps and placedependent probabilities, are exact dimensional; moreover we determine their Hausdorff dimension. Next, we construct a family of fractals in the limit set of a countable IFS with overlaps S, and study the dimension for certain measures supported on these subfractals. In particular, we obtain families of measures on these subfractals which are related to the geometry of the system.


title: Two-dimensional Functional Minerals for Sustainable Optics

abstract: Optical device is a key component in our lives and organic liquid crystals are nowadays widely used to reduce human imprint. However, this technology still suffers from relatively high costs, toxicity and other environmental impacts, and cannot fully meet the demand of future sustainable society. Here we describe an alternative approach to colour-tuneable optical devices, which is based on sustainable inorganic liquid crystals derived from two-dimensional mineral materials abundant in nature. The prototypical two-dimensional mineral of vermiculite is massively produced by a green method, possessing size-to-thickness ratios of >103, in-plane magnetisation of >10 emu g-1, and an optical bandgap of >3 eV. These characteristics endow two-dimensional vermiculite with sensitive magneto-birefringence response, which is several orders of magnitude larger than organic counterparts, as well as capability of broad-spectrum modulation. Our finding consequently permits the fabrication of various chromic devices with low or even zero-energy consumption, which can be used for sustainable optics.


title: Clouds in Gromov-Hausdorff Class: their completeness and centers

abstract: We consider the proper class of all metric spaces endowed with the Gromov--Hausdorff distance. Its maximal subclasses, consisting of the spaces on finite distance from each other, we call clouds. Multiplying all distances in a metric space by the same positive real number, we obtain a similarity transformation of the Gromov--Hausdorff class. In our previous work, we observed that with such a transformation, some clouds can jump to others. To characterize the phenomenon, we studied the stabilizers of the similarity action. In this paper, we prove that every cloud with a nontrivial stabilizer has a center, i.e., a metric space for which all similarities from the stabilizer generate a new space at zero distance. Moreover, the center is unique modulo zero distance. The proof is based on the cloud completeness theorem.


title: Evolution Equations in Hilbert Spaces via the Lacunae Method

abstract: In this paper we consider evolution equations in the abstract Hilbert space under the special conditions imposed on the operator at the right-hand side of the equation. We establish the method that allows us to formulate the existence and uniqueness theorem and find a solution in the form of a series on the root vectors of the right-hand side. As an application we consider fractional differential equations of various kinds. Such operators as the Riemann-Liouville fractional differential operator, the Riesz potential, the difference operator have been involved.


title: A Ta-TaS2 monolithic catalyst with robust and metallic interface for superior hydrogen evolution

abstract: The use of highly active and robust catalysts is crucial for producing green hydrogen by water electrolysis as we strive to achieve global carbon neutrality. Noble metals like platinum are currently used in industry for the hydrogen evolution reaction (HER), but suffer from scarcity, high price and unsatisfied performance and stability at large current density, restricting their large scale implementations. Here we report the synthesis of a new type of monolithic catalyst (MC) consisting of a metal disulfide (e.g., TaS2) catalyst vertically bonded to a conductive substrate of the same metal by strong covalent bonds. These features give the MC a mechanically robust and electrically near zero resistance interface, leading to an outstanding HER performance including rapid charge transfer and excellent durability, together with a low overpotential of 398 mV to achieve a current density of 2,000 mA cm-2 as required by industry. The Ta TaS2 MC has a negligible performance decay after 200 h operation at large current densities. In light of its unique interface and the various choice of metal elements giving the same structure, such monolithic materials may have broad uses besides catalysis.


title: Low-rank tensor approximations for solving multi-marginal optimal transport problems

abstract: By adding entropic regularization, multi-marginal optimal transport problems can be transformed into tensor scaling problems, which can be solved numerically using the multi-marginal Sinkhorn algorithm. The main computational bottleneck of this algorithm is the repeated evaluation of marginals. Recently, it has been suggested that this evaluation can be accelerated when the application features an underlying graphical model. In this work, we accelerate the computation further by combining the tensor network dual of the graphical model with additional low-rank approximations. We provide an example for the color transfer between several images, in which these additional low-rank approximations save more than 96% of the computation time.


title: Active-gel Theory for Multicellular Migration of Polar Cells in the Extra-cellular Matrix

abstract: We formulate an active-gel theory for multicellular migration in the extra-cellular matrix (ECM). The cells are modeled as an active, polar solvent, and the ECM as a viscoelastic solid. Our theory enables to analyze the dynamic reciprocity between the migrating cells and their environment in terms of distinct relative forces and alignment mechanisms. We analyze the linear stability of polar cells migrating homogeneously in the ECM. Our theory predicts that, as a consequence of cell-matrix alignment, contractile cells migrate homogeneously for small wave vectors, while sufficiently extensile cells migrate in domains. Homogeneous cell migration of both extensile and contractile cells may be unstable for larger wave vectors, due to active forces and the alignment of cells with their concentration gradient. These mechanisms are stabilized by cellular alignment to the migration flow and matrix stiffness. They are expected to be suppressed entirely for rigid matrices with elastic moduli of order 10 kPa. Our theory should be useful in analyzing multicellular migration and ECM patterning at the mesoscopic scale.


title: Unreasonable Effectiveness of Last Hidden Layer Activations for Adversarial Robustness

abstract: In standard Deep Neural Network (DNN) based classifiers, the general convention is to omit the activation function in the last (output) layer and directly apply the softmax function on the logits to get the probability scores of each class. In this type of architectures, the loss value of the classifier against any output class is directly proportional to the difference between the final probability score and the label value of the associated class. Standard White-box adversarial evasion attacks, whether targeted or untargeted, mainly try to exploit the gradient of the model loss function to craft adversarial samples and fool the model. In this study, we show both mathematically and experimentally that using some widely known activation functions in the output layer of the model with high temperature values has the effect of zeroing out the gradients for both targeted and untargeted attack cases, preventing attackers from exploiting the model's loss function to craft adversarial samples. We've experimentally verified the efficacy of our approach on MNIST (Digit), CIFAR10 datasets. Detailed experiments confirmed that our approach substantially improves robustness against gradient-based targeted and untargeted attack threats. And, we showed that the increased non-linearity at the output layer has some additional benefits against some other attack methods like Deepfool attack.


title: The stable behavior of low thermal conductivity in 1T-sandwich structure with different components

abstract: Designing materials with low thermal conductivity (\k{appa}) is of demand for thermal protection, heat insulation, thermoelectricity, etc. In this paper, based on the start-of-art first-principles calculations, we propose a framework of a 1T-sandwich structure for designing materials with low \k{appa}. The 1T-sandwich structure is the same as the well-known transition metal dichalcogenide (TMD) but with light Carbon atoms in the middle plane. Using different atoms to fill the outer positions, a few novel two-dimensional materials are constructed as study cases, i.e., Mg2C, Janus MgBeC, Be2C, and Mo2C. With a systematic and comparative study, the \k{appa} are calculated to be 3.74, 8.26, 14.80, 5.13 W/mK, respectively. The consistent values indicate the stable behavior of low \k{appa} in the 1T-sandwich structure, being insensitive to the component. Our study would help design advanced functional materials with reliable heat transfer performance for practical applications, which reduces the influence of unavoidable impurities.


title: A strong Borel--Cantelli lemma for recurrence

abstract: Consider a mixing dynamical systems $([0,1], T, \mu)$, for instance a piecewise expanding interval map with a Gibbs measure $\mu$. Given a non-summable sequence $(m_k)$ of non-negative numbers, one may define $r_k (x)$ such that $\mu (B(x, r_k(x)) = m_k$. It is proved that for almost all $x$, the number of $k \leq n$ such that $T^k (x) \in B_k (x)$ is approximately equal to $m_1 + \ldots + m_n$. This is a sort of strong Borel--Cantelli lemma for recurrence. A consequence is that \[ \lim_{r \to 0} \frac{\log \tau_{B(x,r)} (x)}{- \log \mu (B (x,r))} = 1 \] for almost every $x$, where $\tau$ is the return time.


title: KamLAND's search for correlated low-energy electron antineutrinos with astrophysical neutrinos from IceCube

abstract: We report the results of a search for MeV-scale astrophysical neutrinos in KamLAND presented as an excess in the number of coincident neutrino interactions associated with the publicly available high-energy neutrino datasets from the IceCube Neutrino Observatory. We find no statistically significant excess in the number of observed low-energy electron antineutrinos in KamLAND, given a coincidence time window of $\pm$500s, $\pm$1,000s, $\pm$3,600s, and $\pm$10,000s around each of the IceCube neutrinos. We use this observation to present limits from 1.8 MeV to 100 MeV on the electron antineutrino fluence, assuming a mono-energetic flux. We then compare the results to several astrophysical measurements performed by IceCube and place a limit at the 90% confidence level on the electron antineutrino isotropic thermal luminosity from the TXS 0506+056 blazar.


title: What can oracles teach us about the ultimate fate of life?

abstract: We settle two long-standing open problems about Conway's Life, a two-dimensional cellular automaton. We solve the Generalized grandfather problem: for all $n \geq 0$, there exists a configuration that has an $n$th predecessor but not an $(n+1)$st one. We also solve (one interpretation of) the Unique father problem: there exists a finite stable configuration that contains a finite subpattern that has no predecessor patterns except itself. In particular this gives the first example of an unsynthetizable still life. The new key concept is that of a spatiotemporally periodic configuration (agar) which has a unique chain of preimages; we show that this property is semidecidable, and find examples of such agars using a SAT solver. Our results about the topological dynamics of Game of Life are as follows: it never reaches its limit set; its dynamics on its limit set is chain-wandering, in particular it is not topologically transitive and does not have dense periodic points; and the spatial dynamics of its limit set is non-sofic, and does not admit a sublinear gluing radius in the cardinal directions (in particular it is not block-gluing). Our computability results are that Game of Life's reachability problem, as well as the language of its limit set, are PSPACE-hard.


title: On possible life-dispersal patterns beyond the Earth

abstract: We model hypothetical bio-dispersal within a single Galactic region using the stochastic infection dynamics process, which is inspired by these local properties of life dispersal on Earth. We split the population of stellar systems into different categories regarding habitability and evolved them through time using probabilistic cellular automata rules analogous to the model. As a dynamic effect, we include the existence of natural dispersal vectors (e.g., dust, asteroids) in a way that avoids assumptions about their agency. By assuming that dispersal vectors have a finite velocity and range, the model includes the parameter of 'optical depth of life spreading'. The effect of the oscillatory infection rate on the long-term behavior of the dispersal flux, which adds a diffusive component to its progression, is also taken into account. We found that phase space is separated into subregions of long-lasting transmission, rapidly terminated transmission, and a transition region between the two. We observed that depending on the amplitude of the oscillatory life spreading rate, life-transmission in the Galactic patch might take on different geometrical shapes. Even if some host systems are uninhabited, life transmission has a certain threshold, allowing a patch to be saturated with viable material over a long period. Although stochastic fluctuations in the local density of habitable systems allow for clusters that can continuously infect one another, the spatial pattern disappears when life transmission is below the observed threshold, so that transmission process is not permanent in time. Both findings suggest that a habitable planet in a densely populated region may remain uninfected.


title: Noise correction of large deviations with anomalous scaling

abstract: We present a path integral calculation of the probability distribution associated with the time-integrated moments of the Ornstein-Uhlenbeck process that includes the Gaussian prefactor in addition to the dominant path or instanton term obtained in the low-noise limit. The instanton term was obtained recently [D. Nickelsen, H. Touchette, Phys. Rev. Lett. 121, 090602 (2018)] and shows that the large deviations of the time-integrated moments are anomalous in the sense that the logarithm of their distribution scales nonlinearly with the integration time. The Gaussian prefactor gives a correction to the low-noise approximation and leads us to define an instanton variance giving some insights as to how anomalous large deviations are created in time. The results are compared with simulations based on importance sampling, extending our previous results based on direct Monte Carlo simulations. We conclude by explaining why many of the standard analytical and numerical methods of large deviation theory fail in the case of anomalous large deviations.


title: IF-City: Intelligible Fair City Planning to Measure, Explain and Mitigate Inequality

abstract: With the increasing pervasiveness of Artificial Intelligence (AI), many visual analytics tools have been proposed to examine fairness, but they mostly focus on data scientist users. Instead, tackling fairness must be inclusive and involve domain experts with specialized tools and workflows. Thus, domain-specific visualizations are needed for algorithmic fairness. Furthermore, while much work on AI fairness has focused on predictive decisions, less has been done for fair allocation and planning, which require human expertise and iterative design to integrate myriad constraints. We propose the Intelligible Fair Allocation (IF-Alloc) Framework that leverages explanations of causal attribution (Why), contrastive (Why Not) and counterfactual reasoning (What If, How To) to aid domain experts to assess and alleviate unfairness in allocation problems. We apply the framework to fair urban planning for designing cities that provide equal access to amenities and benefits for diverse resident types. Specifically, we propose an interactive visual tool, Intelligible Fair City Planner (IF-City), to help urban planners to perceive inequality across groups, identify and attribute sources of inequality, and mitigate inequality with automatic allocation simulations and constraint-satisfying recommendations. We demonstrate and evaluate the usage and usefulness of IF-City on a real neighborhood in New York City, US, with practicing urban planners from multiple countries, and discuss generalizing our findings, application, and framework to other use cases and applications of fair allocation.


title: Generalisation and the Risk--Entropy Curve

abstract: In this paper we show that the expected generalisation performance of a learning machine is determined by the distribution of risks or equivalently its logarithm -- a quantity we term the risk entropy -- and the fluctuations in a quantity we call the training ratio. We show that the risk entropy can be empirically inferred for deep neural network models using Markov Chain Monte Carlo techniques. Results are presented for different deep neural networks on a variety of problems. The asymptotic behaviour of the risk entropy acts in an analogous way to the capacity of the learning machine, but the generalisation performance experienced in practical situations is determined by the behaviour of the risk entropy before the asymptotic regime is reached. This performance is strongly dependent on the distribution of the data (features and targets) and not just on the capacity of the learning machine.


title: An $\mathfrak{sl}_2$-type tensor category for the Virasoro algebra at central charge $25$ and applications

abstract: Let $\mathcal{O}_{25}$ be the vertex algebraic braided tensor category of finite-length modules for the Virasoro Lie algebra at central charge $25$ whose composition factors are the irreducible quotients of reducible Verma modules. We show that $\mathcal{O}_{25}$ is rigid and that its simple objects generate a semisimple tensor subcategory that is braided tensor equivalent to an abelian $3$-cocycle twist of the category of finite-dimensional $\mathfrak{sl}_2$-modules. We also show that this $\mathfrak{sl}_2$-type subcategory is braid-reversed tensor equivalent to a similar category for the Virasoro algebra at central charge $1$. As an application, we construct a simple conformal vertex algebra which contains the Virasoro vertex operator algebra of central charge $25$ as a $PSL_2(\mathbb{C})$-orbifold. We also use our results to study Arakawa's chiral universal centralizer algebra of $SL_2$ at level $-1$, showing that it has a symmetric tensor category of representations equivalent to $\mathrm{Rep}\,PSL_2(\mathbb{C})$. This algebra is an extension of the tensor product of Virasoro vertex operator algebras of central charges $1$ and $25$, analogous to the modified regular representations of the Virasoro algebra constructed earlier for generic central charges by I. Frenkel-Styrkas and I. Frenkel-M. Zhu.


title: Calomplification -- The Power of Generative Calorimeter Models

abstract: Motivated by the high computational costs of classical simulations, machine-learned generative models can be extremely useful in particle physics and elsewhere. They become especially attractive when surrogate models can efficiently learn the underlying distribution, such that a generated sample outperforms a training sample of limited size. This kind of GANplification has been observed for simple Gaussian models. We show the same effect for a physics simulation, specifically photon showers in an electromagnetic calorimeter.


title: Intra-night optical variability monitoring of $\gamma$-ray emitting blazars

abstract: We present the results obtained from our campaign to characterize the intra-night-optical variability properties of blazars detected by the {\it Fermi} Large Area Telescope. This involves R-band monitoring observations of a sample of 18 blazars, that includes five flat-spectrum radio quasars (FSRQs) and thirteen BL Lac objects (BL Lacs) covering the redshift range z = 0.085$-$1.184. Our observations, carried out using the 1.3 m J.C. Bhattacharya Telescope cover a total of 40 nights ($\sim$200 hrs) between the period 2016 December and 2020 March. We characterized variability using the power enhanced $F-$test. We found a duty cycle (DC) of the variability of about 11\% for FSRQs and 12\% for BL Lacs. Dividing the sample into different sub-classes based on the position of the synchrotron peak in their broadband spectral energy distribution (SED), we found DC of $\sim$16\%, $\sim$10\% and $\sim$7\% for low-synchrotron peaked (LSP), intermediate synchrotron peaked (ISP) and high synchrotron peaked (HSP) blazars. Such high DC of variability in LSP blazars could be understood in the context of the R-band tracing the falling part (contributed by high energy electrons) of the synchrotron component of the broadband SED. Also, the R-band tracing the rising synchrotron part (produced by low energy electrons) in the case of ISP and HSP blazars, could cause lesser variability in them. Thus, the observed high DC of variability in LSP blazars relative to ISP and HSP blazars is in accordance with the leptonic model of emission from blazar jets.


title: First-passage times of multiple diffusing particles with reversible target-binding kinetics

abstract: We investigate a class of diffusion-controlled reactions that are initiated at the time instance when a prescribed number $K$ among $N$ particles independently diffusing in a solvent are simultaneously bound to a target region. In the irreversible target-binding setting, the particles that bind to the target stay there forever, and the reaction time is the $K$-th fastest first-passage time to the target, whose distribution is well-known. In turn, reversible binding, which is common for most applications, renders theoretical analysis much more challenging and drastically changes the distribution of reaction times. We develop a renewal-based approach to derive an approximate solution for the probability density of the reaction time. This approximation turns out to be remarkably accurate for a broad range of parameters. We also analyze the dependence of the mean reaction time or, equivalently, the inverse reaction rate, on the main parameters such as $K$, $N$, and binding/unbinding constants. Some biophysical applications and further perspectives are briefly discussed.


title: The coherent motions of thermal active Brownian particles

abstract: Active matter exhibits many intriguing non-equilibrium character, \emph{e.g.}, the active Brownian particles (ABP) without any attractive and aligned interactions can occur the mobility-induced phase transition to form some dense domains with both the structural ordering and dynamical coherence. Recently, the velocity correlation among the particles in the dense and ordered clusters was found in athermal ABP systems, however, seemed to disappear if including the thermal noises to describe microscopic ABPs, bringing some confusion about the generality of the consistence between structure and dynamics in ABPs. Here we demonstrate that the thermal noises imposing a large random term on the instantaneous velocity of ABPs hinder the observation of the (small) correlation in motions of ABPs. By averaging the instantaneous velocity (or equivalently, calculating the displacement) in various lag times, we show that the motions of thermal-fluctuated ABPs in the one order of magnitude smaller than the translational characteristic time are highly coherent and consistent spatially with the structural ordering of the ABPs.


title: Realistic Counterfactual Explanations with Learned Relations

abstract: Many existing methods of counterfactual explanations ignore the intrinsic relationships between data attributes and thus fail to generate realistic counterfactuals. Moreover, the existing models that account for relationships require domain knowledge, which limits their applicability in complex real-world applications. In this paper, we propose a novel approach to realistic counterfactual explanations that preserve the relationships and minimise experts' interventions. The model directly learns the relationships by a variational auto-encoder with minimal domain knowledge and then learns to perturb the latent space accordingly. We conduct extensive experiments on both synthetic and real-world datasets. The experimental results demonstrate that the proposed model learns relationships from the data and preserves these relationships in generated counterfactuals. In particular, it outperforms other methods in terms of Mahalanobis distance, and the constraint feasibility score.


title: Thermodynamics of the spin-half square-kagome lattice antiferromagnet

abstract: Over the last decade, the interest in the spin-$1/2$ Heisenberg antiferromagnet (HAF) on the square-kagome (also called shuriken) lattice has been growing as a model system of quantum magnetism with a quantum paramagnetic ground state, flat-band physics near the saturation field, and quantum scars. Here, we present large-scale numerical investigations of the specific heat $C(T)$, the entropy $S(T)$ as well as the susceptibility $\chi(T)$ by means of the finite-temperature Lanczos method for system sizes of $N=18,24,30,36,42,48$, and $N=54$. We find that the specific heat exhibits a low-temperature shoulder below the major maximum which can be attributed to low-lying singlet excitations filling the singlet-triplet gap, which is significantly larger than the singlet-singlet gap. This observation is further supported by the behavior of the entropy $S(T)$, where a change in the curvature is present just at about $T/J=0.2$, the same temperature where the shoulder in $C$ sets in. For the susceptibility the low-lying singlet excitations are irrelevant, and the singlet-triplet gap leads to an exponentially activated low-temperature behavior. The maximum in $\chi(T)$ is found at a pretty low temperature $T_{\rm max}/J=0.146$ (for $N=42$) compared to $T_{\rm max}/J=0.935$ for the unfrustrated square-lattice HAF signaling the crucial role of frustration also for the susceptibility. We find a striking similarity of our square-kagome data with the corresponding ones for the kagome HAF down to very low $T$. The magnetization process featuring plateaus and jumps and the field dependence of the specific heat that exhibits characteristic peculiarities attributed to the existence of a flat one-magnon band are as well discussed.


title: A Unified Framework for Masked and Mask-Free Face Recognition via Feature Rectification

abstract: Face recognition under ideal conditions is now considered a well-solved problem with advances in deep learning. Recognizing faces under occlusion, however, still remains a challenge. Existing techniques often fail to recognize faces with both the mouth and nose covered by a mask, which is now very common under the COVID-19 pandemic. Common approaches to tackle this problem include 1) discarding information from the masked regions during recognition and 2) restoring the masked regions before recognition. Very few works considered the consistency between features extracted from masked faces and from their mask-free counterparts. This resulted in models trained for recognizing masked faces often showing degraded performance on mask-free faces. In this paper, we propose a unified framework, named Face Feature Rectification Network (FFR-Net), for recognizing both masked and mask-free faces alike. We introduce rectification blocks to rectify features extracted by a state-of-the-art recognition model, in both spatial and channel dimensions, to minimize the distance between a masked face and its mask-free counterpart in the rectified feature space. Experiments show that our unified framework can learn a rectified feature space for recognizing both masked and mask-free faces effectively, achieving state-of-the-art results. Project code: https://github.com/haoosz/FFR-Net


title: textless-lib: a Library for Textless Spoken Language Processing

abstract: Textless spoken language processing research aims to extend the applicability of standard NLP toolset onto spoken language and languages with few or no textual resources. In this paper, we introduce textless-lib, a PyTorch-based library aimed to facilitate research in this research area. We describe the building blocks that the library provides and demonstrate its usability by discuss three different use-case examples: (i) speaker probing, (ii) speech resynthesis and compression, and (iii) speech continuation. We believe that textless-lib substantially simplifies research the textless setting and will be handful not only for speech researchers but also for the NLP community at large. The code, documentation, and pre-trained models are available at https://github.com/facebookresearch/textlesslib/ .


title: Multimodal Driver Referencing: A Comparison of Pointing to Objects Inside and Outside the Vehicle

abstract: Advanced in-cabin sensing technologies, especially vision based approaches, have tremendously progressed user interaction inside the vehicle, paving the way for new applications of natural user interaction. Just as humans use multiple modes to communicate with each other, we follow an approach which is characterized by simultaneously using multiple modalities to achieve natural human-machine interaction for a specific task: pointing to or glancing towards objects inside as well as outside the vehicle for deictic references. By tracking the movements of eye-gaze, head and finger, we design a multimodal fusion architecture using a deep neural network to precisely identify the driver's referencing intent. Additionally, we use a speech command as a trigger to separate each referencing event. We observe differences in driver behavior in the two pointing use cases (i.e. for inside and outside objects), especially when analyzing the preciseness of the three modalities eye, head, and finger. We conclude that there is no single modality that is solely optimal for all cases as each modality reveals certain limitations. Fusion of multiple modalities exploits the relevant characteristics of each modality, hence overcoming the case dependent limitations of each individual modality. Ultimately, we propose a method to identity whether the driver's referenced object lies inside or outside the vehicle, based on the predicted pointing direction.


title: Deep Learning-based Anomaly Detection on X-ray Images of Fuel Cell Electrodes

abstract: Anomaly detection in X-ray images has been an active and lasting research area in the last decades, especially in the domain of medical X-ray images. For this work, we created a real-world labeled anomaly dataset, consisting of 16-bit X-ray image data of fuel cell electrodes coated with a platinum catalyst solution and perform anomaly detection on the dataset using a deep learning approach. The dataset contains a diverse set of anomalies with 11 identified common anomalies where the electrodes contain e.g. scratches, bubbles, smudges etc. We experiment with 16-bit image to 8-bit image conversion methods to utilize pre-trained Convolutional Neural Networks as feature extractors (transfer learning) and find that we achieve the best performance by maximizing the contrasts globally across the dataset during the 16-bit to 8-bit conversion, through histogram equalization. We group the fuel cell electrodes with anomalies into a single class called abnormal and the normal fuel cell electrodes into a class called normal, thereby abstracting the anomaly detection problem into a binary classification problem. We achieve a balanced accuracy of 85.18\%. The anomaly detection is used by the company, Serenergy, for optimizing the time spend on the quality control of the fuel cell electrodes


title: MuLD: The Multitask Long Document Benchmark

abstract: The impressive progress in NLP techniques has been driven by the development of multi-task benchmarks such as GLUE and SuperGLUE. While these benchmarks focus on tasks for one or two input sentences, there has been exciting work in designing efficient techniques for processing much longer inputs. In this paper, we present MuLD: a new long document benchmark consisting of only documents over 10,000 tokens. By modifying existing NLP tasks, we create a diverse benchmark which requires models to successfully model long-term dependencies in the text. We evaluate how existing models perform, and find that our benchmark is much more challenging than their `short document' equivalents. Furthermore, by evaluating both regular and efficient transformers, we show that models with increased context length are better able to solve the tasks presented, suggesting that future improvements in these models are vital for solving similar long document problems. We release the data and code for baselines to encourage further research on efficient NLP models.


title: Periodic H\"older waves in a class of negative-order dispersive equations

abstract: We prove the existence of highest, cusped, periodic travelling-wave solutions with exact and optimal $ \alpha $-H\"older continuity in a class of fractional negative-order dispersive equations of the form \begin{equation*} u_t + (| \mathrm{D} |^{- \alpha} u + n(u) )_x = 0 \end{equation*} for every $ \alpha \in (0, 1) $ with homogeneous Fourier multiplier $ | \mathrm{D} |^{ - \alpha} $. We tackle nonlinearities $ n(u) $ of the type $ | u |^p $ or $ u | u |^{p - 1} $ for all real $ p > 1 $, and show that when $ n $ is odd, the waves also feature antisymmetry and thus contain inverted cusps. Tools involve detailed pointwise estimates in tandem with analytic global bifurcation, where we resolve the issue with nonsmooth $ n $ by means of regularisation. We believe that both the construction of highest antisymmetric waves and the regularisation of nonsmooth terms to an analytic bifurcation setting are new in this context, with direct applicability also to generalised versions of the Whitham, the Burgers--Poisson, the Burgers--Hilbert, the Degasperis--Procesi, the reduced Ostrovsky, and the bidirectional Whitham equations.


title: Zero-Shot Assistance in Sequential Decision Problems

abstract: We consider the problem of creating assistants that can help agents solve new sequential decision problems, assuming the agent is not able to specify the reward function explicitly to the assistant. Instead of acting in place of the agent as in current automation-based approaches, we give the assistant an advisory role and keep the agent in the loop as the main decision maker. The difficulty is that we must account for potential biases of the agent which may cause it to seemingly irrationally reject advice. To do this we introduce a novel formalization of assistance that models these biases, allowing the assistant to infer and adapt to them. We then introduce a new method for planning the assistant's actions which can scale to large decision making problems. We show experimentally that our approach adapts to these agent biases, and results in higher cumulative reward for the agent than automation-based alternatives. Lastly, we show that an approach combining advice and automation outperforms advice alone at the cost of losing some safety guarantees.


title: A Statistical Learning View of Simple Kriging

abstract: In the Big Data era, with the ubiquity of geolocation sensors in particular, massive datasets exhibiting a possibly complex spatial dependence structure are becoming increasingly available. In this context, the standard probabilistic theory of statistical learning does not apply directly and guarantees of the generalization capacity of predictive rules learned from such data are left to establish. We analyze here the simple Kriging task from a statistical learning perspective, i.e. by carrying out a nonparametric finite-sample predictive analysis. Given $d\geq 1$ values taken by a realization of a square integrable random field $X=\{X_s\}_{s\in S}$, $S\subset \mathbb{R}^2$, with unknown covariance structure, at sites $s_1,\; \ldots,\; s_d$ in $S$, the goal is to predict the unknown values it takes at any other location $s\in S$ with minimum quadratic risk. The prediction rule being derived from a training spatial dataset: a single realization $X'$ of $X$, independent from those to be predicted, observed at $n\geq 1$ locations $\sigma_1,\; \ldots,\; \sigma_n$ in $S$. Despite the connection of this minimization problem with kernel ridge regression, establishing the generalization capacity of empirical risk minimizers is far from straightforward, due to the non independent and identically distributed nature of the training data $X'_{\sigma_1},\; \ldots,\; X'_{\sigma_n}$ involved in the learning procedure. In this article, non-asymptotic bounds of order $O_{\mathbb{P}}(1/\sqrt{n})$ are proved for the excess risk of a plug-in predictive rule mimicking the true minimizer in the case of isotropic stationary Gaussian processes, observed at locations forming a regular grid in the learning stage. These theoretical results are illustrated by various numerical experiments, on simulated data and on real-world datasets.


title: A Maxwell-Amp\`{e}re Nernst-Planck Framework for Modeling Charge Dynamics

abstract: Understanding the properties of charge dynamics is crucial to many practical applications, such as electrochemical energy devices and transmembrane ion channels. This work proposes a Maxwell-Amp\`{e}re Nernst-Planck (MANP) framework for the description of charge dynamics. The MANP model with a curl-free condition on the electric displacement is shown to be energy dissipative with respect to a convex free-energy functional, and demonstrated to be equivalent to the Poisson-Nernst-Planck model. By the energy dissipation law, the steady state of the MANP model reproduces the charge conserving Poisson--Boltzmann (PB) theory, providing an alternative energy stable approach to study the PB theory. In order to achieve the curl-free condition, a companion local curl-free relaxation algorithm, which is shown to naturally preserve the discrete Gauss's law and converge robustly with linear computational complexity, is developed for the MANP model. One of the main advantages of our development is that it can efficiently deal with space-dependent permittivity instead of solving the variable-coefficient Poisson's equation. Many-body effects such as ionic steric effects and Coulomb correlations can be incorporated within the MANP framework to derive modified MANP models for problems in which the mean-field approximation fails. Numerical results on the charge dynamics with such beyond mean-field effects in inhomogeneous dielectric environments are presented to demonstrate the performance of the MANP models in the description of charge dynamics, illustrating that the proposed MANP model provides a general framework for modeling charge dynamics.


title: Using transcription-based detectors to emulate the behaviour of sequential probability ratio-based concentration detectors

abstract: The sequential probability ratio test (SPRT) from statistics is known to have the least mean decision time compared to other sequential or fixed-time tests for given error rates. In some circumstances, cells need to make decisions accurately and quickly, therefore it has been suggested the SPRT may be used to understand the speed-accuracy tradeoff in cellular decision making. It is generally thought that in order for cells to make use of the SPRT, it is necessary to find biochemical circuits that can compute the log-likelihood ratio needed for the SPRT. However, this paper takes a different approach. We recognise that the high-level behaviour of the SPRT is defined by its positive detection or hit rate, and the computation of the log-likelihood ratio is just one way to realise this behaviour. In this paper, we will present a method which uses a transcription-based detector to emulate the hit rate of the SPRT without computing the exact log-likelihood ratio. We consider the problem of using a promoter with multiple binding sites to accurately and quickly detect whether the concentration of a transcription factor is above a target level. We show that it is possible to find binding and unbinding rates of the transcription factor to the promoter's binding sites so that the probability that the amount of mRNA produced will be higher than a threshold is approximately equal to the hit rate of the SPRT detector. Moreover, we show that the average time that this transcription-based detector needs to make a positive detection is less than or equal to that of the SPRT for a wide range of concentrations. We remark that the last statement does not contradict Wald's optimality result because our transcription-based detector uses an open-ended test.


title: VLA detects CO(1-0) emission in the z=3.65 quasar SDSS J160705+533558

abstract: We present CO(1--0) observations of the high-redshift quasar SDSS J160705+533558 ($z=3.653$) using the Karl G. Jansky Very Large Array (VLA). We detect CO emission associated with the quasar and at $\sim16.8\,\rm kpc$ projected distance from it, separated by $\sim800\,\rm km\,s^{-1}$ in velocity. The total molecular gas mass of this system is $\sim5\times10^{10}\,\rm M_{\odot}$. By comparing our CO detections with previous submillimetre (submm) observations of the source, an offset between the different emission components is revealed: the peak of the submm emission is offset from the quasar and from the CO companion detected in our VLA data. To explain our findings, we propose a scenario similar to that for the Antennae galaxies: SDSS J160705+533558 might be a merger system in which the quasar and the CO companion are the merging galaxies, whose interaction resulted in the formation of a dusty, star-forming overlap region between the galaxies that is dominant at the submm wavelengths.


title: A Low-Parametric Model for Bit-Rate Estimation of VVC Residual Coding

abstract: There are many tasks within video compression which require fast bit rate estimation. As an example, rate-control algorithms are only feasible because it is possible to estimate the required bit rate without needing to encode the entire block. With residual coding technology becoming more and more sophisticated, the corresponding bit rate models require more advanced features. In this work, we propose a set of four features together with a linear model, which is able to estimate the rate of arbitrary residual blocks which were compressed using the VVC standard. Our method outperforms other methods which were used for the same task both in terms of mean absolute error and mean relative error. Our model deviates by less than 4 bit on average over a large dataset of natural images.


title: A high angular resolution interferometric backscatter meter

abstract: Backscatter limits many interferometric measurements, including gravitational wave detectors, by creating spurious interference. We describe an experimental method to directly and quantitatively measure the backscatter interference. We derive and verify experimentally a relation between backscatter interference, beam radius and the scattering sample bidirectional reflectance distribution function. We also demonstrate that our method is able to measure backscatter from high quality optics for angles as low as 500 urad with a 160 urad angular resolution.


title: Personalized Prompt Learning for Explainable Recommendation

abstract: Providing user-understandable explanations to justify recommendations could help users better understand the recommended items, increase the system's ease of use, and gain users' trust. A typical approach to realize it is natural language generation. However, previous works mostly adopt recurrent neural networks to meet the ends, leaving the potentially more effective pre-trained Transformer models under-explored. In fact, user and item IDs, as important identifiers in recommender systems, are inherently in different semantic space as words that pre-trained models were already trained on. Thus, how to effectively fuse IDs into such models becomes a critical issue. Inspired by recent advancement in prompt learning, we come up with two solutions: find alternative words to represent IDs (called discrete prompt learning), and directly input ID vectors to a pre-trained model (termed continuous prompt learning). In the latter case, ID vectors are randomly initialized but the model is trained in advance on large corpora, so they are actually in different learning stages. To bridge the gap, we further propose two training strategies: sequential tuning and recommendation as regularization. Extensive experiments show that our continuous prompt learning approach equipped with the training strategies consistently outperforms strong baselines on three datasets of explainable recommendation.


title: Towards machine learning for microscopic mechanisms: a formula search for crystal structure stability based on atomic properties

abstract: Machine Learning (ML) techniques are revolutionizing the way to perform efficient materials modeling. Nevertheless, not all the ML approaches allow for the understanding of microscopic mechanisms at play in different phenomena. To address the latter aspect, we propose a combinatorial machine-learning approach to obtain physical formulas based on simple and easily-accessible ingredients, such as atomic properties. The latter are used to build materials features that are finally employed, through Linear Regression, to predict the energetic stability of semiconducting binary compounds with respect to zincblende and rocksalt crystal structures. The adopted models are trained using dataset built from first-principles calculations. Our results show that already one-dimensional (1D) formulas well describe the energetics; a simple grid-search optimization of the automatically-obtained 1D-formulas enhances the prediction performances at a very small computational cost. In addition, our approach allows to highlight the role of the different atomic properties involved in the formulas. The computed formulas clearly indicate that "spatial" atomic properties (i.e. radii indicating maximum probability densities for $s,p,d$ electronic shells) drive the stabilization of one crystal structure with respect to the other, suggesting the major relevance of the radius associated to the $p$-shell of the cation species.


title: Linear mode analysis from spin transport equation

abstract: We provide a linear analysis on normal modes of the spin Boltzmann equation proposed in \cite{Weickgenannt:2021cuo}, where the non-diagonal or polarized part of the transition rate is neglected to ensure the Hermitian property of linearized collision operator. As an instrumental element of spin kinetic theory, the conservation of total angular momentum is explicitly considered, thus our analysis is relevant to the recent investigation on the issue of local spin polarization. By treating the linearized collision operator as an evolution operator, solving the normal modes turns out a degenerate perturbation problem in quantum mechanics. The dispersion relations of spinless modes are in accordance with well-known calculations, while the frequencies of spin modes are also determined up to second-order in wave vector and the second order expressions are only formal solutions to be further determined. Moreover, the relaxation of spin density is related to our linear mode analysis, which shall play a big role in investigating the issues of the local spin polarization in the relativistic heavy-ion collisions.


title: The paradox of classical reasoning

abstract: Intuitively, the more powerful a theory is, the greater the variety and quantity of ideas can be expressed through its formal language. Therefore, when comparing two theories concerning the same subject, it seems only reasonable to compare the expressive powers of their formal languages. On condition that the quantum mechanical description is universal and so can be applied to macroscopic systems, quantum theory is required to be more powerful than classical mechanics. This implies that the formal language of Hilbert space theory must be more expressive than that of Zermelo-Fraenkel set theory (the language of classical formalism). However, as shown in the paper, such a requirement cannot be met. As a result, classical and quantum formalisms cannot be in a hierarchical relation, that is, include one another. This fact puts in doubt the quantum-classical correspondence and undermines the reductionist approach to the physical world.


title: Optomechanical Modulation Spectroscopy of Bound-States-In-The-Continuum in a dielectric metasurface

abstract: Elusive features in photonic and electronic devices can be detected by means of advanced, time-domain spectroscopic techniques. In this letter we introduce a novel kind of modulation spectroscopy, based on the optomechanical interaction of photonic and mechanical modes. Applying the technique to a Si metasurface and its drum-like mechanical modes, we detect narrow-band quasi-Bound-State-in-the-Continuum (q-BIC) modes close to normal incidence, where their measurement can be hindered by a high symmetry protection and undesired background modes. Showing a visibility enhancement of more than one order of magnitude, the optomechanical modulation spectroscopy can be an innovative tool for precise spectroscopy of a wide set of photonic devices, including the goal of measuring purely symmetry protected BIC resonances.


title: Deep-QPP: A Pairwise Interaction-based Deep Learning Model for Supervised Query Performance Prediction

abstract: Motivated by the recent success of end-to-end deep neural models for ranking tasks, we present here a supervised end-to-end neural approach for query performance prediction (QPP). In contrast to unsupervised approaches that rely on various statistics of document score distributions, our approach is entirely data-driven. Further, in contrast to weakly supervised approaches, our method also does not rely on the outputs from different QPP estimators. In particular, our model leverages information from the semantic interactions between the terms of a query and those in the top-documents retrieved with it. The architecture of the model comprises multiple layers of 2D convolution filters followed by a feed-forward layer of parameters. Experiments on standard test collections demonstrate that our proposed supervised approach outperforms other state-of-the-art supervised and unsupervised approaches.


title: The aperiodic Domino problem in higher dimension

abstract: The classical Domino problem asks whether there exists a tiling in which none of the forbidden patterns given as input appear. In this paper, we consider the aperiodic version of the Domino problem: given as input a family of forbidden patterns, does it allow an aperiodic tiling? The input may correspond to a subshift of finite type, a sofic subshift or an effective subshift. arXiv:1805.08829 proved that this problem is co-recursively enumerable ($\Pi_0^1$-complete) in dimension 2 for geometrical reasons. We show that it is much harder, namely analytic ($\Sigma_1^1$-complete), in higher dimension: $d \geq 4$ in the finite type case, $d \geq 3$ for sofic and effective subshifts. The reduction uses a subshift embedding universal computation and two additional dimensions to control periodicity. This complexity jump is surprising for two reasons: first, it separates 2- and 3-dimensional subshifts, whereas most subshift properties are the same in dimension 2 and higher; second, it is unexpectedly large.


title: Computing Black Scholes with Uncertain Volatility-A Machine Learning Approach

abstract: In financial mathematics, it is a typical approach to approximate financial markets operating in discrete time by continuous-time models such as the Black Scholes model. Fitting this model gives rise to difficulties due to the discrete nature of market data. We thus model the pricing process of financial derivatives by the Black Scholes equation, where the volatility is a function of a finite number of random variables. This reflects an influence of uncertain factors when determining volatility. The aim is to quantify the effect of this uncertainty when computing the price of derivatives. Our underlying method is the generalized Polynomial Chaos (gPC) method in order to numerically compute the uncertainty of the solution by the stochastic Galerkin approach and a finite difference method. We present an efficient numerical variation of this method, which is based on a machine learning technique, the so-called Bi-Fidelity approach. This is illustrated with numerical examples.


title: NuSTAR and AstroSat observations of thermonuclear X-ray bursts with short-recurrence times in 4U 1636$-$536

abstract: We report results from the spectro-timing analysis of the atoll source 4U 1636$-$536 observed with NuSTAR and AstroSat during its hard spectral state. In three observations of 207 ks total exposure, we identify 31 thermonuclear X-ray bursts including five doublets and a triplet. Recurrence time as short as 3.8 minutes is seen in one of the doublets. To the best of our knowledge, this is the shortest recurrence time known for this source. Our time-averaged spectroscopy during the bursts indicate the presence of an additional powerlaw or a blackbody component in a few cases, perhaps due to varying temperatures during bursts or plausible deviation from ideal blackbody behavior, however, it is difficult to probe this using the time-resolved spectroscopy owing to limited statistics. Time-resolved bursts are well fit using an absorbed blackbody model with temperatures varying between 1.7 and 2.2 keV. Burst oscillations around 581 Hz are detected with 3$\sigma$ confidence during the decay phase in two of the X-ray bursts. One of the burst oscillations is seen at 582 Hz, a frequency observed during the 2001 superburst in this source.


title: GuaranTEE: Introducing Control-Flow Attestation for Trusted Execution Environments

abstract: The majority of cloud providers offers users the possibility to deploy Trusted Execution Environments (TEEs) to protect their data and processes from high privileged adversaries. This offer is intended to address concerns of users when moving critical tasks into the cloud. However, TEEs only allow to attest the integrity of the environment at launch-time. To also enable the attestation of a TEE's integrity at run-time, we present GuaranTEE. GuaranTEE uses control-flow attestation to ensure the integrity of a service running within a TEE. By additionally placing all components of GuaranTEE in TEEs, we are able to not only detect a compromised target, but are also able to protect ourselves from malicious administrators. We show the practicability of GuaranTEE by providing a detailed performance and security evaluation of our prototype based on Intel SGX in Microsoft Azure. Our evaluation shows that the need to transfer information between TEEs and the additional verification process add considerable overhead under high CPU load. Yet, we are able to reduce this overhead by securely caching collected information and by performing the analysis in parallel to executing the application. In summary, our results show that GuaranTEE provides a practical solution for cloud users focused on protecting the integrity of their data and processes at run-time.


title: Monolithic multigrid for implicit Runge-Kutta discretizations of incompressible fluid flow

abstract: Most research on preconditioners for time-dependent PDEs has focused on implicit multi-step or diagonally-implicit multi-stage temporal discretizations. In this paper, we consider monolithic multigrid preconditioners for fully-implicit multi-stage Runge-Kutta (RK) time integration methods. These temporal discretizations have very attractive accuracy and stability properties, but they couple the spatial degrees of freedom across multiple time levels, requiring the solution of very large linear systems. We extend the classical Vanka relaxation scheme to implicit RK discretizations of saddle point problems. We present numerical results for the incompressible Stokes, Navier-Stokes, and resistive magnetohydrodynamics equations, in two and three dimensions, confirming that these relaxation schemes lead to robust and scalable monolithic multigrid methods for a challenging range of incompressible fluid-flow models.


title: Phase Vocoder Done Right

abstract: The phase vocoder (PV) is a widely spread technique for processing audio signals. It employs a short-time Fourier transform (STFT) analysis-modify-synthesis loop and is typically used for time-scaling of signals by means of using different time steps for STFT analysis and synthesis. The main challenge of PV used for that purpose is the correction of the STFT phase. In this paper, we introduce a novel method for phase correction based on phase gradient estimation and its integration. The method does not require explicit peak picking and tracking nor does it require detection of transients and their separate treatment. Yet, the method does not suffer from the typical phase vocoder artifacts even for extreme time stretching factors.


title: Regular non-semisimple Dubrovin-Frobenius manifolds

abstract: We study regular non-semisimple Dubrovin-Frobenius manifolds in dimensions 2,3,4. We focus on the case where the Jordan canonical form of the operator of multiplication by the Euler vector field has a single Jordan block. Our results rely on the existence of special local coordinates introduced in [4] for regular flat F-manifolds with Euler vector field. In such coordinates the invariant metric of the Dubrovin-Frobenius manifold takes a special form which is the starting point of our construction.


title: The Phase-I Trigger Readout Electronics Upgrade of the ATLAS Liquid Argon Calorimeters

abstract: The Phase-I trigger readout electronics upgrade of the ATLAS Liquid Argon calorimeters enhances the physics reach of the experiment during the upcoming operation at increasing Large Hadron Collider luminosities. The new system, installed during the second Large Hadron Collider Long Shutdown, increases the trigger readout granularity by up to a factor of ten as well as its precision and range. Consequently, the background rejection at trigger level is improved through enhanced filtering algorithms utilizing the additional information for topological discrimination of electromagnetic and hadronic shower shapes. This paper presents the final designs of the new electronic elements, their custom electronic devices, the procedures used to validate their proper functioning, and the performance achieved during the commissioning of this system.


title: Interplay of Beam Polarisation and Systematic Uncertainties in Electroweak Precision Measurements at Future $e^+ e^-$ Colliders

abstract: Future high-energy $\textrm{e}^+\textrm{e}^-$ colliders will provide some of the most precise tests of the Standard Model. Statistical uncertainties on electroweak precision observables and triple gauge couplings are expected to improve by orders of magnitude over current measurements. This provides a new challenge in accurately assessing and minimizing the impact of experimental systematic uncertainties. Beam polarization may hold a unique potential to isolate and determine the size of systematic effects. So far, studies have mainly focused on the statistical improvements from beam polarisation. This study aims to assess, for the first time, its impact on systematic uncertainties. A combined fit of precision observables, such as chiral fermion couplings and anomalous triple gauge couplings, together with experimental systematic effects is performed on generator-level differential distribution of 2-fermion and 4-fermion final-states. Different configurations of available beam polarisations and luminosities are tested with and without systematic effects, and will be discussed in the context of the existing projections on fermion and gauge boson couplings from detailed experimental simulations.


title: $\mu$-hybrid Inflation, Gravitino Dark Matter and Stochastic Gravitational Wave Background from Cosmic Strings

abstract: We present a successful realization of supersymmetric $\mu$-hybrid inflation model based on a gauged $U(1)_{B-L}$ extension of the minimal supersymmetric standard model, with the soft supersymmetry breaking terms are playing an important role. Successful non-thermal leptogenesis with gravitino dark matter yields a reheat temperature in the range $2 \times 10^{7} \lesssim T_R \lesssim 5 \times 10^{9}$ GeV. This corresponds to the predictions $2 \times 10^{-18} \lesssim r\lesssim 4 \times 10^{-13}$ for the tensor to scalar ratio, and $-2 \times 10^{-6} \lesssim dn_s/d\ln k \lesssim -5 \times 10^{-11}$ for the running of the scalar spectral index. The $B-L$ breaking scale is estimated as $ 6 \times 10^{14}\lesssim M/ \text{GeV}\lesssim 10^{16}$, calculated at the central value of the scalar spectral index, $n_s =0.9655$, reported by Planck 2018. Finally, in a grand unified theory setup the dimensionless string tension parameter associated with the metastable strings is in the range $ 10^{-9} \lesssim G\mu_\text{cs} \lesssim 10^{-6}$ corresponding to a stochastic gravitational wave background lying within the 2$\sigma$ bound of the recent NANOGrav 12.5-yr data.


title: Waves in weakly ionised solar plasmas

abstract: Here we study the nature and characteristics of waves propagating in partially ionised plasmas in the weakly ionised limit, typical for the lower part of the solar atmosphere. The framework in which the properties of waves are discussed depends on the relative magnitude of collisions between particles, but also on the relative magnitude of the collisional frequencies compared to the gyro-frequency of charged particles. Our investigation shows that the weakly ionised solar atmospheric plasma can divided into two regions and this division occurs, roughly, at the base of the chromosphere. In the solar photosphere the plasma is non-magnetised and the dynamics can described within the three-fluid framework where acoustic waves associated to each species can propagate. Due to the very high concentration of neutrals, the neutral sound waves propagates with no damping, while for the other two modes the damping rate is determined by collisions with neutrals. The ion and electron-related acoustic modes propagate with a cut-off determined by the collisional frequency of these species with neutrals. In the weakly ionised chromosphere only electrons are magnetised, however, the strong coupling of charged particles reduces the working framework to a two-fluid model. The disassociation of charged particles creates electric currents that can influence the characteristic of waves. The propagation properties of waves with respect to the angle of propagation are studied with the help of polar diagrams.


title: Performance optimizations for porting the openQ$^\star$D package to GPUs

abstract: OpenQ$^\star$D code has been used by the RC$^\star$ collaboration for the generation of fully dynamical QCD+QED gauge configurations with C$^\star$ boundary conditions. In this talk, optimization of solvers provided with the openQ$^\star$D package relevant for porting the code on GPU-accelerated supercomputing platforms is discussed. We present the analysis of the current implementations of the GCR solver preconditioned with Schwarz alternating procedure for ill-conditioned Dirac-operators. With the goal of enabling support for GPUs from various vendors, a novel method of adaptive CPU/GPU-hybrid implementation is proposed.


title: Spam four ways: Making sense of text data

abstract: The world is full of text data, yet text analytics has not traditionally played a large part in statistics education. We consider four different ways to provide students with opportunities to explore whether email messages are unwanted correspondence (spam). Text from subject lines are used to identify features that can be used in classification. The approaches include use of a Model Eliciting Activity, exploration with CODAP, modeling with a specially designed Shiny app, and coding more sophisticated analyses using R. The approaches vary in their use of technology and code but all share the common goal of using data to make better decisions and assessment of the accuracy of those decisions.


title: Practical Testing of a C99 Compiler Using Output Comparison

abstract: A simple technique is presented for testing a C99 compiler, by comparison of its output with output from preexisting tools. The advantage to this approach is that new test cases can be added in bulk from existing sources, reducing the need for in-depth investigation of correctness issues, and for creating new test code by hand. This technique was used in testing the PalmSource Palm OS Cobalt ARM C/C++ cross-compiler for Palm-Powered personal digital assistants, primarily for standards-compliance and correct execution of generated code. The technique described here found several hundred bugs, mostly in our in-house code, but also in longstanding high-quality front- and back-end code from Edison Design Group and Apogee Software. It also found eighteen bugs in the GNU C compiler, as well as a bug specific to the Apple version of GCC, a bug specific to the Suse version of GCC, and a dozen bugs in versions of GCC for the ARM processor, several of them critical.


title: Exploring Deep Reinforcement Learning-Assisted Federated Learning for Online Resource Allocation in Privacy-Persevering EdgeIoT

abstract: Federated learning (FL) has been increasingly considered to preserve data training privacy from eavesdropping attacks in mobile edge computing-based Internet of Thing (EdgeIoT). On the one hand, the learning accuracy of FL can be improved by selecting the IoT devices with large datasets for training, which gives rise to a higher energy consumption. On the other hand, the energy consumption can be reduced by selecting the IoT devices with small datasets for FL, resulting in a falling learning accuracy. In this paper, we formulate a new resource allocation problem for privacy-persevering EdgeIoT to balance the learning accuracy of FL and the energy consumption of the IoT device. We propose a new federated learning-enabled twin-delayed deep deterministic policy gradient (FL-DLT3) framework to achieve the optimal accuracy and energy balance in a continuous domain. Furthermore, long short term memory (LSTM) is leveraged in FL-DLT3 to predict the time-varying network state while FL-DLT3 is trained to select the IoT devices and allocate the transmit power. Numerical results demonstrate that the proposed FL-DLT3 achieves fast convergence (less than 100 iterations) while the FL accuracy-to-energy consumption ratio is improved by 51.8% compared to existing state-of-the-art benchmark.


title: Topology induced first-order phase transitions in lattice quantum gravity

abstract: Causal Dynamical Triangulations (CDT) is a lattice formulation of quantum gravity, suitable for Monte-Carlo simulations which have been used to study the phase diagram of the model. It has four phases characterized by different dominant geometries, denoted phase $A$, $B$, $C$ and $C_b$. In this article we analyse the $A-B$ and the $B-C$ {phase} transitions in the case where the topology of space is that of the three-torus. This completes the phase diagram of CDT for such a spatial topology. We observe that the order of a phase transition of spacetime geometries can depend on the topology of spacetime.


title: First-order thermodynamics of scalar-tensor cosmology

abstract: A new thermodynamics of scalar-tensor gravity is applied to spatially homogeneous and isotropic cosmologies in this class of theories and tested on analytical solutions. A forever-expanding universe approaches the Einstein "state of equilibrium" with zero effective temperature at late times and departs from it near spacetime singularities. "Cooling" by expansion and "heating" by singularities compete near the Big Rip, where it is found that the effective temperature diverges in the case of a conformally coupled scalar field.


title: IEC61850 Sample-Value Service Based on Reduced Application Service Data Unit for Energy IOT

abstract: With the development of 5G technology and low-power wireless communication technology, a large number of IOT devices are introduced into energy systems. Existing IOT communication protocols such as MQQT and COAP cannot meet the requirements of high reliability and real-time performance. However, the 61850-9-2 Sample value protocol is relatively complex and the message length is large, difficult to ensure real-time transmission for IOT devices with limited transmission rate. This paper proposes a 9-2 Sample Value protocol for IOT controller based on Application Service Data Unit. The communication protocol is strictly in accordance with IEC61850-9-2 and can be recognized by existing intelligent electronic devices such as merging units. The protocol simplifies and trims some parameters, and changes the floating point value to integer data. Considering the instability of wireless communication, uni-cast or multicast UDP/IP is utilized to send SV Payload based on the 2.4GHz WIFI. The maximum transmission rate can be up to 30 Mbps. The hardware to implement reduced SV adopts ESP32-S, which is a dual-core MCU supporting WIFI with frequency of 240MHz. Software is based on FreeRTOS, LWIP and Libiec61850. A PC or raspberry PI is used as the Host to receive and analyze packets, verifying feasibility of reduced SV protocols.


title: Integrability of Three Dimensional Gravity Field Equations

abstract: We show that the tree dimensional Einstein vacuum field equations with cosmological constant are integrable. Using the $sl(2,R)$ valued soliton connections we obtain the metric of the spacetime in terms of the dynamical variables of the integrable nonlinear partial differential equations.


title: Noncommutative Bispectral Algebras and their Presentations

abstract: We prove a general result on presentations of finitely-generated algebras and apply it to obtain nice presentations for some noncommutative algebras arising in the matrix bispectral problem. By "nice presentation" we mean a presentation that has as few as possible defining relations. This in turn, has potential applications in computer algebra implementations and examples. Our results can be divided into three parts. In the first two, we consider bispectral algebras with the eigenvalue in the physical equation to be scalar-valued for $2\times 2$ and $3\times 3$ matrix-valued eigenfunctions. In the third part, we assume the eigenvalue in the physical equation to be matrix-valued and draw an important connection with spin Calogero-Moser systems. In all cases, we show that these algebras are finitely presented. As a byproduct, we answer positively a conjecture of F.~A.~Gr\"{u}nbaum about these algebras.


title: General Solution and Canonical Quantization of the Conic Path Constrained Second-Class System

abstract: We consider the problem of constrained motion along a conic path under a given external potential function. The model is described as a second-class system capturing the behavior of a certain class of specific quantum field theories. By exhibiting a suitable integration factor, we obtain the general solution for the associated non-linear differential equations. We perform the canonical quantization in a consistent way in terms of the corresponding Dirac brackets. We apply the Dirac-Bergmann algorithm to unravel and classify the whole internal constraints structure inherent to its dynamical Hamiltonian description, obtain the proper extended Hamiltonian function, determine the Lagrange multiplier and compute all relevant Poisson brackets among the constraints, Hamiltonian and Lagrange multiplier. The complete Dirac brackets algebra in phase space as well as its physical realization in terms of differential operators is explicitly obtained.


title: A numerical energy minimisation approach for semilinear diffusion-reaction boundary value problems based on steady state iterations

abstract: We present a novel energy-based numerical analysis of semilinear diffusion-reaction boundary value problems. Based on a suitable variational setting, the proposed computational scheme can be seen as an energy minimisation approach. More specifically, this procedure aims to generate a sequence of numerical approximations, which results from the iterative solution of related (stabilised) linearised discrete problems, and tends to a local minimum of the underlying energy functional. Simultaneously, the finite-dimensional approximation spaces are adaptively refined; this is implemented in terms of a new mesh refinement strategy in the context of finite element discretisations, which again relies on the energy structure of the problem under consideration, and does not involve any a posteriori error indicators. In combination, the resulting adaptive algorithm consists of an iterative linearisation procedure on a sequence of hierarchically refined discrete spaces, which we prove to converge towards a solution of the continuous problem in an appropriate sense. Numerical experiments demonstrate the robustness and reliability of our approach for a series of examples.


title: Interpreting a Machine Learning Model for Detecting Gravitational Waves

abstract: We describe a case study of translational research, applying interpretability techniques developed for computer vision to machine learning models used to search for and find gravitational waves. The models we study are trained to detect black hole merger events in non-Gaussian and non-stationary advanced Laser Interferometer Gravitational-wave Observatory (LIGO) data. We produced visualizations of the response of machine learning models when they process advanced LIGO data that contains real gravitational wave signals, noise anomalies, and pure advanced LIGO noise. Our findings shed light on the responses of individual neurons in these machine learning models. Further analysis suggests that different parts of the network appear to specialize in local versus global features, and that this difference appears to be rooted in the branched architecture of the network as well as noise characteristics of the LIGO detectors. We believe efforts to whiten these "black box" models can suggest future avenues for research and help inform the design of interpretable machine learning models for gravitational wave astrophysics.


title: Mixed boundary conditions as limits of dissipative boundary conditions in dynamic perfect plasticity

abstract: This paper addresses the well posedness of a dynamical model of perfect plasticity with mixed boundary conditions for general closed and convex elasticity sets. The proof relies on an asymptotic analysis of the solution of a perfect plasticity model with relaxed dissipative boundary conditions obtained in [7]. One of the main issues consists in extending the measure theoretic duality pairing between stresses and plastic strains, as well as a convexity inequality to a more general context where deviatoric stresses are not necessarily bounded. Complete answers are given in the pure Dirichlet and pure Neumann cases. For general mixed boundary conditions, partial answers are given in dimension $2$ and $3$ under additional geometric hypothesis on the elasticity set and the reference configuration.


title: The Optimal Beam-loading in Two-bunch Nonlinear Plasma Wakefield Accelerators

abstract: Due to the highly nonlinear nature of the beam-loading, it is at present not possible to analytically determine the beam parameters needed in a two-bunch plasma wakefield accelerator for maintaining a low energy spread. Therefore in this paper, by using the Broyden-Fletcher-Goldfarb-Shanno algorithm for the parameter scanning with the code QuickPIC and the polynomial regression together with k-fold cross-validation method, we obtain two fitting formulas for calculating the parameters of tri-Gaussian electron beams when minimizing the energy spread based on the beam-loading effect in a nonlinear plasma wakefield accelerator. One formula allows the optimization of the normalized charge per unit length of a trailing beam to achieve the minimal energy spread, i.e. the optimal beam-loading. The other one directly gives the transformer ratio when the trailing beam achieves the optimal beam-loading. A simple scaling law for charges of drive beams and trailing beams is obtained from the fitting formula, which indicates that the optimal beam-loading is always achieved for a given charge ratio of the two beams when the length and separation of two beams and the plasma density are fixed. The formulas can also help obtain the optimal plasma densities for the maximum accelerated charge and the maximum acceleration efficiency under the optimal beam-loading respectively. These two fitting formulas will significantly enhance the efficiency for designing and optimizing a two-bunch plasma wakefield acceleration stage.


title: SODAR: Segmenting Objects by DynamicallyAggregating Neighboring Mask Representations

abstract: Recent state-of-the-art one-stage instance segmentation model SOLO divides the input image into a grid and directly predicts per grid cell object masks with fully-convolutional networks, yielding comparably good performance as traditional two-stage Mask R-CNN yet enjoying much simpler architecture and higher efficiency. We observe SOLO generates similar masks for an object at nearby grid cells, and these neighboring predictions can complement each other as some may better segment certain object part, most of which are however directly discarded by non-maximum-suppression. Motivated by the observed gap, we develop a novel learning-based aggregation method that improves upon SOLO by leveraging the rich neighboring information while maintaining the architectural efficiency. The resulting model is named SODAR. Unlike the original per grid cell object masks, SODAR is implicitly supervised to learn mask representations that encode geometric structure of nearby objects and complement adjacent representations with context. The aggregation method further includes two novel designs: 1) a mask interpolation mechanism that enables the model to generate much fewer mask representations by sharing neighboring representations among nearby grid cells, and thus saves computation and memory; 2) a deformable neighbour sampling mechanism that allows the model to adaptively adjust neighbor sampling locations thus gathering mask representations with more relevant context and achieving higher performance. SODAR significantly improves the instance segmentation performance, e.g., it outperforms a SOLO model with ResNet-101 backbone by 2.2 AP on COCO \texttt{test} set, with only about 3\% additional computation. We further show consistent performance gain with the SOLOv2 model.


title: Deep learning and differential equations for modeling changes in individual-level latent dynamics between observation periods

abstract: When modeling longitudinal biomedical data, often dimensionality reduction as well as dynamic modeling in the resulting latent representation is needed. This can be achieved by artificial neural networks for dimension reduction, and differential equations for dynamic modeling of individual-level trajectories. However, such approaches so far assume that parameters of individual-level dynamics are constant throughout the observation period. Motivated by an application from psychological resilience research, we propose an extension where different sets of differential equation parameters are allowed for observation sub-periods. Still, estimation for intra-individual sub-periods is coupled for being able to fit the model also with a relatively small dataset. We subsequently derive prediction targets from individual dynamic models of resilience in the application. These serve as interpretable resilience-related outcomes, to be predicted from characteristics of individuals, measured at baseline and a follow-up time point, and selecting a small set of important predictors. Our approach is seen to successfully identify individual-level parameters of dynamic models that allows us to stably select predictors, i.e., resilience factors. Furthermore, we can identify those characteristics of individuals that are the most promising for updates at follow-up, which might inform future study design. This underlines the usefulness of our proposed deep dynamic modeling approach with changes in parameters between observation sub-periods.


title: Dehnen halo effect on a black hole in an ultra-faint dwarf galaxy

abstract: There had been recent advancement toward the detection of ultra-faint dwarf galaxies, which may serve as a useful laboratory for dark matter exploration since some of them contains almost 99$\%$ of pure dark matter. The majority of these galaxies contain no black hole that inhabits them. Recently, there had been reports that some dwarf galaxies may have a black hole within. In this study, we construct a black hole solution combined with the Dehnen dark matter halo profile, which is commonly used for dwarf galaxies. We aim to find out whether there would be deviations relative to the standard black hole properties, which might allow determining whether the dark matter profile in an ultra-faint dwarf galaxy is cored or cuspy. To make the model more realistic, we applied the modified Newman-Janis prescription to obtain the rotating metric. We analyzed the black hole properties such as the event horizon, ergoregion, geodesics of time-like and null particles, and the black hole shadow. Using these observables, the results indicate the difficulty of distinguishing whether the dark matter is cored or cuspy. To find an observable that can potentially distinguish these two profiles, we also calculated the weak deflection angle to examine the effect of the Dehnen profile in finite distance and far approximation. Our results indicate that using the weak deflection angle is far better, in many orders of magnitude, in potentially differentiating these profiles. We conclude that although dwarf galaxies are dark matter-dominated places, the effect on the Dehnen profile is still dependent on the mass of the black hole, considering the method used herein.


title: Mean first-passage time to a small absorbing target in three-dimensional elongated domains

abstract: We derive an approximate formula for the mean first-passage time (MFPT) to a small absorbing target of arbitrary shape inside an elongated domain of a slowly varying axisymmetric profile. For this purpose, the original Poisson equation in three dimensions is reduced an effective one-dimensional problem on an interval with a semi-permeable semi-absorbing membrane. The approximate formula captures correctly the dependence of the MFPT on the distance to the target, the radial profile of the domain, and the size and the shape of the target. This approximation is validated by Monte Carlo simulations.


title: Importance of the X-ray edge singularity for the detection of relic neutrinos in the PTOLEMY project

abstract: Direct detection of relic neutrinos in a beta-decay experiment is an ambitious goal that has long been beyond the reach of available technology. One of the most challenging practical difficulties for such an experiment is managing a large amount of radioactive material without compromising the energy resolution required to distinguish useful events from the substantial beta-decay background. The PTOLEMY project offers an innovative solution to this problem by depositing radioactive material on graphene. While this approach is expected to address the main challenge, it introduces new issues due to the proximity of the beta decayers to a solid-state system. In this work, we focus on the effect of the shakeup of the graphene electron system caused by a beta-decay event. We calculate the distortion of the relic neutrino peaks resulting from this shakeup, analyze the impact of the distortion on the visibility of neutrino capture events, and discuss potential technological solutions to enhance the visibility of these events.


title: The $\infty$-elastica problem on a Riemannian manifold

abstract: We consider the following problem: on any given complete Riemannian manifold $(M,g)$, among all curves which have fixed length as well as fixed end-points and tangents at the end-points, minimise the $L^\infty$ norm of the curvature. We show that the solutions of this problem, as well as a wider class of curves, must satisfy a second order ODE system. From this system we obtain some geometric information about the behaviour of the curves.


title: Coupled surface and bulk diffusion in crystals

abstract: We analyze point defect bulk and surface diffusion near the crystal-vacuum interface and show that bulk diffusion is altered by atomic reactions at the surface-vacuum boundary. A new atomic mechanism for point defect generation and recombination is presented. In this mechanism, atomic steps are considered as sources and sinks not only for adsorbed atoms and surface vacancies but also for bulk native point defects -- vacancies and self-interstitials. We demonstrate that bulk diffusion is coupled with the diffusion of adatoms and surface vacancies at the surface via the atomic processes in the intermediate subsurface layer, containing adsorbed self-interstitials and bulk vacancies. The results show the existence of the fundamental relation between equilibrium concentrations of the point defects in bulk and at the surface of the crystal.


title: A Lower Bounding Framework for Motion Planning amid Dynamic Obstacles in 2D

abstract: This work considers a Motion Planning Problem with Dynamic Obstacles (MPDO) in 2D that requires finding a minimum-arrival-time collision-free trajectory for a point robot between its start and goal locations amid dynamic obstacles moving along known trajectories. Existing methods, such as continuous Dijkstra paradigm, can find an optimal solution by restricting the shape of the obstacles or the motion of the robot, while this work makes no such assumptions. Other methods, such as search-based planners and sampling-based approaches can compute a feasible solution to this problem but do not provide approximation bounds. Since finding the optimum is challenging for MPDO, this paper develops a framework that can provide tight lower bounds to the optimum. These bounds act as proxies for the optimum which can then be used to bound the deviation of a feasible solution from the optimum. To accomplish this, we develop a framework that consists of (i) a bi-level discretization approach that converts the MPDO to a relaxed path planning problem, and (ii) an algorithm that can solve the relaxed problem to obtain lower bounds. We also present numerical results to corroborate the performance of the proposed framework. These results show that the bounds obtained by our approach for some instances are up to twice tighter than a baseline approach showcasing potential advantages of the proposed approach.


title: Fluctuation-driven dynamics in nanoscale thin-film flows: physical insights from numerical investigations

abstract: The effects of thermal fluctuations on nanoscale flows are captured by a numerical scheme that is underpinned by fluctuating hydrodynamics. A stochastic lubrication equation (SLE) is solved on non-uniform adaptive grids to study a series of nanoscale thin-film flows. The Fornberg scheme is used for high-resolution spatial discretisation and a fully-implicit time-marching scheme is designed for numerical stability. The accuracy of the numerical method is verified against theoretical results for thermal capillary waves during the linear stage of their development. The framework is then used to study the nonlinear behaviour of three bounded thin-film flows: (i) droplet spreading, where new power laws are derived; (ii) droplet coalescence, where molecular dynamics results are reproduced by the SLE at a fraction of the computational cost and it is discovered that thermal fluctuations decelerate the process, in contrast to previously investigated phenomena; and (iii) thin-film rupture, where, in the regime considered, disjoining pressure dominates the final stages of rupture.


title: Quantum fluctuation theorem for initial near-equilibrium system

abstract: Quantum work fluctuation theorem (FT) commonly requires the system initially prepared in an equilibrium state. Whether there exists universal exact quantum work FT for initial state beyond equilibrium needs further discussions. Here, I initialize the system in a near-equilibrium state, and derive the corresponding modified Jarzynski equality by using the perturbation theory. The correction is nontrivial because it directly leads to the principle of maximum work or the second law of thermodynamics for near-equilibrium system and also gives a much tighter bound of work for a given process. I also verify my theoretical results by considering a concrete many-body system, and reveal a fundamental connection between quantum critical phenomenon and near-equilibrium state at really high temperature.


title: Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective

abstract: Knowledge graph (KG) reasoning is becoming increasingly popular in both academia and industry. Conventional KG reasoning based on symbolic logic is deterministic, with reasoning results being explainable, while modern embedding-based reasoning can deal with uncertainty and predict plausible knowledge, often with high efficiency via vector computation. A promising direction is to integrate both logic-based and embedding-based methods, with the vision to have advantages of both. It has attracted wide research attention with more and more works published in recent years. In this paper, we comprehensively survey these works, focusing on how logics and embeddings are integrated. We first briefly introduce preliminaries, then systematically categorize and discuss works of logic and embedding-aware KG reasoning from different perspectives, and finally conclude and discuss the challenges and further directions.