title: Assessing the Impact of Execution Environment on Observation-Based Slicing

abstract: Program slicing reduces a program to a smaller version that retains a chosen computation, referred to as a slicing criterion. One recent multi-lingual slicing approach, observation-based slicing (ORBS), speculatively deletes parts of the program and then executes the code. If the behavior of the slicing criteria is unchanged, the speculative deletion is made permanent. While this makes ORBS language agnostic, it can lead to the production of some non-intuitive slices. One particular challenge is when the execution environment plays a role. For example, ORBS will delete the line "a = 0" if the memory location assigned to a contains zero before executing the statement, since deletion will not affect the value of a and thus the slicing criterion. Consequently, slices can differ between execution environments due to factors such as initialization and call stack reuse. The technique considered, nVORBS, attempts to ameliorate this problem by validating a candidate slice in n different execution environments. We conduct an empirical study to collect initial insights into how often the execution environment leads to slice differences. Specifically, we compare and contrast the slices produced by seven different instantiations of nVORBS. Looking forward, the technique can be seen as a variation on metamorphic testing, and thus suggests how ideas from metamorphic testing might be used to improve dynamic program analysis.


title: Continuous-time balanced truncation for time-periodic fluid flows using frequential Gramians

abstract: Reduced-order models for flows that exhibit time-periodic behavior are critical for several tasks, including active control and optimization. One well-known procedure to obtain the desired reduced-order model in the proximity of a periodic solution of the governing equations is continuous-time balanced truncation. Within this framework, the periodic reachability and observability Gramians are usually estimated numerically via quadrature using the forward and adjoint post-transient response to impulses. However, this procedure can be computationally expensive, especially in the presence of slowly-decaying transients. Moreover, it can only be performed if the periodic orbit is stable in the sense of Floquet. In order to address these issues, we use the frequency-domain representation of the Gramians, which we henceforth refer to as frequential Gramians. First, these frequential Gramians are well-defined for both stable and unstable dynamics. In particular, we show that when the underlying system is unstable, these Gramians satisfy a pair of allied differential Lyapunov equations. Second, they can be estimated numerically by solving algebraic systems of equations that lend themselves to heavy computational parallelism and that deliver the desired post-transient response without having to follow physical transients. We demonstrate the method on a periodically-forced axisymmetric jet at Reynolds numbers Re=1250 and Re=1500. At the lower Reynolds number, the flow strongly amplifies subharmonic perturbations and exhibits vortex pairing about a Floquet-stable T-periodic solution. At the higher Reynolds number, the underlying T-periodic orbit is unstable and the flow naturally settles onto a 2T-periodic limit cycle characterized by pairing vortices. At both Reynolds numbers, we use a balanced reduced-order model to design a feedback controller and a state estimator to suppress vortex pairing.


title: AutoQML: Automatic Generation and Training of Robust Quantum-Inspired Classifiers by Using Genetic Algorithms on Grayscale Images

abstract: We propose a new hybrid system for automatically generating and training quantum-inspired classifiers on grayscale images by using multiobjective genetic algorithms. We define a dynamic fitness function to obtain the smallest possible circuit and highest accuracy on unseen data, ensuring that the proposed technique is generalizable and robust. We minimize the complexity of the generated circuits in terms of the number of entanglement gates by penalizing their appearance. We reduce the size of the images with two dimensionality reduction approaches: principal component analysis (PCA), which is encoded in the individual for optimization purpose, and a small convolutional autoencoder (CAE). These two methods are compared with one another and with a classical nonlinear approach to understand their behaviors and to ensure that the classification ability is due to the quantum circuit and not the preprocessing technique used for dimensionality reduction.


title: On the corank of the fine Selmer group of an elliptic curve over a $\mathbb{Z}_p$-extension

abstract: Let $p$ be an odd prime and $F_\infty$ be a $\mathbb{Z}_p$-extension of a number field $F$. Given an elliptic curve $E$ over $F$, we study the structure of the fine Selmer group over $F_\infty$. It is shown that under certain conditions, the fine Selmer group is a cofinitely generated module over $\mathbb{Z}_p$ and furthermore, we obtain an upper bound for its corank (i.e., the $\lambda$-invariant), in terms of various local and global invariants.


title: Influence of Columnar Defects on Magnetic Relaxation of Microwave Nonlinearity in Superconducting YBCO Resonator Devices

abstract: Intermodulation distortion (IMD) of microwave signals incident upon a superconducting YBa2Cu3O7 thin film sample on a LaAlO3 substrate is shown to relax as the sample magnetization also relaxes, revealing the signature of fluxon decay in the microwave distortion. The sample contained a microchannel of columnar defects that was introduced using heavy ion beam irradiation. After exposure to and then removal of a low strength static magnetic field, IMD relaxed due to thermal activation of fluxons over the surface barrier. This process influenced second and third order IMD differently, visible in the differing functional form of the IMD in time and the temperature dependence of the relaxation function. The presence of columnar defects in the test sample suppressed thermal activation by pinning of fluxons, notably with complete suppression of relaxation in third order IMD at low temperatures. Higher order IMD was found to relax with the same functional form as the second and third order IMD of the same parity.


title: DP-PSI: Private and Secure Set Intersection

abstract: One way to classify private set intersection (PSI) for secure 2-party computation is whether the intersection is (a) revealed to both parties or (b) hidden from both parties while only the computing function of the matched payload is exposed. Both aim to provide cryptographic security while avoiding exposing the unmatched elements of the other. They may, however, be insufficient to achieve security and privacy in one practical scenario: when the intersection is required and the information leaked through the function's output must be considered for legal, ethical, and competitive reasons. Two parties, such as the advertiser and the ads supplier, hold sets of users for PSI computation, for example, to reveal common users to the ads supplier in joint marketing applications. In addition to the security guarantees required by standard PSIs to secure unmatched elements, neither party is allowed to "single out" whether an element/user belongs to the other party or not, even though common users are required for joint advertising. This is a fascinating problem for which none of the PSI techniques have provided a solution. In light of this shortcoming, we compose differential privacy (DP) and S2PC to provide the best of both worlds and propose differentially-private PSI (DP-PSI), a new privacy model that shares PSI's strong security protection while adhering to the GDPR's recent formalization of the notion of excluding "signaling out" attacks by each party except with very low probability.


title: FFCNN: Fast FPGA based Acceleration for Convolution neural network inference

abstract: We present a new efficient OpenCL-based Accelerator for large scale Convolutional Neural Networks called Fast Inference on FPGAs for Convolution Neural Network (FFCNN). FFCNN is based on a deeply pipelined OpenCL kernels architecture. As pointed out before, high-level synthesis tools such as the OpenCL framework can easily port codes originally designed for CPUs and GPUs to FPGAs, but it is still difficult to make OpenCL codes run efficiently on FPGAs. This work aims to propose an efficient FPGA implementation of OpenCL High-Performance Computing Applications. To do so, a Data reuse and task mapping techniques are also presented to improve design efficiency. In addition, the following motivations were taken into account when developing FFCNN: 1) FFCNN has been designed to be easily implemented on Intel OpenCL SDK based FPGA design flow. 2) In FFFCN, different techniques have been integrated to improve the memory band with and throughput. A performance analysis is conducted on two deep CNN for Large-Scale Images classification. The obtained results, and the comparison with other works designed to accelerate the same types of architectures, show the efficiency and the competitiveness of the proposed accelerator design by significantly improved performance and resource utilization.


title: A preprocessing perspective for quantum machine learning classification advantage using NISQ algorithms

abstract: Quantum Machine Learning (QML) hasn't yet demonstrated extensively and clearly its advantages compared to the classical machine learning approach. So far, there are only specific cases where some quantum-inspired techniques have achieved small incremental advantages, and a few experimental cases in hybrid quantum computing are promising considering a mid-term future (not taking into account the achievements purely associated with optimization using quantum-classical algorithms). The current quantum computers are noisy and have few qubits to test, making it difficult to demonstrate the current and potential quantum advantage of QML methods. This study shows that we can achieve better classical encoding and performance of quantum classifiers by using Linear Discriminant Analysis (LDA) during the data preprocessing step. As a result, Variational Quantum Algorithm (VQA) shows a gain of performance in balanced accuracy with the LDA technique and outperforms baseline classical classifiers.


title: MANDO: Multi-Level Heterogeneous Graph Embeddings for Fine-Grained Detection of Smart Contract Vulnerabilities

abstract: Learning heterogeneous graphs consisting of different types of nodes and edges enhances the results of homogeneous graph techniques. An interesting example of such graphs is control-flow graphs representing possible software code execution flows. As such graphs represent more semantic information of code, developing techniques and tools for such graphs can be highly beneficial for detecting vulnerabilities in software for its reliability. However, existing heterogeneous graph techniques are still insufficient in handling complex graphs where the number of different types of nodes and edges is large and variable. This paper concentrates on the Ethereum smart contracts as a sample of software codes represented by heterogeneous contract graphs built upon both control-flow graphs and call graphs containing different types of nodes and links. We propose MANDO, a new heterogeneous graph representation to learn such heterogeneous contract graphs' structures. MANDO extracts customized metapaths, which compose relational connections between different types of nodes and their neighbors. Moreover, it develops a multi-metapath heterogeneous graph attention network to learn multi-level embeddings of different types of nodes and their metapaths in the heterogeneous contract graphs, which can capture the code semantics of smart contracts more accurately and facilitate both fine-grained line-level and coarse-grained contract-level vulnerability detection. Our extensive evaluation of large smart contract datasets shows that MANDO improves the vulnerability detection results of other techniques at the coarse-grained contract level. More importantly, it is the first learning-based approach capable of identifying vulnerabilities at the fine-grained line-level, and significantly improves the traditional code analysis-based vulnerability detection approaches by 11.35% to 70.81% in terms of F1-score.


title: Bounds for rotating convection at infinite Prandtl number from semidefinite programs

