title: Bounds on quantum evolution complexity via lattice cryptography

abstract: We address the difference between integrable and chaotic motion in quantum theory as manifested by the complexity of the corresponding evolution operators. Complexity is understood here as the shortest geodesic distance between the time-dependent evolution operator and the origin within the group of unitaries. (An appropriate `complexity metric' must be used that takes into account the relative difficulty of performing `nonlocal' operations that act on many degrees of freedom at once.) While simply formulated and geometrically attractive, this notion of complexity is numerically intractable save for toy models with Hilbert spaces of very low dimensions. To bypass this difficulty, we trade the exact definition in terms of geodesics for an upper bound on complexity, obtained by minimizing the distance over an explicitly prescribed infinite set of curves, rather than over all possible curves. Identifying this upper bound turns out equivalent to the closest vector problem (CVP) previously studied in integer optimization theory, in particular, in relation to lattice-based cryptography. Effective approximate algorithms are hence provided by the existing mathematical considerations, and they can be utilized in our analysis of the upper bounds on quantum evolution complexity. The resulting algorithmically implemented complexity bound systematically assigns lower values to integrable than to chaotic systems, as we demonstrate by explicit numerical work for Hilbert spaces of dimensions up to ~10^4.

categories: quant-ph cs.DS hep-th math.OC physics.data-an


title: Bonsai: A Generalized Look at Dual Deduplication

abstract: Cloud Service Providers (CSPs) offer a vast amount of storage space at competitive prices to cope with the growing demand for digital data storage. Dual deduplication is a recent framework designed to improve data compression on the CSP while keeping clients' data private from the CSP. To achieve this, clients perform lightweight information-theoretic transformations to their data prior to upload. We investigate the effectiveness of dual deduplication, and propose an improvement for the existing state-of-the-art method. We name our proposal Bonsai as it aims at reducing storage fingerprint and improving scalability. In detail, Bonsai achieves (1) significant reduction in client storage, (2) reduction in total required storage (client + CSP), and (3) reducing the deduplication time on the CSP. Our experiments show that Bonsai achieves compression rates of 68\% on the cloud and 5\% on the client, while allowing the cloud to identify deduplications in a time-efficient manner. We also show that combining our method with universal compressors in the cloud, e.g., Brotli, can yield better overall compression on the data compared to only applying the universal compressor or plain Bonsai. Finally, we show that Bonsai and its variants provide sufficient privacy against an honest-but-curious CPS that knows the distribution of the Clients' original data.


title: Real-Time Frequency Selective Reconstruction through Register-Based Argmax Calculation

abstract: Frequency Selective Reconstruction (FSR) is a state-of-the-art algorithm for solving diverse image reconstruction tasks, where a subset of pixel values in the image is missing. However, it entails a high computational complexity due to its iterative, blockwise procedure to reconstruct the missing pixel values. Although the complexity of FSR can be considerably decreased by performing its computations in the frequency domain, the reconstruction procedure still takes multiple seconds up to multiple minutes depending on the parameterization. However, FSR has the potential for a massive parallelization greatly improving its reconstruction time. In this paper, we introduce a novel highly parallelized formulation of FSR adapted to the capabilities of modern GPUs and propose a considerably accelerated calculation of the inherent argmax calculation. Altogether, we achieve a 100-fold speed-up, which enables the usage of FSR for real-time applications.


title: High-performance Uncertainty Quantification in Large-scale Virtual Clinical Trials of Closed-loop Diabetes Treatment

abstract: In this paper, we propose a virtual clinical trial for assessing the performance and identifying risks in closed-loop diabetes treatments. Virtual clinical trials enable fast and risk-free tests of many treatment variations for large populations of fictive patients (represented by mathematical models). We use closed-loop Monte Carlo simulation, implemented in high-performance software and hardware, to quantify the uncertainty in treatment performance as well as to compare the performance in different scenarios or of different closed-loop treatments. Our software can be used for testing a wide variety of control strategies ranging from heuristical approaches to nonlinear model predictive control. We present an example of a virtual clinical trial with one million patients over 52 weeks, and we use high-performance software and hardware to conduct the virtual trial in 1 h and 22 min.


title: Ionise hard: interstellar PO$^{+}$ detection

abstract: We report the first detection of the phosphorus monoxide ion (PO$^{+}$) in the interstellar medium. Our unbiased and very sensitive spectral survey towards the G+0.693$-$0.027 molecular cloud covers four different rotational transitions of this molecule, two of which ($J$=1$-$0 and $J$=2$-$1) appear free of contamination from other species. The fit performed, assuming Local Thermodynamic Equilibrium conditions, yields a column density of $N$=(6.0$\pm$0.7)$\times$10$^{11}$ cm$^{-2}$. The resulting molecular abundance with respect to molecular hydrogen is 4.5$\times$10$^{-12}$. The column density of PO$^{+}$ normalised by the cosmic abundance of P is larger than those of NO$^{+}$ and SO$^{+}$, normalised by N and S, by factors of 3.6 and 2.3, respectively. The $N$(PO$^{+}$)/$N$(PO) ratio is 0.12$\pm$0.03, more than one order of magnitude higher than those of $N$(SO$^{+}$)/$N$(SO) and $N$(NO$^{+}$)/$N$(NO). These results indicate that P is more efficiently ionised in the ISM than N and S. We have performed new chemical models that confirm that the PO$^+$ abundance is strongly enhanced in shocked regions with high values of cosmic-ray ionisation rates (10$^{-15}-$10$^{-14}$ s$^{-1}$), as occurs in the G+0.693$-$0.027 molecular cloud. The shocks sputter the interstellar icy grain mantles, releasing into the gas phase most of their P content, mainly in the form of PH$_3$, which is converted into atomic P, and then ionised efficiently by cosmic rays, forming P$^+$. Further reactions with O$_2$ and OH produce PO$^{+}$. The cosmic-ray ionisation of PO might also contribute significantly, which would explain the high $N$(PO$^{+}$)/$N$(PO) observed. The relatively high gas-phase abundance of PO$^{+}$ with respect to other P-bearing species stresses the relevance of this species in the interstellar chemistry of P.


title: Enumeration of rooted 3-connected bipartite planar maps

abstract: We provide the first solution to the problem of counting rooted 3-connected bipartite planar maps. Our starting point is the enumeration of bicoloured planar maps according to the number of edges and monochromatic edges, following Bernardi and Bousquet-M\'elou [J. Comb. Theory Ser. B, 101 (2011), 315-377]. The decomposition of a map into 2- and 3-connected components allows us to obtain the generating functions of 2-and 3-connected bicoloured maps. Setting to zero the variable marking monochromatic edges we obtain the generating function of 3-connected bipartite maps, which is algebraic of degree 26. We deduce from it an asymptotic estimate for the number of 3-connected bipartite planar maps of the form $t \cdot n^{-5/2} \gamma^n$, where $\gamma=\rho^{-1} \approx 2.40958$ and $\rho \approx 0.41501$ is an algebraic number of degree 10.


title: Formalizing Oracle Trust Models for blockchain-based business applications. An example from the supply chain sector

abstract: Blockchain technology truly opened the gate to a wave of unparalleled innovations; however, despite the rapidly growing load of hype, the integration into the business, apart from a few applications, seems to be coming at a slower rate. One reason for that delay may be the need in the real-world applications for the so-called trust model. Trust models are rarely mentioned in blockchain application proposals despite their importance, which creates skepticism about their successful developments. To promote trust model implementation and help practitioners in its redaction, this article provides an outline of what a trust model is, why it is essential, and an example of how it is elaborated. The discussed example comes from a case study of a dairy company that implemented blockchain for the traceability of its products. Despite being tailored on a traceability project, the redaction and elements of the trust model, with few adjustments, could be easily readapted for other applications.


title: Linear independence criteria for generalized polylogarithms with distinct shifts

abstract: For a given rational number $x$ and an integer $s\geq 1$, let us consider a generalized polylogarithmic function, often called the Lerch function, defined by $$\Phi_{s}(x,z)= \sum_{k=0}^{\infty}\frac{z^{k+1}}{(k+x+1)^s}\enspace.$$ We prove the linear independence over any number field $K$ of the numbers $1$ and $\Phi_{s_j}(x_j,\alpha_i)$ with any choice of distinct shifts $x_1,\ldots, x_d$ with $0\le x_1<\ldots<x_d<1$, as well as any choice of depths $1\leq s_1\leq r_1,\ldots, 1\leq s_d\leq r_d$, at distinct algebraic numbers $\alpha_1,\ldots,\alpha_m\in K$ subject to a metric condition. As is usual in the theory, the points $\alpha_i$ need to be chosen sufficiently close to zero with respect to a given fixed place $v_0$ of $K$, Archimedean or finite. This is the first linear independence result with distinct shifts $x_1, \ldots, x_d$ that allows values at different points for generalized polylogarithmic functions. Previous criteria were only for the functions with one fixed shift or at one point. Further, we establish another linear independence criterion for values of the generalized polylogarithmic function with cyclic coefficients. Let $q\geq 1$ be an integer and $\boldsymbol{a}=(a_1,\ldots, a_q)\in K^q$ be a $q$-tuple whose coordinates supposed to be cyclic with the period $q$. Consider the generalized polylogarithmc function with coefficients $$\Phi_{\boldsymbol{a},s}(x,z)= \sum_{k=0}^{\infty}\frac{a_{k+1\bmod(q)}\cdot z^{k+1}}{(k+x+1)^s}\enspace.$$ Under suitable condition, we show that the values of these functions are linearly independent over $K$. Our key tool is a new non-vanishing property for a generalized Wronskian of Hermite type associated to our explicit constructions of Pad\'e approximants for this family of generalized polylogarithmic function.


title: Leveraging Channel Noise for Sampling and Privacy via Quantized Federated Langevin Monte Carlo

abstract: For engineering applications of artificial intelligence, Bayesian learning holds significant advantages over standard frequentist learning, including the capacity to quantify uncertainty. Langevin Monte Carlo (LMC) is an efficient gradient-based approximate Bayesian learning strategy that aims at producing samples drawn from the posterior distribution of the model parameters. Prior work focused on a distributed implementation of LMC over a multi-access wireless channel via analog modulation. In contrast, this paper proposes quantized federated LMC (FLMC), which integrates one-bit stochastic quantization of the local gradients with channel-driven sampling. Channel-driven sampling leverages channel noise for the purpose of contributing to Monte Carlo sampling, while also serving the role of privacy mechanism. Analog and digital implementations of wireless LMC are compared as a function of differential privacy (DP) requirements, revealing the advantages of the latter at sufficiently high signal-to-noise ratio.


title: Universal scaling for disordered viscoelastic matter II: Collapses, global behavior and spatio-temporal properties

abstract: Disordered viscoelastic materials are ubiquitous and exhibit fascinating invariant scaling properties. In a companion article, we have presented comprehensive new results for the critical behavior of the dynamic susceptibility of disordered elastic systems near the onset of rigidity. Here we provide additional details of the derivation of the singular scaling forms of the longitudinal response near both jamming and rigidity percolation. We then discuss global aspects associated with these forms, and make scaling collapse plots for both undamped and overdamped dynamics in both the rigid and floppy phases. We also derive critical exponents, invariant scaling combinations and analytical formulas for universal scaling functions of several quantities such as transverse and density responses, elastic moduli, viscosities, and correlation functions. Finally, we discuss tentative experimental protocols to measure these behaviors in colloidal suspensions.


title: Functional mixture-of-experts for classification

abstract: We develop a mixtures-of-experts (ME) approach to the multiclass classification where the predictors are univariate functions. It consists of a ME model in which both the gating network and the experts network are constructed upon multinomial logistic activation functions with functional inputs. We perform a regularized maximum likelihood estimation in which the coefficient functions enjoy interpretable sparsity constraints on targeted derivatives. We develop an EM-Lasso like algorithm to compute the regularized MLE and evaluate the proposed approach on simulated and real data.


title: Four-dimensional regular black strings in bilocal gravity

abstract: In this paper, we obtain a static black string solution for a bilocal gravitational source in 3+1 dimensions. The solution is regular at the origin and tends asymptotically to the ordinary static uncharged black string solution of general relativity. It allows an event horizon and an internal horizon depending on the value of the mass density. A mass remnant associated with a vanishing Hawking temperature is also found. In order to stabilize the solution, a perfect cosmological fluid with state parameter $\omega>-1$ should be present throughout space. However, energy conditions do not exclude an exotic substance nearby the black string. Finally, we find the stationary counterpart of the solution and analyze the behavior of the horizons according to the mass and angular momentum of the spinning object.


title: Shielding of rotor noise by plates and wings

abstract: A method of noise reduction proposed for the next generation of aircraft is to shield noise from the propulsion system, by positioning the noise source over a wing or another surface. In this paper, an approximate analysis is developed for the acoustic field far from a circular source placed near the edge of a semi-infinite plate, a model problem for shielding of noise by a wing and for scattering by a trailing edge. The approximation is developed for a source of small radius and is found to be accurate when compared to full numerical evaluation of the field.


title: Constraining the Charm-Yukawa coupling at the Large Hadron Collider

abstract: We present theoretical results for the sensitivity of charm Yukawa coupling measurements in future high-luminosity LHC runs in three channels: Vector Boson Fusion (VBF), W Higgs-strahlung and Z Higgs-strahlung production of a Higgs boson and its subsequent decay into charm quarks. To reduce the overwhelmingly large backgrounds and to reduce false positives, we apply a set of simple kinematic and jet feature cuts and feed neural network data structures of three types; jet features, jet images and particle level features. To facilitate straightforward comparison with experimental studies, we express our results in terms of signal strengths.


title: Nonlinear Model Predictive Control and System Identification for a Dual-hormone Artificial Pancreas

abstract: In this work, we present a switching nonlinear model predictive control (NMPC) algorithm for a dual-hormone artificial pancreas (AP), and we use maximum likelihood estimation (MLE) to identify model parameters. A dual-hormone AP consists of a continuous glucose monitor (CGM), a control algorithm, an insulin pump, and a glucagon pump. The AP is designed with a heuristic to switch between insulin and glucagon as well as state-dependent constraints. We extend an existing glucoregulatory model with glucagon and exercise for simulation, and we use a simpler model for control. We test the AP (NMPC and MLE) using in silico numerical simulations on 50 virtual people with type 1 diabetes. The system is identified for each virtual person based on data generated with the simulation model. The simulations show a mean of 89.3% time in range (3.9-10 mmol/L) and no hypoglycemic events.


title: Localization via Multiple Reconfigurable Intelligent Surfaces Equipped with Single Receive RF Chains

abstract: The extra degrees of freedom resulting from the consideration of Reconfigurable Intelligent Surfaces (RISs) for smart signal propagation can be exploited for high accuracy localization and tracking. In this paper, capitalizing on a recent RIS hardware architecture incorporating a single receive Radio Frequency (RF) chain for measurement collection, we present a user localization method with multiple RISs. The proposed method includes an initial step for direction estimation at each RIS, followed by maximum likelihood position estimation, which is initialized with a least squares line intersection technique. Our numerical results showcase the accuracy of the proposed localization, verifying our theoretical estimation analysis.


title: Unsupervised machine learning correlations in EoS of neutron stars

abstract: Neutron stars are compact objects of large interest in the nuclear astrophysics community. The extreme conditions present in such systems impose big challenges to our current microscopic models of nuclear structure. Equation of states (EoS) are frequently derived from sophisticated quantum mechanical models, such as: relativistic, non-relativistic and many mean-field approaches. Every single model, in general, contains many parameters such as the NN interaction strength, particle compositions, etc. These are particular features of each model and can be represented by numbers and categories in a machine learning context. Different choices of features will affect EoS properties leading to different macroscopic properties of the star. In this work we analyze a selection of EoS containing a variety of different physics models. One of our objectives is to develop tools that enable a better understanding of the correlations among the different model features and the outcome produced by them when employed to model neutron stars.


title: Background Mixup Data Augmentation for Hand and Object-in-Contact Detection

abstract: Detecting the positions of human hands and objects-in-contact (hand-object detection) in each video frame is vital for understanding human activities from videos. For training an object detector, a method called Mixup, which overlays two training images to mitigate data bias, has been empirically shown to be effective for data augmentation. However, in hand-object detection, mixing two hand-manipulation images produces unintended biases, e.g., the concentration of hands and objects in a specific region degrades the ability of the hand-object detector to identify object boundaries. We propose a data-augmentation method called Background Mixup that leverages data-mixing regularization while reducing the unintended effects in hand-object detection. Instead of mixing two images where a hand and an object in contact appear, we mix a target training image with background images without hands and objects-in-contact extracted from external image sources, and use the mixed images for training the detector. Our experiments demonstrated that the proposed method can effectively reduce false positives and improve the performance of hand-object detection in both supervised and semi-supervised learning settings.


title: Reviewing local and integrated energy system models: insights into flexibility and robustness challenges

abstract: The electrification of heating, cooling, and transportation to reach decarbonization targets calls for a rapid expansion of renewable technologies. Due to their decentral and intermittent nature, these technologies require robust planning that considers non-technical constraints and flexibility options to be integrated effectively. Energy system models (ESMs) are frequently used to support decision-makers in this planning process. In this study, 116 case studies of local, integrated ESMs are systematically reviewed to identify best-practice approaches to model flexibility and to address non-technical constraints. Within the sample, storage systems and sector coupling are the most common types of flexibility. Sector coupling with the transportation sector, specifically with electric vehicles that could be used for smart charging or vehicle-to-grid operation, is rarely considered. Social aspects are generally either completely neglected or modeled exogenously. Lacking actor heterogeneity, which can lead to unstable results in optimization models, can be addressed through building-level information. A strong emphasis on cost is found and while emissions are also frequently reported, additional metrics such as imports or the share of renewable generation are nearly absent. To guide future modeling, the paper concludes with a roadmap highlighting flexibility and robustness options that either represent low-hanging fruit or have a large impact on results.


title: Quantum Machine Learning for $b$-jet charge identification

abstract: Machine Learning algorithms have played an important role in hadronic jet classification problems. The large variety of models applied to Large Hadron Collider data has demonstrated that there is still room for improvement. In this context Quantum Machine Learning is a new and almost unexplored methodology, where the intrinsic properties of quantum computation could be used to exploit particles correlations for improving the jet classification performance. In this paper, we present a brand new approach to identify if a jet contains a hadron formed by a $b$ or $\bar{b}$ quark at the moment of production, based on a Variational Quantum Classifier applied to simulated data of the LHCb experiment. Quantum models are trained and evaluated using LHCb simulation. The jet identification performance is compared with a Deep Neural Network model to assess which method gives the better performance.


title: Coherence limitations in the optical control of the singlet-triplet qubit in a quantum dot molecule

abstract: We analyze the optically driven dynamics of a qubit implemented on a singlet-triplet subspace of two-electron states in a self-assembled quantum dot molecule. We study two possible control schemes based on the coupling to an excited (four-particle) state either by two spectrally separated laser pulses or by a single spectrally broad pulse. We quantitatively characterize the imperfections of the qubit operation resulting from non-adiabatic evolution and from limited spectral selectivity in a real system, as compared to the ideal adiabatic Raman transfer of occupation in the $\Lambda$-system. Next, we study the effects of decoherence induced by the coupling to the phonons of the surrounding crystal lattice and by radiative recombination. As a result, we are able to identify the optimization trade-offs between different sources of errors and indicate the most favorable conditions for quantum control of the singlet-triplet qubit in the two optical control schemes.


title: Defect detection and segmentation in X-Ray images of magnesium alloy castings using the Detectron2 framework

abstract: New production techniques have emerged that have made it possible to produce metal parts with more complex shapes, making the quality control process more difficult. This implies that the visual and superficial analysis has become even more inefficient. On top of that, it is also not possible to detect internal defects that these parts could have. The use of X-Ray images has made this process much easier, allowing not only to detect superficial defects in a much simpler way, but also to detect welding or casting defects that could represent a serious hazard for the physical integrity of the metal parts. On the other hand, the use of an automatic segmentation approach for detecting defects would help diminish the dependence of defect detection on the subjectivity of the factory operators and their time dependence variability. The aim of this paper is to apply a deep learning system based on Detectron2, a state-of-the-art library applied to object detection and segmentation in images, for the identification and segmentation of these defects on X-Ray images obtained mainly from automotive parts


title: Spatio-kinematic models of five nova remnants: correlations between nova shell axial ratio, expansion velocity, and speed class

abstract: We present long-slit intermediate-dispersion spectroscopic observations and narrow-band direct imaging of four classical nova shells, namely TAur, HRDel, DQHer and QUVul, and the nova-like source CKVul. These are used to construct models of their nebular remnants using the morpho-kinematic modelling tool Shape to reveal their 3D shape. All these nova remnants but CKVul can be described by prolate ellipsoidal shells with different eccentricity degree, from the spherical QUVul to the highly elongated shell with an equatorial component HRDel. On the other hand, CKVul shows a more complex structure, with two pairs of nested bipolar lobes. The spatio-kinematic properties of the ellipsoidal nova shells derived from our models include their true axial ratios. This parameter is expected to correlate with the expansion velocity and decline time C3 (i.e., their speed class) of a nova as the result the interaction of the ejecta with the circumstellar material and rotation speed and magnetic field of the white dwarf. We have compared these three parameters including data available in the literature for another two nova shells, V533 Her and FH Ser. There is an anti-correlation between the expansion velocity and the axial ratio and decline time C3 for nova remnants with ellipsoidal morphology, and a correlation between their axial ratios and decline times C3, confirming theoretical expectations that the fastest expanding novae have the smallest axial ratios. We note that the high expansion velocity of the nova shell HRDel of 615 km/s is inconsistent with its long decline time C3 of 250 days.


title: Data-Augmentation for Graph Neural Network Learning of the Relaxed Energies of Unrelaxed Structures

abstract: Computational materials discovery has continually grown in utility over the past decade due to advances in computing power and crystal structure prediction algorithms (CSPA). However, the computational cost of the \textit{ab initio} calculations required by CSPA limits its utility to small unit cells, reducing the compositional and structural space the algorithms can explore. Past studies have bypassed many unneeded \textit{ab initio} calculations by utilizing machine learning methods to predict formation energy and determine the stability of a material. Specifically, graph neural networks display high fidelity in predicting formation energy. Traditionally graph neural networks are trained on large data sets of relaxed structures. Unfortunately, the geometries of unrelaxed candidate structures produced by CSPA often deviate from the relaxed state, which leads to poor predictions hindering the model's ability to filter energetically unfavorable prior to \textit{ab initio} evaluation. This work shows that the prediction error on relaxed structures reduces as training progresses, while the prediction error on unrelaxed structures increases, suggesting an inverse correlation between relaxed and unrelaxed structure prediction accuracy. To remedy this behavior, we propose a simple, physically motivated, computationally cheap perturbation technique that augments training data to improve predictions on unrelaxed structures dramatically. On our test set consisting of 623 Nb-Sr-H hydride structures, we found that training a crystal graph convolutional neural networks, utilizing our augmentation method, reduced the MAE of formation energy prediction by 66\% compared to training with only relaxed structures. We then show how this error reduction can accelerates CSPA by improving the model's ability to filter out energetically unfavorable structures accurately.


title: The inverse and the composition in the set of formal Laurent series

abstract: The aim of this article is to investigate the issues of multiplicative inverses and composition in the set of formal Laurent series. We show the lack of uniqueness of inverse series to formal Laurent series. Some necessary and sufficient conditions for the existence of inverse series to a certain type formal Laurent series are provided. Moreover, we define a general composition of formal Laurent series and investigate the Right Distributive Law and the Chain Rule for formal Laurent series. Finally, we provide a sufficient condition for the boundary convergence of formal Laurent series.


title: Bags mediated film atomization in a cough machine

abstract: We combine experiments and numerical computations to examine underlying fluid mechanical processes associated with bioaerosol generation during violent respiratory manoeuvres, such as coughing or sneezing. Analogous experiments performed in a cough machine -- consisting of a strong shearing airflow over a thin liquid film, allow us to illustrate the changes in film topology as it disintegrates into small droplets. We identify that aerosol generation during the shearing of the liquid film is mediated by the formation of inflated bag-like structures. The breakup of these bags is triggered by the appearance of retracting holes that puncture the bag surface. Consequently, the cascade from inflated bags to droplets is primarily controlled by the dynamics and stability of liquid rims bounding these retracting holes. We also reveal the stabilizing role of fluid viscosity that eventually leads to the generation of smaller droplets.


title: Fluid-driven granular dynamics through a consistent multi-resolution particle method

abstract: Granular dynamics driven by fluid flow is ubiquitous in many industrial and natural processes, such as fluvial and coastal sediment transport. Yet, their complex multiphysics nature challenges the accuracy and efficiency of numerical models. Here, we study the dynamics of rapid fluid-driven granular erosion through a mesh-free particle method based on the enhanced weakly-compressible Moving Particle Semi-implicit (MPS) method. To that end, we develop and validate a new multi-resolution multiphase MPS formulation for the consistent and conservative form of the governing equations, including particle stabilization techniques. First, we discuss the numerical accuracy and convergence of the proposed approximation operators through two numerical benchmark cases: the multi-viscosity Poiseuille flow and the multi-density hydrostatic pressure. Then, coupling the developed model with a generalized rheology equation, we investigate the water dam-break waves over movable beds. The particle convergence study confirms that the proposed multi-resolution formulation predicts the analytical solutions with acceptable accuracy and order of convergence. Validating the multiphase granular flow reveals that the mechanical behavior of this fluid-driven problem is highly sensitive to the water-sediment density ratio; the bed with lighter grains experiences extreme erosion and interface deformations. For the bed with a heavier material but different geometrical setups, the surge speed and the transport layer thickness remain almost identical (away from the gate). Furthermore, while the multi-resolution model accurately estimates the global sediment dynamics, the single-resolution model underestimates the flow evolution. Overall, the qualitative and quantitative analysis of results emphasizes the importance of multi-scale multi-density interactions in fluid-driven modeling.


title: Ordered Reliability Bits Guessing Random Additive Noise Decoding

abstract: Error correction techniques traditionally focus on the co-design of restricted code-structures in tandem with code-specific decoders that are computationally efficient when decoding long codes in hardware. Modern applications are, however, driving demand for ultra-reliable low-latency communications (URLLC), rekindling interest in the performance of shorter, higher-rate error correcting codes, and raising the possibility of revisiting universal, code-agnostic decoders. To that end, here we introduce a soft-detection variant of Guessing Random Additive Noise Decoding (GRAND) called Ordered Reliability Bits GRAND that can accurately decode any moderate redundancy block-code. It is designed with efficient circuit implementation in mind, and determines accurate decodings while retaining the original hard detection GRAND algorithm's suitability for a highly parallelized implementation in hardware. ORBGRAND is shown to provide excellent soft decision block error performance for codes of distinct classes (BCH, CA-Polar and RLC) with modest complexity, while providing better block error rate performance than CA-SCL, a state of the art soft detection CA-Polar decoder. ORBGRAND offers the possibility of an accurate, energy efficient soft detection decoder suitable for delivering URLLC in a single hardware realization.


title: Production of multi-oriented polarization for relativistic electron beams via a mutable filter for nonlinear Compton scattering

abstract: We propose a feasible scenario to directly polarize a relativistic electron beam and obtain overall polarization in various directions through a filter mechanism for single-shot collision between an ultrarelativistic unpolarized electron beam and an ultraintense circularly polarized laser pulse. The electrons are scattered to a large angular range of several degrees and the polarization states of the electrons are connected with their spatial position after the collision. Therefore, we can employ a filter to filter out a part of the scattered electrons based on their position and obtain high-degree overall polarization for the filtered beam. Through spin-considered Monte-Carlo simulations, polarization with a degree up to 62% in arbitrary transverse directions and longitudinal polarization up to 10% are obtained for the filtered beams at currently achievable laser intensity. We theoretically analyze the distribution formation of the scattered electrons and investigate the influence of different initial parameters through simulations to demonstrate the robustness of our scheme. This scenario provides a simple and flexible way to produce relativistic polarized electron beams for various polarization directions.


title: Practical Automated Detection of Malicious npm Packages

abstract: The npm registry is one of the pillars of the JavaScript and TypeScript ecosystems, hosting over 1.7 million packages ranging from simple utility libraries to complex frameworks and entire applications. Due to the overwhelming popularity of npm, it has become a prime target for malicious actors, who publish new packages or compromise existing packages to introduce malware that tampers with or exfiltrates sensitive data from users who install either these packages or any package that (transitively) depends on them. Defending against such attacks is essential to maintaining the integrity of the software supply chain, but the sheer volume of package updates makes comprehensive manual review infeasible. We present Amalfi, a machine-learning based approach for automatically detecting potentially malicious packages comprised of three complementary techniques. We start with classifiers trained on known examples of malicious and benign packages. If a package is flagged as malicious by a classifier, we then check whether it includes metadata about its source repository, and if so whether the package can be reproduced from its source code. Packages that are reproducible from source are not usually malicious, so this step allows us to weed out false positives. Finally, we also employ a simple textual clone-detection technique to identify copies of malicious packages that may have been missed by the classifiers, reducing the number of false negatives. Amalfi improves on the state of the art in that it is lightweight, requiring only a few seconds per package to extract features and run the classifiers, and gives good results in practice: running it on 96287 package versions published over the course of one week, we were able to identify 95 previously unknown malware samples, with a manageable number of false positives.


title: Implementation Technologies of an Advanced Cloud-based System for Distribution Operations

abstract: Today's era is characterized as the "digital transformation era". Digital processes and information systems are used in every aspect of social and business activity. The use of information technology over the internet is so extensive that we interact with it daily without even recognizing it. The technological advances can offer a plethora of improvements for the supply chain processes, especially in the field of distribution planning and execution. The scope of this paper is to present the technological content of an advanced routing and scheduling system for transportation and delivery of goods. The system focuses on the routing and scheduling problem in urban areas, as city logistics have become a complex environment for companies to deliver their goods. The presented system deals with both static and dynamic routing and scheduling problems. More specifically, the system can create initial routing plans based on orders, available vehicles, time windows, and traffic forecasting data. Afterwards, during the execution of the plans, the system can monitor the fleet, detect deviations from the original plans, and finally, perform rerouting operations when needed. After a brief presentation of the system's modules and functionality, the paper describes thoroughly the technologies used to develop the system. The technological elements of the system are integrated into a cloud environment offering a system that is easy to maintain and can effectively support logistics companies' distribution activities. The system is provided as a Software as a Service with data being maintained on a central host and processed on the cloud. Therefore, logistics companies that decide to implement it can achieve faster, more accurate and more cost-efficient distribution activities while ensuring better customer service.


title: MaxCut on Permutation Graphs is NP-complete

abstract: In this paper, we prove that the MaxCut problem is NP-complete on permutation graphs, settling a long-standing open problem that appeared in the 1985 column of the "Ongoing Guide to NP-completeness" by David S. Johnson.


title: RouteNet-Erlang: A Graph Neural Network for Network Performance Evaluation

abstract: Network modeling is a fundamental tool in network research, design, and operation. Arguably the most popular method for modeling is Queuing Theory (QT). Its main limitation is that it imposes strong assumptions on the packet arrival process, which typically do not hold in real networks. In the field of Deep Learning, Graph Neural Networks (GNN) have emerged as a new technique to build data-driven models that can learn complex and non-linear behavior. In this paper, we present \emph{RouteNet-Erlang}, a pioneering GNN architecture designed to model computer networks. RouteNet-Erlang supports complex traffic models, multi-queue scheduling policies, routing policies and can provide accurate estimates in networks not seen in the training phase. We benchmark RouteNet-Erlang against a state-of-the-art QT model, and our results show that it outperforms QT in all the network scenarios.


title: On the Laistrygonian Nichols algebras that are domains

abstract: We consider a class of Nichols algebras $\mathscr{B} (\mathfrak L_q( 1, \mathscr{G}))$ introduced in [3] which are domains and have many favorable properties like AS-regular and strongly noetherian. We classify their finite-dimensional simple modules and their point modules.


title: CQELS 2.0: Towards A Unified Framework for Semantic Stream Fusion

abstract: We present CQELS 2.0, the second version of Continuous Query Evaluation over Linked Streams. CQELS 2.0 is a platform-agnostic federated execution framework towards semantic stream fusion. In this version, we introduce a novel neural-symbolic stream reasoning component that enables specifying deep neural network (DNN) based data fusion pipelines via logic rules with learnable probabilistic degrees as weights. As a platform-agnostic framework, CQELS 2.0 can be implemented for devices with different hardware architectures (from embedded devices to cloud infrastructures). Moreover, this version also includes an adaptive federator that allows CQELS instances on different nodes in a network to coordinate their resources to distribute processing pipelines by delegating partial workloads to their peers via subscribing continuous queries


title: Semi-Structured Query Grounding for Document-Oriented Databases with Deep Retrieval and Its Application to Receipt and POI Matching

abstract: Semi-structured query systems for document-oriented databases have many real applications. One particular application that we are interested in is matching each financial receipt image with its corresponding place of interest (POI, e.g., restaurant) in the nationwide database. The problem is especially challenging in the real production environment where many similar or incomplete entries exist in the database and queries are noisy (e.g., errors in optical character recognition). In this work, we aim to address practical challenges when using embedding-based retrieval for the query grounding problem in semi-structured data. Leveraging recent advancements in deep language encoding for retrieval, we conduct extensive experiments to find the most effective combination of modules for the embedding and retrieval of both query and database entries without any manually engineered component. The proposed model significantly outperforms the conventional manual pattern-based model while requiring much less development and maintenance cost. We also discuss some core observations in our experiments, which could be helpful for practitioners working on a similar problem in other domains.


title: ciscNet -- A Single-Branch Cell Instance Segmentation and Classification Network

abstract: Automated cell nucleus segmentation and classification are required to assist pathologists in their decision making. The Colon Nuclei Identification and Counting Challenge 2022 (CoNIC Challenge 2022) supports the development and comparability of segmentation and classification methods for histopathological images. In this contribution, we describe our CoNIC Challenge 2022 method ciscNet to segment, classify and count cell nuclei, and report preliminary evaluation results. Our code is available at https://git.scc.kit.edu/ciscnet/ciscnet-conic-2022.


title: Spatio-Causal Patterns of Sample Growth

abstract: Different statistical samples (e.g., from different locations) offer populations and learning systems observations with distinct statistical properties. Samples under (1) 'Unconfounded' growth preserve systems' ability to determine the independent effects of their individual variables on any outcome-of-interest (and lead, therefore, to fair and interpretable black-box predictions). Samples under (2) 'Externally-Valid' growth preserve their ability to make predictions that generalize across out-of-sample variation. The first promotes predictions that generalize over populations, the second over their shared uncontrolled factors. We illustrate these theoretic patterns in the full American census from 1840 to 1940, and samples ranging from the street-level all the way to the national. This reveals sample requirements for generalizability over space and time, and new connections among the Shapley value, counterfactual statistics, and hyperbolic geometry.


title: Incompressible active phases at an interface. I. Formulation and axisymmetric odd flows

abstract: Inspired by the recent realization of a 2D chiral fluid as an active monolayer droplet moving atop a 3D Stokesian fluid, we formulate mathematically its free-boundary dynamics. The surface droplet is described as a general 2D linear, incompressible, and isotropic fluid, having a viscous shear stress, an active chiral driving stress, and a Hall stress allowed by the lack of time-reversal symmetry. The droplet interacts with itself through its driven internal mechanics and by driving flows in the underlying 3D Stokes phase. We pose the dynamics as the solution to a singular integral-differential equation, over the droplet surface, using the mapping from surface stress to surface velocity for the 3D Stokes equations. Specializing to the case of axisymmetric droplets, exact representations for the chiral surface flow are given in terms of solutions to a singular integral equation, solved using both analytical and numerical techniques. For a disc-shaped monolayer, we additionally employ a semi-analytical solution that hinges on an orthogonal basis of Bessel functions and allows for efficient computation of the monolayer velocity field, which ranges from a nearly solid-body rotation to a unidirectional edge current depending on the subphase depth and the Saffman-Delbruck length. Except in the near-wall limit, these solutions have divergent surface shear stresses at droplet boundaries, a signature of systems with codimension one domains embedded in a three-dimensional medium. We further investigate the effect of a Hall viscosity, which couples radial and transverse surface velocity components, on the dynamics of a closing cavity.

categories: physics.flu-dyn cond-mat.soft math-ph math.MP physics.class-ph


title: Detection of $d_{1}\otimes d_{2}$ Dimensional Bipartite Entangled State: A Graph Theoretical Approach

abstract: Braunstein et. al. have started the study of entanglement properties of the quantum states through graph theoretical approach. Their idea was to start from a simple unweighted graph $G$ and then they have defined the quantum state from the Laplacian of the graph $G$. A lot of research had already been done using the similar idea. We ask here the opposite one i.e can we generate a graph from the density matrix? To investigate this question, we have constructed a unital map $\phi$ such that $\phi(\rho)=L_{\rho}+\rho$, where the quantum state is described by the density operator $\rho$. The entries of $L_{\rho}$ depends on the entries of the quantum state $\rho$ and the entries are taken in such a way that $L_{\rho}$ satisfies all the properties of the Laplacian. This make possible to design a simple connected weighted graph from the Laplacian $L_{\rho}$. We show that the constructed unital map $\phi$ characterize the quantum state with respect to its purity by showing that if the determinant of the matrix $\phi(\rho)-I$ is positive then the quantum state $\rho$ represent a mixed state. Moreover, we study the positive partial transpose (PPT) criterion in terms of the spectrum of the density matrix under investigation and the spectrum of the Laplacian associated with the given density matrix. Furthermore, we derive the inequality between the minimum eigenvalue of the density matrix and the weight of the edges of the connected subgraph of a simple weighted graph to detect the entanglement of $d_{1} \otimes d_{2}$ dimensional bipartite quantum states. Lastly, We have illustrated our results with few examples.


title: Estimating the degree of non-Markovianity using variational quantum circuits

abstract: Several applications of quantum machine learning (QML) rely on a quantum measurement followed by training algorithms using the measurement outcomes. However, recently developed QML models, such as variational quantum circuits (VQCs), can be implemented directly on the state of the quantum system (quantum data). Here, we propose to use a qubit as a probe to estimate the degree of non-Markovianity of the environment. Using VQCs, we find an optimal sequence of qubit-environment interactions that yield accurate estimations of the degree of non-Markovianity for the amplitude damping, phase damping, and the combination of both models. We introduce a problem-based ansatz that optimizes upon the probe qubit and the interaction time with the environment. This work contributes to practical quantum applications of VQCs and delivers a feasible experimental procedure to estimate the degree of non-Markovianity.


title: Precision-medicine-toolbox: An open-source python package for facilitation of quantitative medical imaging and radiomics analysis

abstract: Medical image analysis plays a key role in precision medicine as it allows the clinicians to identify anatomical abnormalities and it is routinely used in clinical assessment. Data curation and pre-processing of medical images are critical steps in the quantitative medical image analysis that can have a significant impact on the resulting model performance. In this paper, we introduce a precision-medicine-toolbox that allows researchers to perform data curation, image pre-processing and handcrafted radiomics extraction (via Pyradiomics) and feature exploration tasks with Python. With this open-source solution, we aim to address the data preparation and exploration problem, bridge the gap between the currently existing packages, and improve the reproducibility of quantitative medical imaging research.


title: Realizing a symmetry protected topological phase through dimerized interactions

abstract: We show that in a system of one dimensional spinless fermions a topological phase and phase transition can emerge only through interaction. By allowing a dimerized or bond-alternating nearest neighbour interaction we show that the system exhibits a symmetry protected topological phase while its non-interacting limit is a gapless state. The non-trivial topological character appears due to the onset of two degenerate bond-order phases as a function of dimerized interaction which are found to be topologically distinct from each other. As a result a topological phase transition occurs between these bond order phases through a gap closing point. However, in the limit of strong interaction, the bond order phases are connected through a gapped charge density wave phase possessing local antiferromagnetic order. The topological nature is characterized by the edge states, Berry phase and non-local string order parameter. At the end we provide possible experimental signatures of the emergent symmetry protected topological phase transition in terms of Thouless charge pumping and density-density correlation.


title: Dilute Bose gas with three-body interaction: recent results and open questions

abstract: We review our recent study on the ground state energy of dilute Bose gases with three-body interactions. The main feature of our results is the emergence of the 3D energy-critical Schr\"odinger equation to describe the ground state energy of a Bose-Einstein condensate, where the nonlinearity strength is determined by a zero scattering problem. Several open questions will also be discussed.


title: Studies on environment-friendly gas mixtures for the Resistive Plate Chambers of the ALICE Muon Identifier

abstract: Due to their simplicity and comparatively low cost, Resistive Plate Chambers are gaseous detectors widely used in high-energy and cosmic rays physics, when large detection areas are needed. However, the best gaseous mixtures are currently based on tetrafluoroethane, which has the undesirable characteristic of a large Global Warming Potential (GWP) of about 1400 and, because of this, it is currently being phased out from industrial use. Tetrafluoropropene (which has a GWP close to 1) is being considered as a possible replacement. Since tetrafluoropropene is more electronegative than tetrafluoroethane, it has to be diluted with gases with a lower attachment coefficient in order to maintain the operating voltage close to 10 kV. One of the main candidates for this role is carbon dioxide. In order to ascertain the feasibility and the performance of tetrafluoropropene-CO2 based mixtures, an R&D program is being carried out within the ALICE collaboration, employing an array of 72 Bakelite RPCs (Muon IDentifier, MID) in order to identify muons. Different proportions of tetrafluoropropene and CO2, with the addition of small quantities of isobutane and sulphur hexafluoride, have been tested with 50x50 cm 2 RPC prototypes with 2 mm wide gas gap and 2 mm thick Bakelite electrodes. In this contribution, results from tests with cosmic rays will be presented, together with data concerning the current drawn by a RPC exposed to the gamma-ray flux of the Gamma Irradiation Facility (GIF) at CERN.


title: The Statistics of the Cross-Spectrum and the Spectrum Average: Generalization to Multiple Instruments

abstract: This article addresses the measurement of the power spectrum of red noise processes at the lowest frequencies, where the minimum acquisition time is so long that it is impossible to average on a sequence of data record. Therefore, averaging is possible only on simultaneous observation of multiple instruments. This is the case of radio astronomy, which we take as the paradigm, but examples may be found in other fields such as climatology and geodesy. We compare the Bayesian confidence interval of the red-noise parameter using two estimators, the spectrum average and the cross-spectrum. While the spectrum average is widely used, the cross-spectrum using multiple instruments is rather uncommon. With two instruments, the cross-spectrum estimator leads to the Variance-Gamma distribution. A generalization to $q$ devices is provided, with the example of the observation of millisecond pulsars with 5 radio telescopes.


title: EIC Detector Overview

abstract: The Electron Ion Collider will have two interaction regions that can be instrumented with detectors. The first region will be instrumented as part of the project and needs to be capable of delivering the physics that has been outlined by the National Academy of Sciences and ready at the start of beam commissioning near the end of this decade. Plans for a second complementary detector to be located at a second interaction region are already in progress and will hopefully come to fruition just a few years after the first detector comes online. While the basic parameters of these detectors are being selected using conventional approaches, the optimization of the detectors is already being enhanced by making use of advanced optimization techniques.


title: Composition-independent temperature induced by swift heavy ions in insulators and its relation with track formation

abstract: A systematic study of the $R_e$-$T_m$ relation ($R_e$ = track radius, $T_m$ = melting temperature) in insulators reveals new features of track formation. A quantitative relationship is demonstrated between $R_e$ values measured in various solids when $\langle s_e\rangle$=constant ($\langle s_e\rangle$ = atomic stopping power). This effect is the consequence of a composition-independent, identical maximum temperature distribution $\Delta T(r,0)$, which is induced in various insulators in a narrow cylindrical volume close to the tracks. The uniformity ceases gradually at larger distances. $\Delta T(r,0)$ has a Gaussian shape, with a constant width w=4.5 nm, is independent of materials parameters and it can be determined experimentally by the measurement of Re in various insulators when $\langle s_e\rangle$=constant. The consequences of the experimental $\Delta T(r,0)$ distribution are discussed.


title: The impact of lexical and grammatical processing on generating code from natural language

abstract: Considering the seq2seq architecture of TranX for natural language to code translation, we identify four key components of importance: grammatical constraints, lexical preprocessing, input representations, and copy mechanisms. To study the impact of these components, we use a state-of-the-art architecture that relies on BERT encoder and a grammar-based decoder for which a formalization is provided. The paper highlights the importance of the lexical substitution component in the current natural language to code systems.


title: A Phase-Space Semiclassical Approach for Modeling Nonadiabatic Nuclear Dynamics with Electronic Spin

abstract: Chemical relaxation phenomena, including photochemistry and electron transfer processes, form a vigorous area of research in which nonadiabatic dynamics plays a fundamental role. Here, we show that for nonadiabatic dynamics with two electronic states and a complex-valued Hamiltonian that does not obey time-reversal symmetry, the optimal semiclassical approach is to run surface hopping dynamics on a set of phase-space adiabatic surfaces. In order to generate such phase-adiabats, one must isolate a proper set of diabats and apply a phase gauge transformation, before eventually diagonalizing the total Hamiltonian (which is now parameterized by both R and P). The resulting algorithm is valid in both the adiabatic and nonadiabatic limits, incorporates all Berry curvature effects, and allows for the study of semiclassical nonadiabatic dynamics in the presence of spin-orbit coupling and/or external magnetic fields.


title: SmartBelt: A Wearable Microphone Array for Sound Source Localization with Haptic Feedback

abstract: This paper introduces SmartBelt, a wearable microphone array on a belt that performs sound source localization and returns the direction of arrival with respect to the user waist. One of the haptic motors on the belt then vibrates in the corresponding direction to provide useful feedback to the user. We also introduce a simple calibration step to adapt the belt to different waist sizes. Experiments are performed to confirm the accuracy of this wearable sound source localization system, and results show a Mean Average Error (MAE) of 2.90 degrees, and a correct haptic motor selection with a rate of 92.3%. Results suggest the device can provide useful haptic feedback, and will be evaluated in a study with people having hearing impairments.


title: A Proximal Algorithm for Sampling

abstract: We study sampling problems associated with potentials that lack smoothness. The potentials can be either convex or non-convex. Departing from the standard smooth setting, the potentials are only assumed to be weakly smooth or non-smooth, or the summation of multiple such functions. We develop a sampling algorithm that resembles proximal algorithms in optimization for this challenging sampling task. Our algorithm is based on a special case of Gibbs sampling known as the alternating sampling framework (ASF). The key contribution of this work is a practical realization of the ASF based on rejection sampling for both non-convex and convex potentials that are not necessarily smooth. In almost all the cases of sampling considered in this work, our proximal sampling algorithm achieves better complexity than all existing methods.


title: Asynchronous Distributed-Memory Triangle Counting and LCC with RMA Caching

abstract: Triangle count and local clustering coefficient are two core metrics for graph analysis. They find broad application in analyses such as community detection and link recommendation. Current state-of-the-art solutions suffer from synchronization overheads or expensive pre-computations needed to distribute the graph, achieving limited scaling capabilities. We propose a fully asynchronous implementation for triangle counting and local clustering coefficient based on 1D partitioning, using remote memory accesses for transferring data and avoid synchronization. Additionally, we show how these algorithms present data reuse on remote memory accesses and how the overall communication time can be improved by caching these accesses. Finally, we extend CLaMPI, a software-layer caching system for MPI RMA, to include application-specific scores for cached entries and influence the eviction procedure to improve caching efficiency. Our results show improvements on shared memory, and we achieve 14x speedup from 4 to 64 nodes for the LiveJournal1 graph on distributed memory. Moreover, we demonstrate how caching remote accesses reduces total running time by up to 73% with respect to a non-cached version. Finally, we compare our implementation to TriC, the 2020 graph champion paper, and achieve up to 100x faster results for scale-free graphs.


title: Pure pairs. X. Tournaments and the strong Erdos-Hajnal property

abstract: A pure pair in a tournament $G$ is an ordered pair $(A,B)$ of disjoint subsets of $V(G)$ such that every vertex in $B$ is adjacent from every vertex in $A$. Which tournaments $H$ have the property that if $G$ is a tournament not containing $H$ as a subtournament, and $|G|>1$, there is a pure pair $(A,B)$ in $G$ with $|A|,|B|\ge c|G|$, where $c>0$ is a constant independent of $G$? Let us say that such a tournament $H$ has the strong EH-property. As far as we know, it might be that a tournament $H$ has this property if and only if its vertex set has a linear ordering in which its backedges form a forest. Certainly this condition is necessary, but we are far from proving sufficiency. We make a small step in this direction, showing that if a tournament can be ordered with at most three backedges then it has the strong EH-property (except for one case, that we could not decide). In particular, every tournament with at most six vertices has the property, except for three that we could not decide. We also give a seven-vertex tournament that does not have the strong EH-property. This is related to the Erdos-Hajnal conjecture, which in one form says that for every tournament $H$ there exists $\tau>0$ such that every tournament $G$ not containing $H$ as a subtournament has a transitive subtournament of cardinality at least $|G|^\tau$. Let us say that a tournament $H$ satisfying this has the EH-property. It is known that every tournament with the strong EH-property also has the EH-property; so our result extends work by Berger, Choromanski and Chudnovsky, who proved that every tournament with at most six vertices has the EH-property, except for one that they did not decide.


title: Alternating runs of permutations and the central factorial numbers

abstract: Let R(n,k) be the number of permutations of $\{1,2,\ldots,n\}$ with k alternating runs. In this paper, we establish the relationships between R(n,k) and the central factorial numbers of even indices as well as the number of signed permutations with a given number of alternating runs and the central factorial numbers of odd indices. The explicit formulas of the peak and left peak polynomials for permutations and the derivative polynomials of the tangent and secant functions are also established.


title: Plasmonic grating for circularly-polarized out-coupling of waveguide-enhanced spontaneous emission

abstract: Plasmonic metasurfaces form a convenient platform for light manipulation at the nanoscale due to their specific localized surface plasmons. Nevertheless, despite the high degree of light localization in metals, their intrinsic Joule losses are often considered prevention from applications in high-quality dielectric structures. Here, we experimentally demonstrate that in some cases, the capabilities of plasmonic particles for light manipulation prevail over the negative impact of absorption. We show the lattice of plasmonic nanoparticles onto a dielectric waveguide that efficiently couples the light of both circular polarizations to guided modes propagating in opposite directions. We demonstrate 80% degree of circular polarization for the out-coupled emission of GaAs-waveguide-embedded quantum dots. The results allow us to consider the lattice as a circular-polarization-controlled grating coupler operating at normal incidence and make this structure prospective for further implementation as an efficient coupling interface for various integrated devices.


title: Evaluation of non-pharmaceutical interventions and optimal strategies for containing the COVID-19 pandemic

abstract: Given multiple new COVID-19 variants are continuously emerging, non-pharmaceutical interventions are still primary control strategies to curb the further spread of coronavirus. However, implementing strict interventions over extended periods of time is inevitably hurting the economy. With an aim to solve this multi-objective decision-making problem, we investigate the underlying associations between policies, mobility patterns, and virus transmission. We further evaluate the relative performance of existing COVID-19 control measures and explore potential optimal strategies that can strike the right balance between public health and socio-economic recovery for individual states in the US. The results highlight the power of state of emergency declaration and wearing face masks and emphasize the necessity of pursuing tailor-made strategies for different states and phases of epidemiological transmission. Our framework enables policymakers to create more refined designs of COVID-19 strategies and can be extended to inform policy makers of any country about best practices in pandemic response.


title: "If you could see me through my eyes": Predicting Pedestrian Perception

abstract: Pedestrians are particularly vulnerable road users in urban traffic. With the arrival of autonomous driving, novel technologies can be developed specifically to protect pedestrians. We propose a machine learning toolchain to train artificial neural networks as models of pedestrian behavior. In a preliminary study, we use synthetic data from simulations of a specific pedestrian crossing scenario to train a variational autoencoder and a long short-term memory network to predict a pedestrian's future visual perception. We can accurately predict a pedestrian's future perceptions within relevant time horizons. By iteratively feeding these predicted frames into these networks, they can be used as simulations of pedestrians as indicated by our results. Such trained networks can later be used to predict pedestrian behaviors even from the perspective of the autonomous car. Another future extension will be to re-train these networks with real-world video data.


title: Combinatorial logic devices based on a multi-path active ring circuit

abstract: In this work, we describe a logic device in which an act of computation is associated with finding a path connecting input and output ports. The device is based on an active ring circuit comprising electric and magnetic parts. The electric part includes an amplifier, a phase shifter, and an attenuator. The magnetic part is a multi-port magnetic matrix comprising delay lines and frequency filters. Signals propagating on different paths may accumulate different phase shifts. Auto-oscillations occur in the circuit when the magnetic and electric parts match each other to meet the resonance amplitude and phase conditions. The system naturally searches for a resonance path that depends on the position of the electric phase shifter and amplification level. The path is detected by the set of power sensors. The proposed logic device can be used for solving a variety of computational problems. We present the results of numerical modeling illustrating prime factorization and finding the shortest path connected selected points on the mesh.


title: Radio Number for the Cartesian Product of Two Trees

abstract: Let $G$ be a simple connected graph. For any two vertices $u$ and $v$, let $d(u,v)$ denote the distance between $u$ and $v$ in $G$, and let $diam(G)$ denote the diameter of $G$. A radio-labeling of $G$ is a function $f$ which assigns to each vertex a non-negative integer (label) such that for every distinct vertices $u$ and $v$ in $G$, it holds that $|f(u)-f(v)| \geq diam(G) - d(u,v) +1$. The span of $f$ is the difference between the largest and smallest labels of $f(V)$. The radio number of $G$, denoted by $rn(G)$, is the smallest span of a radio labeling admitted by $G$. In this paper, we give a lower bound for the radio number of the Cartesian product of two trees. Moreover, we present three necessary and sufficient conditions, and three sufficient conditions for the product of two trees to achieve this bound. Applying these results, we determine the radio number of the Cartesian product of two stars as well as a path and a star.


title: A growth estimate for the monodromy matrix of a canonical system

abstract: We investigate the spectrum of 2-dimensional canonical systems in the limit circle case. It is discrete and, by the Krein-de Branges formula, cannot be more dense than the integers. But in many cases it will be more sparse. The spectrum of a particular selfadjoint realisation coincides with the zeroes of one entry of the monodromy matrix of the system. Classical function theory thus establishes an immediate connection between the growth of the monodromy matrix and the distribution of the spectrum. We prove a generic and flexibel upper estimate for the monodromy matrix, use it to prove a bound for the case of a continuous Hamiltonian, and construct examples which show that this bound is sharp. The first two results run along the lines of earlier work of R.Romanov, but significantly improve upon these results. This is seen even on the rough scale of exponential order.


title: The dangers in algorithms learning humans' values and irrationalities

abstract: For an artificial intelligence (AI) to be aligned with human values (or human preferences), it must first learn those values. AI systems that are trained on human behavior, risk miscategorising human irrationalities as human values -- and then optimising for these irrationalities. Simply learning human values still carries risks: AI learning them will inevitably also gain information on human irrationalities and human behaviour/policy. Both of these can be dangerous: knowing human policy allows an AI to become generically more powerful (whether it is partially aligned or not aligned at all), while learning human irrationalities allows it to exploit humans without needing to provide value in return. This paper analyses the danger in developing artificial intelligence that learns about human irrationalities and human policy, and constructs a model recommendation system with various levels of information about human biases, human policy, and human values. It concludes that, whatever the power and knowledge of the AI, it is more dangerous for it to know human irrationalities than human values. Thus it is better for the AI to learn human values directly, rather than learning human biases and then deducing values from behaviour.


title: Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR

abstract: Contact-implicit trajectory optimization offers an appealing method of automatically generating complex and contact-rich behaviors for robot manipulation and locomotion. The scalability of such techniques has been limited, however, by the challenge of ensuring both numerical reliability and physical realism. In this paper, we present preliminary results suggesting that the Iterative Linear Quadratic Regulator (iLQR) algorithm together with the recently proposed pressure-field-based hydroelastic contact model enables reliable and physically realistic trajectory optimization through contact. We use this approach to synthesize contact-rich behaviors like quadruped locomotion and whole-arm manipulation. Furthermore, open-loop playback on a Kinova Gen3 robot arm demonstrates the physical accuracy of the whole-arm manipulation trajectories. Code is available at https://bit.ly/ilqr_hc and videos can be found at https://youtu.be/IqxJKbM8_ms.


title: Virial Clumps in Central Molecular Zone Clouds

abstract: CMZoom survey observations with the Submillimeter Array are analyzed to describe the virial equilibrium (VE) and star-forming potential of 755 clumps in 22 clouds in the Central Molecular Zone (CMZ) of the Milky Way. In each cloud, nearly all clumps follow the column-density-mass trend N~M^s, where s = 0.38 +- 0.03 is near the pressure-bounded limit s=1/3. This trend is expected when gravitationally unbound clumps in VE have similar velocity dispersion and external pressure. Nine of these clouds also harbor one or two distinctly more massive clumps. These properties allow a VE model of bound and unbound clumps in each cloud, where the most massive clump has the VE critical mass. These models indicate that 213 clumps have velocity dispersion 1-2 km s^(-1), mean external pressure 0.5-4 x 10^8 cm^(-3) K, bound clump fraction 0.06, and typical virial parameter alpha=4-15. These mostly unbound clumps may be in VE with their turbulent cloud pressure, possibly driven by inflow from the galactic bar. In contrast, most Sgr B2 clumps are bound according to their associated sources and N-M trends. When the CMZ clumps are combined into mass distributions, their typical power-law slope is analyzed with a stopped accretion model. It also indicates that most clumps are unbound and cannot grow significantly, due to their similar time scales of accretion and dispersal, ~0.2 Myr. Thus, virial and dynamical analyses of the most extensive clump census available indicate that star formation in the CMZ may be suppressed by a significant deficit of gravitationally bound clumps.


title: On Global Asymptotic Stability for the diffusive Carr-Penrose Model

abstract: This paper is concerned with large time behavior of the solution to a diffusive perturbation of the linear LSW model introduced by Carr and Penrose. Like the LSW model, the Carr-Penrose model has a family of rapidly decreasing self-similar solutions, depending on a parameter $\beta$ with $0<\beta\le 1$. It is shown that if the initial data has compact support then the solution to the diffusive model at large time approximates the $\beta=1$ self-similar solution. This result supports the intuition that diffusion provides the mechanism whereby the $\beta=1$ self-similar solution of the LSW model is the only physically relevant one.


title: Measurement of high-pressure xenon gas absorption in acrylic

abstract: Acrylic is a popular structural material in experiments requiring low background because of its radio-purity, machinability, and mechanical strength. However, its porosity may cause significant gas absorption and influence the detector stability in the long term. The interaction between acrylic and other detector materials becomes one of the key concerns in the detector design. In this paper, we carry out an experiment to measure quantitatively the absorption process of high-pressure xenon gas into acrylic. A specific setup is designed for the measurement, and systematic measurements are done to obtain a result of the absorption amount: 0.98 g xenon into 332 g of acrylic.


title: On Codes and Learning With Errors over Function Fields

abstract: It is a long standing open problem to find search to decision reductions for structured versions of the decoding problem of linear codes. Such results in the lattice-based setting have been carried out using number fields: Polynomial-LWE, Ring-LWE, Module-LWE and so on. We propose a function field version of the LWE problem. This new framework leads to another point of view on structured codes, e.g. quasi-cyclic codes, strengthening the connection between lattice-based and code-based cryptography. In particular, we obtain the first search to decision reduction for structured codes. Following the historical constructions in lattice-based cryptography, we instantiate our construction with function fields analogues of cyclotomic fields, namely Carlitz extensions, leading to search to decision reductions on various versions of Ring-LPN, which have applications to secure multi party computation and to an authentication protocol.


title: Lagrangian Grassmannians, CKP hierarchy and hyperdeterminantal relations

abstract: This work concerns the relation between the geometry of Lagrangian Grassmannians and the CKP integrable hierarchy. The Lagrange map from the Lagrangian Grassmannian of maximal isotropic (Lagrangian) subspaces of a finite dimensional symplectic vector space $V\oplus V^*$ into the projectivization of the exterior space $\Lambda V$ is defined by restricting the Pl\"ucker map on the full Grassmannian to the Lagrangian sub-Grassmannian and composing it with projection to the subspace of symmetric elements under dualization $V \leftrightarrow V^*$. In terms of the affine coordinate matrix on the big cell, this reduces to the principal minors map, whose image is cut out by the $2 \times 2 \times 2$ quartic {\em hyperdeterminantal} relations. To apply this to the CKP hierarchy, the Lagrangian Grassmannian framework is extended to infinite dimensions, with $V\oplus V^*$ replaced by a polarized Hilbert space $ {\mathcal H} ={\mathcal H}_+\oplus {\mathcal H}_-$, with symplectic form $\omega$. The image of the Plucker map in the fermionic Fock space ${\mathcal F}= \Lambda^{\infty/2}{\mathcal H}$ is identified and the infinite dimensional Lagrangian map is defined. The linear constraints defining reduction to the CKP hierarchy are expressed as a fermionic null condition and the infinite analogue of the hyperdeterminantal relations is deduced. A multiparametric family of such relations is shown to be satisfied by the evaluation of the $\tau$-function at translates of a point in the space of odd flow variables along the cubic lattices generated by power sums in the parameters.


title: Dynamic and thermodynamic bounds for collective motor-driven transport

abstract: Molecular motors work collectively to transport cargo within cells, with anywhere from one to several hundred motors towing a single cargo. For a broad class of collective-transport systems, we use tools from stochastic thermodynamics to derive a new lower bound for the entropy production rate which is tighter than the second law. This implies new bounds on the velocity, efficiency, and precision of general transport systems and a set of analytic Pareto frontiers for identical motors. In a specific model, we identify conditions for saturation of these Pareto frontiers.


title: A tensor norm approach to quantum compatibility

abstract: Measurement incompatibility is one of the most striking examples of how quantum physics is different from classical physics. Two measurements are incompatible if they cannot arise via classical post-processing from a third one. A natural way to quantify incompatibility is in terms of noise robustness. In the present article, we review recent results on the maximal noise robustness of incompatible measurements, which have been obtained by the present authors using free spectrahedra, and rederive them using tensor norms. In this way, we make them accessible to a broader audience from quantum information theory and mathematical physics and contribute to the fruitful interactions between Banach space theory and quantum information theory. We also describe incompatibility witnesses using tensor norm and matrix convex set duality, emphasizing the relation between the different notions of witnesses.


title: Optical measurement of electron spins in quantum dots: Quantum Zeno effects

abstract: We describe the effects of the quantum back action under continuous optical measurement of electron spins in quantum dots. We consider the system excitation by elliptically polarized light close to the trion resonance, which allows for the simultaneous spin orientation and measurement. We microscopically demonstrate that the nuclei-induced spin relaxation can be both suppressed and accelerated by the continuous spin measurement due to the quantum Zeno and anti-Zeno effects, respectively. Our theoretical predictions can be directly compared with the future experimental results and straightforwardly generalized for the pump-probe experiments.


title: Multi-FPGA Designs and Scaling of HPC Challenge Benchmarks via MPI and Circuit-Switched Inter-FPGA Networks

abstract: While FPGA accelerator boards and their respective high-level design tools are maturing, there is still a lack of multi-FPGA applications, libraries, and not least, benchmarks and reference implementations towards sustained HPC usage of these devices. As in the early days of GPUs in HPC, for workloads that can reasonably be decoupled into loosely coupled working sets, multi-accelerator support can be achieved by using standard communication interfaces like MPI on the host side. However, for performance and productivity, some applications can profit from a tighter coupling of the accelerators. FPGAs offer unique opportunities here when extending the dataflow characteristics to their communication ininterfaces. In this work, we extend the HPCC FPGA benchmark suite by multi-FPGA support and three missing benchmarks that particularly characterize or stress inter-device communication: b_eff, PTRANS, and LINPACK. With all benchmarks implemented for current boards with Intel and Xilinx FPGAs, we established a baseline for multi-FPGA performance. Additionally, for the communication-centric benchmarks, we explored the potential of direct FPGA-to-FPGA communication with a circuit-switched inter-FPGA network that is currently only available for one of the boards. The evaluation with parallel execution on up to 26 FPGA boards makes use of one of the largest academic FPGA installations.


title: Risk-Neutral Market Simulation

abstract: We develop a risk-neutral spot and equity option market simulator for a single underlying, under which the joint market process is a martingale. We leverage an efficient low-dimensional representation of the market which preserves no static arbitrage, and employ neural spline flows to simulate samples which are free from conditional drifts and are highly realistic in the sense that among all possible risk-neutral simulators, the obtained risk-neutral simulator is the closest to the historical data with respect to the Kullback-Leibler divergence. Numerical experiments demonstrate the effectiveness and highlight both drift removal and fidelity of the calibrated simulator.

categories: q-fin.CP cs.LG q-fin.GN q-fin.RM stat.ML


title: Classical Verification of Quantum Computations in Linear Time

abstract: In the quantum computation verification problem, a quantum server wants to convince a client that the output of evaluating a quantum circuit $C$ is some result that it claims. This problem is considered very important both theoretically and practically in quantum computation [arXiv:1709.06984], [arXiv:1704.04487], [arXiv:1209.0449]. The client is considered to be limited in computational power, and one desirable property is that the client can be completely classical, which leads to the classical verification of quantum computation (CVQC) problem. In terms of the total time complexity, the fastest single-server CVQC protocol so far has complexity $O(poly(\kappa)|C|^3)$ where $|C|$ is the size of the circuit to be verified and $\kappa$ is the security parameter, given by Mahadev [arXiv:1804.01082]. In this work, by developing new techniques, we give a new CVQC protocol with complexity $O(poly(\kappa)|C|)$, which is significantly faster than existing protocols. Our protocol is secure in the quantum random oracle model [arXiv:1008.0931] assuming the existence of noisy trapdoor claw-free functions [arXiv:1804.00640], which are both extensively used assumptions in quantum cryptography. Along the way, we also give a new classical channel remote state preparation protocol for states in $\{|+_\theta\rangle=\frac{1}{\sqrt{2}}(|0\rangle+e^{i\theta\pi/4}|1\rangle):\theta\in \{0,1\cdots 7\}\}$, another basic primitive in quantum cryptography. Our protocol allows for parallel verifiable preparation of $L$ independently random states in this form (up to a constant overall error and a possibly unbounded server-side simulator), and runs in only $O(poly(\kappa)L)$ time and constant rounds; for comparison, existing works (even for possibly simpler state families) all require very large or unestimated time and round complexities [arXiv:1904.06320][arXiv:1904.06303][arXiv:2201.13445][arXiv:2201.13430].


title: Global-in-time Semiclassical Regularity for the Hartree-Fock Equation

abstract: For arbitrarily large times $T>0$, we prove the uniform-in-$\hbar$ propagation of semiclassical regularity for the solutions to the Hartree$\unicode{x2013}$Fock equation with singular interactions of the form $V(x)=\pm\,|x|^{-a}$ where $a\in(0,\frac12)$. As a byproduct of this result, we extend to arbitrarily long times the derivation of the Hartree$\unicode{x2013}$Fock and the Vlasov equations from the many-body dynamics provided in [J. Chong, L. Lafleche, C. Saffirio: arXiv:2103.10946 (2021)].


title: Using the Dafermos Entropy Rate Criterion in Numerical Schemes

abstract: The following work concerns the construction of an entropy dissipative finite volume solver based on the convex combination of an entropy conservative and an entropy dissipative flux. We aim to construct a semidiscrete scheme that is entropy stable in the sense of the entropy criterion of Dafermos as well as in the classical sense entropy dissipative. The proposed semidiscrete scheme shows nice properties like $2p$ order accuracy in smooth regions as well as a non-oscillatory behavior around shocks.


title: Resolving label uncertainty with implicit posterior models

abstract: We propose a method for jointly inferring labels across a collection of data samples, where each sample consists of an observation and a prior belief about the label. By implicitly assuming the existence of a generative model for which a differentiable predictor is the posterior, we derive a training objective that allows learning under weak beliefs. This formulation unifies various machine learning settings; the weak beliefs can come in the form of noisy or incomplete labels, likelihoods given by a different prediction mechanism on auxiliary input, or common-sense priors reflecting knowledge about the structure of the problem at hand. We demonstrate the proposed algorithms on diverse problems: classification with negative training examples, learning from rankings, weakly and self-supervised aerial imagery segmentation, co-segmentation of video frames, and coarsely supervised text classification.


title: Measurement and Analysis of Lobar Lung Deformation After a Change of Patient Position During Video-Assisted Thoracoscopic Surgery

abstract: Video-assisted thoracoscopic surgery (VATS) is a minimally invasive surgical technique for the diagnosis and treatment of early-stage lung cancer. During VATS, large lung deformation occurs as a result of a change of patient position and a pneumothorax (lung deflation), which hinders the intraoperative localization of pulmonary nodules. Modeling lung deformation during VATS for surgical navigation is desirable, but the mechanisms causing such deformation are yet not well-understood. In this study, we estimate, quantify and analyze the lung deformation occurring after a change of patient position during VATS. We used deformable image registration to estimate the lung deformation between a preoperative CT (in supine position) and an intraoperative CBCT (in lateral decubitus position) of six VATS clinical cases. We accounted for sliding motion between lobes and against the thoracic wall and obtained consistently low average target registration errors (under 1 mm). We observed large lung displacement (up to 40 mm); considerable sliding motion between lobes and against the thoracic wall (up to 30 mm); and localized volume changes indicating deformation. These findings demonstrate the complexity of the change of patient position phenomenon, which should necessarily be taken into account to model lung deformation for intraoperative guidance during VATS.


title: Systematic Stabilization of Constrained Piecewise Affine Systems

abstract: This paper presents an efficient, offline method to simultaneously synthesize controllers and seek closed-loop Lyapunov functions for constrained piecewise affine systems on triangulated subsets of the admissible states. Triangulation refinements explore a rich class of controllers and Lyapunov functions. Since an explicit Lipschitz Lyapunov function is found, an invariant subset of the closed-loop region of attraction is obtained. Moreover, it is a control Lyapunov function, so minimum-norm controllers can be realized through online quadratic programming. It is formulated as a sequence of semi-definite programs. The method avoids computationally burdensome non-convex optimizations and a-priori design choices that are typical of similar existing methods.


title: Subconvexity in inhomogeneous Vinogradov systems

abstract: When $k$ and $s$ are natural numbers and $\mathbf h\in \mathbb Z^k$, denote by $J_{s,k}(X;\mathbf h)$ the number of integral solutions of the system \[ \sum_{i=1}^s(x_i^j-y_i^j)=h_j\quad (1\le j\le k), \] with $1\le x_i,y_i\le X$. When $s<k(k+1)/2$ and $(h_1,\ldots ,h_{k-1})\ne {\mathbf 0}$, Brandes and Hughes have shown that $J_{s,k}(X;\mathbf h)=o(X^s)$. In this paper we improve on quantitative aspects of this result, and, subject to an extension of the main conjecture in Vinogradov's mean value theorem, we obtain an asymptotic formula for $J_{s,k}(X;\mathbf h)$ in the critical case $s=k(k+1)/2$. The latter requires minor arc estimates going beyond square-root cancellation.


title: Adams-type maps are not stable under composition

abstract: We give a simple counterexample to the plausible conjecture that Adams-type maps of ring spectra are stable under composition. We then show that over a field, this failure is quite extreme, as any map of $\mathbb{E}_{\infty}$-algebras is a transfinite composition of Adams-type maps.


title: Deep, Deep Learning with BART

abstract: Purpose: To develop a deep-learning-based image reconstruction framework for reproducible research in MRI. Methods: The BART toolbox offers a rich set of implementations of calibration and reconstruction algorithms for parallel imaging and compressed sensing. In this work, BART was extended by a non-linear operator framework that provides automatic differentiation to allow computation of gradients. Existing MRI-specific operators of BART, such as the non-uniform fast Fourier transform, are directly integrated into this framework and are complemented by common building blocks used in neural networks. To evaluate the use of the framework for advanced deep-learning-based reconstruction, two state-of-the-art unrolled reconstruction networks, namely the Variational Network [1] and MoDL [2], were implemented. Results: State-of-the-art deep image-reconstruction networks can be constructed and trained using BART's gradient based optimization algorithms. The BART implementation achieves a similar performance in terms of training time and reconstruction quality compared to the original implementations based on TensorFlow. Conclusion: By integrating non-linear operators and neural networks into BART, we provide a general framework for deep-learning-based reconstruction in MRI.


title: The scatter in the galaxy-halo connection: a machine learning analysis

abstract: We apply machine learning, a powerful method for uncovering complex correlations in high-dimensional data, to the galaxy-halo connection of cosmological hydrodynamical simulations. The mapping between galaxy and halo variables is stochastic in the absence of perfect information, but conventional machine learning models are deterministic and hence cannot capture its intrinsic scatter. To overcome this limitation, we design an ensemble of neural networks with a Gaussian loss function that predict probability distributions, allowing us to model statistical uncertainties in the galaxy-halo connection as well as its best-fit trends. We extract a number of galaxy and halo variables from the Horizon-AGN and IllustrisTNG100-1 simulations and quantify the extent to which knowledge of some subset of one enables prediction of the other. This allows us to identify the key features of the galaxy-halo connection and investigate the origin of its scatter in various projections. We find that while halo properties beyond mass account for up to 50 per cent of the scatter in the halo-to-stellar mass relation, the prediction of stellar half-mass radius or total gas mass is not substantially improved by adding further halo properties. We also use these results to investigate semi-analytic models for galaxy size in the two simulations, finding that assumptions relating galaxy size to halo size or spin are not successful.


title: Thermodynamic phase transition of Euler-Heisenberg-AdS black hole on free energy landscape

abstract: We study the first order phase transition of Euler-Heisenberg-AdS black hole based on free energy landscape. By solving the Fokker-Planck equation, we research the probability distribution of the system states. The small (large) black hole can have the chance to switch to the large (small) black hole due to the change of the temperature $T$ or Euler-Heisenberg parameter $a$. A higher (lower) $T$ corresponds to a larger probability for a large (small) black hole. The coexistent small and large black hole states can be acquired for some conditions. For $0< a\leq \frac{32}{7} Q^2 $, the small-large black hole phase transition can be acquired with a small $a$. The probability of small (large) black holes will decrease to zero for a large $a$. For a small $a$, a higher peak of the first passage time can be acquired for higher (lower) $T$ or smaller (larger) $a$ with the initial small (large) black hole state. For $a<0$, a smaller (larger) $a$ corresponds to a larger probability for a large (small) black hole. A higher peak of the first passage time can also be obtained for higher (lower) $T$ or smaller (larger) $a$ with initial small (large) black hole state.


title: The Aronsson Equation for Absolute Minimizers of Supremal Functionals in Carnot-Carath\'eodory Spaces

abstract: Given a $C^2$ family of vector fields $X_1,...,X_m$ which induces a continuous Carnot-Carath\'eodory distance, we show that any absolute minimizer of a supremal functional defined by a $C^2$ quasiconvex Hamiltonian $f(x, z, p)$, allowing $z$-variable dependence, is a viscosity solution to the Aronsson equation $-\langle X(f(x, u(x), Xu(x))), D_p f(x, u(x), Xu(x))\rangle = 0.$


title: SUNet: Swin Transformer UNet for Image Denoising

abstract: Image restoration is a challenging ill-posed problem which also has been a long-standing issue. In the past few years, the convolution neural networks (CNNs) almost dominated the computer vision and had achieved considerable success in different levels of vision tasks including image restoration. However, recently the Swin Transformer-based model also shows impressive performance, even surpasses the CNN-based methods to become the state-of-the-art on high-level vision tasks. In this paper, we proposed a restoration model called SUNet which uses the Swin Transformer layer as our basic block and then is applied to UNet architecture for image denoising. The source code and pre-trained models are available at https://github.com/FanChiMao/SUNet.


title: Proceedings of the Artificial Intelligence for Cyber Security (AICS) Workshop at AAAI 2022

abstract: The workshop will focus on the application of AI to problems in cyber security. Cyber systems generate large volumes of data, utilizing this effectively is beyond human capabilities. Additionally, adversaries continue to develop new attacks. Hence, AI methods are required to understand and protect the cyber domain. These challenges are widely studied in enterprise networks, but there are many gaps in research and practice as well as novel problems in other domains. In general, AI techniques are still not widely adopted in the real world. Reasons include: (1) a lack of certification of AI for security, (2) a lack of formal study of the implications of practical constraints (e.g., power, memory, storage) for AI systems in the cyber domain, (3) known vulnerabilities such as evasion, poisoning attacks, (4) lack of meaningful explanations for security analysts, and (5) lack of analyst trust in AI solutions. There is a need for the research community to develop novel solutions for these practical issues.


title: Classification Under Partial Reject Options

abstract: We study set-valued classification for a Bayesian model where data originates from one of a finite number $N$ of possible hypotheses. Thus we consider the scenario where the size of the classified set of categories ranges from 0 to $N$. Empty sets corresponds to an outlier, size 1 represents a firm decision that singles out one hypotheses, size $N$ corresponds to a rejection to classify, whereas sizes $2\ldots,N-1$ represent a partial rejection, where some hypotheses are excluded from further analysis. We introduce a general framework of reward functions with a set-valued argument and derive the corresponding optimal Bayes classifiers, for a homogeneous block of hypotheses and for when hypotheses are partitioned into blocks, where ambiguity within and between blocks are of different severity. We illustrate classification using an ornithological dataset, with taxa partitioned into blocks and parameters estimated using MCMC. The associated reward function's tuning parameters are chosen through cross-validation.


title: Markov properties for Gaussian fields associated with Dirichlet forms

abstract: We prove the equivalence of the local property for an irreducible regular Dirichlet form and the Markov property for the Gaussian field associated with the Dirichlet form. Moreover we introduce a strong Markov property for Gaussian fields and present some sufficient conditions for this to hold.