title: Multiparty Mediated Quantum Secret Sharing Protocol

abstract: This study proposes a multiparty mediated quantum secret sharing (MQSS) protocol that allows n restricted quantum users to share a secret via the assistance of a dishonest third-party (TP) with full quantum capabilities. Under the premise that a restricted quantum user can only perform the Hadamard transformation and the Z-basis measurement, the proposed MQSS protocol has addressed two common challenges in the existing semi-quantum secret sharing protocols: (1) the dealer must have full quantum capability, and (2) the classical users must equip with the wavelength quantum filter and the photon number splitters (PNS) to detect the Trojan horse attacks. The security analysis has also delivered proof to show that the proposed MQSS protocol can avoid the collective attack, the collusion attack, and the Trojan horse attacks. In addition, the proposed MQSS protocol is more efficient than the existing SQSS protocols due to the restricted quantum users can only equip with two quantum operations, and the qubits are transmitted within a shorter distance.


title: Disease2Vec: Representing Alzheimer's Progression via Disease Embedding Tree

abstract: For decades, a variety of predictive approaches have been proposed and evaluated in terms of their prediction capability for Alzheimer's Disease (AD) and its precursor - mild cognitive impairment (MCI). Most of them focused on prediction or identification of statistical differences among different clinical groups or phases (e.g., longitudinal studies). The continuous nature of AD development and transition states between successive AD related stages have been overlooked, especially in binary or multi-class classification. Though a few progression models of AD have been studied recently, they were mainly designed to determine and compare the order of specific biomarkers. How to effectively predict the individual patient's status within a wide spectrum of continuous AD progression has been largely overlooked. In this work, we developed a novel learning-based embedding framework to encode the intrinsic relations among AD related clinical stages by a set of meaningful embedding vectors in the latent space (Disease2Vec). We named this process as disease embedding. By disease em-bedding, the framework generates a disease embedding tree (DETree) which effectively represents different clinical stages as a tree trajectory reflecting AD progression and thus can be used to predict clinical status by projecting individuals onto this continuous trajectory. Through this model, DETree can not only perform efficient and accurate prediction for patients at any stages of AD development (across five clinical groups instead of typical two groups), but also provide richer status information by examining the projecting locations within a wide and continuous AD progression process.


title: Search for non-Newtonian interactions at micrometer scale with a levitated test mass

abstract: We report on a search for non-Newtonian forces that couple to mass, with a characteristic scale of ${\sim}10~\mu$m, using an optically levitated microsphere as a precision force sensor. A silica microsphere trapped in an upward-propagating, single-beam, optical tweezer is utilized to probe for interactions sourced from a nanofabricated attractor mass with a density modulation brought into close proximity to the microsphere and driven along the axis of periodic density in order to excite an oscillating response. We obtain force sensitivity of ${\lesssim}10^{-16}~\rm{N}/\sqrt{\rm{Hz}}$. Separately searching for attractive and repulsive forces results in the constraint on a new Yukawa interaction of $|\alpha| \gtrsim 10^8$ for $\lambda > 10~\mu$m. This is the first test of the inverse-square law using an optically levitated test mass of dimensions comparable to $\lambda$, a complementary method subject to a different set of systematic effects compared to more established techniques.


title: Distilling Double Descent

abstract: Distillation is the technique of training a "student" model based on examples that are labeled by a separate "teacher" model, which itself is trained on a labeled dataset. The most common explanations for why distillation "works" are predicated on the assumption that student is provided with \emph{soft} labels, \eg probabilities or confidences, from the teacher model. In this work, we show, that, even when the teacher model is highly overparameterized, and provides \emph{hard} labels, using a very large held-out unlabeled dataset to train the student model can result in a model that outperforms more "traditional" approaches. Our explanation for this phenomenon is based on recent work on "double descent". It has been observed that, once a model's complexity roughly exceeds the amount required to memorize the training data, increasing the complexity \emph{further} can, counterintuitively, result in \emph{better} generalization. Researchers have identified several settings in which it takes place, while others have made various attempts to explain it (thus far, with only partial success). In contrast, we avoid these questions, and instead seek to \emph{exploit} this phenomenon by demonstrating that a highly-overparameterized teacher can avoid overfitting via double descent, while a student trained on a larger independent dataset labeled by this teacher will avoid overfitting due to the size of its training set.


title: Controlled modulation of optical energy in the high order Hermite-Gaussian laser modes

abstract: The multiple lobes of high order Hermite-Gaussian (HG) laser modes differ in terms of shape, size, and optical energy distribution. Here, we introduce a generic numerical method that redistributes optical energy among the lobes of high order HG modes such that all the identical low intense lobes become both moderate or high intense lobes and vice-versa, in a controlled manner. Further, the modes which consist of only two types of intensity distribution among its multiple lobes are transformed together into all high intense lobes. Furthermore, in some cases, moderate intense lobes together with high intense lobes become high intense lobes, and moderate intense lobes together with low intense lobes become high intense lobes. Such controlled modulation of optical energy may offer efficient and selective utilization of each lobe of HG modes in most applications like particle manipulation, optical lithography, and the method can be used in other fields like nonlinear frequency conversion and shaping ultrafast optical pulses.


title: Robust Model-Based Clustering

abstract: We propose a new class of robust and Fisher-consistent estimators for mixture models. These estimators can be used to construct robust model-based clustering procedures. We study in detail the case of multivariate normal mixtures and propose a procedure that uses S estimators of multivariate location and scatter. We develop an algorithm to compute the estimators and to build the clusters which is quite similar to the EM algorithm. An extensive Monte Carlo simulation study shows that our proposal compares favorably with other robust and non robust model-based clustering procedures. We apply ours and alternative procedures to a real data set and again find that the best results are obtained using our proposal.


title: Regularized Kaczmarz Algorithms for Tensor Recovery

abstract: Tensor recovery has recently arisen in a lot of application fields, such as transportation, medical imaging and remote sensing. Under the assumption that signals possess sparse and/or low-rank structures, many tensor recovery methods have been developed to apply various regularization techniques together with the operator-splitting type of algorithms. Due to the unprecedented growth of data, it becomes increasingly desirable to use streamlined algorithms to achieve real-time computation, such as stochastic optimization algorithms that have recently emerged as an efficient family of methods in machine learning. In this work, we propose a novel algorithmic framework based on the Kaczmarz algorithm for tensor recovery. We provide thorough convergence analysis and its applications from the vector case to the tensor one. Numerical results on a variety of tensor recovery applications, including sparse signal recovery, low-rank tensor recovery, image inpainting and deconvolution, illustrate the enormous potential of the proposed methods.


title: On Cherednik and Nazarov-Sklyanin large N limit construction for integrable many-body systems with elliptic dependence on momenta

abstract: The infinite number of particles limit in the dual to elliptic Ruijsenaars model (coordinate trigonometric degeneration of quantum double elliptic model) is proposed using the Nazarov-Sklyanin approach. For this purpose we describe double-elliptization of the Cherednik construction. Namely, we derive explicit expression in terms of the Cherednik operators, which reduces to the generating function of Dell commuting Hamiltonians on the space of symmetric functions. Although the double elliptic Cherednik operators do not commute, they can be used for construction of the $N\rightarrow \infty$ limit.


title: Equilibrium Inverse Reinforcement Learning for Ride-hailing Vehicle Network

abstract: Ubiquitous mobile computing have enabled ride-hailing services to collect vast amounts of behavioral data of riders and drivers and optimize supply and demand matching in real time. While these mobility service providers have some degree of control over the market by assigning vehicles to requests, they need to deal with the uncertainty arising from self-interested driver behavior since workers are usually free to drive when they are not assigned tasks. In this work, we formulate the problem of passenger-vehicle matching in a sparsely connected graph and proposed an algorithm to derive an equilibrium policy in a multi-agent environment. Our framework combines value iteration methods to estimate the optimal policy given expected state visitation and policy propagation to compute multi-agent state visitation frequencies. Furthermore, we developed a method to learn the driver's reward function transferable to an environment with significantly different dynamics from training data. We evaluated the robustness to changes in spatio-temporal supply-demand distributions and deterioration in data quality using a real-world taxi trajectory dataset; our approach significantly outperforms several baselines in terms of imitation accuracy. The computational time required to obtain an equilibrium policy shared by all vehicles does not depend on the number of agents, and even on the scale of real-world services, it takes only a few seconds on a single CPU.


title: Sequential prediction under log-loss with side information

abstract: The problem of online prediction with sequential side information under logarithmic loss is studied, and general upper and lower bounds on the minimax regret incurred by the predictor is established. The upper bounds on the minimax regret are obtained by providing and analyzing a probability assignment inspired by mixture probability assignments in universal compression, and the lower bounds are obtained by way of a redundancy-capacity theorem. The tight characterization of the regret is provided in some special settings.


title: Generating Diversified Comments via Reader-Aware Topic Modeling and Saliency Detection

abstract: Automatic comment generation is a special and challenging task to verify the model ability on news content comprehension and language generation. Comments not only convey salient and interesting information in news articles, but also imply various and different reader characteristics which we treat as the essential clues for diversity. However, most of the comment generation approaches only focus on saliency information extraction, while the reader-aware factors implied by comments are neglected. To address this issue, we propose a unified reader-aware topic modeling and saliency information detection framework to enhance the quality of generated comments. For reader-aware topic modeling, we design a variational generative clustering algorithm for latent semantic learning and topic mining from reader comments. For saliency information detection, we introduce Bernoulli distribution estimating on news content to select saliency information. The obtained topic representations as well as the selected saliency information are incorporated into the decoder to generate diversified and informative comments. Experimental results on three datasets show that our framework outperforms existing baseline methods in terms of both automatic metrics and human evaluation. The potential ethical issues are also discussed in detail.


title: On Robust Optimal Transport: Computational Complexity and Barycenter Computation