abstract: Bounds for the poloidal and toroidal kinetic energies and the heat transport are computed numerically for rotating convection at infinite Prandtl number with both no slip and stress free boundaries. The constraints invoked in this computation are linear or quadratic in the problem variables and lead to the formulation of a semidefinite program. The bounds behave as a function of Rayleigh number at fixed Taylor number qualitatively in the same way as the quantities being bounded. The bounds are zero for Rayleigh numbers smaller than the critical Rayleigh number for the onset of convection, they increase rapidly with Rayleigh number for Rayleigh numbers just above onset, and increase more slowly at large Rayleigh numbers. If the dependencies on Rayleigh number are approximated by power laws, one obtains larger exponents from bounds on the Nusselt number for Rayleigh numbers just above onset than from the actual Nusselt number dependence known for large but finite Prandtl number. The wavelength of the linearly unstable mode at the onset of convection appears as a relevant length scale in the bounds.


title: An agent-based modeling approach for real-world economic systems: Example and calibration with a Social Accounting Matrix of Spain

abstract: The global economy is one of today's major challenges, with increasing relevance in recent decades. A frequent observation by policy makers is the lack of tools that help at least to understand, if not predict, economic crises. Currently, macroeconomic modeling is dominated by Dynamic Stochastic General Equilibrium (DSGE) models. The limitations of DSGE in coping with the complexity of today's global economy are often recognized and are the subject of intense research to find possible solutions. As an alternative or complement to DSGE, the last two decades have seen the rise of agent-based models (ABM). An attractive feature of ABM is that it can model very complex systems because it is a bottom-up approach that can describe the specific behavior of heterogeneous agents. The main obstacle, however, is the large number of parameters that need to be known or calibrated. To enable the use of ABM with data from the real-world economy, this paper describes an agent-based macroeconomic modeling approach that can read a Social Accounting Matrix (SAM) and deploy from scratch an economic system (labor, activity sectors operating as firms, a central bank, the government, external sectors...) whose structure and activity produce a SAM with values very close to those of the actual SAM snapshot. This approach paves the way for unleashing the expected high performance of ABM models to deal with the complexities of current global macroeconomics, including other layers of interest like ecology, epidemiology, or social networks among others.

categories: q-fin.GN econ.EM physics.soc-ph q-fin.CP


title: Comparing Stochastic Volatility Specifications for Large Bayesian VARs

abstract: Large Bayesian vector autoregressions with various forms of stochastic volatility have become increasingly popular in empirical macroeconomics. One main difficulty for practitioners is to choose the most suitable stochastic volatility specification for their particular application. We develop Bayesian model comparison methods -- based on marginal likelihood estimators that combine conditional Monte Carlo and adaptive importance sampling -- to choose among a variety of stochastic volatility specifications. The proposed methods can also be used to select an appropriate shrinkage prior on the VAR coefficients, which is a critical component for avoiding over-fitting in high-dimensional settings. Using US quarterly data of different dimensions, we find that both the Cholesky stochastic volatility and factor stochastic volatility outperform the common stochastic volatility specification. Their superior performance, however, can mostly be attributed to the more flexible priors that accommodate cross-variable shrinkage.


title: A Robust Optimization Approach to a Real Humanitarian Cold Supply Chain Planning on the COVID-19 crisis

abstract: In this study, a vaccine supply chain model is developed considering the humanitarian aspects under uncertain conditions in Iran. There are three main components to supply the required vaccines for vaccination centers that can be designed and managed within three echelons: suppliers, distribution centers, and vaccination centers. Iran's Ministry of Health and Medical (IMHM), Iranian Red Crescent Society (IRCS), and private sector companies play the role of suppliers in the model. A robust optimization approach is employed to address real-world uncertainty and find a solution dealing with all uncertain data possibilities and supply chain equity. To this aim, the actual COVID-19 data of Iran is gathered, including data on five different types of vaccines used in Iran. Then, it is investigated how vaccination programs can be accomplished more efficiently by considering priority issues, transportation, holding costs, and deprivation costs in Tehran, Iran's largest city and one of the most populous cities globally. Next, a set of sensitivity analyses are conducted, assessing the variation of deprivation costs for different problem instances and the budgets assigned to each supplier. One of the critical assumptions in this research is prioritizing older-aged groups over younger-aged ones into account for receiving the vaccine.


title: $n\mathbb{Z}$-cluster tilting subcategories for Nakayama algebras

abstract: $n\mathbb{Z}$-cluster tilting subcategories are an ideal setting for higher dimensional Auslander-Reiten theory. We give a complete classification of $n\mathbb{Z}$-cluster tilting subcategories of module categories of Nakayama algebras. In particular, we show that there are three kinds of Nakayama algebras that admit $n\mathbb{Z}$-cluster tilting subcategories: finite global dimension, selfinjective and non-Iwanaga-Gorenstein. Only the selfinjective ones can admit more than one $n\mathbb{Z}$-cluster tilting subcategory. It has been shown by the second author, that each such $n\mathbb{Z}$-cluster tilting subcategory induces an $n\mathbb{Z}$-cluster tilting subcategory of the corresponding singularity category. For each Nakayama algebra in our classification, we describe its singularity category, the canonical functor from its module category to its singularity category, and provide a complete comparison of $n\mathbb{Z}$-cluster tilting subcategories in the module category and the singularity category. This relies heavily of results by Shen, who described the singularity categories of all Nakayama algebras.


title: Delta-matroids whose twist polynomials are monomials

abstract: The twist polynomial of a delta-matroid was recently introduced by Yan and Jin, who proved a characterization of binary delta-matroids with twist monomials. In this paper, we extend this result to all delta-matroids by proving that any delta-matroid with a twist monomial must be binary.


title: Bayesian Neural Network Language Modeling for Speech Recognition

abstract: State-of-the-art neural network language models (NNLMs) represented by long short term memory recurrent neural networks (LSTM-RNNs) and Transformers are becoming highly complex. They are prone to overfitting and poor generalization when given limited training data. To this end, an overarching full Bayesian learning framework encompassing three methods is proposed in this paper to account for the underlying uncertainty in LSTM-RNN and Transformer LMs. The uncertainty over their model parameters, choice of neural activations and hidden output representations are modeled using Bayesian, Gaussian Process and variational LSTM-RNN or Transformer LMs respectively. Efficient inference approaches were used to automatically select the optimal network internal components to be Bayesian learned using neural architecture search. A minimal number of Monte Carlo parameter samples as low as one was also used. These allow the computational costs incurred in Bayesian NNLM training and evaluation to be minimized. Experiments are conducted on two tasks: AMI meeting transcription and Oxford-BBC LipReading Sentences 2 (LRS2) overlapped speech recognition using state-of-the-art LF-MMI trained factored TDNN systems featuring data augmentation, speaker adaptation and audio-visual multi-channel beamforming for overlapped speech. Consistent performance improvements over the baseline LSTM-RNN and Transformer LMs with point estimated model parameters and drop-out regularization were obtained across both tasks in terms of perplexity and word error rate (WER). In particular, on the LRS2 data, statistically significant WER reductions up to 1.3% and 1.2% absolute (12.1% and 11.3% relative) were obtained over the baseline LSTM-RNN and Transformer LMs respectively after model combination between Bayesian NNLMs and their respective baselines.


title: Bipolar Almost Equiangular Tight Frames for NOMA Systems

abstract: Non-Orthogonal Multiple Access (NOMA) is a concept which is gaining a big popularity in multiuser networks. It's due to its advantages in sense of total network throughput. It becomes especially significant in large networks such as Internet of Things (IoT) networks or 5G networks. One of the known NOMA techniques is DS-CDMA NOMA, which make use of non-orthogonal coding schemes to optimize capacity at multiuser networks. Equiangular Tight Frames (ETF) are known to be an optimal sequences' sets (in sense of capacity) for this technique. Unfortunately, ETFs are limited to very specific pairs of users' number and sequence lengths which put undesirable constraints on practical systems. In this paper our goal is to break those constraints by proposing alternative family of non-orthogonal sequences which on the one hand, possess similar properties to those of ETFs (for that reason we'll denote them as Almost ETFs) and on the other hand, doesn't have those limitation on users' number and sequence length. We're basing our approach by starting with known technique of building standard ETFs, and extending it by slight modifications to technique of building AETFs. In this paper we'll concentrate on bipolar (+/-1 valued) and relatively short (up to length of 100) sequences, since we're interested in sequences which will be of practical value in real systems.


title: Resonance mediated by fermions in kink-antikink collisions

abstract: We investigate generalizations of the $\phi^4$ and sine-Gordon models, including interactions with Dirac Fermions. We observe new resonance phenomena by taking the fermion back-reaction into account. First, we show that the vibrational mode responsible for the resonance structure of the $\phi^4$ model has the same frequency as the energy of the fermion excited state when the back-reaction becomes more significant. Second, we consider the sine-Gordon model with the addition of a fermion field and find that a resonant structure appears, despite the absence of a scalar vibrational mode. The vibrational frequency of the mode responsible for the exchange mechanism is again the energy of the fermion excited state. Therefore, we find a new type of resonant energy exchange mechanism which is mediated by fermions.


title: Physics implications of recent Dresden-II reactor data

abstract: Prompted by the recent Dresden-II reactor data we examine its implications for the determination of the weak mixing angle, paying attention to the effect of the quenching function. We also determine the resulting constraints on the unitarity of the neutrino mixing matrix, as well as on the most general type of nonstandard neutral-current neutrino interactions.


title: On quantitative structure of symplectic groups

abstract: The main aim of this article is to study the quantitative structure of projective symplectic groups $PSp_{4}(q)$ with $q>2$ even. Indeed, we prove that the groups $PSp_{4}(q)$ with $q>2$ even are uniquely determined by their orders and the set of the number of elements of the same order. This result links to the well-known J. G. Thompson's problem (1987) for finite simple groups.


title: Detection and Classification of Brain tumors Using Deep Convolutional Neural Networks

