title: A Design Study of a Compact Small-Angle Neutron Scattering Instrument

abstract: Nanoscale structure determination belongs to one of the crucial tasks in materials science. Small-angle neutron scattering (SANS) is a highly valuable tool to investigate nanostructures. Here, we explore the possibility of a compact SANS instrument to be installed at an individual accelerator based pulsed low-flux source, and discuss applications in structural characterization, education, and training. Monte Carlo simulations of a realistic setup demonstrate the feasibility of such an instrument, with an ideal measurement taking about 7 hours. The anticipated length-scale measurement range is 0.5 nm to 50 nm. The minimalistic design results in an easy to operate, low maintenance instrument, independent of the schedules of large-scale facilities. Size, cost, and maintenance are comparable to laboratory small-angle X-ray scattering (SAXS) instruments, which makes SANS affordable for individual research teams at universities and provides unique chances for education and training. The proposed setup creates the opportunity to measure ultraslow structural changes, at a fraction of the cost of existing SANS instruments, hence enables weekly or monthly repetition rates. The concept can be expanded to an entire suite of instruments, including wide-angle neutron scattering (WANS) and diffraction, neutron reflectometry (NR), neutron radiography, grating interferometry (GI), and prompt gamma activation analysis (PGAA).


title: Efficient hybrid topology optimization using GPU and homogenization based multigrid approach

abstract: We propose a new hybrid topology optimization algorithm based on multigrid approach that combines the parallelization strategy of CPU using OpenMP and heavily multithreading capabilities of modern Graphics Processing Units (GPU). In addition to that significant computational efficiency in memory requirement has been achieved using homogenization strategy. The algorithm has been integrated with versitile computing platform of MATLAB for ease of use and customization. The bottlenecking repetitive solution of the state equation has been solved using an optimized geometric multigrid approach along with CUDA parallelization enabling an order of magnitude faster in computational time than current state of the art implementations. On-the-fly computation of auxiliary matrices in the multigrid scheme and modification in interpolation schemes using homogenization strategy removes memory limitation of GPUs. Memory hierarchy of GPU has also been exploited for further optimized implementations. All these enable solution of structures involving hundred millions of three dimensional brick elements to be accomplished in a standard desktop computer or a workstation. Performance of the proposed algorithm is illustrated using several examples including design dependent loads and multimaterial.Results obtained indicate the excellent performance and scalability of the proposed approach.


title: A new proof of the description of the convex hull of space curves with totally positive torsion