abstract: We consider robust variants of the standard optimal transport, named robust optimal transport, where marginal constraints are relaxed via Kullback-Leibler divergence. We show that Sinkhorn-based algorithms can approximate the optimal cost of robust optimal transport in $\widetilde{\mathcal{O}}(\frac{n^2}{\varepsilon})$ time, in which $n$ is the number of supports of the probability distributions and $\varepsilon$ is the desired error. Furthermore, we investigate a fixed-support robust barycenter problem between $m$ discrete probability distributions with at most $n$ number of supports and develop an approximating algorithm based on iterative Bregman projections (IBP). For the specific case $m = 2$, we show that this algorithm can approximate the optimal barycenter value in $\widetilde{\mathcal{O}}(\frac{mn^2}{\varepsilon})$ time, thus being better than the previous complexity $\widetilde{\mathcal{O}}(\frac{mn^2}{\varepsilon^2})$ of the IBP algorithm for approximating the Wasserstein barycenter.


title: LTL2Action: Generalizing LTL Instructions for Multi-Task RL

abstract: We address the problem of teaching a deep reinforcement learning (RL) agent to follow instructions in multi-task environments. Instructions are expressed in a well-known formal language -- linear temporal logic (LTL) -- and can specify a diversity of complex, temporally extended behaviours, including conditionals and alternative realizations. Our proposed learning approach exploits the compositional syntax and the semantics of LTL, enabling our RL agent to learn task-conditioned policies that generalize to new instructions, not observed during training. To reduce the overhead of learning LTL semantics, we introduce an environment-agnostic LTL pretraining scheme which improves sample-efficiency in downstream environments. Experiments on discrete and continuous domains target combinatorial task sets of up to $\sim10^{39}$ unique tasks and demonstrate the strength of our approach in learning to solve (unseen) tasks, given LTL instructions.


title: Capturing Label Distribution: A Case Study in NLI

abstract: We study estimating inherent human disagreement (annotation label distribution) in natural language inference task. Post-hoc smoothing of the predicted label distribution to match the expected label entropy is very effective. Such simple manipulation can reduce KL divergence by almost half, yet will not improve majority label prediction accuracy or learn label distributions. To this end, we introduce a small amount of examples with multiple references into training. We depart from the standard practice of collecting a single reference per each training example, and find that collecting multiple references can achieve better accuracy under the fixed annotation budget. Lastly, we provide rich analyses comparing these two methods for improving label distribution estimation.


title: Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata

abstract: We address the approximate minimization problem for weighted finite automata (WFAs) with weights in $\mathbb{R}$, over a one-letter alphabet: to compute the best possible approximation of a WFA given a bound on the number of states. This work is grounded in Adamyan-Arov-Krein Approximation theory, a remarkable collection of results on the approximation of Hankel operators. In addition to its intrinsic mathematical relevance, this theory has proven to be very effective for model reduction. We adapt these results to the framework of weighted automata over a one-letter alphabet. We provide theoretical guarantees and bounds on the quality of the approximation in the spectral and $\ell^2$ norm. We develop an algorithm that, based on the properties of Hankel operators, returns the optimal approximation in the spectral norm.


title: Asymptotic Behaviors of Global Solutions to the Two-Dimensional Non-resistive MHD Equations with Large Initial Perturbations

abstract: This paper is concerned with the asymptotic behaviors of global strong solutions to the incompressible non-resistive viscous magnetohydrodynamic (MHD) equations with large initial perturbations in two-dimensional periodic domains in Lagrangian coordinates. First, motivated by the odevity conditions imposed in [Arch. Ration. Mech. Anal. 227 (2018), 637--662], we prove the existence and uniqueness of strong solutions under some class of large initial perturbations, where the strength of impressive magnetic fields depends increasingly on the $H^2$-norm of the initial perturbation values of both velocity and magnetic field. Then, we establish time-decay rates of strong solutions. Moreover, we find that $H^2$-norm of the velocity decays faster than the perturbed magnetic field. Finally, by developing some new analysis techniques, we show that the strong solution convergence in a rate of the field strength to the solution of the corresponding linearized problem as the strength of the impressive magnetic field goes to infinity. In addition, an extension of similar results to the corresponding inviscid case with damping is presented.


title: Wasserstein Proximal of GANs

abstract: We introduce a new method for training generative adversarial networks by applying the Wasserstein-2 metric proximal on the generators. The approach is based on Wasserstein information geometry. It defines a parametrization invariant natural gradient by pulling back optimal transport structures from probability space to parameter space. We obtain easy-to-implement iterative regularizers for the parameter updates of implicit deep generative models. Our experiments demonstrate that this method improves the speed and stability of training in terms of wall-clock time and Fr\'echet Inception Distance.


title: A consistent and conservative Phase-Field model for thermo-gas-liquid-solid flows including liquid-solid phase change

abstract: In the present study, a consistent and conservative Phase-Field model is developed to study thermo-gas-liquid-solid flows with liquid-solid phase change. The proposed model is derived with the help of the consistency conditions and exactly reduces to the consistent and conservative Phase-Field method for incompressible two-phase flows, the fictitious domain Brinkman penalization (FD/BP) method for fluid-structure interactions, and the Phase-Field model of solidification of pure material. It honors the mass conservation, defines the volume fractions of individual phases unambiguously, and therefore captures the volume change due to phase change. The momentum is conserved when the solid phase is absent, but it changes when the solid phase appears due to the no-slip condition at the solid boundary. The proposed model also conserves the energy, preserves the temperature equilibrium, and is Galilean invariant. A novel continuous surface tension force to confine its contribution at the gas-liquid interface and a drag force modified from the Carman-Kozeny equation to reduce solid velocity to zero are proposed. The issue of initiating phase change in the original Phase-Field model of solidification is addressed by physically modifying the interpolation function. The corresponding consistent scheme is developed to solve the model, and the numerical results agree well with the analytical solutions and the existing experimental and numerical data. Two challenging problems having a wide range of material properties and complex dynamics are conducted to demonstrate the capability of the proposed model.

categories: physics.comp-ph cs.NA math.NA physics.flu-dyn


title: Adversarial Unsupervised Domain Adaptation Guided with Deep Clustering for Face Presentation Attack Detection

abstract: Face Presentation Attack Detection (PAD) has drawn increasing attentions to secure the face recognition systems that are widely used in many applications. Conventional face anti-spoofing methods have been proposed, assuming that testing is from the same domain used for training, and so cannot generalize well on unseen attack scenarios. The trained models tend to overfit to the acquisition sensors and attack types available in the training data. In light of this, we propose an end-to-end learning framework based on Domain Adaptation (DA) to improve PAD generalization capability. Labeled source-domain samples are used to train the feature extractor and classifier via cross-entropy loss, while unsupervised data from the target domain are utilized in adversarial DA approach causing the model to learn domain-invariant features. Using DA alone in face PAD fails to adapt well to target domain that is acquired in different conditions with different devices and attack types than the source domain. And so, in order to keep the intrinsic properties of the target domain, deep clustering of target samples is performed. Training and deep clustering are performed end-to-end, and experiments performed on several public benchmark datasets validate that our proposed Deep Clustering guided Unsupervised Domain Adaptation (DCDA) can learn more generalized information compared with the state-of-the-art classification error on the target domain.


title: Detection of genuine multipartite entanglement based on local sum uncertainty relations

abstract: Genuine multipartite entanglement (GME) offers more significant advantages in quantum information compared with entanglement. We propose a sufficient criterion for the detection of GME based on local sum uncertainty relations for chosen observables of subsystems. We apply the criterion to detect the GME properties of noisy $n$-partite W state when $n = 3, 4, 5$ and $6$, and find that the criterion can detect more noisy W states when $n$ ranges from 4 to 6. Moreover, the criterion is also used to detect the genuine entanglement of $3$-qutrit state. The result is stronger than that based on GME concurrence and fisher information.


title: Understanding Negative Samples in Instance Discriminative Self-supervised Representation Learning

abstract: Instance discriminative self-supervised representation learning has been attracted attention thanks to its unsupervised nature and informative feature representation for downstream tasks. In practice, it commonly uses a larger number of negative samples than the number of supervised classes. However, there is an inconsistency in the existing analysis; theoretically, a large number of negative samples degrade classification performance on a downstream supervised task, while empirically, they improve the performance. We provide a novel framework to analyze this empirical result regarding negative samples using the coupon collector's problem. Our bound can implicitly incorporate the supervised loss of the downstream task in the self-supervised loss by increasing the number of negative samples. We confirm that our proposed analysis holds on real-world benchmark datasets.


title: CPP-Net: Context-aware Polygon Proposal Network for Nucleus Segmentation