abstract: Abnormal development of tissues in the body as a result of swelling and morbid enlargement is known as a tumor. They are mainly classified as Benign and Malignant. Tumour in the brain is fatal as it may be cancerous, so it can feed on healthy cells nearby and keep increasing in size. This may affect the soft tissues, nerve cells, and small blood vessels in the brain. Hence there is a need to detect and classify them during the early stages with utmost precision. There are different sizes and locations of brain tumors which makes it difficult to understand their nature. The process of detection and classification of brain tumors can prove to be an onerous task even with advanced MRI (Magnetic Resonance Imaging) techniques due to the similarities between the healthy cells nearby and the tumor. In this paper, we have used Keras and Tensorflow to implement state-of-the-art Convolutional Neural Network (CNN) architectures, like EfficientNetB0, ResNet50, Xception, MobileNetV2, and VGG16, using Transfer Learning to detect and classify three types of brain tumors namely - Glioma, Meningioma, and Pituitary. The dataset we used consisted of 3264 2-D magnetic resonance images and 4 classes. Due to the small size of the dataset, various data augmentation techniques were used to increase the size of the dataset. Our proposed methodology not only consists of data augmentation, but also various image denoising techniques, skull stripping, cropping, and bias correction. In our proposed work EfficientNetB0 architecture performed the best giving an accuracy of 97.61%. The aim of this paper is to differentiate between normal and abnormal pixels and also classify them with better accuracy.


title: Podcast Summary Assessment: A Resource for Evaluating Summary Assessment Methods

abstract: Automatic summary assessment is useful for both machine-generated and human-produced summaries. Automatically evaluating the summary text given the document enables, for example, summary generation system development and detection of inappropriate summaries. Summary assessment can be run in a number of modes: ranking summary generation systems; ranking summaries of a particular document; and estimating the quality of a document-summary pair on an absolute scale. Existing datasets with annotation for summary assessment are usually based on news summarization datasets such as CNN/DailyMail or XSum. In this work, we describe a new dataset, the podcast summary assessment corpus, a collection of podcast summaries that were evaluated by human experts at TREC2020. Compared to existing summary assessment data, this dataset has two unique aspects: (i) long-input, speech podcast based, documents; and (ii) an opportunity to detect inappropriate reference summaries in podcast corpus. First, we examine existing assessment methods, including model-free and model-based methods, and provide benchmark results for this long-input summary assessment dataset. Second, with the aim of filtering reference summary-document pairings for training, we apply summary assessment for data selection. The experimental results on these two aspects provide interesting insights on the summary assessment and generation tasks. The podcast summary assessment data is available.


title: JARVIS: A Neuro-Symbolic Commonsense Reasoning Framework for Conversational Embodied Agents

abstract: Building a conversational embodied agent to execute real-life tasks has been a long-standing yet quite challenging research goal, as it requires effective human-agent communication, multi-modal understanding, long-range sequential decision making, etc. Traditional symbolic methods have scaling and generalization issues, while end-to-end deep learning models suffer from data scarcity and high task complexity, and are often hard to explain. To benefit from both worlds, we propose JARVIS, a neuro-symbolic commonsense reasoning framework for modular, generalizable, and interpretable conversational embodied agents. First, it acquires symbolic representations by prompting large language models (LLMs) for language understanding and sub-goal planning, and by constructing semantic maps from visual observations. Then the symbolic module reasons for sub-goal planning and action generation based on task- and action-level common sense. Extensive experiments on the TEACh dataset validate the efficacy and efficiency of our JARVIS framework, which achieves state-of-the-art (SOTA) results on all three dialog-based embodied tasks, including Execution from Dialog History (EDH), Trajectory from Dialog (TfD), and Two-Agent Task Completion (TATC) (e.g., our method boosts the unseen Success Rate on EDH from 6.1\% to 15.8\%). Moreover, we systematically analyze the essential factors that affect the task performance and also demonstrate the superiority of our method in few-shot settings. Our JARVIS model ranks first in the Alexa Prize SimBot Public Benchmark Challenge.


title: Learning Stable Robotic Skills on Riemannian Manifolds

abstract: In this paper, we propose an approach to learn stable dynamical systems evolving on Riemannian manifolds. The approach leverages a data-efficient procedure to learn a diffeomorphic transformation that maps simple stable dynamical systems onto complex robotic skills. By exploiting mathematical tools from differential geometry, the method ensures that the learned skills fulfill the geometric constraints imposed by the underlying manifolds, such as unit quaternion (UQ) for orientation and symmetric positive definite (SPD) matrices for impedance, while preserving the convergence to a given target. The proposed approach is firstly tested in simulation on a public benchmark, obtained by projecting Cartesian data into UQ and SPD manifolds, and compared with existing approaches. Apart from evaluating the approach on a public benchmark, several experiments were performed on a real robot performing bottle stacking in different conditions and a drilling task in cooperation with a human operator. The evaluation shows promising results in terms of learning accuracy and task adaptation capabilities.


title: Performance Evaluation of IEEE 802.11 for UAV-based Wireless Sensor Networks in NS-3

abstract: Unmanned Aerial Vehicle (UAV) has extreme potential to change the future wireless sensor network (WSN). The UAV-based WSN performances is influenced by different system parameters. To investigate this issue, it is necessary to analyses the effects of system parameters on the UAV-based WSN performance. In this paper, we design a NS-3 script for UAV-based WSN according to the hierarchical manner of TCP/IP model. We configure all layers by using NS-3 model objects and set and modify the values used by objects to investigate the effects of system parameters (access mechanism, UAV trajectory pattern, UAV velocity, number of sensors, and sensor traffic generation rate) on throughput, and average delay. The simulation results show that the RTS/CTS access mechanism provides better performance than the basic data access mechanism and the mobility model which has been prescribed shows higher performance than the random mobility model. Moreover, the results indicate that higher velocity of UAV degrades the system performance in terms of throughput and delay. Our design procedure represents a good guideline for new NS-3 users to design and modify script and results greatly benefit the network design and management.


title: Ultrathin Broadband Metasurface Superabsorbers from a van der Waals Semimetal

abstract: Metamaterials and metasurfaces operating in the visible and near-infrared (NIR) offer a promising route towards next-generation photodetectors and devices for solar energy harvesting. While numerous metamaterials and metasurfaces using metals and semiconductors have been demonstrated, semimetals-based metasurfaces in the vis-NIR range are notably missing. Here, we experimentally demonstrate a broadband metasurface superabsorber based on large area, semimetallic, van der Waals PtSe2 thin films in agreement with electromagnetic simulations. Our results show that PtSe2 is an ultrathin and scalable semimetal that concurrently possesses high index and high extinction across the vis-NIR range. Consequently, the thin-film PtSe2 on a reflector separated by a dielectric spacer can absorb > 85 % for the unpatterned case and ~97 % for the optimized 2D metasurface in the 400-900 nm range making it one of the strongest and thinnest broadband perfect absorbers to date. Our results present a scalable approach to photodetection and solar energy harvesting, demonstrating the practical utility of high index, high extinction semimetals for nanoscale optics.

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


title: On Homomorphisms of Douglas Algebras

abstract: The paper describes homomorphisms between Douglas algebras and some semisimple Banach algebras. The main tool is a result on the structure of the space $C(Z,\mathfrak M)$ of continuous mappings from a connected first-countable $T_1$ space $Z$ to the maximal ideal space $\mathfrak M$ of the algebra $H^\infty$ of bounded holomorphic functions on the unit disk $\mathbb D\subset\mathbb C$. In particular, it is shown that the space of continuous mappings from $Z$ to $\mathbb D$ is dense in the topology of pointwise convergence in $C(Z,\mathfrak M)$ and the homotopy groups of $\mathfrak M$ are trivial.


title: Efficient liver segmentation with 3D CNN using computed tomography scans

abstract: The liver is one of the most critical metabolic organs in vertebrates due to its vital functions in the human body, such as detoxification of the blood from waste products and medications. Liver diseases due to liver tumors are one of the most common mortality reasons around the globe. Hence, detecting liver tumors in the early stages of tumor development is highly required as a critical part of medical treatment. Many imaging modalities can be used as aiding tools to detect liver tumors. Computed tomography (CT) is the most used imaging modality for soft tissue organs such as the liver. This is because it is an invasive modality that can be captured relatively quickly. This paper proposed an efficient automatic liver segmentation framework to detect and segment the liver out of CT abdomen scans using the 3D CNN DeepMedic network model. Segmenting the liver region accurately and then using the segmented liver region as input to tumors segmentation method is adopted by many studies as it reduces the false rates resulted from segmenting abdomen organs as tumors. The proposed 3D CNN DeepMedic model has two pathways of input rather than one pathway, as in the original 3D CNN model. In this paper, the network was supplied with multiple abdomen CT versions, which helped improve the segmentation quality. The proposed model achieved 94.36%, 94.57%, 91.86%, and 93.14% for accuracy, sensitivity, specificity, and Dice similarity score, respectively. The experimental results indicate the applicability of the proposed method.


title: Uniqueness of entire solutions to quasilinear equations of p-Laplace type