abstract: We give new proofs of the description convex hulls of space curves $\gamma : [a,b] \mapsto \mathbb{R}^{d}$ having totally positive torsion. These are curves such that all the leading principal minors of $d\times d$ matrix $(\gamma', \gamma'', \ldots, \gamma^{(d)})$ are positive. In particular, we recover parametric representation of the boundary of the convex hull, different formulas for its surface area and the volume of the convex hull, and the solution to a general moment problem corresponding to $\gamma$.


title: Riemannian block SPD coupling manifold and its application to optimal transport

abstract: In this work, we study the optimal transport (OT) problem between symmetric positive definite (SPD) matrix-valued measures. We formulate the above as a generalized optimal transport problem where the cost, the marginals, and the coupling are represented as block matrices and each component block is a SPD matrix. The summation of row blocks and column blocks in the coupling matrix are constrained by the given block-SPD marginals. We endow the set of such block-coupling matrices with a novel Riemannian manifold structure. This allows to exploit the versatile Riemannian optimization framework to solve generic SPD matrix-valued OT problems. We illustrate the usefulness of the proposed approach in several applications.


title: Two Roads to Retrocausality

abstract: In recent years the quantum foundations community has seen increasing interest in the possibility of using retrocausality as a route to rejecting the conclusions of Bell's theorem and restoring locality to quantum physics. On the other hand, it has also been argued that accepting nonlocality leads to a form of retrocausality. In this article we seek to elucidate the relationship between retrocausality and locality. We begin by providing a brief schema of the various ways in which violations of Bell's inequalities might lead us to consider some form of retrocausality. We then consider some possible motivations for using retrocausality to rescue locality, arguing that none of these motivations is adequate and that therefore there is no clear reason why we should prefer local retrocausal models to nonlocal retrocausal models. Next, we examine several different conceptions of retrocausality, concluding that `all-at-once' retrocausality is more coherent than the alternative dynamical picture. We then argue that since the `all-at-once' approach requires probabilities to be assigned to entire histories or mosaics, locality is somewhat redundant within this picture. Thus we conclude that using retrocausality as a way to rescue locality may not be the right route to retrocausality. Finally, we demonstrate that accepting the existence of nonlocality and insisting on the nonexistence of preferred reference frames leads naturally to the acceptance of a form of retrocausality, albeit one which is not mediated by physical systems travelling backwards in time. We argue that this is the more natural way to motivate retrocausal models of quantum mechanics.


title: Volume-preserving right-handed vector fields are conformally Reeb

abstract: Right-handed and Reeb vector fields are two rich classes of vector fields on closed, oriented three-manifolds. Prior work of Dehornoy and Florio-Hryniewicz has produced many examples of Reeb vector fields which are right-handed. We prove a result in the other direction. We show that the closed two-form associated to a volume-preserving right-handed vector field is contact-type. This implies that any volume-preserving right-handed vector field is equal to a Reeb vector field after multiplication by a positive smooth function. Combining our result with theorems of Ghys and Taubes shows that any volume-preserving right-handed vector field has a global surface of section.


title: Pigeonhole Design: Balancing Sequential Experiments from an Online Matching Perspective

abstract: Practitioners and academics have long appreciated the benefits of covariate balancing when they conduct randomized experiments. For web-facing firms running online A/B tests, however, it still remains challenging in balancing covariate information when experimental subjects arrive sequentially. In this paper, we study an online experimental design problem, which we refer to as the "Online Blocking Problem." In this problem, experimental subjects with heterogeneous covariate information arrive sequentially and must be immediately assigned into either the control or the treated group. The objective is to minimize the total discrepancy, which is defined as the minimum weight perfect matching between the two groups. To solve this problem, we propose a randomized design of experiment, which we refer to as the "Pigeonhole Design." The pigeonhole design first partitions the covariate space into smaller spaces, which we refer to as pigeonholes, and then, when the experimental subjects arrive at each pigeonhole, balances the number of control and treated subjects for each pigeonhole. We analyze the theoretical performance of the pigeonhole design and show its effectiveness by comparing against two well-known benchmark designs: the match-pair design and the completely randomized design. We identify scenarios when the pigeonhole design demonstrates more benefits over the benchmark design. To conclude, we conduct extensive simulations using Yahoo! data to show a 10.2% reduction in variance if we use the pigeonhole design to estimate the average treatment effect.


title: Optimality conditions for spatial search with multiple marked vertices

abstract: We contribute to fulfil the long-lasting gap in the understanding of the spatial search with multiple marked vertices. The theoretical framework is that of discrete-time quantum walks (QW), \textit{i.e.} local unitary matrices that drive the evolution of a single particle on the lattice. QW based search algorithms are well understood when they have to tackle the fundamental problem of finding only one marked element in a $d-$dimensional grid and it has been proven they provide a quadratic advantage over classical searching protocols. However, once we consider to search more than one element, the behaviour of the algorithm may be affected by the spatial configuration of the marked elements and even the quantum advantage is no longer guaranteed. Here our main contribution is threefold~: (i)~we provide \textit{sufficient conditions for optimality} for a multi-items QWSearch algorithm~; (ii)~we provide analytical evidences that \textit{almost, but not all} spatial configurations with multiple marked elements are optimal; and (iii)~we numerically show that the computational advantage with respect to the classical counterpart is not always certain and it does depend on the proportion of searched elements over the total number of grid points.


title: Probe-Based Interventions for Modifying Agent Behavior

abstract: Neural nets are powerful function approximators, but the behavior of a given neural net, once trained, cannot be easily modified. We wish, however, for people to be able to influence neural agents' actions despite the agents never training with humans, which we formalize as a human-assisted decision-making problem. Inspired by prior art initially developed for model explainability, we develop a method for updating representations in pre-trained neural nets according to externally-specified properties. In experiments, we show how our method may be used to improve human-agent team performance for a variety of neural networks from image classifiers to agents in multi-agent reinforcement learning settings.


title: Race Driver Evaluation at a Driving Simulator using a physical Model and a Machine Learning Approach

abstract: Professional race drivers are still superior to automated systems at controlling a vehicle at its dynamic limit. Gaining insight into race drivers' vehicle handling process might lead to further development in the areas of automated driving systems. We present a method to study and evaluate race drivers on a driver-in-the-loop simulator by analysing tire grip potential exploitation. Given initial data from a simulator run, two optimiser based on physical models maximise the horizontal vehicle acceleration or the tire forces, respectively. An overall performance score, a vehicle-trajectory score and a handling score are introduced to evaluate drivers. Our method is thereby completely track independent and can be used from one single corner up to a large data set. We apply the proposed method to a motorsport data set containing over 1200 laps from seven professional race drivers and two amateur drivers whose lap times are 10-20% slower. The difference to the professional drivers comes mainly from their inferior handling skills and not their choice of driving line. A downside of the presented method for certain applications is an extensive computation time. Therefore, we propose a Long-short-term memory (LSTM) neural network to estimate the driver evaluation scores. We show that the neural network is accurate and robust with a root-mean-square error between 2-5% and can replace the optimisation based method. The time for processing the data set considered in this work is reduced from 68 hours to 12 seconds, making the neural network suitable for real-time application.


title: Ergodic Sum Rate Capacity Achieving Transmit Design for Massive MIMO LEO Satellite Uplink Transmission

abstract: In this paper, we investigate the ergodic sum rate (ESR) capacity achieving uplink (UL) transmit design for massive multiple-input multiple-output (MIMO) low-earth-orbit (LEO) satellite communications with statistical channel state information at the user terminals (UTs). The UL massive MIMO LEO satellite channel model with uniform planar array configurations at the satellite and UTs is presented. We prove that the rank of each UT's optimal transmit covariance matrix does not exceed that of its channel correlation matrix at the UT side, which reveals the maximum number of independent data streams transmitted from each UT to the satellite. We then prove that the transmit covariance matrix design can be transformed into the lower-dimensional matrix design without loss of optimality. We also obtain a necessary and sufficient condition when single data stream transmission from each UT to the satellite can achieve the ESR capacity. A conditional gradient (CG) method is developed to compute the ESR capacity achieving transmit covariance matrices. Furthermore, to avoid the exhaustive sample average, we utilize an asymptotic expression of the ESR and devise a simplified CG method to compute the transmit covariance matrices, which can approximate the ESR capacity. Simulations demonstrate the effectiveness of the proposed approaches.


title: Universality for multiplicative statistics of Hermitian random matrices and the integro-differential Painlev\'e II equation

abstract: We study multiplicative statistics for the eigenvalues of unitarily-invariant Hermitian random matrix models. We consider one-cut regular polynomial potentials and a large class of multiplicative statistics. We show that in the large matrix limit several associated quantities converge to limits which are universal in both the potential and the family of multiplicative statistics considered. In turn, such universal limits are described by the integro-differential Painlev\'e II equation, and in particular they connect the random matrix models considered with the narrow wedge solution to the KPZ equation at any finite time.


title: The road problem and homomorphisms of directed graphs

abstract: We make progress on a generalization of the road (colouring) problem. The road problem was posed by Adler-Goodwyn-Weiss and solved by Trahtman. The generalization was posed, and solved in certain special cases, by Ashley-Marcus-Tuncel. We resolve two new families of cases, of which one generalizes the road problem and follows Trahtman's solution, and the other generalizes a result of Ashley-Marcus-Tuncel with a proof quite different from theirs. Along the way, we prove a universal property for the fiber product of certain graph homomorphisms, which may be of independent interest. We provide polynomial-time algorithms for relevant constructions and decision problems.


title: Phase behavior of a lattice-gas model for biaxial nematics

abstract: We employ a lattice-gas extension of the Maier--Saupe model with discrete orientation states to study the phase behavior of a statistical model for biaxial nematogenic units in mean-field theory. The phase behavior of the system is investigated in terms of the strength of isotropic interaction between anisotropic objects, as well as the degree of biaxiality and the concentration of those units. We obtain phase diagrams with isotropic phases and stable biaxial and uniaxial nematic structures, various phase coexistences, many types of critical and multicritical behaviors, such as ordinary vapor-liquid critical points, critical end points and tricritical points, and distinct Landau-like multicritical points. Our results widen the possibilities of relating the phenomenological coefficients of the Landau--de Gennes expansion to microscopic parameters, allowing an improved interpretation of theoretical fittings to experimental data.


title: Deep Learning Approaches on Image Captioning: A Review

abstract: Image captioning is a research area of immense importance, aiming to generate natural language descriptions for visual content in the form of still images. The advent of deep learning and more recently vision-language pre-training techniques has revolutionized the field, leading to more sophisticated methods and improved performance. In this survey paper, we provide a structured review of deep learning methods in image captioning by presenting a comprehensive taxonomy and discussing each method category in detail. Additionally, we examine the datasets commonly employed in image captioning research, as well as the evaluation metrics used to assess the performance of different captioning models. We address the challenges faced in this field by emphasizing issues such as object hallucination, missing context, illumination conditions, contextual understanding, and referring expressions. We rank different deep learning methods' performance according to widely used evaluation metrics, giving insight into the current state of the art. Furthermore, we identify several potential future directions for research in this area, which include tackling the information misalignment problem between image and text modalities, mitigating dataset bias, incorporating vision-language pre-training methods to enhance caption generation, and developing improved evaluation tools to accurately measure the quality of image captions.


title: Higher regularity of homeomorphisms in the Hartman-Grobman theorem and a conjecture on its sharpness

abstract: Hartman-Grobman theorem states that there is a homeomorphism H sending the solutions of the nonlinear system onto those of its linearization under suitable assumptions. Many mathematicians have made contributions to prove H\"older continuity of the homeomorphisms. However, is it possible to improve the H\"older continuity to Lipschitzian continuity? This paper gives a positive answer. We formulate the first result that the homeomorphism is Lipschitzian, but not $C^1$, while its inverse is merely H\"{o}lder continuous, but not Lipschitzian. It is interesting that the regularity of the homeomorphism is different from its inverse. Moreover, some illustrative examples are presented to show the effectiveness of our results. Further, motivated by our example, we also propose a conjecture, saying, the regularity of the homeomorphisms is sharp and it could not be improved any more.


title: Pauli Error Propagation-Based Gate Reschedulingfor Quantum Circuit Error Mitigation

abstract: Noisy Intermediate-Scale Quantum (NISQ) algorithms, which run on noisy quantum computers should be carefully designed to boost the output state fidelity. While several compilation approaches have been proposed to minimize circuit errors, they often omit the detailed circuit structure information that does not affect the circuit depth or the gate count. In the presence of spatial variation in the error rate of the quantum gates, adjusting the circuit structure can play a major role in mitigating errors. In this paper, we exploit the freedom of gate reordering based on the commutation rules to show the impact of gate error propagation paths on the output state fidelity of the quantum circuit, propose advanced predictive techniques to project the success rate of the circuit, and develop a new compilation phase post-quantum circuit mapping to improve its reliability. Our proposed approaches have been validated using a variety of quantum circuits with different success metrics, which are executed on IBM quantum computers. Our results show that rescheduling quantum gates based on their error propagation paths can significantly improve the fidelity of the quantum circuit in the presence of variable gate error rates.


title: Fair Wrapping for Black-box Predictions

abstract: We introduce a new family of techniques to post-process ("wrap") a black-box classifier in order to reduce its bias. Our technique builds on the recent analysis of improper loss functions whose optimization can correct any twist in prediction, unfairness being treated as a twist. In the post-processing, we learn a wrapper function which we define as an $\alpha$-tree, which modifies the prediction. We provide two generic boosting algorithms to learn $\alpha$-trees. We show that our modification has appealing properties in terms of composition of $\alpha$-trees, generalization, interpretability, and KL divergence between modified and original predictions. We exemplify the use of our technique in three fairness notions: conditional value-at-risk, equality of opportunity, and statistical parity; and provide experiments on several readily available datasets.


title: Homotopy commutativity in Hermitian symmetric spaces

abstract: Ganea proved that the loop space of $\mathbb{C}P^n$ is homotopy commutative if and only if $n=3$. We generalize this result to that the loop spaces of all irreducible Hermitian symmetric spaces but $\mathbb{C}P^3$ are not homotopy commutative. The computation also applies to determining the homotopy nilpotency of the loop spaces of flag manifolds.


title: The shallow permutations are the unlinked permutations

abstract: Diaconis and Graham studied a measure of distance from the identity in the symmetric group called total displacement and showed that it is bounded below by the sum of length and reflection length. They asked for a characterization of the permutations where this bound is an equality; we call these the shallow permutations. Cornwell and McNew recently interpreted the cycle diagram of a permutation as a knot diagram and studied the set of permutations for which the corresponding link is an unlink. We show the shallow permutations are precisely the unlinked permutations. As Cornwell and McNew give a generating function counting unlinked permutations, this gives a generating function counting shallow permutations.


title: Network Programming via Computable Products

abstract: The User Plane Function (UPF) aims to provide network services in the 3GPP 5G core network. These services need to be implemented on demand inexpensively with provable properties. Existing network dataplane programming languages are not up to the task. A new software paradigm is presented for the UPF. It is inspired by model checking a concurrent reactive system where conceptually each component of the system is modeled as an extended finite-state machine and their product is verified. We show how such a product can be computed for one example of a UPF and how its state invariants can be inferred, thereby eliminating the need to formally verify the product separately. Code can be generated from the product and regenerated on the fly to remain optimal for the probability distribution of network traffic the UPF must process.


title: Quantum $K$-theory of $G/P$ and $K$-homology of affine Grassmannian

abstract: This paper is the $K$-theoretic analogue of a recent new proof, given by the first named author, of Peterson-Lam-Shimozono's theorem via Savelyev's generalization of Seidel representations. The outcome is a new proof of Lam-Li-Mihalcea-Shimozono's conjecture, including its extension to the parabolic case, which was first verified by Kato.


title: The Dimension of Divisibility Orders and Multiset Posets

abstract: The Dushnik--Miller dimension of a poset $P$ is the least $d$ for which $P$ can be embedded into a product of $d$ chains. Lewis and Souza showed that the dimension of the divisibility order on the interval of integers $[N/\kappa, N]$ is bounded above by $\kappa (\log\kappa)^{1+o(1)}$ and below by $\Omega((\log\kappa/\log\log\kappa)^2)$. We improve the upper bound to $O((\log \kappa)^3/(\log\log\kappa)^2).$ We deduce this bound from a more general result on posets of multisets ordered by inclusion. We also consider other divisibility orders and give a bound for polynomials ordered by divisibility.


title: On $\infty$-adic and $v$-adic multiple zeta functions in positive characteristic

abstract: This paper pursues positive characteristic analogues of the results of Furusho, Komori, Matsumoto and Tsumura on $p$-adic multiple $L$-functions. We consider $\infty$-adic and $v$-adic multiple zeta functions concerned by Angl\`{e}s, Ngo Dac and Tavares Ribeiro. Our main results in this paper consist of: (1) integral expressions of special values of $\infty$-adic multiple zeta functions, (2) integral expression of $v$-adic multiple zeta functions themselves similar to those of $p$-adic multiple $L$-functions, (3) Kummer-type congruence for the special values of $v$-adic multiple zeta functions at integers (4) relationships between special values of $\infty$-adic and those of $v$-adic multipe zeta functions at negative integers and (5) orthognal properties of multiple zeta functions and multiple zeta star functions.


title: Geometric Upper Critical Dimensions of the Ising Model

abstract: The upper critical dimension of the Ising model is known to be $d_c=4$, above which critical behavior is regarded as trivial. We hereby argue from extensive simulations that, in the random-cluster representation, the Ising model simultaneously exhibits two upper critical dimensions at $(d_c= 4, d_p=6)$, and critical clusters for $d \geq d_p$, except the largest one, are governed by exponents from percolation universality. We predict a rich variety of geometric properties and then provide strong evidence in dimensions from 4 to 7 and on complete graphs. Our findings significantly advance the understanding of the Ising model, which is a fundamental system in many branches of physics.


title: Optimal Regret Is Achievable with Bounded Approximate Inference Error: An Enhanced Bayesian Upper Confidence Bound Framework

abstract: Bayesian bandit algorithms with approximate Bayesian inference have been widely used in real-world applications. However, there is a large discrepancy between the superior practical performance of these approaches and their theoretical justification. Previous research only indicates a negative theoretical result: Thompson sampling could have a worst-case linear regret $\Omega(T)$ with a constant threshold on the inference error measured by one $\alpha$-divergence. To bridge this gap, we propose an Enhanced Bayesian Upper Confidence Bound (EBUCB) framework that can efficiently accommodate bandit problems in the presence of approximate inference. Our theoretical analysis demonstrates that for Bernoulli multi-armed bandits, EBUCB can achieve the optimal regret order $O(\log T)$ if the inference error measured by two different $\alpha$-divergences is less than a constant, regardless of how large this constant is. To our best knowledge, our study provides the first theoretical regret bound that is better than $o(T)$ in the setting of constant approximate inference error. Furthermore, in concordance with the negative results in previous studies, we show that only one bounded $\alpha$-divergence is insufficient to guarantee a sub-linear regret.


title: Aspects of Quasi-local energy for gravity coupled to gauge fields

abstract: We study the aspects of quasi-local energy associated with a $2-$surface $\Sigma$ bounding a space-like domain $\Omega$ of a physical $3+1$ dimensional spacetime in the regime of gravity coupled to a gauge field. The Wang-Yau quasi-local energy together with an additional term arising due to the coupling of gravity to a gauge field constitutes the total energy ($\mathcal{QLE}$) contained within the membrane $\Sigma=\partial\Omega$. We specialize in the Kerr-Newman family of spacetimes which contains a U(1) gauge field coupled to gravity and an outer horizon. Through explicit calculations, we show that the total energy satisfies a weaker version of a Bekenstein type inequality $\mathcal{QLE}> \frac{Q^{2}}{2R}$ for large spherical membranes, $Q$ is the charge and $R$ is the radius of the membrane. Turning off the angular momentum (Reissner Nordstr\"om) yields $\mathcal{QLE}> \frac{Q^{2}}{2R}$ for all constant radii membranes containing the horizon and in such case the charge factor appearing in the right-hand side exactly equals to that of Bekenstein's inequality. Moreover, we show that the total quasi-local energy monotonically decays from $2M_{irr}+V_{Q}$ ($M_{irr}$ is the irreducible mass, $V_{Q}$ is the electric potential energy) at the outer horizon to $M$ ($M$ is the ADM mass) at the space-like infinity under the assumption of a small angular momentum of the black hole.


title: Soliton resolution for the energy critical wave equation with inverse-square potential in the radial case

abstract: In this paper, we establish the soliton resolution for the energy critical wave equation with inverse square potential in the radial case and in all dimensions $N\geq3$. The structure of the radial linear operator $\mathcal{L}_a :=-\Delta +\frac{a}{|x|^2}=A^*A$, is essential for the channel of energy, where $A$ is a first order differential operator and $A^*$ is its adjoint operator. Modulation and analysis of the multi-solitons are performed in the function spaces $\dot{H}^1_a(\Bbb R^N)\times L^2(\Bbb R^N)$ associated with $\mathcal{L}_a$.


title: Conformal transformations of Cahen-Wallach spaces

abstract: We study conformal transformations of indecomposable Lorentzian symmetric spaces of non-constant sectional curvature, the so-called Cahen-Wallach spaces. When a Cahen-Wallach space is conformally curved, its conformal transformations are homotheties. Using this we show that a conformal transformation of a conformally curved Cahen-Wallach space is essential if and only if it has a fixed point. Then we explore the possibility of properly discontinuous groups of conformal transformations acting with a compact orbit space on a conformally curved Cahen-Wallach space. We show that any such group cannot centralise an essential homothety and that for Cahen-Wallach spaces of imaginary type must be contained within the isometries.


title: Comparison of skyrmion phases between poly and single-crystal MnSi by composite magnetoelectric method

abstract: We have explored the skyrmion phases and phase diagram of poly and single-crystal MnSi by the measurements of the magnetoelectric coefficient alfaE and ac magnetic susceptibility of the MnSi/PMN-PT composite. We found that the regular skyrmion lattice phase in single crystal sample has been averaged in the MnSi polycrystal due to random grain orientations which results in an extended skyrmion lattice-conical mixture phase down to 25 K. The magnitude of the out-of-phase component in alfaE of the polycrystal, not single crystal, decreases gradually with decreasing frequency. With the changing of the driven ac field, it reveals a depinning threshold behavior in both samples. The depinning field is stronger in the polycrystal than that in single crystal and maybe responsible for the diminishing of dissipative behavior at lower frequency due to grain boundaries and defects. The composite magnetoelectric method provides a unique approach to probe topological phase dynamics.


title: Teaching modeling in introductory statistics: A comparison of formula and tidyverse syntaxes

abstract: This paper reports on a head-to-head comparison run in a pair of introductory statistics labs, one conducted fully in the formula syntax, the other in tidyverse. Analysis of pre- and post-survey data show minimal differences between the two labs, with students reporting a positive experience regardless of section. Analysis of data from YouTube and RStudio Cloud show interesting distinctions. The formula section appeared to watch a larger proportion of pre-lab YouTube videos, but spend less time computing on RStudio Cloud. Conversely, the tidyverse section watched a smaller proportion of the videos and spent more time computing. Analysis of lab materials showed that tidyverse labs tended to be slightly longer in terms of lines in the provided RMarkdown materials and minutes of the associated YouTube videos. Both labs relied on a relatively small vocabulary of consistent functions, which can provide a starting point for instructors interested in teaching introductory statistics in R. The tidyverse labs exposed students to more distinct R functions, but reused functions more frequently. This work provides additional evidence for instructors looking to choose between syntaxes for introductory statistics teaching.


title: Plug-In Inversion: Model-Agnostic Inversion for Vision with Data Augmentations

abstract: Existing techniques for model inversion typically rely on hard-to-tune regularizers, such as total variation or feature regularization, which must be individually calibrated for each network in order to produce adequate images. In this work, we introduce Plug-In Inversion, which relies on a simple set of augmentations and does not require excessive hyper-parameter tuning. Under our proposed augmentation-based scheme, the same set of augmentation hyper-parameters can be used for inverting a wide range of image classification models, regardless of input dimensions or the architecture. We illustrate the practicality of our approach by inverting Vision Transformers (ViTs) and Multi-Layer Perceptrons (MLPs) trained on the ImageNet dataset, tasks which to the best of our knowledge have not been successfully accomplished by any previous works.


title: Conjugations on the Hardy space $H^{2}$

abstract: A conjugation $C$ on a separable complex Hilbert space $\mathcal H$ is an antilinear operator that is isometric and involutive. In this notes, we characterize all conjugations on the Hardy-Hilbert space $H^{2}$ over the disk. In addition, we characterize complex symmetric Toeplitz operators with a special type of these conjugations.


title: Fully Periodic, Computationally Efficient Constant Potential Molecular Dynamics Simulations of Ionic Liquid Supercapacitors

abstract: Molecular dynamics (MD) simulations of complex electrochemical systems, such as ionic liquid supercapacitors, are increasingly including the constant potential method (CPM) to model conductive electrodes at specified potential difference, but the inclusion of CPM can be computationally expensive. We demonstrate the computational savings available in CPM MD simulations of ionic liquid supercapacitors when the usual non-periodic slab geometry is replaced with fully periodic boundary conditions. We show how a doubled cell approach, previously used in non-CPM MD simulations of charged interfaces, can be used to enable fully periodic CPM MD simulations. Using either a doubled cell approach, or a finite field approach previously reported by others, fully periodic CPM MD simulations produce comparable results to the traditional slab geometry simulations with a nearly double speed-up in computational time. Indeed, these savings can offset the additional cost of the CPM algorithm, resulting in periodic CPM MD simulations that are faster than the non-periodic, fixed-charge equivalent simulations for the ionic liquid supercapacitors studied here.


title: The Growth of Passive Membranes: Evidence from Ti and Like Metals

abstract: Current contradictory understanding of passivation comes from overly-complex passive models, defective characterization and misplaced theoretical approaches. From brand-new experimentation, we find that a Ti passive membrane has spatiotemporally-ordered macrostructure. At the start, a thermodynamically-stable chemisorbed Ti-O monolayer is immediately formed to inactivate the outmost Ti atoms and shield direct reaction of environmental oxygens on metallic matrix, and then an underneath TiOx@Ti ceramet-like non-equilibrium gradient oxide layer rapidly forms. The two layers work synergistically to keep the macro-ordered passive membrane growing slowly via non-linear mechanism of incremental oxidation damping, thus effecting passivation. These findings disprove "the adsorption theory of passivation" and "the theory of passivity film" and inform a new theory we call "passivation theory of incremental oxidation damping".


title: Inverse design of photonic devices with strict foundry fabrication constraints

abstract: We introduce a new method for inverse design of nanophotonic devices which guarantees that resulting designs satisfy strict length scale constraints - including minimum width and spacing constraints required by commercial semiconductor foundries. The method adopts several concepts from machine learning to transform the problem of topology optimization with strict length scale constraints to an unconstrained stochastic gradient optimization problem. Specifically, we introduce a conditional generator for feasible designs and adopt a straight-through estimator for backpropagation of gradients to a latent design. We demonstrate the performance and reliability of our method by designing several common integrated photonic components.


title: The theorems on freedom for relatively free Lie algebras with a relations

abstract: In this paper we prove the theorem on freedom for relatively free Lie algebras with a single relation (analogous with the well-known result of Shirshov) and a generalized Freiheitssatz for relatively free Lie algebras (analogous with the well-known result of Kharlampovich).


title: Characterizing the superconducting instability in a two-orbital $d$-$s$ model: insights to infinite-layer nickelate superconductors

abstract: Motivated by the recent realization of the infinite-layer nickelate superconductivity (SC), we quantitatively investigate a two-orbital $d$-$s$ model by dynamic cluster quantum Monte Carlo calculations. Focusing on the impact of inter-orbital hybridization on the superconducting properties, our simulations indicate that the $d$-$s$ hybridization strength has a decisive role in the suppression of the $d$-wave pairing in the doping regime relevant to infinite-layer nickelates. Although we confirm on the single-orbital description at weak hybridization, at relatively large hybridization, there exists a constructive effect of the non-negligibly finite $s$ orbital occupancy on inhibiting the suppression of the superconductivity. More strikingly, there exists a possible SC enhancement at large enough Hubbard interaction via large $d$-$s$ hybridization. We further provide some insights on the relevance of $d$-$s$ model to infinite-layer nickelates.


title: A note on log-type GCD sums and derivatives of the Riemann zeta function

abstract: In [Yan22a], we defined so-called ``log-type" GCD sums and proved the lower bounds $\Gamma^{(\ell)}_1(N) \gg_{\ell} \left(\log\log N\right)^{2+2\ell}$. We will establish the upper bounds $\Gamma^{(\ell)}_1(N)\ll_{\ell} \left(\log \log N\right)^{2+2\ell}$ in this note, which generalizes G\'{a}l's theorem on GCD sums (corresponding to the case $\ell = 0$). This result will be proved by two different methods. The first method is unconditional. We establish sharp upper bounds for spectral norms along $\alpha-$lines when $\alpha$ tends to $1$ with certain fast rates. As a corollary, we obtain upper bounds for log-type GCD sums. The second method is conditional. We prove that lower bounds for log-type GCD sums $\Gamma^{(\ell)}_1(N)$ can produce lower bounds for large values of derivatives of the Riemann zeta function on the 1-line. So from conditional upper bound for $\left| \zeta^{(\ell)}\left(1+ i t\right)\right|$, we obtain upper bounds for log-type GCD sums.


title: Superconductor Meissner effects for gravito-electromagnetic fields in harmonic coordinates due to non-relativistic gravitational sources

abstract: It is well known that a covariant Lagrangian for relativistic charged particles can lead to a vanishing Hamiltonian. Alternatively, it is shown that using a "space+time" Lagrangian leads to a new canonical momentum and minimal coupling rule that describes the coupling of both electromagnetic and gravitational fields to a relativistic charged particle. Discrepancies between Hamiltonians obtained by various authors are resolved. The canonical momentum leads to a new form of the London equations and London gauge. Using the linearized Einstein field equation in harmonic coordinates, and a non-relativistic ideal fluid, leads to gravito-electromagnetic field equations. These are used to obtain new penetration depths for both the magnetic and gravito-magnetic fields. A key result is that the gravito-magnetic field is expelled from a superconductor only when a magnetic field is also present. The flux quantum in the body of a superconductor, and the quantized supercurrent in a superconducting ring are derived. Lastly, the case of a superconducting ring in the presence of a charged rotating mass cylinder is used as an example of applying the formalism developed.


title: Signatures of the spin Hall effect in hot and dense QCD matter

abstract: The spin Hall effect (SHE) is a generation of spin polarization for moving spin carriers in materials under an external electric field and has been observed in semiconductors, metals, and insulators at or below room temperature. Recent theoretical analyses show that spin Hall current can be induced by the baryon chemical potential gradient which plays the role of the analogous electric field and which becomes sizable in the fireballs created in heavy-ion collisions at beam energy of ${\cal O}(10)$~GeV. In this letter, we study this important mechanism for spin polarization generation that has not been systematically explored before and predict the signature of the SHE in those collisions using a (3+1)~D viscous hydrodynamic model MUSIC with AMPT initial condition. We propose to use the second Fourier coefficients of the net spin polarization of Lambda hyperon as sensitive probes to search for the SHE. Those SHE observables show a qualitative difference in both the sign and beam energy dependence for the situations with and without the SHE. Future experimental observation of these distinct qualitative features would provide strong evidence for the existence of the SHE in the hot and dense QCD matter at trillions of degrees.


title: Evidence for nodal superconductivity in infinite-layer nickelates

abstract: Infinite-layer nickelates present a new family of potential unconventional superconductors. A key open question is the superconducting pairing symmetry. We present low-temperature measurements of the London penetration depth in optimally doped La_{0.8}Sr_{0.2}NiO_{2}, Pr_{0.8}Sr_{0.2}NiO_{2}, and Nd_{0.8}Sr_{0.2}NiO_{2}. For La and Pr-nickelates, the superfluid density shows a quadratic temperature dependence, indicating nodal superconductivity in the presence of disorder. Nd-nickelate exhibits complex low-temperature behavior, which we attribute to magnetic impurities. These results are consistent with d-wave pairing.


title: Implementation of an Elastic Reconfigurable Optical Add/Drop Multiplexer based on Subcarriers for Application in Optical Multichannel Networks

abstract: We designed a Reconfigurable Optical Add/Drop Multiplexer (ROADM) based on a subcarrier add/drop node in an optical communication system that is suitable for all kinds of optical multiplexing signals. To achieve this goal, at first, we designed an optical comb generator based on a dual-drive Mach Zehnder. The new ROADM setup is validated by a 100 Gb/s 4-subcarrier. In the final step, we checked the performance of the system in terms of the bit error rate (BER) versus optical signal-to-noise ratio (OSNR) to verify the add/drop operation had been successfully performed at 10-9 and is suitable to apply in an all-optical multiplexing technique.


title: GenMod: A generative modeling approach for spectral representation of PDEs with random inputs

abstract: We propose a method for quantifying uncertainty in high-dimensional PDE systems with random parameters, where the number of solution evaluations is small. Parametric PDE solutions are often approximated using a spectral decomposition based on polynomial chaos expansions. For the class of systems we consider (i.e., high dimensional with limited solution evaluations) the coefficients are given by an underdetermined linear system in a regression formulation. This implies additional assumptions, such as sparsity of the coefficient vector, are needed to approximate the solution. Here, we present an approach where we assume the coefficients are close to the range of a generative model that maps from a low to a high dimensional space of coefficients. Our approach is inspired be recent work examining how generative models can be used for compressed sensing in systems with random Gaussian measurement matrices. Using results from PDE theory on coefficient decay rates, we construct an explicit generative model that predicts the polynomial chaos coefficient magnitudes. The algorithm we developed to find the coefficients, which we call GenMod, is composed of two main steps. First, we predict the coefficient signs using Orthogonal Matching Pursuit. Then, we assume the coefficients are within a sparse deviation from the range of a sign-adjusted generative model. This allows us to find the coefficients by solving a nonconvex optimization problem, over the input space of the generative model and the space of sparse vectors. We obtain theoretical recovery results for a Lipschitz continuous generative model and for a more specific generative model, based on coefficient decay rate bounds. We examine three high-dimensional problems and show that, for all three examples, the generative model approach outperforms sparsity promoting methods at small sample sizes.


title: Dimensions of certain sets of continued fractions with non-decreasing partial quotients

abstract: Let $[a_1(x),a_2(x),a_3(x),\cdots]$ be the continued fraction expansion of $x\in (0,1)$. This paper is concerned with certain sets of continued fractions with non-decreasing partial quotients. As a main result, we obtain the Hausdorff dimension of the set \[\left\{x\in(0,1): a_1(x)\leq a_2(x)\leq \cdots,\ \limsup\limits_{n\to\infty}\frac{\log a_n(x)}{\psi(n)}=1\right\}\] for any $\psi:\mathbb{N}\rightarrow\mathbb{R}^+$ satisfying $\psi(n)\to\infty$ as $n\to\infty$.


title: Rotting Infinitely Many-armed Bandits

abstract: We consider the infinitely many-armed bandit problem with rotting rewards, where the mean reward of an arm decreases at each pull of the arm according to an arbitrary trend with maximum rotting rate $\varrho=o(1)$. We show that this learning problem has an $\Omega(\max\{\varrho^{1/3}T,\sqrt{T}\})$ worst-case regret lower bound where $T$ is the horizon time. We show that a matching upper bound $\tilde{O}(\max\{\varrho^{1/3}T,\sqrt{T}\})$, up to a poly-logarithmic factor, can be achieved by an algorithm that uses a UCB index for each arm and a threshold value to decide whether to continue pulling an arm or remove the arm from further consideration, when the algorithm knows the value of the maximum rotting rate $\varrho$. We also show that an $\tilde{O}(\max\{\varrho^{1/3}T,T^{3/4}\})$ regret upper bound can be achieved by an algorithm that does not know the value of $\varrho$, by using an adaptive UCB index along with an adaptive threshold value.


title: Heterogeneous Federated Learning via Grouped Sequential-to-Parallel Training

abstract: Federated learning (FL) is a rapidly growing privacy-preserving collaborative machine learning paradigm. In practical FL applications, local data from each data silo reflect local usage patterns. Therefore, there exists heterogeneity of data distributions among data owners (a.k.a. FL clients). If not handled properly, this can lead to model performance degradation. This challenge has inspired the research field of heterogeneous federated learning, which currently remains open. In this paper, we propose a data heterogeneity-robust FL approach, FedGSP, to address this challenge by leveraging on a novel concept of dynamic Sequential-to-Parallel (STP) collaborative training. FedGSP assigns FL clients to homogeneous groups to minimize the overall distribution divergence among groups, and increases the degree of parallelism by reassigning more groups in each round. It is also incorporated with a novel Inter-Cluster Grouping (ICG) algorithm to assist in group assignment, which uses the centroid equivalence theorem to simplify the NP-hard grouping problem to make it solvable. Extensive experiments have been conducted on the non-i.i.d. FEMNIST dataset. The results show that FedGSP improves the accuracy by 3.7% on average compared with seven state-of-the-art approaches, and reduces the training time and communication overhead by more than 90%.


title: Large deviations principle via Malliavin calculus for the Navier-Stokes system driven by a degenerate white-in-time noise

abstract: The purpose of this paper is to establish the Donsker-Varadhan type large deviations principle (LDP) for the two-dimensional stochastic Navier-Stokes system. The main novelty is that the noise is assumed to be highly degenerate in the Fourier space. The proof is carried out by using a criterion for the LDP developed in arXiv:1410.6188 in a discrete-time setting and extended in arXiv:1505.03686 to the continuous-time. One of the main conditions of that criterion is the uniform Feller property for the Feynman-Kac semigroup, which we verify by using Malliavin calculus.


title: Muon Spin Relaxation Study of Spin Dynamics in Quantum Spin Liquid Candidate H$_3$LiIr$_2$O$_6$

abstract: We present detail thermodynamic and muon spin relaxation ($\mu$SR) studies of quantum spin liquid (QSL) candidate H$_3$LiIr$_2$O$_6$. In agreement with the low temperature thermodynamic evidence (\textit{e.g.} bulk magnetization and heat capacity) for the absence of magnetic transition, zero-field (ZF)-$\mu$SR measurements indicate the absence of static magnetic ordering or spin freezing down to our lowest temperature of 80~mK. Both ZF- and longitudinal-field (LF)-$\mu$SR measurements reveal persistent spin fluctuations at low temperatures. These results provide well-established evidence of a QSL state in H$_3$LiIr$_2$O$_6$. Furthermore, the observation of the time-field scaling behavior of $\mu$SR spectra $A(t)\sim A(t/H^{0.46})$, and the low temperature power-law specific heat coefficient $C/T \sim T^{-0.57}$, indicate the finite density of state in the form of $N(E) \sim E^{-0.5}$, in a good agreement with the disorder-induced states in the Kitaev spin liquid.


title: Magnetostriction in microwave synthesized La0.5Ba0.5CoO3

abstract: A single-phase polycrystalline La0.5Ba0.5CoO3-d sample was synthesized by microwave irradiation within 20 minutes of processing time and its structural, magnetic, electrical, and magnetostrictive properties were investigated. While the temperature dependence of field-cooled magnetization (M) in a field of H = 0.5 kOe indicates the onset of ferromagnetic transition at TC = 177 K, irreversibility between the zero field-cooled and field cooled M(T) persists even at H = 3 kOe. M(H) at 10 K does not saturate at the maximum available field and has a much smaller value (0.87 {\mu}B/Co in a field of 50 kOe) than 1.9 {\mu}B/Co expected for spin-only contribution from intermediate Co3+ and Co4+ spins. The resistivity shows insulating behavior down to 10 K and only a small magnetoresistance (~ 2% for H = 70 kOe) occurs around TC. All these results suggest a magnetically heterogeneous ground state with weakly interacting ferromagnetic clusters coexisting with a non-ferromagnetic phase. The length of the sample expands in the direction of the applied magnetic field (positive magnetostriction) and does not show saturation even at 50 kOe. The magnetostriction has a maximum value (= 252 ppm) at 10 K and it decreases with increasing temperature. The smaller value of magnetostriction compared to the available data on La0.5Sr0.5CoO3 suggests that non-ferromagnetic matrix is most likely antiferromagnetic and it restrains the field-induced expansion of ferromagnetic clusters in the microwave synthesized La0.5Ba0.5CoO3-d sample.


title: Einstein's Brownian motion model for chemotactic system and traveling band

abstract: We study the movement of the living organism in a band form towards the presence of chemical substrate based on a system of partial differential evolution equations. We incorporate the Einstein's method of Brownian motion to deduce the chemotactic model exhibiting travelling band. It is the first time that Einstein method has been used to motivate equations describing mutual interaction of chemotactic system. In addition to considering chemotactic response and the random motion of organism, we also consider the formation of crowd by organism via interactions within or between the community. This crowd effect can also be seen as any organism travel or migrate in a herd or group in search of food. We have shown that in the presence of limited and unlimited substrate traveling bands are achievable and it has been explained accordingly.


title: G$ \mathbf{^2} $VD Planner: Efficient Motion Planning With Grid-based Generalized Voronoi Diagrams

abstract: In this paper, an efficient motion planning approach with grid-based generalized Voronoi diagrams (G$ \mathbf{^2} $VD) is newly proposed for mobile robots. Different from existing approaches, the novelty of this work is twofold: 1) a new state lattice-based path searching approach is proposed, in which the search space is reduced to a novel Voronoi corridor to further improve the search efficiency; 2) an efficient quadratic programming-based path smoothing approach is presented, wherein the clearance to obstacles is considered to improve the path clearance of hard-constrained path smoothing approaches. We validate the efficiency and smoothness of our approach in various challenging simulation scenarios and outdoor environments. It is shown that the computational efficiency is improved by 17.1% in the path searching stage, and path smoothing with the proposed approach is 6.6 times faster than an advanced sparse-banded structure-based path smoothing approach and 53.3 times faster than the popular timed-elastic-band planner. A video showing outdoor navigation on our campus is available at https://youtu.be/iMXGthgvp58.


title: Anomalous Nernst effect in La0.5Ca0.5Coo3

abstract: We report the occurrence of the anomalous Nernst effect (ANE) in polycrystalline perovskite La0.5Ca0.5CoO3. The sample is ferromagnetic below TC = 147 K and resistivity shows non-metallic behavior above and below the TC with only a small negative magnetoresistance (~2%) around TC. Field dependence of magnetization at 10 K shows large hysteresis with a coercive field of 6 kOe but a small magnetization ~ 0.64 Bohr magneton/Co even in a field of 50 kOe, which indicates the presence of magnetically heterogeneous ground state consisting of ferromagnetic and non-ferromagnetic phases. The field dependence of the Nernst thermopower (Sxy) at low temperatures shows complete saturation but the magnetization does not. This indicates that the ANE in La0.5Ca0.5CoO3 depends only on the transport properties of the ferromagnetic phase, while it is not affected by the non-ferromagnetic phase. Due to the higher value of remnant Sxy, the magnetized polycrystalline sample exhibits ANE in absence of an external magnetic field.


title: Global calculation of two-neutrino double-$\beta$ decay within the finite amplitude method in nuclear density functional theory

abstract: Two-neutrino double-beta ($2\nu\beta\beta$) decay has been used to constrain the neutron-proton part of effective interactions, which in turn is used to compute the nuclear matrix elements for neutrinoless double-beta decay, the observation of which would have important consequences for fundamental physics. We carefully examine $2\nu\beta\beta$ matrix elements within the proton-neutron quasiparticle random-phase approximation with nuclear energy density functionals. We work with functionals that are fit globally to single-beta-decay half-lives and charge-exchange giant-resonance energies, but not to $2\nu\beta\beta$ half-lives themselves, to evaluate the $2\nu\beta\beta$ nuclear matrix elements for all important nuclei, including those whose half-lives have not yet been measured. Such a comprehensive evaluation in large model spaces without configuration truncation requires an efficient computational scheme; we employ a double contour integration within the finite amplitude method. The results generally reproduce the nuclear matrix element extracted from half-lives well, without the use of any of those half-lives in the fitting procedure. We present predictions of the matrix elements in a total of 27 nuclei with half-lives that are still unmeasured.


title: Tuning spin-orbit torques across the phase transition in VO$_2$/NiFe heterostructure

abstract: The emergence of spin-orbit torques as a promising approach to energy-efficient magnetic switching has generated large interest in material systems with easily and fully tunable spin-orbit torques. Here, current-induced spin-orbit torques in VO$_2$/NiFe heterostructures were investigated using spin-torque ferromagnetic resonance, where the VO$_2$ layer undergoes a prominent insulator-metal transition. A roughly two-fold increase in the Gilbert damping parameter, $\alpha$, with temperature was attributed to the change in the VO$_2$/NiFe interface spin absorption across the VO$_2$ phase transition. More remarkably, a large modulation ($\pm$100%) and a sign change of the current-induced spin-orbit torque across the VO$_2$ phase transition suggest two competing spin-orbit torque generating mechanisms. The bulk spin Hall effect in metallic VO$_2$, corroborated by our first-principles calculation of spin Hall conductivity, $\sigma_{SH} \approx 10^4 \frac{\hbar}{e} \Omega^{-1} m^{-1}$, is verified as the main source of the spin-orbit torque in the metallic phase. The self-induced/anomalous torque in NiFe, of the opposite sign and a similar magnitude to the bulk spin Hall effect in metallic VO$_2$, could be the other competing mechanism that dominates as temperature decreases. For applications, the strong tunability of the torque strength and direction opens a new route to tailor spin-orbit torques of materials which undergo phase transitions for new device functionalities.


title: The H-property of Line Graphons

abstract: We explore in this paper sufficient conditions for the $H$-property to hold, with a particular focus on the so-called line graphons. A graphon is a symmetric, measurable function from the unit square $[0,1]^2$ to the closed interval $[0,1]$. Graphons can be used to sample random graphs, and a graphon is said to have the $H$-property if graphs on $n$ nodes sampled from it admit a node-cover by disjoint cycles -- such a cover is called a Hamiltonian decomposition -- almost surely as $n \to \infty$. A step-graphon is a graphon which is piecewise constant over rectangles in the domain. To a step-graphon, we assign two objects: its concentration vector, encoding the areas of the rectangles, and its skeleton-graph, describing their supports. These two objects were used in our earlier work [3] to establish necessary conditions for a step-graphon to have the $H$-property. In this paper, we prove that these conditions are essentially also sufficient for the class of line-graphons, i.e., the step-graphons whose skeleton graphs are line graphs with a self-loop at an ending node. We also investigate borderline cases where neither the necessary nor the sufficient conditions are met.


title: Double-pass multiple-plate continuum for high temporal contrast nonlinear pulse compression

abstract: We propose a new architecture, double-pass multiple-plate continuum (DPMPC), for nonlinear pulse compression. In addition to smaller footprint, a double-pass configuration is designed to achieve substantial bandwidth broadening without incurring noticeable higher-order dispersion, thus improving the temporal contrast over those of traditional single-pass geometry when only quadratic spectral phase can be compensated. In our proof-of-concept experiment, 187~$\mu$J, 190-fs Yb-based laser pulse is compressed to 20~fs with high throughput (75%), high Strehl ratio (0.76) and excellent beam homogeneity by using DPMPC. Subsequently generated octave-spanning spectrum exhibits a significantly raised blue tail compared with that driven by pulses from a single-pass counterpart.


title: Interpretable and Generalizable Graph Learning via Stochastic Attention Mechanism

abstract: Interpretable graph learning is in need as many scientific applications depend on learning models to collect insights from graph-structured data. Previous works mostly focused on using post-hoc approaches to interpret pre-trained models (graph neural networks in particular). They argue against inherently interpretable models because the good interpretability of these models is often at the cost of their prediction accuracy. However, those post-hoc methods often fail to provide stable interpretation and may extract features that are spuriously correlated with the task. In this work, we address these issues by proposing Graph Stochastic Attention (GSAT). Derived from the information bottleneck principle, GSAT injects stochasticity to the attention weights to block the information from task-irrelevant graph components while learning stochasticity-reduced attention to select task-relevant subgraphs for interpretation. The selected subgraphs provably do not contain patterns that are spuriously correlated with the task under some assumptions. Extensive experiments on eight datasets show that GSAT outperforms the state-of-the-art methods by up to 20%$\uparrow$ in interpretation AUC and 5%$\uparrow$ in prediction accuracy. Our code is available at https://github.com/Graph-COM/GSAT.


title: Well-posedness and singularity formation for Vlasov--Riesz system

abstract: We investigate the Cauchy problem for the Vlasov--Riesz system, which is a Vlasov equation featuring an interaction potential generalizing previously studied cases, including the Coulomb $\Phi = (-\Delta)^{-1}\rho$, Manev $(-\Delta)^{-1} + (-\Delta)^{-\frac12}$, and pure Manev $(-\Delta)^{-\frac12}$ potentials. For the first time, we extend the local theory of classical solutions to potentials more singular than that for the Manev. Then, we obtain finite-time singularity formation for solutions with various attractive interaction potentials, extending the well-known blow-up result of Horst for attractive Vlasov--Poisson for $d\ge4$. Our local well-posedness and singularity formation results extend to cases when linear diffusion and damping in velocity are present.


title: Sub-kilometre scale ionospheric studies at the SKA-Low site, using MWA extended baselines

abstract: The ambitious scientific goals of SKA require a matching capability for calibration of instrumental and atmospheric propagation contributions as functions of time, frequency and position. The development of novel calibration algorithms to meet these requirements is an active field of research. In this work {we aim to characterize} these, focusing on the spatial and temporal structure scales of the ionospheric effects; ultimately, these provide the guidelines for designing the optimum calibration strategy. We used empirical ionospheric measurements at the site where the SKA-Low will be built, using MWA Phase-2 Extended baseline observations and the station-based Low-frequency Excision of Atmosphere in Parallel (LEAP) calibration algorithm. We have done this via direct regression analysis of the ionospheric screens and by forming the full and detrended structure functions. We found that 50% of the screens show significant non-linear structures at scales >0.6km that dominate at >2km, and 1% show significant sub-minute temporal changes, providing that there is sufficient sensitivity. Even at the moderate sensitivity and baseline lengths of MWA, non-linear corrections are required at 88 MHz during moderate-weather and at 154 MHz during poor weather, or for high SNR measurements. Therefore we predict that improvements will come from correcting for higher-order defocusing effects in observations with MWA Phase-2, and further with new developments in MWA Phase-3. Because of the giant leap in sensitivity, the correction for complex ionospheric structures will be mandatory on SKA-Low, for both imaging and tied-array beam formation.


title: Lightweight Projective Derivative Codes for Compressed Asynchronous Gradient Descent

abstract: Coded distributed computation has become common practice for performing gradient descent on large datasets to mitigate stragglers and other faults. This paper proposes a novel algorithm that encodes the partial derivatives themselves and furthermore optimizes the codes by performing lossy compression on the derivative codewords by maximizing the information contained in the codewords while minimizing the information between the codewords. The utility of this application of coding theory is a geometrical consequence of the observed fact in optimization research that noise is tolerable, sometimes even helpful, in gradient descent based learning algorithms since it helps avoid overfitting and local minima. This stands in contrast with much current conventional work on distributed coded computation which focuses on recovering all of the data from the workers. A second further contribution is that the low-weight nature of the coding scheme allows for asynchronous gradient updates since the code can be iteratively decoded; i.e., a worker's task can immediately be updated into the larger gradient. The directional derivative is always a linear function of the direction vectors; thus, our framework is robust since it can apply linear coding techniques to general machine learning frameworks such as deep neural networks.


title: Federated Learning with Erroneous Communication Links

abstract: In this paper, we consider the federated learning (FL) problem in the presence of communication errors. We model the link between the devices and the central node (CN) by a packet erasure channel, where the local parameters from devices are either erased or received correctly by CN with probability $\epsilon$ and $1-\epsilon$, respectively. We proved that the FL algorithm in the presence of communication errors, where the CN uses the past local update if the fresh one is not received from a device, converges to the same global parameter as that the FL algorithm converges to without any communication error. We provide several simulation results to validate our theoretical analysis. We also show that when the dataset is uniformly distributed among devices, the FL algorithm that only uses fresh updates and discards missing updates might converge faster than the FL algorithm that uses past local updates.


title: Particle-scale modeling of the drying characteristics of colloidal suspensions

abstract: During drying of colloidal suspensions, colloidal particles can form concentrated particle layers beneath the receding free surface. The drying rate can gradually decrease with the growth of the particle layers. We construct a model to investigate how such drying characteristics is affected by interactions between particles. In this model, the formation of the particle layers is described by Langevin dynamics simulations, and the drying rate is evaluated from the permeation resistance of the particle layers. We show that the decrease in the drying rate is suppressed when the particles form aggregates by attractive interactions. The present model would enable us to predict and control the drying characteristics through the character of colloidal particles.


title: Three types of quasi-Trefftz functions for the 3D convected Helmholtz equation: construction and approximation properties

abstract: Trefftz methods are numerical methods for the approximation of solutions to boundary and/or initial value problems. They are Galerkin methods with particular test and trial functions, which solve locally the governing partial differential equation (PDE). This property is called the Trefftz property. Quasi-Trefftz methods were introduced to leverage the advantages of Trefftz methods for problems governed by variable coefficient PDEs, by relaxing the Trefftz property into a so-called quasi-Trefftz property: test and trial functions are not exact solutions but rather local approximate solutions to the governing PDE. In order to develop quassi-Trefftz methods for aero-acoustics problems governed by the convected Helmholtz equation, the present work tackles the question of the definition, construction and approximation properties of three families of quasi-Trefftz functions: two based on generalizations on plane wave solutions, and one polynomial. The polynomial basis shows significant promise as it does not suffer from the ill-conditioning issue inherent to wave-like bases.


title: MGNN: Graph Neural Networks Inspired by Distance Geometry Problem

abstract: Graph Neural Networks (GNNs) have emerged as a prominent research topic in the field of machine learning. Existing GNN models are commonly categorized into two types: spectral GNNs, which are designed based on polynomial graph filters, and spatial GNNs, which utilize a message-passing scheme as the foundation of the model. For the expressive power and universality of spectral GNNs, a natural approach is to improve the design of basis functions for better approximation ability. As for spatial GNNs, models like Graph Isomorphism Networks (GIN) analyze their expressive power based on Graph Isomorphism Tests. Recently, there have been attempts to establish connections between spatial GNNs and geometric concepts like curvature and cellular sheaves, as well as physical phenomena like oscillators. However, despite the recent progress, there is still a lack of comprehensive analysis regarding the universality of spatial GNNs from the perspectives of geometry and physics. In this paper, we propose MetricGNN (MGNN), a spatial GNN model inspired by the congruent-insensitivity property of classifiers in the classification phase of GNNs. We demonstrate that a GNN model is universal in the spatial domain if it can generate embedding matrices that are congruent to any given embedding matrix. This property is closely related to the Distance Geometry Problem (DGP). Since DGP is an NP-Hard combinatorial optimization problem, we propose optimizing an energy function derived from spring networks and the Multi-Dimensional Scaling (MDS) problem. This approach also allows our model to handle both homophilic and heterophilic graphs. Finally, we propose employing the iteration method to optimize our energy function. We extensively evaluate the effectiveness of our model through experiments conducted on both synthetic and real-world datasets. Our code is available at: https://github.com/GuanyuCui/MGNN.


title: Deep Petrov-Galerkin Method for Solving Partial Differential Equations

abstract: Deep neural networks are powerful tools for approximating functions, and they are applied to successfully solve various problems in many fields. In this paper, we propose a neural network-based numerical method to solve partial differential equations. In this new framework, the method is designed on weak formulations, and the unknown functions are approximated by deep neural networks and test functions can be chosen by different approaches, for instance, basis functions of finite element methods, neural networks, and so on. Because the spaces of trial function and test function are different, we name this new approach by Deep Petrov-Galerkin Method (DPGM). The resulted linear system is not necessarily to be symmetric and square, so the discretized problem is solved by a least-square method. Take the Poisson problem as an example, mixed DPGMs based on several mixed formulations are proposed and studied as well. In addition, we apply the DPGM to solve two classical time-dependent problems based on the space-time approach, that is, the unknown function is approximated by a neural network, in which temporal variable and spatial variables are treated equally, and the initial conditions are regarded as boundary conditions for the space-time domain. Finally, several numerical examples are presented to show the performance of the DPGMs, and we observe that this new method outperforms traditional numerical methods in several aspects.


title: On the maximality of genus-3 nonhyperelliptic curves of Ciani type

abstract: In this paper, we study a Ciani curve $C: x^4 + y^4 + z^4 + rx^2y^2 + sy^2z^2 + tz^2x^2 = 0$ in positive characteristic $p \geq 3$. We will show that if $C$ is superspecial, then its standard form is maximal or minimal over $\mathbb{F}_{p^2}$ without taking its $\mathbb{F}_{p^2}$-form.


title: Search for heavy Majorana neutrinos at electron-proton colliders

abstract: We develop the search strategy for a heavy Majorana neutrino via the lepton number violation signal process $p\, e^- \to \mu^+ jjj$ at future electron-proton colliders. The signal and dominant standard model background events are generated with the fast detector simulation. We apply the pre-selection criteria and perform the multi-variate analysis based on machine-learning to reject the background. Distributions of representative kinematic observables are presented for both signal and background processes and effects on final limits are compared by inputting two different set of observables when performing multi-variate analysis. The 2- and 5-$\sigma$ limits on the mixing parameter $|V_{\ell N}|^2$ are predicted for the heavy neutrino mass $m_N$ in the range of 10$-$1000 GeV. At the LHeC (FCC-eh) with an electron beam energy of 60 GeV, a proton beam energy of 7 (50) TeV and an integrated luminosity of 1 (3) ab$^{-1}$, the mixing parameter $|V_{\ell N}|^2$ can be constrained to be below $\sim 3.0~(1.0) \times 10^{-6}$ for $m_N$ around $\mathcal{O}(100)$ GeV at 2-$\sigma$ level. The limits are much stronger than the current experiment limits at the LHC for $m_N$ above 30 GeV. The positron signal final state and the effect of long-lived cases of heavy neutrinos are also checked and commented.


title: Alphabet of one-loop Feynman integrals

abstract: In this paper, we present the universal structure of the alphabet of one-loop Feynman integrals. The letters in the alphabet are calculated using the Baikov representation with cuts. We consider both convergent and divergent cut integrals and observe that letters in the divergent cases can be easily obtained from convergent cases by applying certain limits. The letters are written as simple expressions in terms of various Gram determinants. The knowledge of the alphabet enables us to easily construct the canonical differential equations of the $ d\log $ form and aids in bootstrapping the symbols of the solutions.


title: Asynchronous Reversible Computing Unveiled Using Ballistic Shift Registers

abstract: Reversible logic can provide lower switching energy costs relative to all irreversible logic, including those developed by industry in semiconductor circuits, however, more research is needed to understand what is possible. Superconducting logic, an exemplary platform for both irreversible and reversible logic, uses flux quanta to represent bits, and the reversible implementation may switch state with low energy dissipation relative to the energy of a flux quantum. Here we simulate reversible shift register gates that are ballistic: their operation is powered by the input bits alone. A storage loop is added relative to previous gates as a key innovation, which bestows an asynchronous property to the gate such that input bits can arrive at different times as long as their order is clearly preserved. The shift register represents bit states by flux polarity, both in the stored bit as well as the ballistic input and output bits. Its operation consists of the elastic swapping of flux between the stored and the moving bit. This is related to a famous irreversible shift register, developed prior to the advent of superconducting flux quanta logic (which used irreversible gates). In the base design of our ballistic shift register (BSR) there is one 1-input and 1-output port, but we find that we can make other asynchronous ballistic gates by extension. The gate constitutes the first asynchronous reversible 2-input gate. Finally, for a better insight into the dynamics, we introduce a collective coordinate model. We find that the gate can be described as motion in two coordinates subject to a potential determined by the input bit and initial stored flux quantum. Aside from the favorable asynchronous feature, the gate is considered practical in the context of energy efficiency, parameter margins, logical depth, and speed.


title: A General Description of Growth Trends

abstract: Time series that display periodicity can be described with a Fourier expansion. In a similar vein, a recently developed formalism enables description of growth patterns with the optimal number of parameters (Elitzur et al, 2020). The method has been applied to the growth of national GDP, population and the COVID-19 pandemic; in all cases the deviations of long-term growth patterns from pure exponential required no more than two additional parameters, mostly only one. Here I utilize the new framework to develop a unified formulation for all functions that describe growth deceleration, wherein the growth rate decreases with time. The result offers the prospects for a new general tool for trend removal in time-series analysis.


title: Deep Discriminative to Kernel Density Graph for In- and Out-of-distribution Calibrated Inference

abstract: Deep discriminative approaches like random forests and deep neural networks have recently found applications in many important real-world scenarios. However, deploying these learning algorithms in safety-critical applications raises concerns, particularly when it comes to ensuring confidence calibration for both in-distribution and out-of-distribution data points. Many popular methods for in-distribution (ID) calibration, such as isotonic and Platt's sigmoidal regression, exhibit excellent ID calibration performance. However, these methods are not calibrated for the entire feature space, leading to overconfidence in the case of out-of-distribution (OOD) samples. On the other end of the spectrum, existing out-of-distribution (OOD) calibration methods generally exhibit poor in-distribution (ID) calibration. In this paper, we address ID and OOD calibration problems jointly. We leveraged the fact that deep models, including both random forests and deep-nets, learn internal representations which are unions of polytopes with affine activation functions to conceptualize them both as partitioning rules of the feature space. We replace the affine function in each polytope populated by the training data with a Gaussian kernel. Our experiments on both tabular and vision benchmarks show that the proposed approaches obtain well-calibrated posteriors while mostly preserving or improving the classification accuracy of the original algorithm for ID region, and extrapolate beyond the training data to handle OOD inputs appropriately.


title: Torsion in Differentials and Berger's Conjecture

abstract: Let $(R,\mathfrak{m},\mathbb{k})$ be an equicharacteristic one-dimensional complete local domain over an algebraically closed field $\mathbb{k}$ of characteristic 0. R. Berger conjectured that R is regular if and only if the universally finite module of differentials $\Omega_R$ is a torsion-free $R$-module. We give new cases of this conjecture by extending works of G\"uttes (Arch Math 54:499-510, 1990) and Corti\~nas et al. (Math Z 228:569-588, 1998).This is obtained by constructing a new subring $S$ of $\operatorname{Hom}_R(\mathfrak{m},\mathfrak{m})$ and constructing enough torsion in $\Omega_S$, enabling us to pull back a nontrivial torsion to $\Omega_R$.


title: An overview of recent STAR jet measurements

abstract: These proceedings discuss recent jet measurements by the STAR experiment at RHIC to study jet substructure in p+p and jet quenching in Au+Au collisions at $\sqrt{s_\mathrm{NN}}$ = 200 GeV. Furthermore, STAR's future plans for precision jet measurements with the upcoming data-taking periods in 2023-2025 are presented.


title: Improving Estimation Efficiency via Regression-Adjustment in Covariate-Adaptive Randomizations with Imperfect Compliance

abstract: We investigate how to improve efficiency using regression adjustments with covariates in covariate-adaptive randomizations (CARs) with imperfect subject compliance. Our regression-adjusted estimators, which are based on the doubly robust moment for local average treatment effects, are consistent and asymptotically normal even with heterogeneous probability of assignment and misspecified regression adjustments. We propose an optimal but potentially misspecified linear adjustment and its further improvement via a nonlinear adjustment, both of which lead to more efficient estimators than the one without adjustments. We also provide conditions for nonparametric and regularized adjustments to achieve the semiparametric efficiency bound under CARs.


title: On Sub-optimality of Random Binning for Distributed Hypothesis Testing

abstract: We investigate the quantize and binning scheme, known as the Shimokawa-Han-Amari (SHA) scheme, for the distributed hypothesis testing. We develop tools to evaluate the critical rate attainable by the SHA scheme. For a product of binary symmetric double sources, we present a sequential scheme that improves upon the SHA scheme.


title: Magnetar XTE J1810-197: Spectro-temporal evolution of average radio emission

abstract: We present the long-term spectro-temporal evolution of the average radio emission properties of the magnetar XTE J1810-197 (PSR J1809-1943) following its most recent outburst in late 2018. We report the results from two and a half years of monitoring campaign with the upgraded Giant Metrewave Radio Telescope carried out over the frequency range of 300 - 1450 MHz. Our observations show intriguing time variability in the average profile width, flux density, spectral index and the broadband spectral shape. While the average profile width appears to gradually decrease at later epochs, the flux density shows multiple episodes of radio re-brightening over the course of our monitoring. Our systematic monitoring observations reveal that the radio spectrum has steepened over time, resulting in evolution from a magnetar-like to a more pulsar-like spectrum. A more detailed analysis reveals that the radio spectrum has a turnover, and this turnover shifts towards lower frequencies with time. We present the details of our analysis leading to these results, and discuss our findings in the context of magnetar radio emission mechanisms as well as potential manifestations of the intervening medium. We also briefly discuss whether an evolving spectral turnover could be an ubiquitous property of radio magnetars.


title: Speed-ANN: Low-Latency and High-Accuracy Nearest Neighbor Search via Intra-Query Parallelism

abstract: Nearest Neighbor Search (NNS) has recently drawn a rapid increase of interest due to its core role in managing high-dimensional vector data in data science and AI applications. The interest is fueled by the success of neural embedding, where deep learning models transform unstructured data into semantically correlated feature vectors for data analysis, e.g., recommend popular items. Among several categories of methods for fast NNS, similarity graph is one of the most successful algorithmic trends. Several of the most popular and top-performing similarity graphs, such as NSG and HNSW, at their core employ best-first traversal along the underlying graph indices to search near neighbors. Maximizing the performance of the search is essential for many tasks, especially at the large-scale and high-recall regime. In this work, we provide an in-depth examination of the challenges of the state-of-the-art similarity search algorithms, revealing its challenges in leveraging multi-core processors to speed up the search efficiency. We also exploit whether similarity graph search is robust to deviation from maintaining strict order by allowing multiple walkers to simultaneously advance the search frontier. Based on our insights, we propose Speed-ANN, a parallel similarity search algorithm that exploits hidden intra-query parallelism and memory hierarchy that allows similarity search to take advantage of multiple CPU cores to significantly accelerate search speed while achieving high accuracy. We evaluate Speed-ANN on a wide range of datasets, ranging from million to billion data points, and show its shorter query latency than NSG and HNSW, respectively. Besides, with multicore support, we show that our approach offers faster search latency than highly-optimized GPU implementation and provides good scalability as the increase of the number of hardware resources (e.g., CPU cores) and graph sizes.


title: Communication-Efficient Distributed Multiple Testing for Large-Scale Inference

abstract: The Benjamini-Hochberg (BH) procedure is a celebrated method for multiple testing with false discovery rate (FDR) control. In this paper, we consider large-scale distributed networks where each node possesses a large number of p-values and the goal is to achieve the global BH performance in a communication-efficient manner. We propose that every node performs a local test with an adjusted test size according to the (estimated) global proportion of true null hypotheses. With suitable assumptions, our method is asymptotically equivalent to the global BH procedure. Motivated by this, we develop an algorithm for star networks where each node only needs to transmit an estimate of the (local) proportion of nulls and the (local) number of p-values to the center node; the center node then broadcasts a parameter (computed based on the global estimate and test size) to the local nodes. In the experiment section, we utilize existing estimators of the proportion of true nulls and consider various settings to evaluate the performance and robustness of our method.


title: Optical pumping and relaxation of atomic population in assorted conditions

abstract: The precise control and knowledge over the atomic dynamics is central to the advancement of quantum technology. The different experimental conditions namely, atoms in a vacuum, an anti-relaxation coated and a buffer gas filled atomic cell provides complementary platform for such investigations. The extent of changes in optical pumping, velocity changing collision and hyperfine changing collision rates associated with these conditions are discussed. There is a phenomenal change in the optical density by a factor of >25 times in presence of a control field in buffer gas environment. In contrary to earlier reports, we found confinement induced enhanced optical pumping as the mechanism behind the observed transparency in buffer gas cell. The feeble interplay of radiation trapping under specific conditions are pointed out. The diffusive velocity of atoms is measured to be ~25+-12 m/s and <= 8+-4 m/s for anti-relaxation coated and buffer gas filled cell respectively. The studies will have useful application in measurements of relaxation rates, quantum memory, quantum repeaters and atomic devices.


title: Architectures for Protecting Cloud Data Planes

abstract: This paper explores three approaches for protecting cloud application data planes to prevent unauthorized access to the application and its data and to prevent unwanted data exfiltration. Through an exploration of various concrete security architectures, we focus on (1) Cloud Security Perimeters to provide a boundary around data and infrastructure in the cloud that provides a line of defense both to improper access to sensitive information and the exfiltration of that information, (2) Cloud Landing Points to provide a safe integration point between parts of your cloud applications and on-premises applications to communicate through, and (3) Zero Trust security architectures that are built on the principles of defense in depth and least-privilege access. Using these approaches together provides critical protection for services and applications as they transition from traditional on-premises network security to the Cloud security architectures, and then to potentially Zero Trust security architectures.


title: On the Power-Law Hessian Spectrums in Deep Learning

abstract: It is well-known that the Hessian of deep loss landscape matters to optimization, generalization, and even robustness of deep learning. Recent works empirically discovered that the Hessian spectrum in deep learning has a two-component structure that consists of a small number of large eigenvalues and a large number of nearly-zero eigenvalues. However, the theoretical mechanism or the mathematical behind the Hessian spectrum is still largely under-explored. To the best of our knowledge, we are the first to demonstrate that the Hessian spectrums of well-trained deep neural networks exhibit simple power-law structures. Inspired by the statistical physical theories and the spectral analysis of natural proteins, we provide a maximum-entropy theoretical interpretation for explaining why the power-law structure exist and suggest a spectral parallel between protein evolution and training of deep neural networks. By conducing extensive experiments, we further use the power-law spectral framework as a useful tool to explore multiple novel behaviors of deep learning.


title: Topology-Preserving Dimensionality Reduction via Interleaving Optimization

abstract: Dimensionality reduction techniques are powerful tools for data preprocessing and visualization which typically come with few guarantees concerning the topological correctness of an embedding. The interleaving distance between the persistent homology of Vietoris-Rips filtrations can be used to identify a scale at which topological features such as clusters or holes in an embedding and original data set are in correspondence. We show how optimization seeking to minimize the interleaving distance can be incorporated into dimensionality reduction algorithms, and explicitly demonstrate its use in finding an optimal linear projection. We demonstrate the utility of this framework to data visualization.


title: A Simple And Effective Filtering Scheme For Improving Neural Fields

abstract: Recently, neural fields, also known as coordinate-based MLPs, have achieved impressive results in representing low-dimensional data. Unlike CNN, MLPs are globally connected and lack local control; adjusting a local region leads to global changes. Therefore, improving local neural fields usually leads to a dilemma: filtering out local artifacts can simultaneously smooth away desired details. Our solution is a new filtering technique that consists of two counteractive operators: a smoothing operator that provides global smoothing for better generalization, and conversely a recovering operator that provides better controllability for local adjustments. We have found that using either operator alone can lead to an increase in noisy artifacts or oversmoothed regions. By combining the two operators, smoothing and sharpening can be adjusted to first smooth the entire region and then recover fine-grained details in regions overly smoothed. In this way, our filter helps neural fields remove much noise while enhancing details. We demonstrate the benefits of our filter on various tasks and show significant improvements over state-of-the-art methods. Moreover, our filter also provides better performance in terms of convergence speed and network stability.


title: Curvature identities for Einstein manifolds of dimension 5 and 6

abstract: Patterson discussed the curvature identities on Riemannian manifolds in [14], and a curvature identity for any 6-dimensional Riemannian manifold was independently derived from the Chern-Gauss-Bonnet Theorem [8]. In this paper, we provide the explicit formulae of Patterson's curvature identity that holds on 5-dimensional and 6-dimensional Einstein manifolds. We confirm that the curvature identities on the Einstein manifold from the previous work [8] are the same as the curvature identities deduced from Patterson's result. We also provide examples that support the theorems.


title: Relativistic Kinetic Theory of Polyatomic Gases: Classical Limit of a New Hierarchy of Moments and Qualitative Analysis

abstract: A relativistic version of the Kinetic Theory for polyatomic gas is considered and a new hierarchy of moments that takes into account the total energy composed by the rest energy and the energy of the molecular internal modes is presented. In the first part, we prove via classical limit that the truncated system of moments dictates a precise hierarchy of moments in the classical framework. In the second part, we consider the particular physical case of fifteen moments closed via Maximum Entropy Principle in a neighborhood of equilibrium state. We prove that this symmetric hyperbolic system satisfies all the general assumption of some theorems that guarantee the global existence of smooth solutions for initial data sufficiently small.


title: Fisher information analysis on post-selection involved quantum precision measurements using optical coherent states

abstract: The weak-value-amplification (WVA) technique has been extensively considered and debated in the field of quantum precision measurement, largely owing to the reduced Fisher information caused by the low probability of successful post-selection. %% In this work we show that, rather than the Gaussian meter state as typically considered, using the optical coherent state as a meter, the WVA measurement can definitely outperform the conventional measurement not involving the strategy of post-selection. %% We also show that the post-selection procedure involved in the WVA scheme can make a mixture of coherent states work better than a pure coherent state with identical average photon numbers. This is in sharp contrast to the claim proved in the absence of post-selection. The post-selection strategy can also result in the precision of Heisenberg (or even "super-Heisenberg") scaling with the photon numbers, but without using any expensive quantum resources. %% The present work may stimulate further investigations for the potential of the post-selection strategy in quantum precision measurements.


title: Surgery transformations and eigenvalue estimates for quantum graphs with $\delta'$ vertex interactions

abstract: We extend the surgical tool box for quantum graphs to anti-standard and $\delta'$ vertex conditions. Monotonicity properties of eigenvalues of graph Laplacian with $\delta'$ interactions at vertices depend on the sign of vertex parameter. Using several interlacing inequalities between eigenvalues of graph Laplacian with different vertex conditions and surgery principles we obtain new upper and lower bounds on the eigenvalues of $\delta$ and $\delta'$ Laplacians.


title: Monitoring Jitter in Software Defined Networks

abstract: End-to-end jitter of a flow is an important metric that indicates the Quality of Service a user is experiencing, particularly for real-time applications such as video streaming, cloud gaming, and so on. Monitoring the jitter can help controllers make routing decisions for certain flows. This paper discusses methods in which we can estimate/follow important patterns in the end-to-end jitter of a flow. Two main approaches are taken, one using a Software Defined Network controller and the other using P4 programmable data-planes. Results from the simulations of each method are discussed.


title: On the Robustness of Quality Measures for GANs

abstract: This work evaluates the robustness of quality measures of generative models such as Inception Score (IS) and Fr\'echet Inception Distance (FID). Analogous to the vulnerability of deep models against a variety of adversarial attacks, we show that such metrics can also be manipulated by additive pixel perturbations. Our experiments indicate that one can generate a distribution of images with very high scores but low perceptual quality. Conversely, one can optimize for small imperceptible perturbations that, when added to real world images, deteriorate their scores. We further extend our evaluation to generative models themselves, including the state of the art network StyleGANv2. We show the vulnerability of both the generative model and the FID against additive perturbations in the latent space. Finally, we show that the FID can be robustified by simply replacing the standard Inception with a robust Inception. We validate the effectiveness of the robustified metric through extensive experiments, showing it is more robust against manipulation.


title: SZx: an Ultra-fast Error-bounded Lossy Compressor for Scientific Datasets

abstract: Today's scientific high performance computing (HPC) applications or advanced instruments are producing vast volumes of data across a wide range of domains, which introduces a serious burden on data transfer and storage. Error-bounded lossy compression has been developed and widely used in scientific community, because not only can it significantly reduce the data volumes but it can also strictly control the data distortion based on the use-specified error bound. Existing lossy compressors, however, cannot offer ultra-fast compression speed, which is highly demanded by quite a few applications or use-cases (such as in-memory compression and online instrument data compression). In this paper, we propose a novel ultra-fast error-bounded lossy compressor, which can obtain fairly high compression performance on both CPU and GPU, also with reasonably high compression ratios. The key contributions are three-fold: (1) We propose a novel, generic ultra-fast error-bounded lossy compression framework -- called UFZ, by confining our design to be composed of only super-lightweight operations such as bitwise and addition/subtraction operation, still keeping a certain high compression ratio. (2) We implement UFZ on both CPU and GPU and optimize the performance according to their architectures carefully. (3) We perform a comprehensive evaluation with 6 real-world production-level scientific datasets on both CPU and GPU. Experiments show that UFZ is 2~16X as fast as the second-fastest existing error-bounded lossy compressor (either SZ or ZFP) on CPU and GPU, with respect to both compression and decompression.