abstract: Nucleus segmentation is a challenging task due to the crowded distribution and blurry boundaries of nuclei. Recent approaches represent nuclei by means of polygons to differentiate between touching and overlapping nuclei and have accordingly achieved promising performance. Each polygon is represented by a set of centroid-to-boundary distances, which are in turn predicted by features of the centroid pixel for a single nucleus. However, using the centroid pixel alone does not provide sufficient contextual information for robust prediction and thus degrades the segmentation accuracy. To handle this problem, we propose a Context-aware Polygon Proposal Network (CPP-Net) for nucleus segmentation. First, we sample a point set rather than one single pixel within each cell for distance prediction. This strategy substantially enhances contextual information and thereby improves the robustness of the prediction. Second, we propose a Confidence-based Weighting Module, which adaptively fuses the predictions from the sampled point set. Third, we introduce a novel Shape-Aware Perceptual (SAP) loss that constrains the shape of the predicted polygons. Here, the SAP loss is based on an additional network that is pre-trained by means of mapping the centroid probability map and the pixel-to-boundary distance maps to a different nucleus representation. Extensive experiments justify the effectiveness of each component in the proposed CPP-Net. Finally, CPP-Net is found to achieve state-of-the-art performance on three publicly available databases, namely DSB2018, BBBC06, and PanNuke. Code of this paper is available at \url{https://github.com/csccsccsccsc/cpp-net


title: Fast, Accurate Barcode Detection in Ultra High-Resolution Images

abstract: Object detection in Ultra High-Resolution (UHR) images has long been a challenging problem in computer vision due to the varying scales of the targeted objects. When it comes to barcode detection, resizing UHR input images to smaller sizes often leads to the loss of pertinent information, while processing them directly is highly inefficient and computationally expensive. In this paper, we propose using semantic segmentation to achieve a fast and accurate detection of barcodes of various scales in UHR images. Our pipeline involves a modified Region Proposal Network (RPN) on images of size greater than 10k$\times$10k and a newly proposed Y-Net segmentation network, followed by a post-processing workflow for fitting a bounding box around each segmented barcode mask. The end-to-end system has a latency of 16 milliseconds, which is $2.5\times$ faster than YOLOv4 and $5.9\times$ faster than Mask R-CNN. In terms of accuracy, our method outperforms YOLOv4 and Mask R-CNN by a $mAP$ of 5.5% and 47.1% respectively, on a synthetic dataset. We have made available the generated synthetic barcode dataset and its code at http://www.github.com/viplabB/SBD/.


title: Criticality of Schr\"{o}dinger Forms and Recurrence of Dirichlet Forms

abstract: Introducing the notion of extended Schr\"odinger spaces, we define the criticality and subcriticality of Schr\"odinger forms in the same manner as the recurrence and transience of Dirichlet forms, and give a sufficient condition for the subcriticality of Schr\"odinger forms in terms the bottom of spectrum. We define a subclass of Hardy potentials and prove that Schr\"odinger forms with potentials in this subclass are always critical, which leads us to optimal Hardy type inequality. We show that this definition of criticality and subcriticality is equivalent to that there exists an excessive function with respect to Schr\"odinger semigroup and its generating Dirichlet form through $h$-transform is recurrent and transient respectively. As an application, we can show the recurrence and transience of a family of Dirichlet forms by showing the criticality and subcriticaly of Schr\"odinger forms and show the other way around through $h$-transform, We give a such example with fractional Schr\"odinger operators with Hardy potential.


title: Self-Reorganizing and Rejuvenating CNNs for Increasing Model Capacity Utilization

abstract: In this paper, we propose self-reorganizing and rejuvenating convolutional neural networks; a biologically inspired method for improving the computational resource utilization of neural networks. The proposed method utilizes the channel activations of a convolution layer in order to reorganize that layers parameters. The reorganized parameters are clustered to avoid parameter redundancies. As such, redundant neurons with similar activations are merged leaving room for the remaining parameters to rejuvenate. The rejuvenated parameters learn different features to supplement those learned by the reorganized surviving parameters. As a result, the network capacity utilization increases improving the baseline network performance without any changes to the network structure. The proposed method can be applied to various network architectures during the training stage, or applied to a pre-trained model improving its performance. Experimental results showed that the proposed method is model-agnostic and can be applied to any backbone architecture increasing its performance due to the elevated utilization of the network capacity.


title: Estimation for change point of discretely observed ergodic diffusion processes

abstract: We treat the change point problem in ergodic diffusion processes from discrete observations. Tonaki et al. (2020) proposed adaptive tests for detecting changes in the diffusion and drift parameters in ergodic diffusion models. When any changes are detected by this method, the next question to be considered is where the change point is. Therefore, we propose the method to estimate the change point of the parameter for two cases: the case where there is a change in the diffusion parameter, and the case where there is no change in the diffusion parameter but a change in the drift parameter. Furthermore, we present rates of convergence and distributional results of the change point estimators. Some examples and simulation results are also given.


title: GenTree: Using Decision Trees to Learn Interactions for Configurable Software

abstract: Modern software systems are increasingly designed to be highly configurable, which increases flexibility but can make programs harder to develop, test, and analyze, e.g., how configuration options are set to reach certain locations, what characterizes the configuration space of an interesting or buggy program behavior? We introduce GenTree, a new dynamic analysis that automatically learns a program's interactions - logical formulae that describe how configuration option settings map to code coverage. GenTree uses an iterative refinement approach that runs the program under a small sample of configurations to obtain coverage data; uses a custom classifying algorithm on these data to build decision trees representing interaction candidates; and then analyzes the trees to generate new configurations to further refine the trees and interactions in the next iteration. Our experiments on 17 configurable systems spanning 4 languages show that GenTree efficiently finds precise interactions using a tiny fraction of the configuration space.


title: High-order phase-dependent asymmetry in the above-threshold ionization plateau

abstract: Above-threshold ionization spectra from cesium are measured as a function of the carrier-envelope phase (CEP) using laser pulses centered at 3.1 $\mu$m wavelength. The directional asymmetry in the energy spectra of backscattered electrons oscillates three times, rather than once, as the CEP is changed from $0$ to $2\pi$. Using the improved strong-field approximation, we show that the unusual behavior arises from the interference of few quantum orbits. We discuss the conditions for observing the high-order CEP dependence, and draw an analogy with time-domain holography with electron wave packets.


title: Improving NASA/IPAC Extragalactic Database Redshift Calculations

abstract: The NASA/IPAC Extragalactic Database (NED) is an impressive tool for finding near-exhaustive information on millions of astrophysical objects. Here, we outline a small systematic error that occurs in NED because a low-redshift approximation is used when making the correction from redshifts in the heliocentric frame to the cosmic microwave background (CMB) rest frame. It means that historically NED systematically misreported the values of CMB-frame redshifts by up to $\sim10^{-3}z$ (about 0.001 at redshift of 1). This is a systematic error, and therefore the impact on applications requiring precise redshifts has the potential to be significant -- for example, a systematic redshift error of $\sim10^{-4}$ at low redshift could resolve the Hubble tension. We have consulted with the NED team and they are updating the software to remove this systematic error so these corrections are accurate at all redshifts. Here, we explain the changes and how they impact the redshift values NED currently reports.


title: Improved Corruption Robust Algorithms for Episodic Reinforcement Learning

abstract: We study episodic reinforcement learning under unknown adversarial corruptions in both the rewards and the transition probabilities of the underlying system. We propose new algorithms which, compared to the existing results in (Lykouris et al., 2020), achieve strictly better regret bounds in terms of total corruptions for the tabular setting. To be specific, firstly, our regret bounds depend on more precise numerical values of total rewards corruptions and transition corruptions, instead of only on the total number of corrupted episodes. Secondly, our regret bounds are the first of their kind in the reinforcement learning setting to have the number of corruptions show up additively with respect to $\min\{\sqrt{T}, \text{PolicyGapComplexity}\}$ rather than multiplicatively. Our results follow from a general algorithmic framework that combines corruption-robust policy elimination meta-algorithms, and plug-in reward-free exploration sub-algorithms. Replacing the meta-algorithm or sub-algorithm may extend the framework to address other corrupted settings with potentially more structure.


title: Hardware Architecture of Wireless Power Transfer, RFID, and WIPT Systems

abstract: In this work, we provide an overview of the hardware architecture of wireless power transfer (WPT), RFID, and wireless information and power transfer (WIPT) systems. The historical milestones and structure differences among WPT, RFID, and WIPT are introduced.


title: The Causes of Peripheral Coronal Loop Contraction and Disappearance Revealed in a Magnetohydrodynamic Simulation of Solar Eruption

abstract: The phenomenon of peripheral coronal loop contraction during solar flares and eruptions, recently discovered in observations, gradually intrigues solar physicists. However, its underlying physical mechanism is still uncertain. One is Hudson (2000)'s implosion conjecture which attributes it to magnetic pressure reduction in the magnetic energy liberation core, while other researchers proposed alternative explanations. In previous observational studies we also note the disappearance of peripheral shrinking loops in the late phase, of which there is a lack of investigation and interpretation. In this paper, we exploit a full MHD simulation of solar eruption to study the causes of the two phenomena. It is found that the loop motion in the periphery is well correlated with magnetic energy accumulation and dissipation in the core, and the loop shrinkage is caused by a more significant reduction in magnetic pressure gradient force than in magnetic tension force, consistent with the implosion conjecture. The peripheral contracting loops in the late phase act as inflow to reconnect with central erupting structures, which destroys their identities and naturally explains their disappearance. We also propose a positive feedback between the peripheral magnetic reconnection and the central eruption.


title: Thermodynamics of Massless Free Bosonic Higher Spin Fields

abstract: We calculated the thermal partition function for the massless free bosonic Higher spin fields (Fronsdal theory) of thermodynamical system by using Feynman path integral formalism and also we calculated the free energy, average energy, energy fluctuations, specific heat and entropy by applying the dimensional regularization method. Moreover, we isolated the UV divergences of the above physical quantities by dimensional regularization method. Nevertheless, we observed the duality between the thermodynamical system of massless free bosonic HS fields on $d \geq 4$-dimensional Minkowski spacetime and thermodynamical system of Klein-Gordon scalar fields on 4-dimensional Minkowski spacetime at the thermal equilibrium condition. We also calculated the fluctuations in the energy value $E$ is quite negligible at the thermodynamic limit $V \to \infty$ (IR divergence) and if $T \to \infty$ also negligible in fluctuations in the energy value. This energy fluctuations is depends on the dimensionality of the system i.e $d \geq 4$ and also depends on the temperature of HS fields. The entropy of thermodynamical system of massless free bosonic HS fields diverges logarithmically at temperature is infinity and also diverges at thermodynamic limit i.e $ V \to \infty$ and also depends on the spin ($s$) of the massless free bosonic HS fileds. The entropy of massless free Bosonic HS fields depends not only temperature of the system but also depends on the dimensionality of the system i.e $d \geq 4$. However, the entropy value is finite for finite value of temperature and finite value of volume of massless free bosonic HS fields.


title: Learning from Similarity-Confidence Data

abstract: Weakly supervised learning has drawn considerable attention recently to reduce the expensive time and labor consumption of labeling massive data. In this paper, we investigate a novel weakly supervised learning problem of learning from similarity-confidence (Sconf) data, where we aim to learn an effective binary classifier from only unlabeled data pairs equipped with confidence that illustrates their degree of similarity (two examples are similar if they belong to the same class). To solve this problem, we propose an unbiased estimator of the classification risk that can be calculated from only Sconf data and show that the estimation error bound achieves the optimal convergence rate. To alleviate potential overfitting when flexible models are used, we further employ a risk correction scheme on the proposed risk estimator. Experimental results demonstrate the effectiveness of the proposed methods.


title: Twin-width and permutations

abstract: Inspired by a width invariant on permutations defined by Guillemot and Marx, Bonnet, Kim, Thomass\'e, and Watrigant introduced the twin-width of graphs, which is a parameter describing its structural complexity. This invariant has been further extended to binary structures, in several (basically equivalent) ways. We prove that a class of binary relational structures (that is: edge-colored partially directed graphs) has bounded twin-width if and only if it is a first-order transduction of a~proper permutation class. As a by-product, we show that every class with bounded twin-width contains at most $2^{O(n)}$ pairwise non-isomorphic $n$-vertex graphs.


title: Ordered graphs of bounded twin-width

abstract: We consider hereditary classes of graphs equipped with a total order. We provide multiple equivalent characterisations of those classes which have bounded twin-width. In particular, we prove a grid theorem for classes of ordered graphs which have unbounded twin-width. From this we derive that the model-checking problem for first-order logic is fixed-parameter tractable over a hereditary class of ordered graphs if, and -- under common complexity-theoretic assumptions -- only if the class has bounded twin-width. For hereditary classes of ordered graphs, we show that bounded twin-width is equivalent to the NIP property from model theory, as well as the smallness condition from enumerative combinatorics. We prove the existence of a gap in the growth of hereditary classes of ordered graphs. Furthermore, we provide a grid theorem which applies to all monadically NIP classes of structures (ordered or unordered), or equivalently, classes which do not transduce the class of all finite graphs.


title: Saliency-Aware Class-Agnostic Food Image Segmentation

abstract: Advances in image-based dietary assessment methods have allowed nutrition professionals and researchers to improve the accuracy of dietary assessment, where images of food consumed are captured using smartphones or wearable devices. These images are then analyzed using computer vision methods to estimate energy and nutrition content of the foods. Food image segmentation, which determines the regions in an image where foods are located, plays an important role in this process. Current methods are data dependent, thus cannot generalize well for different food types. To address this problem, we propose a class-agnostic food image segmentation method. Our method uses a pair of eating scene images, one before start eating and one after eating is completed. Using information from both the before and after eating images, we can segment food images by finding the salient missing objects without any prior information about the food class. We model a paradigm of top down saliency which guides the attention of the human visual system (HVS) based on a task to find the salient missing objects in a pair of images. Our method is validated on food images collected from a dietary study which showed promising results.


title: Fusion of convolution neural network, support vector machine and Sobel filter for accurate detection of COVID-19 patients using X-ray images

abstract: The coronavirus (COVID-19) is currently the most common contagious disease which is prevalent all over the world. The main challenge of this disease is the primary diagnosis to prevent secondary infections and its spread from one person to another. Therefore, it is essential to use an automatic diagnosis system along with clinical procedures for the rapid diagnosis of COVID-19 to prevent its spread. Artificial intelligence techniques using computed tomography (CT) images of the lungs and chest radiography have the potential to obtain high diagnostic performance for Covid-19 diagnosis. In this study, a fusion of convolutional neural network (CNN), support vector machine (SVM), and Sobel filter is proposed to detect COVID-19 using X-ray images. A new X-ray image dataset was collected and subjected to high pass filter using a Sobel filter to obtain the edges of the images. Then these images are fed to CNN deep learning model followed by SVM classifier with ten-fold cross validation strategy. This method is designed so that it can learn with not many data. Our results show that the proposed CNN-SVM with Sobel filtering (CNN-SVM+Sobel) achieved the highest classification accuracy of 99.02% in accurate detection of COVID-19. It showed that using Sobel filter can improve the performance of CNN. Unlike most of the other researches, this method does not use a pre-trained network. We have also validated our developed model using six public databases and obtained the highest performance. Hence, our developed model is ready for clinical application


title: GPSPiChain-Blockchain based Self-Contained Family Security System in Smart Home

abstract: With advancements in technology, personal computing devices are better adapted for and further integrated into people's lives and homes. The integration of technology into society also results in an increasing desire to control who and what has access to sensitive information, especially for vulnerable people including children and the elderly. With blockchain coming in to the picture as a technology that can revolutionise the world, it is now possible to have an immutable audit trail of locational data over time. By controlling the process through inexpensive equipment in the home, it is possible to control whom has access to such personal data. This paper presents a blockchain based family security system for tracking the location of consenting family members' smart phones. The locations of the family members' smart phones are logged and stored in a private blockchain which can be accessed through a node installed in the family home on a computer. The data for the whereabouts of family members stays within the family unit and does not go to any third party. The system is implemented in a small scale (one miner and two other nodes) and the technical feasibility is discussed along with the limitations of the system. Further research will cover the integration of the system into a smart home environment, and ethical implementations of tracking, especially of vulnerable people, using the immutability of blockchain.


title: Effect of ultrasonic irradiation power on sonochemical synthesis of gold nanoparticles

abstract: In this work, optimized size distribution and optical properties in colloidal synthesis of gold nanoparticles (GNPs) were obtained using a proposed ultrasonic Tuerkevich-Frens method. The effect of three ultrasound (20 kHz) irradiation powers has been analyzed as size and shape control parameter. The GNPs colloidal solutions were obtained from chloroauric acid (HAuCl$_{4}$) and trisodium citrate ($\rm C_{6}H_{5}Na_{3}O_{7}\cdot 2H_{2}O$) under continuous irradiation for 1 hour without any heat or stirring. The surface plasmon resonance (SPR) was monitored in the UV-Vis spectra every 10 minutes to found the optimal time for localized SPR wavelength ($\lambda_{\rm LSPR}$) and the 210 sample procedure reduces the $\lambda_{\rm LSPR}$ localization to 20 minutes, while 150 and 60 samples show $\lambda_{\rm LSPR}$ in 60 minutes. The nucleation and growth of GNPs showed changes in shape and size distribution, which were associated with physical (cavitation, temperature) and chemical (radical generation, pH) conditions in the solution. The results showed quasispherical GNPs as pentakis dodecahedron ($\lambda_{\rm LSPR}$=560 nm), triakis icosahedron ($\lambda_{\rm LSPR}$=535 nm), and tetrakis hexahedron ($\lambda_{\rm LSPR}$= 525 nm) in a size range from 12-16 nm. US irradiation induced a disproportionation process, electrons of AuCl$_{2}^-$ rapidly exchanged through the gold surface. After AuCl$_{4}^-$ and Cl$^-$ are desorbed and a complex tetrachloroaurate is recycled for the two-electron reduction by citrate, aurophilic interaction between complexes AuCl$_{2}^-$, electrons exchange and gold seeds, the deposition of new gold atoms on the surface promoting the growth of GNPs. These mechanisms are enhanced by the cavitation effects and transmitted energy into the solution, showing that the plasmonic response from our nanoparticles can be tuned with this simple method and minimum intrumentation.


title: Envy-free division via configuration spaces

abstract: The classical approach to envy-free division and equilibrium problems relies on Knaster-Kuratowski-Mazurkiewicz theorem, Sperner's lemma or some extension involving mapping degree. We propose a different and relatively novel approach where the emphasis is on configuration spaces and equivariant topology. We illustrate the method by proving several relatives (extensions) of the classical envy-free division theorem of David Gale, where the emphasis is on preferences allowing the players to choose degenerate pieces of the cake.


title: Learning from Natural Noise to Denoise Micro-Doppler Spectrogram

abstract: Micro-Doppler analysis has become increasingly popular in recent years owning to the ability of the technique to enhance classification strategies. Applications include recognising everyday human activities, distinguishing drone from birds, and identifying different types of vehicles. However, noisy time-frequency spectrograms can significantly affect the performance of the classifier and must be tackled using appropriate denoising algorithms. In recent years, deep learning algorithms have spawned many deep neural network-based denoising algorithms. For these methods, noise modelling is the most important part and is used to assist in training. In this paper, we decompose the problem and propose a novel denoising scheme: first, a Generative Adversarial Network (GAN) is used to learn the noise distribution and correlation from the real-world environment; then, a simulator is used to generate clean Micro-Doppler spectrograms; finally, the generated noise and clean simulation data are combined as the training data to train a Convolutional Neural Network (CNN) denoiser. In experiments, we qualitatively and quantitatively analyzed this procedure on both simulation and measurement data. Besides, the idea of learning from natural noise can be applied well to other existing frameworks and demonstrate greater performance than other noise models.


title: Towards Power Efficient DNN Accelerator Design on Reconfigurable Platform

abstract: The exponential emergence of Field Programmable Gate Array (FPGA) has accelerated the research of hardware implementation of Deep Neural Network (DNN). Among all DNN processors, domain specific architectures, such as, Google's Tensor Processor Unit (TPU) have outperformed conventional GPUs. However, implementation of TPUs in reconfigurable hardware should emphasize energy savings to serve the green computing requirement. Voltage scaling, a popular approach towards energy savings, can be a bit critical in FPGA as it may cause timing failure if not done in an appropriate way. In this work, we present an ultra low power FPGA implementation of a TPU for edge applications. We divide the systolic-array of a TPU into different FPGA partitions, where each partition uses different near threshold (NTC) biasing voltages to run its FPGA cores. The biasing voltage for each partition is roughly calculated by the proposed static schemes. However, further calibration of biasing voltage is done by the proposed runtime scheme. Four clustering algorithms based on the minimum slack value of different design paths of Multiply Accumulates (MACs) study the partitioning of FPGA. To overcome the timing failure caused by NTC, the MACs which have higher minimum slack are placed in lower voltage partitions and the MACs have lower minimum slack path are placed in higher voltage partitions. The proposed architecture is simulated in a commercial platform : Vivado with Xilinx Artix-7 FPGA and academic platform VTR with 22nm, 45nm, 130nm FPGAs. The simulation results substantiate the implementation of voltage scaled TPU in FPGAs and also justifies its power efficiency.


title: Deciding Polynomial Termination Complexity for VASS Programs

abstract: We show that for every fixed $k\geq 3$, the problem whether the termination/counter complexity of a given demonic VASS is $\mathcal{O}(n^k)$, $\Omega(n^{k})$, and $\Theta(n^{k})$ is coNP-complete, NP-complete, and DP-complete, respectively. We also classify the complexity of these problems for $k\leq 2$. This shows that the polynomial-time algorithm designed for strongly connected demonic VASS in previous works cannot be extended to the general case. Then, we prove that the same problems for VASS games are PSPACE-complete. Again, we classify the complexity also for $k\leq 2$. Interestingly, tractable subclasses of demonic VASS and VASS games are obtained by bounding certain structural parameters, which opens the way to applications in program analysis despite the presented lower complexity bounds.


title: Sub-Planckian scale and limits for $f(R)$ models

abstract: We study the Universe evolution starting from the sub-Planckian scale to present times. The requirement for an exponential expansion of the space with the observed metric as a final stage leads to significant restrictions on the parameter values of a $f(R)$-function. An initial metric of the Universe is supposed to be maximally symmetric with the positive curvature.


title: A Carleman-Type Inequality in Elliptic Periodic Homogenization

abstract: In this paper, for a family of second-order elliptic equations with rapidly oscillating periodic coefficients, we are interested in a Carleman-type inequality for these solutions satisfying an additional growth condition in elliptic periodic homogenization, which implies a three-ball inequality without an error term at a macroscopic scale. Moreover, if we replace the additional growth condition by the doubling condition at a macroscopic scale, then the three-ball inequality without an error term holds at any scale. The proof relies on the convergence of $H^1$-norm for the solution and the compactness argument.


title: Cache Bypassing for Machine Learning Algorithms

abstract: Graphics Processing Units (GPUs) were once used solely for graphical computation tasks but with the increase in the use of machine learning applications, the use of GPUs to perform general-purpose computing has increased in the last few years. GPUs employ a massive amount of threads, that in turn achieve a high amount of parallelism, to perform tasks. Though GPUs have a high amount of computation power, they face the problem of cache contention due to the SIMT model that they use. A solution to this problem is called "cache bypassing". This paper presents a predictive model that analyzes the access patterns of various machine learning algorithms and determines whether certain data should be stored in the cache or not. It presents insights on how well each model performs on different datasets and also shows how minimizing the size of each model will affect its performance The performance of most of the models were found to be around 90% with KNN performing the best but not with the smallest size. We further increase the features by splitting the addresses into chunks of 4 bytes. We observe that this increased the performance of the neural network substantially and increased the accuracy to 99.9% with three neurons.


title: A Bayesian social platform for inclusive and evidence-based decision making

abstract: Against the backdrop of a social media reckoning, this paper seeks to demonstrate the potential of social tools to build virtuous behaviours online. We must assume that human behaviour is flawed, the truth can be elusive, and as communities we must commit to mechanisms to encourage virtuous social digital behaviours. Societies that use social platforms should be inclusive, responsive to evidence, limit punitive actions and allow productive discord and respectful disagreement. Social media success, we argue, is in the hypothesis. Documents are valuable to the degree that they are evidence in service of, or to challenge an idea for a purpose. We outline how a Bayesian social platform can facilitate virtuous behaviours to build evidence-based collective rationality. The chapter outlines the epistemic architecture of the platform's algorithms and user interface in conjunction with explicit community management to ensure psychological safety. The BetterBeliefs platform rewards users who demonstrate epistemically virtuous behaviours and exports evidence-based propositions for decision-making. A Bayesian social network can make virtuous ideas powerful.


title: MATCH: An MPI Fault Tolerance Benchmark Suite

abstract: MPI has been ubiquitously deployed in flagship HPC systems aiming to accelerate distributed scientific applications running on tens of hundreds of processes and compute nodes. Maintaining the correctness and integrity of MPI application execution is critical, especially for safety-critical scientific applications. Therefore, a collection of effective MPI fault tolerance techniques have been proposed to enable MPI application execution to efficiently resume from system failures. However, there is no structured way to study and compare different MPI fault tolerance designs, so to guide the selection and development of efficient MPI fault tolerance techniques for distinct scenarios. To solve this problem, we design, develop, and evaluate a benchmark suite called MATCH to characterize, research, and comprehensively compare different combinations and configurations of MPI fault tolerance designs. Our investigation derives useful findings: (1) Reinit recovery in general performs better than ULFM recovery; (2) Reinit recovery is independent of the scaling size and the input problem size, whereas ULFM recovery is not; (3) Using Reinit recovery with FTI checkpointing is a highly efficient fault tolerance design. MATCH code is available at https://github.com/kakulo/MPI- FT- Bench.


title: Universal Enveloping Algebras of Poisson Superalgebras

abstract: In this paper, we define and study the universal enveloping algebra of a Poisson superalgebra. In particular, a new PBW Theorem for Lie-Rinehart superalgebras is proved leading to a PBW Theorem for Poisson superalgebras, we show the universal enveloping algebra of a Poisson Hopf superalgebra (resp. Poisson-Ore extension) is a Hopf superalgebra (resp. iterated Ore extension), and we study the universal enveloping algebra for interesting classes of Poisson superalgebras such as Poisson symplectic superalgebras.


title: Reinit++: Evaluating the Performance of Global-Restart Recovery Methods For MPI Fault Tolerance

abstract: Scaling supercomputers comes with an increase in failure rates due to the increasing number of hardware components. In standard practice, applications are made resilient through checkpointing data and restarting execution after a failure occurs to resume from the latest check-point. However, re-deploying an application incurs overhead by tearing down and re-instating execution, and possibly limiting checkpointing retrieval from slow permanent storage. In this paper we present Reinit++, a new design and implementation of the Reinit approach for global-restart recovery, which avoids application re-deployment. We extensively evaluate Reinit++ contrasted with the leading MPI fault-tolerance approach of ULFM, implementing global-restart recovery, and the typical practice of restarting an application to derive new insight on performance. Experimentation with three different HPC proxy applications made resilient to withstand process and node failures shows that Reinit++ recovers much faster than restarting, up to 6x, or ULFM, up to 3x, and that it scales excellently as the number of MPI processes grows.


title: Adaptive Synchronisation of Pushdown Automata

abstract: We introduce the notion of adaptive synchronisation for pushdown automata, in which there is an external observer who has no knowledge about the current state of the pushdown automaton, but can observe the contents of the stack. The observer would then like to decide if it is possible to bring the automaton from any state into some predetermined state by giving inputs to it in an \emph{adaptive} manner, i.e., the next input letter to be given can depend on how the contents of the stack changed after the current input letter. We show that for non-deterministic pushdown automata, this problem is 2-EXPTIME-complete and for deterministic pushdown automata, we show EXPTIME-completeness. To prove the lower bounds, we first introduce (different variants of) subset-synchronisation and show that these problems are polynomial-time equivalent with the adaptive synchronisation problem. We then prove hardness results for the subset-synchronisation problems. For proving the upper bounds, we consider the problem of deciding if a given alternating pushdown system has an accepting run with at most $k$ leaves and we provide an $n^{O(k^2)}$ time algorithm for this problem.


title: Expected utility theory on mixture spaces without the completeness axiom

abstract: A mixture preorder is a preorder on a mixture space (such as a convex set) that is compatible with the mixing operation. In decision theoretic terms, it satisfies the central expected utility axiom of strong independence. We consider when a mixture preorder has a multi-representation that consists of real-valued, mixture-preserving functions. If it does, it must satisfy the mixture continuity axiom of Herstein and Milnor (1953). Mixture continuity is sufficient for a mixture-preserving multi-representation when the dimension of the mixture space is countable, but not when it is uncountable. Our strongest positive result is that mixture continuity is sufficient in conjunction with a novel axiom we call countable domination, which constrains the order complexity of the mixture preorder in terms of its Archimedean structure. We also consider what happens when the mixture space is given its natural weak topology. Continuity (having closed upper and lower sets) and closedness (having a closed graph) are stronger than mixture continuity. We show that continuity is necessary but not sufficient for a mixture preorder to have a mixture-preserving multi-representation. Closedness is also necessary; we leave it as an open question whether it is sufficient. We end with results concerning the existence of mixture-preserving multi-representations that consist entirely of strictly increasing functions, and a uniqueness result.


title: MOARD: Modeling Application Resilience to Transient Faults on Data Objects

abstract: Understanding application resilience (or error tolerance) in the presence of hardware transient faults on data objects is critical to ensure computing integrity and enable efficient application-level fault tolerance mechanisms. However, we lack a method and a tool to quantify application resilience to transient faults on data objects. The traditional method, random fault injection, cannot help, because of losing data semantics and insufficient information on how and where errors are tolerated. In this paper, we introduce a method and a tool (called MOARD) to model and quantify application resilience to transient faults on data objects. Our method is based on systematically quantifying error masking events caused by application-inherent semantics and program constructs. We use MOARD to study how and why errors in data objects can be tolerated by the application. We demonstrate tangible benefits of using MOARD to direct a fault tolerance mechanism to protect data objects.


title: Segmenting two-dimensional structures with strided tensor networks

abstract: Tensor networks provide an efficient approximation of operations involving high dimensional tensors and have been extensively used in modelling quantum many-body systems. More recently, supervised learning has been attempted with tensor networks, primarily focused on tasks such as image classification. In this work, we propose a novel formulation of tensor networks for supervised image segmentation which allows them to operate on high resolution medical images. We use the matrix product state (MPS) tensor network on non-overlapping patches of a given input image to predict the segmentation mask by learning a pixel-wise linear classification rule in a high dimensional space. The proposed model is end-to-end trainable using backpropagation. It is implemented as a Strided Tensor Network to reduce the parameter complexity. The performance of the proposed method is evaluated on two public medical imaging datasets and compared to relevant baselines. The evaluation shows that the strided tensor network yields competitive performance compared to CNN-based models while using fewer resources. Additionally, based on the experiments we discuss the feasibility of using fully linear models for segmentation tasks.


title: Lower Bounds on Dynamic Programming for Maximum Weight Independent Set

abstract: We prove lower bounds on pure dynamic programming algorithms for maximum weight independent set (MWIS). We model such algorithms as tropical circuits, i.e., circuits that compute with $\max$ and $+$ operations. For a graph $G$, an MWIS-circuit of $G$ is a tropical circuit whose inputs correspond to vertices of $G$ and which computes the weight of a maximum weight independent set of $G$ for any assignment of weights to the inputs. We show that if $G$ has treewidth $w$ and maximum degree $d$, then any MWIS-circuit of $G$ has $2^{\Omega(w/d)}$ gates and that if $G$ is planar, or more generally $H$-minor-free for any fixed graph $H$, then any MWIS-circuit of $G$ has $2^{\Omega(w)}$ gates. An MWIS-formula is an MWIS-circuit where each gate has fan-out at most one. We show that if $G$ has treedepth $t$ and maximum degree $d$, then any MWIS-formula of $G$ has $2^{\Omega(t/d)}$ gates. It follows that treewidth characterizes optimal MWIS-circuits up to polynomials for all bounded degree graphs and $H$-minor-free graphs, and treedepth characterizes optimal MWIS-formulas up to polynomials for all bounded degree graphs.


title: Testing one-loop galaxy bias: joint analysis of power spectrum and bispectrum

abstract: We present a joint likelihood analysis of the real-space power spectrum and bispectrum measured from a variety of halo and galaxy mock catalogs. A novel aspect of this work is the inclusion of nonlinear triangle configurations for the bispectrum, made possible by a complete next-to-leading order ("one-loop") description of galaxy bias, as is already common practice for the power spectrum. Based on the goodness-of-fit and the unbiasedness of the parameter posteriors, we accomplish a stringent validation of this model compared to the leading order ("tree-level") bispectrum. Using measurement uncertainties that correspond to an effective survey volume of $6\,(\mathrm{Gpc}/h)^3$, we determine that the one-loop corrections roughly double the applicable range of scales, from $\sim 0.17\,h/\mathrm{Mpc}$ (tree-level) to $\sim 0.3\,h/\mathrm{Mpc}$. This converts into a $1.5 - 2$x improvement on constraints of the linear bias parameter at fixed cosmology, and a $1.5 - 2.4$x shrinkage of uncertainties on the amplitude of fluctuations $A_s$, which clearly demonstrates the benefit of extracting information from nonlinear scales despite having to marginalize over a larger number of bias parameters. Besides, our precise measurements of galaxy bias parameters up to fourth order allow for thorough comparisons to coevolution relations, showing excellent agreement for all contributions generated by the nonlocal action of gravity. Using these relations in the likelihood analysis does not compromise the model validity and is crucial for obtaining the quoted improvements on $A_s$. We also analyzed the impact of higher-derivative and scale-dependent stochastic terms, finding that for a subset of our tracers the former can boost the performance of the tree-level model with constraints on $A_s$ that are only slightly degraded compared to the one-loop model.


title: Proposal of a Geiger-type Single-Phase Liquid Xenon Time Projection Chamber as Potential Detector Technique for Dark Matter Direct Search

abstract: Dual phase time projection chamber using liquid xenon as target material is one of most successful detectors for dark matter direct search, and has improved the sensitivities of searching for weakly interacting massive particles by almost five orders of magnitudes in past several decades. However, it still remains a great challenge for dual phase liquid xenon time projection chamber to be used as the detector in next-generation dark matter search experiments ($\sim$ 50 tonne sensitive mass), in terms of reaching sufficiently high field strength for drifting electrons, and sufficiently low background rate. Here we propose a single phase liquid xenon time projection chamber with detector geometry similar to a Geiger counter, as a potential detector technique for future dark matter search, which trades off field uniformity for less isolated charge signals. Preliminary field simulation and signal reconstruction study have shown that such single phase time projection chamber is technically feasible and can have sufficiently good signal reconstruction performance for dark matter direct search.


title: Traveling Repairperson, Unrelated Machines, and Other Stories About Average Completion Times

abstract: We present a unified framework for minimizing average completion time for many seemingly disparate online scheduling problems, such as the traveling repairperson problems (TRP), dial-a-ride problems (DARP), and scheduling on unrelated machines. We construct a simple algorithm that handles all these scheduling problems, by computing and later executing auxiliary schedules, each optimizing a certain function on already seen prefix of the input. The optimized function resembles a prize-collecting variant of the original scheduling problem. By a careful analysis of the interplay between these auxiliary schedules, and later employing the resulting inequalities in a factor-revealing linear program, we obtain improved bounds on the competitive ratio for all these scheduling problems. In particular, our techniques yield a $4$-competitive deterministic algorithm for all previously studied variants of online TRP and DARP, and a $3$-competitive one for the scheduling on unrelated machines (also with precedence constraints). This improves over currently best ratios for these problems that are $5.14$ and $4$, respectively. We also show how to use randomization to further reduce the competitive ratios to $1+2/\ln 3 < 2.821$ and $1+1/\ln 2 < 2.443$, respectively. The randomized bounds also substantially improve the current state of the art. Our upper bound for DARP contradicts the lower bound of 3 given by Fink et al. (Inf. Process. Lett. 2009); we pinpoint a flaw in their proof.


title: Mixed Nash Equilibria in the Adversarial Examples Game

abstract: This paper tackles the problem of adversarial examples from a game theoretic point of view. We study the open question of the existence of mixed Nash equilibria in the zero-sum game formed by the attacker and the classifier. While previous works usually allow only one player to use randomized strategies, we show the necessity of considering randomization for both the classifier and the attacker. We demonstrate that this game has no duality gap, meaning that it always admits approximate Nash equilibria. We also provide the first optimization algorithms to learn a mixture of classifiers that approximately realizes the value of this game, \emph{i.e.} procedures to build an optimally robust randomized classifier.


title: Charge-transfer effect on local lattice distortion in a HfNbTiZr high entropy alloy

abstract: It is often assumed that atoms are hard spheres in the estimation of local lattice distortion (LLD) in high-entropy alloys (HEAs). However, our study demonstrates that the hard sphere model misses the key effect, charge transfer among atoms with different electronegativities, in the understanding of the stabilization of severely-distorted HEAs. Through the characterization and simulations of the local structure of the HfNbTiZr HEA, we found that the charge transfer effect competes with LLD to significantly reduce the average atomic-size mismatch. Our finding may form the basis for the design of severely distorted, but stable HEAs.


title: Atomic-scale investigation of the irradiation-resistant effect of symmetric tilt grain boundaries of Fe-Ni-Cr alloy

abstract: In this paper, the Fe-20Ni-25Cr alloy that is used for fuel cladding or pressure vessels with various grain boundaries (GBs) was investigated by employing molecular dynamics simulations. The bi-crystals comprised of {\Sigma}3(111), {\Sigma}3(112), {\Sigma}9(114), {\Sigma}11(113), {\Sigma}19(116), and {\Sigma}17(223) types GBs were considered to systematically examine the interplay between irradiation defects, irradiation microstructure evolution under stress, and irradiation mechanical properties with irradiation intensity, coincidence site lattice parameter, tilt angle, and GB thickness. It is found that irradiated vacancies and interstitials are annihilated by competitive GB absorption and recombination. Bias absorption of interstitials is observed for most bi-crystals except {\Sigma}3(111) and {\Sigma}11(113) at 15 keV incident energy, and results in abundant residual vacancies clusters in grain interior. In addition, different GBs exhibit quite diverse irradiation defect sink ability, and the number of residual vacancies is inversely related to the GB thickness, where {\Sigma}3(111) and {\Sigma}11(113) GBs with narrow GB thickness are weak in defect absorption and the others are strong. Furthermore, uniaxial tensile simulations perpendicular to the GB reveal that all of the mechanical performance of bi-crystals deteriorates after irradiation, which originates from dislocation propagation facilitated by irradiation defect clusters. In particular, regardless of whether the irradiation is applied, the maximum tensile strain, toughness, and Youngs modulus are monotonically correlated with GB tilt angle, while the ultimate tensile strength is stable for larger GB CSL parameter. Finally, on the basis of the evolution of the irradiation defects, microstructures, and mechanical performances, we proposed guidelines of rational design of irradiation-resistant Fe-Ni-Cr alloy.


title: Adsorption from Binary Liquid Solutions into Mesoporous Silica: A Capacitance Isotherm on 5CB Nematogen/Methanol Mixtures

abstract: We present a capacitance method to measure the adsorption of rod-like nematogens (4-cyano-4'-pentylbiphenyl, 5CB) from a binary liquid 5CB/methanol solution into a monolithic mesoporous silica membrane traversed by tubular pores with radii of 5.4 nm at room temperature. The resulting adsorption isotherm is reminiscent of classical type II isotherms of gas adsorption in mesoporous media. Its analysis by a model for adsorption from binary solutions, as inspired by the Brunauer-Emmett-Teller (BET) approach for gas adsorption on solid surfaces, indicates that the first adsorbed monolayer consists of flat-lying (homogeneously anchored) 5CB molecules at the pore walls. An underestimation of the adsorbed 5CB amount by the adsorption model compared to the measured isotherm for high 5CB concentrations hints towards a capillary filling transition in the mesopores similar to capillary condensation, i.e. film-growth at the pore walls is replaced by filling of the pore centers by the liquid crystal. The experimental method and thermodynamic analysis presented here can easily be adapted to other binary liquid solutions and thus allows a controlled filling of mesoporous materials with non-volatile molecular systems.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.chem-ph


title: Why Security Defects Go Unnoticed during Code Reviews? A Case-Control Study of the Chromium OS Project

abstract: Peer code review has been found to be effective in identifying security vulnerabilities. However, despite practicing mandatory code reviews, many Open Source Software (OSS) projects still encounter a large number of post-release security vulnerabilities, as some security defects escape those. Therefore, a project manager may wonder if there was any weakness or inconsistency during a code review that missed a security vulnerability. Answers to this question may help a manager pinpointing areas of concern and taking measures to improve the effectiveness of his/her project's code reviews in identifying security defects. Therefore, this study aims to identify the factors that differentiate code reviews that successfully identified security defects from those that missed such defects. With this goal, we conduct a case-control study of Chromium OS project. Using multi-stage semi-automated approaches, we build a dataset of 516 code reviews that successfully identified security defects and 374 code reviews where security defects escaped. The results of our empirical study suggest that the are significant differences between the categories of security defects that are identified and that are missed during code reviews. A logistic regression model fitted on our dataset achieved an AUC score of 0.91 and has identified nine code review attributes that influence identifications of security defects. While time to complete a review, the number of mutual reviews between two developers, and if the review is for a bug fix have positive impacts on vulnerability identification, opposite effects are observed from the number of directories under review, the number of total reviews by a developer, and the total number of prior commits for the file under review.


title: Reconfigurable Intelligent Surfaces in 6G: Reflective, Transmissive, or Both?

abstract: Reconfigurable intelligent surfaces (RISs) have attracted wide interest from industry and academia since they can shape the wireless environment into a desirable form with a low cost. In practice, RISs have three types of implementations: 1) reflective, where signals can be reflected to the users on the same side of the base station (BS), 2) transmissive, where signals can penetrate the RIS to serve the users on the opposite side of the BS, and 3) hybrid, where the RISs have a dual function of reflection and transmission. However, existing works focus on the reflective type RISs, and the other two types of RISs are not well investigated. In this letter, a downlink multi-user RIS-assisted communication network is considered, where the RIS can be one of these types. We derive the system sum-rate, and discuss which type can yield the best performance under a specific user distribution. Numerical results verify our analysis.