abstract: We prove the uniqueness property for a class of entire solutions to the equation \begin{equation*} \left\{ \begin{array}{ll} -{\rm div}\, \mathcal{A}(x,\nabla u) = \sigma, \quad u\geq 0 \quad \text{in } \mathbb{R}^n, \\ \displaystyle{\liminf_{|x|\rightarrow \infty}}\, u = 0, \end{array} \right. \end{equation*} where $\sigma$ is a nonnegative locally finite measure in $\mathbb{R}^n$, absolutely continuous with respect to the $p$-capacity, and ${\rm div}\, \mathcal{A}(x,\nabla u)$ is the $\mathcal{A}$-Laplace operator, under standard growth and monotonicity assumptions of order $p$ ($1<p<\infty$) on $\mathcal{A}(x, \xi)$ ($x, \xi \in \mathbb{R}^n$); the model case $\mathcal{A}(x, \xi)=\xi | \xi |^{p-2}$ corresponds to the $p$-Laplace operator $\Delta_p$ on $\mathbb{R}^n$. Our main results establish uniqueness of solutions to a similar problem, \begin{equation*} \left\{ \begin{array}{ll} -{\rm div}\, \mathcal{A}(x,\nabla u) = \sigma u^q +\mu, \quad u\geq 0 \quad \text{in } \mathbb{R}^n, \\ \displaystyle{\liminf_{|x|\rightarrow \infty}}\, u = 0, \end{array} \right. \end{equation*} in the sub-natural growth case $0<q<p-1$, where $\mu, \sigma$ are nonnegative locally finite measures in $\mathbb{R}^n$, absolutely continuous with respect to the $p$-capacity, and $\mathcal{A}(x, \xi)$ satisfies an additional homogeneity condition, which holds in particular for the $p$-Laplace operator.


title: A Hybrid Iterative Numerical Transferable Solver (HINTS) for PDEs Based on Deep Operator Network and Relaxation Methods

abstract: Iterative solvers of linear systems are a key component for the numerical solutions of partial differential equations (PDEs). While there have been intensive studies through past decades on classical methods such as Jacobi, Gauss-Seidel, conjugate gradient, multigrid methods and their more advanced variants, there is still a pressing need to develop faster, more robust and reliable solvers. Based on recent advances in scientific deep learning for operator regression, we propose HINTS, a hybrid, iterative, numerical, and transferable solver for differential equations. HINTS combines standard relaxation methods and the Deep Operator Network (DeepONet). Compared to standard numerical solvers, HINTS is capable of providing faster solutions for a wide class of differential equations, while preserving the accuracy close to machine zero. Through an eigenmode analysis, we find that the individual solvers in HINTS target distinct regions in the spectrum of eigenmodes, resulting in a uniform convergence rate and hence exceptional performance of the hybrid solver overall. Moreover, HINTS applies to equations in multidimensions, and is flexible with regards to computational domain and transferable to different discretizations.


title: Freeze-out Properties of Different Strange Hadrons from {\auau} Collisions at {\sqrtsNN}~= 54.4 GeV

abstract: We analyzed the transverse momentum {\ppt} spectra of different particle species containing strange quark {\ks}, {\lam (\alam)} and {\xim ({\axi})} in different centrality intervals at mid-rapidity ($y$) from {\auau} collisions at {\sqrtsNN}= 54.4 GeV. The {\ppt} spectra of these strange hadrons are investigated by Tsallis-like distribution. The Tsallis-like distribution satisfactorily fits the experimental data. The effective temperature, entropy based parameter $q$ and mean {\ppt} extracted from the Tsallis-like distribution function while the kinetic freeze-out temperature ($T_0$) and transverse flow velocity ($\beta_T$) are extracted by an alternative method. The effective temperature, entropy based parameter $q$ and mean {\ppt} are found to be strongly dependent on centrality. The effective temperature of multi-strange particle ({\xim ({\axi})}) is larger as compared to singly-strange particles {\lam (\alam)} and {\ks}. Furthermore, the extracted parameters from alternative approach decreases from central collisions to peripheral collisions, except the parameter $q$ which shows an opposite behaviour. A mass dependent kinetic freeze-out scenario is observed as the effective flow is larger for massive particles than the lighter one. Furthermore, the $T$, $\beta_T$ and mean {\ppt} ($\langle p_T \rangle$) shows decreasing trend as we go from central collisions to peripheral collisions. The entropy parameter $q$ increases from central to peripheral collisions.


title: Unsupervised diffeomorphic cardiac image registration using parameterization of the deformation field

abstract: This study proposes an end-to-end unsupervised diffeomorphic deformable registration framework based on moving mesh parameterization. Using this parameterization, a deformation field can be modeled with its transformation Jacobian determinant and curl of end velocity field. The new model of the deformation field has three important advantages; firstly, it relaxes the need for an explicit regularization term and the corresponding weight in the cost function. The smoothness is implicitly embedded in the solution which results in a physically plausible deformation field. Secondly, it guarantees diffeomorphism through explicit constraints applied to the transformation Jacobian determinant to keep it positive. Finally, it is suitable for cardiac data processing, since the nature of this parameterization is to define the deformation field in terms of the radial and rotational components. The effectiveness of the algorithm is investigated by evaluating the proposed method on three different data sets including 2D and 3D cardiac MRI scans. The results demonstrate that the proposed framework outperforms existing learning-based and non-learning-based methods while generating diffeomorphic transformations.


title: Mean viability theorems and second-order Hamilton-Jacobi equations

abstract: We introduce the notion of mean viability for controlled stochastic differential equations and establish counterparts of Nagumo's classical viability theorems (necessary and sufficient conditions for mean viability). As an application, we provide a purely probabilistic proof of a comparison principle and of existence for contingent and viscosity solutions of second-order fully nonlinear path-dependent Hamilton-Jacobi-Bellman equations. We do not use compactness and optimal stopping arguments, which are usually employed in the literature on viscosity solutions for second-order path-dependent PDEs.


title: Exact classical limit of the quantum bouncer

abstract: In this paper we develop a systematic approach to determine the classical limit of periodic quantum systems and applied it successfully to the problem of the quantum bouncer. It is well known that, for periodic systems, the classical probability density does not follow the quantum probability density. Instead, it follows the local average in the limit of large quantum numbers. Guided by this fact, and expressing both the classical and quantum probability densities as Fourier expansions, here we show that local averaging implies that the Fourier coefficients approach each other in the limit of large quantum numbers. The leading term in the quantum Fourier coefficient yields the exact classical limit, but subdominant terms also emerge, which we may interpret as quantum corrections at the macroscopic level. We apply this theory to the problem of a particle bouncing under the gravity field and show that the classical probability density is exactly recovered from the quantum distribution. We show that for realistic systems, the quantum corrections are strongly suppressed (by a factor of $\sim 10^{-10}$) with respect to the classical result.


title: Shedding Light on the Targeted Victim Profiles of Malicious Downloaders

abstract: Malware affects millions of users worldwide, impacting the daily lives of many people as well as businesses. Malware infections are increasing in complexity and unfold over a number of stages. A malicious downloader often acts as the starting point as it fingerprints the victim's machine and downloads one or more additional malware payloads. Although previous research was conducted on these malicious downloaders and their Pay-Per-Install networks, limited work has investigated how the profile of the victim machine, e.g., its characteristics and software configuration, affect the targeting choice of cybercriminals. In this paper, we operate a large-scale investigation of the relation between the machine profile and the payload downloaded by droppers, through 151,189 executions of malware downloaders over a period of 12 months. We build a fully automated framework which uses Virtual Machines (VMs) in sandboxes to build custom user and machine profiles to test our malicious samples. We then use changepoint analysis to model the behavior of different downloader families, and perform analyses of variance (ANOVA) on the ratio of infections per profile. With this, we identify which machine profile is targeted by cybercriminals at different points in time. Our results show that a number of downloaders present different behaviors depending on a number of features of a machine. Notably, a higher number of infections for specific malware families were observed when using different browser profiles, keyboard layouts and operating systems, while one keyboard layout obtained fewer infections of a specific malware family. Our findings bring light to the importance of the features of a machine running malicious downloader software, particularly for malware research.


title: Report of Snowmass 21 Accelerator Frontier Topical Group 6 on Advanced Accelerators

abstract: The Snowmass 2021 Accelerator Frontier topical group \# 6 on Advanced Accelerator Concepts, covers new R\&D concepts for particle acceleration, generation, and focusing. Based on community input, this report describes how leveraging these concepts to efficiently harness the interaction of charged particles with extremely high electromagnetic fields at very high frequencies can provide the keys to reaching ultra high acceleration gradients (GeV/m and beyond). These methods have potential to reduce the dimensions, C0$_2$ footprint, and costs of future high energy physics machines, with added potential to reduce power consumption for future e+e- and $\gamma - \gamma$ machines to and beyond 15 TeV energies. Techniques range from laser and beam driven plasma and advanced structure accelerators to advanced phase space manipulations and generation of beams with extreme parameters.


title: Effect of mobility on synchronization of nonlocally coupled oscillators with a phase lag

abstract: Nonlocally coupled oscillators with a phase lag self-organize into various patterns such as global synchronization, the twisted state, and the chimera state. In this paper, we consider nonlocally coupled oscillators that move on a ring by randomly exchanging their positions with the neighbors, and investigate the combined effects of phase lag and mobility on the collective phase dynamics. Spanning the whole range of phase lag and mobility, we show that mobility promotes synchronization for an attractive coupling, while it destroys coherence for a repulsive coupling. The transition behaviors are discussed in terms of the timescales of synchronization and diffusion of the oscillators. We also find a novel spatiotemporal pattern at the border between coherent and incoherent states.


title: Periodic points of rational functions of large degree over finite fields

abstract: For any $q$ a prime power, $j$ a positive integer, and $\phi$ a rational function with coefficients in $\mathbb{F}_{q^j}$, let $P_{q,j}(\phi)$ be the proportion of $\mathbb{P}^1(\mathbb{F}_{q^j})$ that is periodic with respect to $\phi$. Now suppose that $d$ is an integer greater than 1. We show that if $\gcd{(q,d!)}=1$, then as $j$ increases the expected value of $P_{q,j}(\phi)$, as $\phi$ ranges over rational functions of degree $d$, tends to 0. This theorem generalizes our previous work, which held only for polynomials, and only when $d=2$. To deduce this result, we prove a uniformity theorem on specializations of dynamical systems of rational functions with coefficients in certain finitely-generated algebras over residually finite Dedekind domains. This specialization theorem generalizes our previous work, which held only for algebras of dimension one.


title: The $Q$-shaped derived category of a ring -- compact and perfect objects

abstract: In a previous work we constructed the $Q$-shaped derived category of any ring $A$ for any suitably nice category $Q$. The $Q$-shaped derived category of $A$, which is denoted by $\mathcal{D}_{Q}(A)$, is a generalization of the ordinary derived category. In this paper we prove that the $Q$-shaped derived category of $A$ is a compactly generated triangulated category. We also define perfect objects in $\mathcal{D}_{Q}(A)$ and prove that these constitute a triangulated subcategory, $\mathcal{D}^\mathrm{perf}_{Q}(A)$, of the category $\mathcal{D}_{Q}(A)^\mathrm{c}$ of compact objects in the $Q$-shaped derived category. The subcategories $\mathcal{D}^\mathrm{perf}_{Q}(A)$ and $\mathcal{D}_{Q}(A)^\mathrm{c}$ coincide if and only if the former is thick.


title: Mapache: a flexible pipeline to map ancient DNA

abstract: Summary: Mapping ancient DNA to a reference genome is challenging as it involves numerous steps, is time-consuming and has to be repeated within a study to assess the quality of extracts and libraries; as a result, the mapping needs to be automatized to handle large amounts of data in a reproducible way. We present mapache, a flexible, robust, and scalable pipeline to map, quantify and impute ancient and present-day DNA in a reproducible way. Mapache is implemented in the workflow manager Snakemake and is optimized for low-space consumption, allowing to efficiently (re)map large data sets such as reference panels and multiple extracts and libraries.


title: Distinct Angles and Angle Chains in Three Dimensions

abstract: In 1946, Erd\H{o}s posed the distinct distance problem, which seeks to find the minimum number of distinct distances between pairs of points selected from any configuration of $n$ points in the plane. The problem has since been explored along with many variants, including ones that extend it into higher dimensions. Less studied but no less intriguing is Erd\H{o}s' distinct angle problem, which seeks to find point configurations in the plane that minimize the number of distinct angles. In their recent paper "Distinct Angles in General Position," Fleischmann, Konyagin, Miller, Palsson, Pesikoff, and Wolf use a logarithmic spiral to establish an upper bound of $O(n^2)$ on the minimum number of distinct angles in the plane in general position, which prohibits three points on any line or four on any circle. We consider the question of distinct angles in three dimensions and provide bounds on the minimum number of distinct angles in general position in this setting. We focus on pinned variants of the question, and we examine explicit constructions of point configurations in $\mathbb{R}^3$ which use self-similarity to minimize the number of distinct angles. Furthermore, we study a variant of the distinct angles question regarding distinct angle chains and provide bounds on the minimum number of distinct chains in $\mathbb{R}^2$ and $\mathbb{R}^3$.


title: Computing with Hypervectors for Efficient Speaker Identification

abstract: We introduce a method to identify speakers by computing with high-dimensional random vectors. Its strengths are simplicity and speed. With only 1.02k active parameters and a 128-minute pass through the training data we achieve Top-1 and Top-5 scores of 31% and 52% on the VoxCeleb1 dataset of 1,251 speakers. This is in contrast to CNN models requiring several million parameters and orders of magnitude higher computational complexity for only a 2$\times$ gain in discriminative power as measured in mutual information. An additional 92 seconds of training with Generalized Learning Vector Quantization (GLVQ) raises the scores to 48% and 67%. A trained classifier classifies 1 second of speech in 5.7 ms. All processing was done on standard CPU-based machines.


title: Automated Real-Space Lattice Extraction for Atomic Force Microscopy Images

abstract: Analyzing atomically resolved images is a time-consuming process requiring solid experience and substantial human intervention. In addition, the acquired images contain a large amount of information such as crystal structure, presence and distribution of defects, and formation of domains, which need to be resolved to understand a material's surface structure. Therefore, machine learning techniques have been applied in scanning probe and electron microscopies during the last years, aiming for automatized and efficient image analysis. This work introduces a free and open source tool (AiSurf: Automated Identification of Surface Images) developed to inspect atomically resolved images via Scale-Invariant Feature Transform (SIFT) and Clustering Algorithms (CA). AiSurf extracts primitive lattice vectors, unit cells, and structural distortions from the original image, with no pre-assumption on the lattice and minimal user intervention. The method is applied to various atomically resolved non-contact atomic force microscopy (AFM) images of selected surfaces with different levels of complexity: anatase TiO2(101), oxygen deficient rutile TiO2(110) with and without CO adsorbates, SrTiO3(001) with Sr vacancies and graphene with C vacancies. The code delivers excellent results and has proved to be robust against atom misclassification and noise, thereby facilitating the interpretation scanning probe microscopy images.


title: The small mass limit for long time statistics of a stochastic nonlinear damped wave equation

abstract: We study the long time statistics of a class of semi--linear damped wave equations with polynomial nonlinearities and perturbed by additive Gaussian noise in dimensions 2 and 3. We find that if sufficiently many directions in the phase space are stochastically forced, the system is exponentially attractive toward its unique invariant measure with a convergent rate that is uniform with respect to the mass. Then, in the small mass limit, we prove the convergence of the first marginal of the invariant measures in a suitable Wasserstein distance toward the unique invariant measure of a stochastic reaction--diffusion equation. This together with uniform geometric ergodcity implies the validity of the small mass limit for the solutions on the infinite time horizon $[0,\infty)$, thereby extending previously known results established for the damped wave equations under Lipschitz nonlinearities.


title: Learning Informative Health Indicators Through Unsupervised Contrastive Learning

abstract: Monitoring the health of complex industrial assets is crucial for safe and efficient operations. Health indicators that provide quantitative real-time insights into the health status of industrial assets over time serve as valuable tools for e.g. fault detection or prognostics. This study proposes a novel, versatile and unsupervised approach to learn health indicators using contrastive learning, where the operational time serves as a proxy for degradation. To highlight its versatility, the approach is evaluated on two tasks and case studies with different characteristics: wear assessment of milling machines and fault detection of railway wheels. Our results show that the proposed methodology effectively learns a health indicator that follows the wear of milling machines (0.97 correlation on average) and is suitable for fault detection in railway wheels (88.7% balanced accuracy). The conducted experiments demonstrate the versatility of the approach for various systems and health conditions.


title: Statistical Inverse Problems in Hilbert Scales

abstract: In this paper, we study the Tikhonov regularization scheme in Hilbert scales for the nonlinear statistical inverse problem with a general noise. The regularizing norm in this scheme is stronger than the norm in Hilbert space. We focus on developing a theoretical analysis for this scheme based on the conditional stability estimates. We utilize the concept of the distance function to establish the high probability estimates of the direct and reconstruction error in Reproducing kernel Hilbert space setting. Further, the explicit rates of convergence in terms of sample size are established for the oversmoothing case and the regular case over the regularity class defined through appropriate source condition. Our results improve and generalize previous results obtained in related settings.


title: Domain Adaptation Principal Component Analysis: base linear method for learning with out-of-distribution data

abstract: Domain adaptation is a popular paradigm in modern machine learning which aims at tackling the problem of divergence (or shift) between the labeled training and validation datasets (source domain) and a potentially large unlabeled dataset (target domain). The task is to embed both datasets red into a common space in which the source dataset is informative for training while the divergence between source and target is minimized. The most popular domain adaptation solutions are based on training neural networks that combine classification and adversarial learning modules, frequently making them both data-hungry and difficult to train. We present a method called Domain Adaptation Principal Component Analysis (DAPCA) that identifies a linear reduced data representation useful for solving the domain adaptation task. DAPCA algorithm introduces positive and negative weights between pairs of data points, and generalizes the supervised extension of principal component analysis. DAPCA is an iterative algorithm that solves a simple quadratic optimization problem at each iteration. The convergence of the algorithm is guaranteed, and the number of iterations is small in practice. We validate the suggested algorithm on previously proposed benchmarks for solving the domain adaptation task. We also show the benefit of using DAPCA in analyzing the single-cell omics datasets in biomedical applications. Overall, DAPCA can serve as a practical preprocessing step in many machine learning applications leading to reduced dataset representations, taking into account possible divergence between source and target domains.


title: Larger Greedy Sums for Reverse Partially Greedy Bases

abstract: An interesting result due to Dilworth et al. was that if we enlarge greedy sums by a constant factor $\lambda > 1$ in the condition defining the greedy property, then we obtain an equivalence of the almost greedy property, a strictly weaker property. Previously, the author of the present paper showed that enlarging greedy sums by $\lambda$ in the condition defining the partially greedy (PG) property also strictly weakens the property. However, enlarging greedy sums in the definition of reverse partially greedy (RPG) bases by Dilworth and Khurana again gives RPG bases. The companion of PG and RPG bases suggests the existence of a characterization of RPG bases which, when greedy sums are enlarged, gives an analog of a result that holds for partially greedy bases. In this paper, we show that such a characterization indeed exists, answering positively a question previously posed by the author.


title: In vitro micropropagation and apocarotenoid gene expression in saffron

abstract: Saffron (Crocus sativus L.) is a triploid, sterile, monocot plant belonging to the family Iridaceae, sub-family Crocoideae. C.sativus only blooms once a year and should be collected within a very short duration, the stigmas of Saffron flowers are harvested manually and subjected to desiccation then have been used as a spice. It has been also used as a drug to treat tumors, cancer, chronic uterine hemorrhage, insomnia, scarlet fever, smallpox, colds, and cardiovascular disorders. It has been shown that saffron is a protective agent against chromosomal damage. Saffron has been vegetatively propagated by corm, each mother corm produces 7-8 cormlets each year. The main colors of saffron, crocetin, and crocetin glycosides, and the main flavors, picrocrocin, Safranal is the main component of aroma and Its bitter taste is related to Glycosidepicrocrocin that is derived from the oxidative cleavage of the carotenoid, zeaxanthin.by zeaxanthin cleavage dioxygenase (ZCD). We investigated gene expression of ZCD in vitro by using tissue culture of perianth obtained from immature flora buds of Ghaen of Khorasan province, Iran, on MS medium supplemented by 10 mg/L NAA and BAP. RNA of each sample was extracted using RNx method; followed by RT-PCR techniques. The results indicated that ZCD was present in perianth of all cultured samples of mentioned areas. Investigation of this pathway which controls the saffron apocarotenoid pigments in perianth is important to produce saffron with high quality and quantity. The results showed that the expression of ZCD in perianth whether through mevalonic acid or non-mevalonic acid needs more investigation


title: Dependent Percolation on $\mathbb{Z}^2$

abstract: We consider a dependent percolation model on the square lattice $\mathbb{Z}^2$. The range of dependence is infinite in vertical and horizontal directions. In this context, we prove the existence of a phase transition. The proof exploits a multi-scale renormalization argument that is defined once the environment configuration is suitably good and, which, together with the main estimate for the induction step, comes from Kesten, Sidoravicius and Vares (To appear in {\em Electronic Journal of Probability}, (2022)). This work was inspired by de Lima (Ph.D.Thesis, \emph{Informes de Matem\'atica. IMPA}, S\'erie C-26/2004) where the simpler case of a deterministic environment was considered. It has various applications, including an alternative proof for the phase transition on the two dimensional random stretched lattice proved by Hoffman ({\em Comm. Math. Phys.} {\bf 254}, 1-22 (2005)).


title: Leveraging Low-Fidelity Data to Improve Machine Learning of Sparse High-Fidelity Thermal Conductivity Data via Transfer Learning

abstract: Lattice thermal conductivity (TC) of semiconductors is crucial for various applications, ranging from microelectronics to thermoelectrics. Data-driven approach can potentially establish the critical composition-property relationship needed for fast screening of candidates with desirable TC, but the small number of available data remains the main challenge. TC can be efficiently calculated using empirical models, but they have inferior accuracy compared to the more resource-demanding first-principles calculations. Here, we demonstrate the use of transfer learning (TL) to improve the machine learning models trained on small but high-fidelity TC data from experiments and first-principles calculations, by leveraging a large but low-fidelity data generated from empirical TC models, where the trainings on high- and low-fidelity TC data are treated as different but related tasks. TL improves the model accuracy by as much as 23% in R2 and reduces the average factor difference by as much as 30%. Using the TL model, a large semiconductor database is screened, and several candidates with room temperature TC > 350 W/mK are identified and further verified using first-principles simulations. This study demonstrates that TL can leverage big low-fidelity data as a proxy task to improve models for the target task with high-fidelity but small data. Such a capability of TL may have important implications to materials informatics in general.


title: Adapting the LodView RDF Browser for Navigation over the Multilingual Linguistic Linked Open Data Cloud

abstract: The paper is dedicated to the use of LodView for navigation over the multilingual Linguistic Linked Open Data cloud. First, we define the class of Pubby-like tools, that LodView belongs to, and clarify the relation of this class to the classes of URI dereferenciation tools, RDF browsers and LOD visualization tools. Second, we reveal several limitations of LodView that impede its use for the designated purpose, and propose improvements to be made for fixing these limitations. These improvements are: 1) resolution of Cyrillic URIs; 2) decoding Cyrillic URIs in Turtle representations of resources; 3) support of Cyrillic literals; 4) user-friendly URLs for RDF representations of resources; 5) support of hash URIs; 6) expanding nested resources; 7) support of RDF collections; 8) pagination of resource property values; and 9) support of $\LaTeX$ math notation. Third, we partially implement several of the proposed improvements.


title: Polynomial time guarantees for sampling based posterior inference in high-dimensional generalised linear models

abstract: The problem of computing posterior functionals in general high-dimensional statistical models with possibly non-log-concave likelihood functions is considered. Based on the proof strategy of [49], but using only local likelihood conditions and without relying on M-estimation theory, nonasymptotic statistical and computational guarantees are provided for a gradient based MCMC algorithm. Given a suitable initialiser, these guarantees scale polynomially in key algorithmic quantities. The abstract results are applied to several concrete statistical models, including density estimation, nonparametric regression with generalised linear models and a canonical statistical non-linear inverse problem from PDEs.

categories: math.ST cs.NA math.AP math.NA math.PR stat.CO stat.TH


title: Revisiting Semistrong Edge-Coloring of Graphs

abstract: A matching $M$ in a graph $G$ is {\em semistrong} if every edge of $M$ has an endvertex of degree one in the subgraph induced by the vertices of $M$. A {\em semistrong edge-coloring} of a graph $G$ is a proper edge-coloring in which every color class induces a semistrong matching. In this paper, we continue investigation of properties of semistrong edge-colorings initiated by Gy\'{a}rf\'{a}s and Hubenko ({Semistrong edge coloring of graphs}. \newblock {\em J. Graph Theory}, 49 (2005), 39--47). We establish tight upper bounds for general graphs and for graphs with maximum degree $3$. We also present bounds about semistrong edge-coloring which follow from results regarding other, at first sight non-related, problems. We conclude the paper with several open problems.