title: Modelling Cooperation in Network Games with Spatio-Temporal Complexity

abstract: The real world is awash with multi-agent problems that require collective action by self-interested agents, from the routing of packets across a computer network to the management of irrigation systems. Such systems have local incentives for individuals, whose behavior has an impact on the global outcome for the group. Given appropriate mechanisms describing agent interaction, groups may achieve socially beneficial outcomes, even in the face of short-term selfish incentives. In many cases, collective action problems possess an underlying graph structure, whose topology crucially determines the relationship between local decisions and emergent global effects. Such scenarios have received great attention through the lens of network games. However, this abstraction typically collapses important dimensions, such as geometry and time, relevant to the design of mechanisms promoting cooperation. In parallel work, multi-agent deep reinforcement learning has shown great promise in modelling the emergence of self-organized cooperation in complex gridworld domains. Here we apply this paradigm in graph-structured collective action problems. Using multi-agent deep reinforcement learning, we simulate an agent society for a variety of plausible mechanisms, finding clear transitions between different equilibria over time. We define analytic tools inspired by related literatures to measure the social outcomes, and use these to draw conclusions about the efficacy of different environmental interventions. Our methods have implications for mechanism design in both human and artificial agent systems.


title: Universal gauge-invariant cellular automata

abstract: Gauge symmetries play a fundamental role in Physics, as they provide a mathematical justification for the fundamental forces. Usually, one starts from a non-interactive theory which governs `matter', and features a global symmetry. One then extends the theory so as make the global symmetry into a local one (a.k.a gauge-invariance). We formalise a discrete counterpart of this process, known as gauge extension, within the Computer Science framework of Cellular Automata (CA). We prove that the CA which admit a relative gauge extension are exactly the globally symmetric ones (a.k.a the colour-blind). We prove that any CA admits a non-relative gauge extension. Both constructions yield universal gauge-invariant CA, but the latter allows for a first example where the gauge extension mediates interactions within the initial CA.


title: Irradiance Variations of the Sun and Sun-Like Stars -- Overview of Topical Collection

abstract: This topical collection summarizes recent advances in observing and modeling irradiance variations of the Sun and Sun-like stars, emphasizing the links between surface magnetic fields and the resulting solar and stellar variability. In particular, the articles composing this collection summarize recent progress in i) solar-irradiance measurements; ii) modeling of solar- and stellar-irradiance variability; and iii) understanding of the effects of such variability on Earth's climate and exoplanet environments. This topical-collection overview article gives background and more details on these aspects of variability.


title: Evidence for post-nebula volatilisation in an exo-planetary body

abstract: The loss and gain of volatile elements during planet formation is key for setting their subsequent climate, geodynamics, and habitability. Two broad regimes of volatile element transport in and out of planetary building blocks have been identified: that occurring when the nebula is still present, and that occurring after it has dissipated. Evidence for volatile element loss in planetary bodies after the dissipation of the solar nebula is found in the high Mn to Na abundance ratio of Mars, the Moon, and many of the solar system's minor bodies. This volatile loss is expected to occur when the bodies are heated by planetary collisions and short-lived radionuclides, and enter a global magma ocean stage early in their history. The bulk composition of exo-planetary bodies can be determined by observing white dwarfs which have accreted planetary material. The abundances of Na, Mn, and Mg have been measured for the accreting material in four polluted white dwarf systems. Whilst the Mn/Na abundances of three white dwarf systems are consistent with the fractionations expected during nebula condensation, the high Mn/Na abundance ratio of GD362 means that it is not (>3 sigma). We find that heating of the planetary system orbiting GD362 during the star's giant branch evolution is insufficient to produce such a high Mn/Na. We, therefore, propose that volatile loss occurred in a manner analogous to that of the solar system bodies, either due to impacts shortly after their formation or from heating by short-lived radionuclides. We present potential evidence for a magma ocean stage on the exo-planetary body which currently pollutes the atmosphere of GD362.


title: Manifolds of quasi-constant SOAP and ACSF fingerprints and the resulting failure to machine learn four-body interactions

abstract: Atomic fingerprints are commonly used for the characterization of local environments of atoms in machine learning and other contexts. In this work, we study the behavior of two widely used fingerprints, namely the smooth overlap of atomic positions (SOAP) and the atom-centered symmetry functions (ACSF), under finite changes of atomic positions and demonstrate the existence of manifolds of quasi-constant fingerprints. These manifolds are found numerically by following eigenvectors of the sensitivity matrix with quasi-zero eigenvalues. The existence of such manifolds in ACSF and SOAP causes a failure to machine learn four-body interactions such as torsional energies that are part of standard force fields. No such manifolds can be found for the Overlap Matrix (OM) fingerprint due to its intrinsic many-body character.


title: Beamformer Design with Smooth Constraint-Free Approximation in Downlink Cloud Radio Access Networks

abstract: It is known that data rates in standard cellular networks are limited due to inter-cell interference. An effective solution of this problem is to use the multi-cell cooperation idea. In Cloud Radio Access Network, which is a candidate solution in 5G and beyond, cooperation is applied by means of central processors (CPs) connected to simple remote radio heads with finite capacity fronthaul links. In this study, we consider a downlink scenario and aim to minimize total power spent by designing beamformers. We consider the case where perfect channel state information is not available in the CP. The original problem includes discontinuous terms with many constraints. We propose a novel method which transforms the problem into a smooth constraint-free form and a solution is found by the gradient descent approach. As a comparison, we consider the optimal method solving an extensive number of convex sub-problems, a known heuristic search algorithm and some sparse solution techniques. Heuristic search methods find a solution by solving a subset of all possible convex sub-problems. Sparse techniques apply some norm approximation ($\ell_0/\ell_1, \ell_0/\ell_2$) or convex approximation to make the objective function more tractable. We also derive a theoretical performance bound in order to observe how far the proposed method performs off the optimal method when running the optimal method is prohibitive due to computational complexity. Detailed simulations show that the performance of the proposed method is close to the optimal one, and it outperforms other methods analyzed.


title: On the Beam Filling Factors of Molecular Clouds

abstract: Imaging surveys of CO and other molecular transition lines are fundamental to measuring the large-scale distribution of molecular gas in the Milky Way. Due to finite angular resolution and sensitivity, however, observational effects are inevitable in the surveys, but few studies are available on the extent of uncertainties involved. The purpose of this work is to investigate the dependence of observations on angular resolution (beam sizes), sensitivity (noise levels), distances, and molecular tracers. To this end, we use high-quality CO images of a large-scale region (25.8 <l< 49.7 deg and |b|<5 deg) mapped by the Milky Way Imaging Scroll Painting (MWISP) survey as a benchmark to simulate observations with larger beam sizes and higher noise levels, deriving corresponding beam filling and sensitivity clip factors. The sensitivity clip factor is defined to be the completeness of observed flux. Taking the entire image as a whole object, we found that 12CO has the largest beam filling and sensitivity clip factors and C18O has the lowest. For molecular cloud samples extracted from images, the beam filling factor can be described by a characteristic size, $l_{1/4}$=0.762 (in beam size), at which the beam filling factor is approximately 1/4. The sensitivity clip factor shows a similar relationship but is more correlated with the mean voxel signal-to-noise ratio of molecular clouds. This result may serve as a practical reference on beam filling and sensitivity clip factors in further analyses of the MWISP data and other observations.


title: Representations of cyclotomic oriented Brauer categories

abstract: Let $A$ be the locally unital algebra associated to a cyclotomic oriented Brauer category over an arbitrary algebraically closed field $\Bbbk$ of characteristic $p\ge 0$. The category of locally finite dimensional representations of $A $ is used to give the tensor product categorification (in the general sense of Losev and Webster) for an integrable lowest weight with an integrable highest weight representation of the same level for the Lie algebra $\mathfrak g$, where $\mathfrak g$ is a direct sum of copies of $\mathfrak {sl}_\infty$ (resp., $ \hat{\mathfrak {sl}}_p$ ) if $p=0$ (resp., $p>0$). Such a result was expected in [3] when $\Bbbk=\mathbb C$ and proved previously by Brundan in [2] when the level is $1$.


title: Asset Management in Machine Learning: A Survey

abstract: Machine Learning (ML) techniques are becoming essential components of many software systems today, causing an increasing need to adapt traditional software engineering practices and tools to the development of ML-based software systems. This need is especially pronounced due to the challenges associated with the large-scale development and deployment of ML systems. Among the most commonly reported challenges during the development, production, and operation of ML-based systems are experiment management, dependency management, monitoring, and logging of ML assets. In recent years, we have seen several efforts to address these challenges as witnessed by an increasing number of tools for tracking and managing ML experiments and their assets. To facilitate research and practice on engineering intelligent systems, it is essential to understand the nature of the current tool support for managing ML assets. What kind of support is provided? What asset types are tracked? What operations are offered to users for managing those assets? We discuss and position ML asset management as an important discipline that provides methods and tools for ML assets as structures and the ML development activities as their operations. We present a feature-based survey of 17 tools with ML asset management support identified in a systematic search. We overview these tools' features for managing the different types of assets used for engineering ML-based systems and performing experiments. We found that most of the asset management support depends on traditional version control systems, while only a few tools support an asset granularity level that differentiates between important ML assets, such as datasets and models.


title: Parameter Dependence and Bell nonlocality

abstract: Bell's theorem asserts that no model that satisfies all of the plausible physical assumptions of outcome independence (OI), measurement independence (MI) and Parameter Independence (PI) can reproduce quantum mechanics. Here I find the optimum model that saturates CHSH inequality for the case that outcome independence and measurement independence hold but parameter dependence is allowed. I find the bound as a function of a measure of parameter dependence and show that the model proposed by [New Journal of Physics,12(8):083051] is optimal for one-way parameter dependence. The symbolic optimizations to find the saturating models are performed using the open source software Analytical Optimizer v1.0.


title: Polarization inhibits the phase transition of Axelrod's model

abstract: We study the effect of polarization in Axelrod's model of cultural dissemination. This is done through the introduction of a cultural feature that takes only two values, while the other features can present a larger number of possible traits. Our numerical results and mean-field approximations show that polarization reduces the characteristic phase transition of the original model to a finite-size effect, since at the thermodynamic limit only the ordered phase is present. Furthermore, for finite system sizes, the stationary state depends on the percolation threshold of the network where the model is implemented: a polarized phase is obtained for percolation thresholds below 1/2, a fragmented multicultural one otherwise.


title: A Theoretical Performance Bound for Joint Beamformer Design of Wireless Fronthaul and Access Links in Downlink C-RAN

abstract: It is known that data rates in standard cellular networks are limited due to inter-cell interference. An effective solution of this problem is to use the multi-cell cooperation idea. In Cloud Radio Access Network (C-RAN), which is a candidate solution in 5G and future communication networks, cooperation is applied by means of central processors (CPs) connected to simple remote radio heads with finite capacity fronthaul links. In this study, we consider a downlink C-RAN with a wireless fronthaul and aim to minimize total power spent by jointly designing beamformers for fronthaul and access links. We consider the case where perfect channel state information is not available in the CP. We first derive a novel theoretical performance bound for the problem defined. Then we propose four algorithms with different complexities to show the tightness of the bound. The first two algorithms apply successive convex optimizations with semi-definite relaxation idea where other two are adapted from well-known beamforming design methods. The detailed simulations under realistic channel conditions show that as the complexity of the algorithm increases, the corresponding performance becomes closer to the bound.


title: Application of adaptive ANOVA and reduced basis methods to the stochastic Stokes-Brinkman problem

abstract: The Stokes-Brinkman equations model fluid flow in highly heterogeneous porous media. In this paper, we consider the numerical solution of the Stokes-Brinkman equations with stochastic permeabilities, where the permeabilities in subdomains are assumed to be independent and uniformly distributed within a known interval. We employ a truncated anchored ANOVA decomposition alongside stochastic collocation to estimate the moments of the velocity and pressure solutions. Through an adaptive procedure selecting only the most important ANOVA directions, we reduce the number of collocation points needed for accurate estimation of the statistical moments. However, for even modest stochastic dimensions, the number of collocation points remains too large to perform high-fidelity solves at each point. We use reduced basis methods to alleviate the computational burden by approximating the expensive high-fidelity solves with inexpensive approximate solutions on a low-dimensional space. We furthermore develop and analyze rigorous a posteriori error estimates for the reduced basis approximation. We apply these methods to 2D problems considering both isotropic and anisotropic permeabilities.


title: Online Apprenticeship Learning

abstract: In Apprenticeship Learning (AL), we are given a Markov Decision Process (MDP) without access to the cost function. Instead, we observe trajectories sampled by an expert that acts according to some policy. The goal is to find a policy that matches the expert's performance on some predefined set of cost functions. We introduce an online variant of AL (Online Apprenticeship Learning; OAL), where the agent is expected to perform comparably to the expert while interacting with the environment. We show that the OAL problem can be effectively solved by combining two mirror descent based no-regret algorithms: one for policy optimization and another for learning the worst case cost. By employing optimistic exploration, we derive a convergent algorithm with $O(\sqrt{K})$ regret, where $K$ is the number of interactions with the MDP, and an additional linear error term that depends on the amount of expert trajectories available. Importantly, our algorithm avoids the need to solve an MDP at each iteration, making it more practical compared to prior AL methods. Finally, we implement a deep variant of our algorithm which shares some similarities to GAIL \cite{ho2016generative}, but where the discriminator is replaced with the costs learned by the OAL problem. Our simulations suggest that OAL performs well in high dimensional control problems.


title: A New family of methods for solving delay differential equations

abstract: In the present paper, we introduce a new family of $ \theta-$methods for solving delay differential equations. New methods are developed using a combination of decomposition technique viz. new iterative method proposed by Daftardar Gejji and Jafari and existing implicit numerical methods. Using Butcher tableau, we observed that new methods are non Runge-Kutta methods. Further, convergence of new methods is investigated along with its stability analysis. Applications to variety of problems indicates that the proposed family of methods is more efficient than existing methods.


title: On long-time behavior of solutions of the Zakharov-Rubenchik/Benney-Roskes system

abstract: We study decay properties for solutions to the initial value problem associated with the one-dimensional Zakharov-Rubenchik/Benney-Roskes system. We prove time-integrability in growing compact intervals of size $t^{r}$, $r<2/3$, centered on some characteristic curves coming from the underlying transport equations associated with the ZR/BR system. Additionally, we prove decay to zero of the local energy-norm in so-called far-field regions. Our results are independent of the size of the initial data and do not require any parity condition.


title: A remark on singular cohomology and sheaf cohomology

abstract: We prove a comparison isomorphism between singular cohomology and sheaf cohomology.


title: Strong Call-by-Value is Reasonable, Implosively

abstract: Whether the number of beta-steps in the lambda-calculus can be taken as a reasonable time cost model (that is, polynomially related to the one of Turing machines) is a delicate problem, which depends on the notion of evaluation strategy. Since the nineties, it is known that weak (that is, out of abstractions) call-by-value evaluation is a reasonable strategy while L\'evy's optimal parallel strategy, which is strong (that is, it reduces everywhere), is not. The strong case turned out to be subtler than the weak one. In 2014 Accattoli and Dal Lago have shown that strong call-by-name is reasonable, by introducing a new form of useful sharing and, later, an abstract machine with an overhead quadratic in the number of beta-steps. Here we show that also strong call-by-value evaluation is reasonable for time, via a new abstract machine realizing useful sharing and having a linear overhead. Moreover, our machine uses a new mix of sharing techniques, adding on top of useful sharing a form of implosive sharing, which on some terms brings an exponential speed-up. We give examples of families that the machine executes in time logarithmic in the number of beta-steps.


title: Hybrid Artificial Intelligence Methods for Predicting Air Demand in Dam Bottom Outlet

abstract: In large infrastructures such as dams, which have a relatively high economic value, ensuring the proper operation of the associated hydraulic facilities in different operating conditions is of utmost importance. To ensure the correct and successful operation of the dam's hydraulic equipment and prevent possible damages, including gates and downstream tunnel, to build laboratory models and perform some tests are essential (the advancement of the smart sensors based on artificial intelligence is essential). One of the causes of damage to dam bottom outlets is cavitation in downstream and between the gates, which can impact on dam facilities, and air aeration can be a solution to improve it. In the present study, six dams in different provinces in Iran has been chosen to evaluate the air entrainment in the downstream tunnel experimentally. Three artificial neural networks (ANN) based machine learning (ML) algorithms are used to model and predict the air aeration in the bottom outlet. The proposed models are trained with genetic algorithms (GA), particle swarm optimization (PSO), i.e., ANN-GA, ANN-PSO, and ANFIS-PSO. Two hydrodynamic variables, namely volume rate and opening percentage of the gate, are used as inputs into all bottom outlet models. The results showed that the most optimal model is ANFIS-PSO to predict the dependent value compared with ANN-GA and ANN-PSO. The importance of the volume rate and opening percentage of the dams' gate parameters is more effective for suitable air aeration.