title: Goal-Conditioned Q-Learning as Knowledge Distillation

abstract: Many applications of reinforcement learning can be formalized as goal-conditioned environments, where, in each episode, there is a "goal" that affects the rewards obtained during that episode but does not affect the dynamics. Various techniques have been proposed to improve performance in goal-conditioned environments, such as automatic curriculum generation and goal relabeling. In this work, we explore a connection between off-policy reinforcement learning in goal-conditioned settings and knowledge distillation. In particular: the current Q-value function and the target Q-value estimate are both functions of the goal, and we would like to train the Q-value function to match its target for all goals. We therefore apply Gradient-Based Attention Transfer (Zagoruyko and Komodakis 2017), a knowledge distillation technique, to the Q-function update. We empirically show that this can improve the performance of goal-conditioned off-policy reinforcement learning when the space of goals is high-dimensional. We also show that this technique can be adapted to allow for efficient learning in the case of multiple simultaneous sparse goals, where the agent can attain a reward by achieving any one of a large set of objectives, all specified at test time. Finally, to provide theoretical support, we give examples of classes of environments where (under some assumptions) standard off-policy algorithms such as DDPG require at least O(d^2) replay buffer transitions to learn an optimal policy, while our proposed technique requires only O(d) transitions, where d is the dimensionality of the goal and state space. Code is available at https://github.com/alevine0/ReenGAGE.


title: Plane curves giving rise to blocking sets over finite fields

abstract: In recent years, many useful applications of the polynomial method have emerged in finite geometry. Indeed, algebraic curves, especially those defined by R\'edei-type polynomials, are powerful in studying blocking sets. In this paper, we reverse the engine and study when blocking sets can arise from rational points on plane curves over finite fields. We show that irreducible curves of low degree cannot provide blocking sets and prove more refined results for cubic and quartic curves. On the other hand, using tools from number theory, we construct smooth plane curves defined over $\mathbb{F}_p$ of degree at most $4p^{3/4}+1$ whose points form blocking sets.


title: Nuclear fragmentation reactions as a probe of neutron skins in nuclei

abstract: We investigate the contributions of various reaction channels to the interaction, reaction, charge-changing and neutron-changing cross sections. The goal is to investigate the relation between microscopic interactions and the symmetry energy component of the equation of state (EoS) of interest for the structure of neutron stars. We have made a comparison of the neutron skins extracted from diverse experimental techniques with those obtained with Hartree-Fock-Bogoliubov calculations with 23 Skyrme and with 8 density-dependent interactions used in the relativistic mean field method. We have shown that no particular conclusion can be drawn on the best EoS in view of the wide range of uncertainty in the experimental data. We have further investigated the prospects of using neutron-changing reactions to assess the isospin dependence of the neutron-skin in neutron-rich nuclei.


title: ECP SOLLVE: Validation and Verification Testsuite Status Update and Compiler Insight for OpenMP

abstract: The OpenMP language continues to evolve with every new specification release, as does the need to validate and verify the new features that have been introduced. With the release of OpenMP 5.0 and OpenMP 5.1, plenty of new target offload and host-based features have been introduced to the programming model. While OpenMP continues to grow in maturity, there is an observable growth in the number of compiler and hardware vendors that support OpenMP. In this manuscript, we focus on evaluating the conformity and implementation progress of various compiler vendors such as Cray, IBM, GNU, Clang/LLVM, NVIDIA, Intel and AMD. We specifically address the 4.5, 5.0, and 5.1 versions of the specification.


title: Predicting IMDb Rating of TV Series with Deep Learning: The Case of Arrow

abstract: Context: The number of TV series offered nowadays is very high. Due to its large amount, many series are canceled due to a lack of originality that generates a low audience. Problem: Having a decision support system that can show why some shows are a huge success or not would facilitate the choices of renewing or starting a show. Solution: We studied the case of the series Arrow broadcasted by CW Network and used descriptive and predictive modeling techniques to predict the IMDb rating. We assumed that the theme of the episode would affect its evaluation by users, so the dataset is composed only by the director of the episode, the number of reviews that episode got, the percentual of each theme extracted by the Latent Dirichlet Allocation (LDA) model of an episode, the number of viewers from Wikipedia and the rating from IMDb. The LDA model is a generative probabilistic model of a collection of documents made up of words. Method: In this prescriptive research, the case study method was used, and its results were analyzed using a quantitative approach. Summary of Results: With the features of each episode, the model that performed the best to predict the rating was Catboost due to a similar mean squared error of the KNN model but a better standard deviation during the test phase. It was possible to predict IMDb ratings with an acceptable root mean squared error of 0.55.


title: An Adaptive Pilot Model with Reaction Time-Delay

abstract: Practical adaptive control implementations where human pilots coexist in the loop are still uncommon, despite their success in handling uncertain dynamical systems. This is owing to their special nonlinear characteristics which lead to unfavorable interactions between pilots and adaptive controllers. To pave the way for the implementation of adaptive controllers in piloted applications, we propose an adaptive human pilot model that takes into account the time delay in the pilot's response while operating on an adaptive control system. The model can be utilized in the evaluation of adaptive controllers through the simulation environment and guide in their design.


title: Diffeomorphism Symmetry in Two Dimensions and Celestial Holography

abstract: Two-dimensional diffeomorphism symmetry can be described by an operator algebra extension of the well-known Virasoro algebra description of conformal symmetry. Utilizing this extension, this note explains why the conformal symmetry that appears in celestial holography should not be extended to diffeomorphism symmetry, a possibility that several authors have proposed. The description of the two-dimensional diffeomorphism algebra presented here might be useful for other purposes.


title: Neural Network Approximation of Continuous Functions in High Dimensions with Applications to Inverse Problems

abstract: The remarkable successes of neural networks in a huge variety of inverse problems have fueled their adoption in disciplines ranging from medical imaging to seismic analysis over the past decade. However, the high dimensionality of such inverse problems has simultaneously left current theory, which predicts that networks should scale exponentially in the dimension of the problem, unable to explain why the seemingly small networks used in these settings work as well as they do in practice. To reduce this gap between theory and practice, we provide a general method for bounding the complexity required for a neural network to approximate a H\"older (or uniformly) continuous function defined on a high-dimensional set with a low-complexity structure. The approach is based on the observation that the existence of a Johnson-Lindenstrauss embedding $A\in\mathbb{R}^{d\times D}$ of a given high-dimensional set $S\subset\mathbb{R}^D$ into a low dimensional cube $[-M,M]^d$ implies that for any H\"older (or uniformly) continuous function $f:S\to\mathbb{R}^p$, there exists a H\"older (or uniformly) continuous function $g:[-M,M]^d\to\mathbb{R}^p$ such that $g(Ax)=f(x)$ for all $x\in S$. Hence, if one has a neural network which approximates $g:[-M,M]^d\to\mathbb{R}^p$, then a layer can be added that implements the JL embedding $A$ to obtain a neural network that approximates $f:S\to\mathbb{R}^p$. By pairing JL embedding results along with results on approximation of H\"older (or uniformly) continuous functions by neural networks, one then obtains results which bound the complexity required for a neural network to approximate H\"older (or uniformly) continuous functions on high dimensional sets. The end result is a general theoretical framework which can then be used to better explain the observed empirical successes of smaller networks in a wider variety of inverse problems than current theory allows.


title: Eco-Evolutionary Dynamics of Bimatrix Games

abstract: Feedbacks between strategies and the environment are common in social-ecological, evolutionary-ecological, and even psychological-economic systems. Utilizing common resources is always a dilemma for community members, like tragedy of the commons. Here we consider replicator dynamics with feedback-evolving games, where the payoffs switch between two different matrices. Although each payoff matrix on its own represents an environment where cooperators and defectors can't coexist stably, we show that it's possible to design appropriate switching control laws and achieve persistent oscillations of strategy abundance. This result should help guide the widespread problem of population state control in microbial experiments and other social problems with eco-evolutionary feedback loops.


title: Lunar Samples are Time Capsules of the Sun

abstract: The Heliophysics Decadal survey should embrace the coming opportunity of sustained lunar surface exploration and facilitate cross-disciplinary efforts to unlock the secrets of the Sun that are held by the lunar surface. With planned Artemis efforts that include prioritization of samples of high interest and protocols for sample handling and analysis, input into the relevant solar signatures that would be most diagnostic and how best to obtain/retain them is incredibly important. Finally, leveraging the theoretical expertise of the two communities in ways that bring them together, such as through dedicated conferences and workshops, will let the two communities help each other learn more than they could alone.


title: Functional analogs of the Shephard, Busemann-Petty, and Milman problems

abstract: The paper studies possible functional analogs of classical problems from convex geometry. In particular, we provide some bounds in the functional Shephard, Busemann-Petty, and Milman problems generalizing known bounds in this problems for convex sets.


title: P-wave Sommerfeld enhancement near threshold: a simplified approach

abstract: The calculation of P-wave Sommerfeld enhancement in processes with unstable particles in the final state is known to be divergent. In a complete description, where resonant (on-shell unstable particles) and non-resonant contributions are included, it has been shown that results are finite. For most beyond the Standard Model applications, these complete calculations are not readily available. In this work, we are interested in the near-threshold region and we consider only the resonant contribution. In this case, we provide a simplified prescription to compute the P-wave Sommerfeld enhancement in the narrow-width approximation of the unstable particle that directly eliminates divergences. We show that we can define a finite resonant contribution without the inclusion of the non-resonant processes in a way similar to the usual S-wave Sommerfeld enhancement.


title: Report of the Topical Group on Quantum Sensors for Snowmass 2021

abstract: Quantum Sensors offer great potential for providing enhanced sensitivity in high energy physics experiments. In this report we provide a summary of key quantum sensors technologies - interferometers, optomechanics, and clocks; spin dependent sensors; superconducting sensors; and quantum calorimeters - highlighting existing experiments along with areas for development. We also provide a set of key messages intended to further advance the state of quantum sensors used for high energy physics specific applications.


title: When Robots Interact with Groups, Where Does the Trust Reside?

abstract: As robots are introduced to more and more complex scenarios, the issues of trust become more complex as various groups, peoples, and entities begin to interact with a deployed robot. This short paper explores a few scenarios in which the trust of the robot may come into conflict between one (or more) entities or groups that the robot is required to deal with. We also present a scenario concerning the idea of repairing trust through a possible apology.


title: Meson resonance gas in a relativistic quark model: scalar vs vector confinement and semishort range correlations

abstract: Smooth transitions from hadronic matter to hot and dense matter of quantum chromodynamics accompany continuous transformations in effective degrees of freedom. The microscopic descriptions should include relativistic quarks interacting inside of hadrons. In this work we construct a schematic constituent quark model with relativistic kinematics which captures the global trends of meson spectra in the light, strange, and charm quark sectors. We examine the roles of the scalar- and vector-confining potentials as well as semishort range correlations in estimating the strength of central, spin-spin, and spin-orbit interactions. The quark dynamics in low-lying mesons is very sensitive to relativistic kinematics and short range interactions, while in high-lying mesons are sensitive to the composition of scalar- and vector-confinement. After expressing mesons in terms of quark wave functions, we use them to describe the quark occupation probability in a meson resonance gas, and discuss how it can be related to its counterpart in a quark-gluon-plasma.


title: High entropy van der Waals materials (Review article)

abstract: By breaking the restrictions on traditional alloying strategy, the high entropy concept has promoted the exploration of the central area of phase space, thus broadening the horizon of alloy exploitation. This review highlights the marriage of the high entropy concept and van der Waals systems to form a new family of materials category, namely the high entropy van der Waals materials (HEX, HE = high entropy, X= anion clusters) and describe the current issues and next challenges. The design strategy for HEX has integrated the local feature (e.g., composition, spin, and valence states) of structural units in high entropy materials and the holistic degrees of freedom (e.g., stacking, twisting, and intercalating species) in van der Waals materials, and has been successfully employed for the discovery of high entropy dichalcogenides, phosphorus tri-chalcogenides, halogens, and MXene. The rich combination and random distribution of the multiple metallic constituents on the nearly-regular 2D lattice give rise to a flexible platform to study the correlation features behind a range of selected physical properties, e.g., superconductivity, magnetism, and metal-insulator transition. The deliberate design of structural units and their stacking configuration can also create novel catalysts to enhance their performance in a bunch of chemical reactions.


title: Fluorescence molecular optomic signatures improve identification of tumors in head and neck specimens

abstract: In this study, a radiomics approach was extended to optical fluorescence molecular imaging data for tissue classification, termed 'optomics'. Fluorescence molecular imaging is emerging for precise surgical guidance during head and neck squamous cell carcinoma (HNSCC) resection. However, the tumor-to-normal tissue contrast is confounded by intrinsic physiological limitations of heterogeneous expression of the target molecule, epidermal growth factor receptor (EGFR). Optomics seek to improve tumor identification by probing textural pattern differences in EGFR expression conveyed by fluorescence. A total of 1,472 standardized optomic features were extracted from fluorescence image samples. A supervised machine learning pipeline involving a support vector machine classifier was trained with 25 top-ranked features selected by minimum redundancy maximum relevance criterion. Model predictive performance was compared to fluorescence intensity thresholding method by classifying testing set image patches of resected tissue with histologically confirmed malignancy status. The optomics approach provided consistent improvement in prediction accuracy on all test set samples, irrespective of dose, compared to fluorescence intensity thresholding method (mean accuracies of 89% vs. 81%; P = 0.0072). The improved performance demonstrates that extending the radiomics approach to fluorescence molecular imaging data offers a promising image analysis technique for cancer detection in fluorescence-guided surgery.


title: ANAct: Adaptive Normalization for Activation Functions

abstract: In this paper, we investigate the negative effect of activation functions on forward and backward propagation and how to counteract this effect. First, We examine how activation functions affect the forward and backward propagation of neural networks and derive a general form for gradient variance that extends the previous work in this area. We try to use mini-batch statistics to dynamically update the normalization factor to ensure the normalization property throughout the training process, rather than only accounting for the state of the neural network after weight initialization. Second, we propose ANAct, a method that normalizes activation functions to maintain consistent gradient variance across layers and demonstrate its effectiveness through experiments. We observe that the convergence rate is roughly related to the normalization property. We compare ANAct with several common activation functions on CNNs and residual networks and show that ANAct consistently improves their performance. For instance, normalized Swish achieves 1.4\% higher top-1 accuracy than vanilla Swish on ResNet50 with the Tiny ImageNet dataset and more than 1.2\% higher with CIFAR-100.


title: The Hierarchical Parity Model

abstract: Hierarchical spin-glasses are Ising spin models defined by recursively coupling together two equally-sized sub-systems. In this work a new hierarchical spin system is introduced wherein the sub-systems are recursively coupled together through the parity of their spins. Exact Renormalization Group recursion equations for many correlators may be derived for this Hierarchical Parity Model, even for completely general couplings. Moreover, the model is computationally tractable in that $O(N)$ algorithms exist for the computation of the partition function and ground state energy. In the special case where the couplings are all equal, the model is shown to exhibit a thermal phase transition.


title: Modeling the Mitral Valve

abstract: This thesis is concerned with modeling and simulation of the mitral valve, one of the four valves in the human heart. The valve is composed of leaflets attached to a ring, the free edges of which are supported by a system of chordae, which themselves are anchored to muscles inside the heart. First, we examine valve anatomy and show the results of original dissections. These display the gross anatomy and information on fiber structure of the mitral valve. Next, we build a model valve following a design-based approach to elasticity. We incorporate information from the dissections to specify the fiber topology of this model. We assume the valve achieves mechanical equilibrium while supporting a static pressure load. The solution to the resulting differential equations determines the pressurized configuration of the valve model. To complete the model we then specify a constitutive law based on experimental stress-strain relations from the literature. Finally, using the immersed boundary method, we simulate the model valve in fluid in a computer test chamber. The aim of this work is to determine the basic principles and mechanisms underlying the anatomy and function of the mitral valve.


title: Multi-dimensional Racism Classification during COVID-19: Stigmatization, Offensiveness, Blame, and Exclusion

abstract: Transcending the binary categorization of racist texts, our study takes cues from social science theories to develop a multi-dimensional model for racism detection, namely stigmatization, offensiveness, blame, and exclusion. With the aid of BERT and topic modeling, this categorical detection enables insights into the underlying subtlety of racist discussion on digital platforms during COVID-19. Our study contributes to enriching the scholarly discussion on deviant racist behaviours on social media. First, a stage-wise analysis is applied to capture the dynamics of the topic changes across the early stages of COVID-19 which transformed from a domestic epidemic to an international public health emergency and later to a global pandemic. Furthermore, mapping this trend enables a more accurate prediction of public opinion evolvement concerning racism in the offline world, and meanwhile, the enactment of specified intervention strategies to combat the upsurge of racism during the global public health crisis like COVID-19. In addition, this interdisciplinary research also points out a direction for future studies on social network analysis and mining. Integration of social science perspectives into the development of computational methods provides insights into more accurate data detection and analytics.


title: Minute ventilation measurement using Plethysmographic Imaging and lighting parameters

abstract: Breathing disorders such as sleep apnea is a critical disorder that affects a large number of individuals due to the insufficient capacity of the lungs to contain/exchange oxygen and carbon dioxide to ensure that the body is in the stable state of homeostasis. Respiratory Measurements such as minute ventilation can be used in correlation with other physiological measurements such as heart rate and heart rate variability for remote monitoring of health and detecting symptoms of such breathing related disorders. In this work, we formulate a deep learning based approach to measure remote ventilation on a private dataset. The dataset will be made public upon acceptance of this work. We use two versions of a deep neural network to estimate the minute ventilation from data streams obtained through wearable heart rate and respiratory devices. We demonstrate that the simple design of our pipeline - which includes lightweight deep neural networks - can be easily incorporate into real time health monitoring systems.


title: Tsallis holographic dark energy model with event horizon cutoff in modified gravity

abstract: We considered the Tsallis holographic dark energy model in frames of Nojiri-Odintsov gravity with $f(R)=R+\lambda R^2-\sigma{\mu}/{R}$. For IR cutoff event horizon is taken. The cosmological evolution of such universe is investigated for various initial conditions and values of parameters. The dependence of the Hubble parameter $H$ from time in the future has an oscillations. It is shown that for $\mu \neq 0$ appearance of singularities are typical and the time up to these singularities can be relatively small from cosmological viewpoint. The singularity is associated with the zero of second deribative of $f(R)$ on $R$. It is interesting to note that these models can describe observational data from Ia supernovae astrophysics and dependence of the Hubble parameter from redshift $z$ at least not worse than canonical $\Lambda$CDM model.


title: Turn-Taking Prediction for Natural Conversational Speech

abstract: While a streaming voice assistant system has been used in many applications, this system typically focuses on unnatural, one-shot interactions assuming input from a single voice query without hesitation or disfluency. However, a common conversational utterance often involves multiple queries with turn-taking, in addition to disfluencies. These disfluencies include pausing to think, hesitations, word lengthening, filled pauses and repeated phrases. This makes doing speech recognition with conversational speech, including one with multiple queries, a challenging task. To better model the conversational interaction, it is critical to discriminate disfluencies and end of query in order to allow the user to hold the floor for disfluencies while having the system respond as quickly as possible when the user has finished speaking. In this paper, we present a turntaking predictor built on top of the end-to-end (E2E) speech recognizer. Our best system is obtained by jointly optimizing for ASR task and detecting when the user is paused to think or finished speaking. The proposed approach demonstrates over 97% recall rate and 85% precision rate on predicting true turn-taking with only 100 ms latency on a test set designed with 4 types of disfluencies inserted in conversational utterances.


title: Streaming Intended Query Detection using E2E Modeling for Continued Conversation

abstract: In voice-enabled applications, a predetermined hotword isusually used to activate a device in order to attend to the query.However, speaking queries followed by a hotword each timeintroduces a cognitive burden in continued conversations. Toavoid repeating a hotword, we propose a streaming end-to-end(E2E) intended query detector that identifies the utterancesdirected towards the device and filters out other utterancesnot directed towards device. The proposed approach incor-porates the intended query detector into the E2E model thatalready folds different components of the speech recognitionpipeline into one neural network.The E2E modeling onspeech decoding and intended query detection also allows us todeclare a quick intended query detection based on early partialrecognition result, which is important to decrease latencyand make the system responsive. We demonstrate that theproposed E2E approach yields a 22% relative improvement onequal error rate (EER) for the detection accuracy and 600 mslatency improvement compared with an independent intendedquery detector. In our experiment, the proposed model detectswhether the user is talking to the device with a 8.7% EERwithin 1.4 seconds of median latency after user starts speaking.


title: Safe Policy Learning under Regression Discontinuity Designs with Multiple Cutoffs

abstract: The regression discontinuity (RD) design is widely used for program evaluation with observational data. The primary focus of the existing literature has been the estimation of the local average treatment effect at the existing treatment cutoff. In contrast, we consider policy learning under the RD design. Because the treatment assignment mechanism is deterministic, learning better treatment cutoffs requires extrapolation. We develop a robust optimization approach to finding optimal treatment cutoffs that improve upon the existing ones. We first decompose the expected utility into point-identifiable and unidentifiable components. We then propose an efficient doubly-robust estimator for the identifiable parts. To account for the unidentifiable components, we leverage the existence of multiple cutoffs that are common under the RD design. Specifically, we assume that the heterogeneity in the conditional expectations of potential outcomes across different groups vary smoothly along the running variable. Under this assumption, we minimize the worst case utility loss relative to the status quo policy. The resulting new treatment cutoffs have a safety guarantee that they will not yield a worse overall outcome than the existing cutoffs. Finally, we establish the asymptotic regret bounds for the learned policy using semi-parametric efficiency theory. We apply the proposed methodology to empirical and simulated data sets.


title: Power law dependence in a random differential equation

abstract: This paper studies a random differential equation with random switch perturbations. We explore how the maximum displacement from the equilibrium state depends on the statistical properties of time series of {the} random switches. We show a power law dependence between the upper bound of displacement and the frequency of random perturbation switches, and the slope of power law dependence is dependent on the specific distribution of the intervals between switching times. This result {suggests} a quantitative connection between frequency modulation and amplitude modulation under random perturbations.


title: Lattice Codes for Lattice-Based PKE

abstract: Existing error correction mechanisms in lattice-based public key encryption (PKE) rely on either naive modulation or its concatenation with error correction codes (ECC). This paper shows that lattice coding, as a joint ECC and modulation technique, can substitute the naive modulation in existing lattice-based PKEs to enjoy better correction performance. We begin by modeling the FrodoPKE protocol as a noisy point-to-point communication system, where the communication channel is similar to the additive white Gaussian noise (AWGN) channel. To employ lattice codes for this special channel that hinges on hypercube shaping, we propose an efficient labeling function that converts between binary information bits and lattice codewords. The parameter sets of FrodoPKE are improved towards either higher security levels or smaller ciphertext sizes. For example, the proposed Frodo-1344-E$_\text{8}$ has a 10-bit classical security gain over Frodo-1344.


title: Effective approaches to disaster evacuation during a COVID-like pandemic

abstract: Since COVID-19 vaccines became available, no studies have quantified how different disaster evacuation strategies can mitigate pandemic risks in shelters. Therefore, we applied an age-structured epidemiological model, known as the Susceptible-Exposed-Infectious-Recovered (SEIR) model, to investigate to what extent different vaccine uptake levels and the Diversion protocol implemented in Taiwan decrease infections and delay pandemic peak occurrences. Taiwan's Diversion protocol involves diverting those in self-quarantine due to exposure, thus preventing them from mingling with the general public at a congregate shelter. The Diversion protocol, combined with sufficient vaccine uptake, can decrease the maximum number of infections and delay outbreaks relative to scenarios without such strategies. When the diversion of all exposed people is not possible, or vaccine uptake is insufficient, the Diversion protocol is still valuable. Furthermore, a group of evacuees that consists primarily of a young adult population tends to experience pandemic peak occurrences sooner and have up to 180% more infections than does a majority elderly group when the Diversion protocol is implemented. However, when the Diversion protocol is not enforced, the majority elderly group suffers from up to 20% more severe cases than the majority young adult group.


title: Blanchfield pairings and Gordian distance

abstract: A lower bound of the Gordian distance is presented in terms of the Blanchfield pairing. Our approach, in particular, allows us to show at least for 195 pairs of unoriented nontrivial prime knots with up to 10 crossings that their Gordian distance is equal to 3, most of which are difficult to treat otherwise.