title: Continuous approximations for the fixation probability of the Moran processes on star graphs

abstract: We consider a generalized version of the birth-death (BD) and death-birth (DB) processes introduced by Kaveh et al (2015), in which two constant fitnesses, one for birth and the other for death, describe the selection mechanism of the population. Rather than constant fitnesses, in this paper we consider more general frequency-dependent fitness functions (allowing any smooth functions) under the weak-selection regime. For a large population structured as a star graph, we provide approximations for the fixation probability which are solutions of certain ODEs (or systems of ODEs). For the DB case, we prove that our approximation has an error of order 1/N, where N is the size of the population. These approximations are obtained in the same spirit of Chalub and Souza (2016) albeit with quite different techniques. The general BD and DB processes contain, as special cases, the BD-* and DB-* (where * can be either B or D) processes described in Hadjichrysanthou et al (2011) -- this class includes many examples of update rules used in the literature.


title: Qubit-oscillator concatenated codes: decoding formalism & code comparison

abstract: Concatenating bosonic error-correcting codes with qubit codes can substantially boost the error-correcting power of the original qubit codes. It is not clear how to concatenate optimally, given there are several bosonic codes and concatenation schemes to choose from, including the recently discovered GKP-stabilizer codes [Phys. Rev. Lett. 125, 080503 (2020)}] that allow protection of a logical bosonic mode from fluctuations of the mode's conjugate variables. We develop efficient maximum-likelihood decoders for and analyze the performance of three different concatenations of codes taken from the following set: qubit stabilizer codes, analog/Gaussian stabilizer codes, GKP codes, and GKP-stabilizer codes. We benchmark decoder performance against additive Gaussian white noise, corroborating our numerics with analytical calculations. We observe that the concatenation involving GKP-stabilizer codes outperforms the more conventional concatenation of a qubit stabilizer code with a GKP code in some cases. We also propose a GKP-stabilizer code that suppresses fluctuations in both conjugate variables without extra quadrature squeezing, and formulate qudit versions of GKP-stabilizer codes.


title: An explicit Euler method for McKean-Vlasov SDEs driven by fractional Brownian motion

abstract: In this paper, we establish the theory of chaos propagation and propose an Euler-Maruyama scheme for McKean-Vlasov stochastic differential equations driven by fractional Brownian motion with Hurst exponent $H \in (0,1)$. Meanwhile, upper bounds for errors in the Euler method is obtained. A numerical example is demonstrated to verify the theoretical results.


title: Flow network controlled shape transformation of a thin membrane through differential fluid storage and surface expansion

abstract: The mechanical properties of a thin, planar material, perfused by an embedded flow network, can be changed locally and globally by the fluid transport and storage, resulting in small or large-scale deformation, such as out-of-plane buckling. Fluid absorption and storage eventually cause the material to locally swell. Different parts can hydrate and swell unevenly, prompting a differential expansion of the surface. In order to computationally study the hydraulically induced differential swelling and buckling of such a membrane, we develop a network model that describes both the membrane shape and fluid movement, coupling mechanics with hydrodynamics. We simulate the time-dependent fluid distribution in the flow network based on a spatially explicit resistor network model with local fluid-storage capacitance. The shape of the surface is modeled by a spring network produced by a tethered mesh discretization, in which local bond rest lengths are adjusted instantaneously according to associated local fluid content in the capacitors in a quasi-static way. We investigate the effects of various designs of the flow network, including overall hydraulic traits (resistance and capacitance) and hierarchical architecture (arrangement of major and minor veins), on the specific dynamics of membrane shape transformation. To quantify these effects, we explore the correlation between local Gaussian curvature and relative stored fluid content in each hierarchy by using linear regression, which reveals that stronger correlations could be induced by less densely connected major veins. This flow-controlled mechanism of shape transformation was inspired by the blooming of flowers through the unfolding of petals. It can potentially offer insights for other reversible motions observed in plants induced by differential turgor and water transport through the xylem vessels, as well as engineering applications.


title: Yes, DLGM! A novel hierarchical model for hazard classification

abstract: Hazards can be exposed by HAZOP as text information, and studying their classification is of great significance to the development of industrial informatics, which is conducive to safety early warning, decision support, policy evaluation, etc. However, there is no research on this important field at present. In this paper, we propose a novel model termed DLGM via deep learning for hazard classification. Specifically, first, we leverage BERT to vectorize the hazard and treat it as a type of time series (HTS). Secondly, we build a grey model FSGM(1, 1) to model it, and get the grey guidance in the sense of the structural parameters. Finally, we design a hierarchical-feature fusion neural network (HFFNN) to investigate the HTS with grey guidance (HTSGG) from three themes, where, HFFNN is a hierarchical structure with four types of modules: two feature encoders, a gating mechanism, and a deepening mechanism. We take 18 industrial processes as application cases and launch a series of experiments. The experimental results prove that DLGM has promising aptitudes for hazard classification and that FSGM(1, 1) and HFFNN are effective. We hope our research can contribute added value and support to the daily practice in industrial safety.


title: Synthesis of Sparse Linear Arrays via Low-Rank Hankel Matrix Completion

abstract: In the process of realizing the synthesis of the antenna array synthesis, it is of practical significance to arrange the nonuniform array and reduce the number of elements. According to the Matrix Pencil Method (MPM), we proposed an improved nonuniform array algorithm for reducing the number of array elements. We design the Hankel matrix by low-rank completion via log-det heuristic, and impose relatively loose constraints on the pattern, which may increase the degree of freedom of the radar array, so as to achieve the purpose of antenna array synthesis and non-uniform array.


title: Efficient Calculation of NMR Shielding Constants Using Composite Method Approximations and Locally Dense Basis Sets

abstract: This paper presents a systematic study of applying composite method approximations with locally dense basis sets (LDBS) to efficiently calculate NMR shielding constants in small and medium-sized molecules. The pcSseg-n series of basis sets are shown to have similar accuracy to the pcS-n series when n $\geq1$ and can slightly reduce compute costs. We identify two different LDBS partition schemes that perform very effectively for density functional calculations. We select a large subset of the recent NS372 database containing 290 H, C, N, and O shielding values evaluated by reference methods on 106 molecules to carefully assess methods of the high, medium, and low compute costs to make practical recommendations. Our assessment covers conventional electronic structure methods (DFT and wavefunction) with global basis calculations, as well as their use in one of the satisfactory LDBS approaches, and a range of composite approaches, also with and without LDBS. Altogether 99 methods are evaluated. On this basis, we recommend different methods to reach three different levels of accuracy and time requirements across the four nuclei considered.


title: Share the Tensor Tea: How Databases can Leverage the Machine Learning Ecosystem

abstract: We demonstrate Tensor Query Processor (TQP): a query processor that automatically compiles relational operators into tensor programs. By leveraging tensor runtimes such as PyTorch, TQP is able to: (1) integrate with ML tools (e.g., Pandas for data ingestion, Tensorboard for visualization); (2) target different hardware (e.g., CPU, GPU) and software (e.g., browser) backends; and (3) end-to-end accelerate queries containing both relational and ML operators. TQP is generic enough to support the TPC-H benchmark, and it provides performance that is comparable to, and often better than, that of specialized CPU and GPU query processors.


title: Dynamics of equilibrium linked colloidal gels

abstract: Colloids that attractively bond to only a few neighbors (e.g., patchy particles) can form equilibrium gels with distinctive dynamic properties that are stable in time. Here, we use a coarse-grained model to explore the dynamics of linked networks of patchy colloids whose average valence is macroscopically, rather than microscopically, constrained. Simulation results for the model show dynamic hallmarks of equilibrium gel formation and establish that the colloid-colloid bond persistence time controls the characteristic slow relaxation of the self-intermediate scattering function. The model features re-entrant network formation without phase separation as a function of linker concentration, centered at the stoichiometric ratio of linker ends to nanoparticle surface bonding sites. Departures from stoichiometry result in linker-starved or site-starved networks with reduced connectivity and shorter characteristic relaxation times with lower activation energies. Underlying the re-entrant trends, dynamic properties vary monotonically with the number of effective network bonds per colloid, a quantity that can be predicted using Wertheim's thermodynamic perturbation theory. These behaviors suggest macroscopic in situ strategies for tuning the dynamical response of colloidal networks.


title: Quantum isomorphism of graphs from association schemes

abstract: We show that any two Hadamard graphs on the same number of vertices are quantum isomorphic. This follows from a more general recipe for showing quantum isomorphism of graphs arising from certain association schemes. The main result is built from three tools. A remarkable recent result of Man\v{c}inska and Roberson shows that graphs $G$ and $H$ are quantum isomorphic if and only if, for any planar graph $F$, the number of graph homomorphisms from $F$ to $G$ is equal to the number of graph homomorphisms from $F$ to $H$. A generalization of partition functions called "scaffolds" affords some basic reduction rules such as series-parallel reduction and can be applied to counting homomorphisms. The final tool is the classical theorem of Epifanov showing that any plane graph can be reduced to a single vertex and no edges by extended series-parallel reductions and Delta-Wye transformations. This last sort of transformation is available to us in the case of exactly triply regular association schemes. The paper includes open problems and directions for future research.


title: Explaining Results of Multi-Criteria Decision Making

abstract: We introduce a method for explaining the results of various linear and hierarchical multi-criteria decision-making (MCDM) techniques such as WSM and AHP. The two key ideas are (A) to maintain a fine-grained representation of the values manipulated by these techniques and (B) to derive explanations from these representations through merging, filtering, and aggregating operations. An explanation in our model presents a high-level comparison of two alternatives in an MCDM problem, presumably an optimal and a non-optimal one, illuminating why one alternative was preferred over the other one. We show the usefulness of our techniques by generating explanations for two well-known examples from the MCDM literature. Finally, we show their efficacy by performing computational experiments.


title: Preatmospheric detection of a meter-sized Earth impactor

abstract: On 2020 September 18 US Government sensors detected a bolide with peak bolometric magnitude of -19 over the western Pacific. The impact was also detected by the Geostationary Lightning Mapper (GLM) instrument on the GOES-17 satellite and infrasound sensors in Hawaii. The USG measurements reported a steep entry angle of $67^{\circ}$ from horizontal from a radiant $13^{\circ}$ E of N and an impact speed of 11.7 km s$^{-1}$. Interpretation of all energy yields produces a preferred energy estimate of 0.4 kt TNT, corresponding to a $23000$ kilogram $3$ meter diameter meteoroid. A post-impact search of telescopic images found that the ATLAS survey captured the object just 10 minutes prior to impact at an Earth-centred distance of nearly $11900$ kilometers with apparent magnitude $m\text{=}12.5$. The object appears as a $0.44^{\circ}$ streak originating on the eastern edge of the image extending one-third of the USG state vector-based prediction of $1.26^{\circ}$ over the 30 second exposure. The streak shows brightness variability consistent with small asteroid rotation. The position of Earth's shadow, the object's size, and its consistency with the reported USG state vector confirm the object is likely natural. This is the eighth preatmospheric detection of a Near-Earth Asteroid (NEA) impactor and the closest initial telescopic detection prior to impact. The high altitude of peak fireball brightness suggest it was a weak object comparable in many respects with 2008 TC3 (Almahata Sitta meteorite), with absolute magnitude $H=32.5$ and likely low albedo. Therefore we suggest the NEA was a C-complex asteroid.


title: Phantom cosmologies from QCD ghost dark energy

abstract: We review a dynamical dark energy model scarcely studied in the literature and we introduce two possible generalizations. We discuss separately the behavior of the original model and a minimal extension of it by exploring some early and late times limits, we find that the cosmic components are related by their parameters state. In order to have access to the phantom regime we present two dark energy densities inspired from the holographic approach and from the emergent entropic forces model in the early universe. For the first case we obtain a Type III singularity and in the second proposal we have a transition from decelerated to accelerated cosmic expansion that starts as phantom type. However, the final stage of the universe is a de Sitter state.


title: On Shifting Semicircular Roots

abstract: In the framework of continued fraction expansions of Stieltjes transforms, we consider shifting of semicircular laws. The continuous part of the associated measure admits a density function which is the quotient of semicircular one by a polynomial. We study how this polynomial denominator determines shifted semicircular laws, with explicit descriptions in examples of shifting up to the level of step two.


title: Overcoming Artificial Multipoles in Intramolecular Symmetry-Adapted Perturbation Theory

abstract: Intramolecular symmetry-adapted perturbation theory (ISAPT) is a method to compute and decompose the noncovalent interaction energy between two molecular fragments A and B connected via a linker C. The existing ISAPT algorithm displays several issues for many fragmentation patterns, including an artificially repulsive electrostatic energy (even when the fragments are hydrogen-bonded) and very large and mutually cancelling induction and exchange-induction terms. We attribute those issues to the artificial dipole moments at the interfragment boundary, as the atoms of A and B directly connected to C are missing electrons on one of their hybrid orbitals. Therefore, we propose several new partitioning algorithms which reassign one electron, on a singly occupied link hybrid orbital, from C to each of A/B. Once the contributions from these link orbitals are added to fragment density matrices, the computation of ISAPT electrostatic, induction, and dispersion energies proceeds exactly as normal, and the exchange energy expressions need only minor modifications. Among the link partitioning algorithms introduced, the ISAPT(SIAO1) approach (in which the link orbital is obtained by a projection onto the intrinsic atomic orbitals of a given fragment followed by orthogonalization to this fragment's occupied space) leads to reasonable values of all ISAPT corrections for all fragmentation patterns and exhibits fast and systematic basis set convergence. This improvement is made possible by a significant reduction in magnitude (even though not a complete elimination) of the unphysical dipole moments at the interfragment boundaries. We demonstrate the utility of the improved ISAPT partitioning by examining intramolecular interactions in several pentanediol isomers, examples of linear and branched alkanes, and the open and closed conformations of a family of N-arylimide molecular torsion balances.


title: Multipoint-BAX: A New Approach for Efficiently Tuning Particle Accelerator Emittance via Virtual Objectives

abstract: Although beam emittance is critical for the performance of high-brightness accelerators, optimization is often time limited as emittance calculations, commonly done via quadrupole scans, are typically slow. Such calculations are a type of $\textit{multipoint query}$, i.e. each query requires multiple secondary measurements. Traditional black-box optimizers such as Bayesian optimization are slow and inefficient when dealing with such objectives as they must acquire the full series of measurements, but return only the emittance, with each query. We propose a new information-theoretic algorithm, Multipoint-BAX, for black-box optimization on multipoint queries, which queries and models individual beam-size measurements using techniques from Bayesian Algorithm Execution (BAX). Our method avoids the slow multipoint query on the accelerator by acquiring points through a $\textit{virtual objective}$, i.e. calculating the emittance objective from a fast learned model rather than directly from the accelerator. We use Multipoint-BAX to minimize emittance at the Linac Coherent Light Source (LCLS) and the Facility for Advanced Accelerator Experimental Tests II (FACET-II). In simulation, our method is 20$\times$ faster and more robust to noise compared to existing methods. In live tests, it matched the hand-tuned emittance at FACET-II and achieved a 24% lower emittance than hand-tuning at LCLS. Our method represents a conceptual shift for optimizing multipoint queries, and we anticipate that it can be readily adapted to similar problems in particle accelerators and other scientific instruments.


title: Extended Feature Space-Based Automatic Melanoma Detection System

abstract: Melanoma is the deadliest form of skin cancer. Uncontrollable growth of melanocytes leads to melanoma. Melanoma has been growing wildly in the last few decades. In recent years, the detection of melanoma using image processing techniques has become a dominant research field. The Automatic Melanoma Detection System (AMDS) helps to detect melanoma based on image processing techniques by accepting infected skin area images as input. A single lesion image is a source of multiple features. Therefore, It is crucial to select the appropriate features from the image of the lesion in order to increase the accuracy of AMDS. For melanoma detection, all extracted features are not important. Some of the extracted features are complex and require more computation tasks, which impacts the classification accuracy of AMDS. The feature extraction phase of AMDS exhibits more variability, therefore it is important to study the behaviour of AMDS using individual and extended feature extraction approaches. A novel algorithm ExtFvAMDS is proposed for the calculation of Extended Feature Vector Space. The six models proposed in the comparative study revealed that the HSV feature vector space for automatic detection of melanoma using Ensemble Bagged Tree classifier on Med-Node Dataset provided 99% AUC, 95.30% accuracy, 94.23% sensitivity, and 96.96% specificity.


title: Causal Intervention for Fairness in Multi-behavior Recommendation

abstract: Recommender systems usually learn user interests from various user behaviors, including clicks and post-click behaviors (e.g., like and favorite). However, these behaviors inevitably exhibit popularity bias, leading to some unfairness issues: 1) for items with similar quality, more popular ones get more exposure; and 2) even worse the popular items with lower popularity might receive more exposure. Existing work on mitigating popularity bias blindly eliminates the bias and usually ignores the effect of item quality. We argue that the relationships between different user behaviors (e.g., conversion rate) actually reflect the item quality. Therefore, to handle the unfairness issues, we propose to mitigate the popularity bias by considering multiple user behaviors. In this work, we examine causal relationships behind the interaction generation procedure in multi-behavior recommendation. Specifically, we find that: 1) item popularity is a confounder between the exposed items and users' post-click interactions, leading to the first unfairness; and 2) some hidden confounders (e.g., the reputation of item producers) affect both item popularity and quality, resulting in the second unfairness. To alleviate these confounding issues, we propose a causal framework to estimate the causal effect, which leverages backdoor adjustment to block the backdoor paths caused by the confounders. In the inference stage, we remove the negative effect of popularity and utilize the good effect of quality for recommendation. Experiments on two real-world datasets validate the effectiveness of our proposed framework, which enhances fairness without sacrificing recommendation accuracy.


title: Magnetic field effects in an octupolar quantum spin liquid candidate

abstract: Quantum spin liquid (QSL) is a disordered state of quantum-mechanically entangled spins commonly arising from frustrated magnetic dipolar interactions. However, QSL in some pyrochlore magnets can also come from frustrated magnetic octupolar interactions. Although the key signature for both dipolar and octupolar interaction-driven QSL is the presence of a spin excitation continuum (spinons) arising from the spin quantum number fractionalization, an external magnetic field-induced ferromagnetic order will transform the spinons into conventional spin waves in a dipolar QSL. By contrast, in an octupole QSL, the spin waves carry octupole moments that do not couple, in the leading order, to the external magnetic field or to neutron moments but will contribute to the field dependence of the heat capacity. Here we use neutron scattering to show that the application of a large external magnetic field to Ce2Zr2O7, an octupolar QSL candidate, induces an Anderson-Higgs transition by condensing the spinons into a static ferromagnetic ordered state with octupolar spin waves invisible to neutrons but contributing to the heat capacity. Our theoretical calculations also provide a microscopic, qualitative understanding for the presence of octupole scattering at large wavevectors in Ce2Sn2O7 pyrochlore, and its absence in Ce2Zr2O7. Therefore, our results identify Ce2Zr2O7 as a strong candidate for an octupolar U (1) QSL, establishing that frustrated magnetic octupolar interactions are responsible for QSL properties in Ce-based pyrochlore magnets.


title: Automorphisms of nonsplit coverings of $PSL_2(q)$ in odd characteristic dividing $q-1$

abstract: We classify the nonsplit extensions of elementary abelian $p$-groups by $PSL_2(q)$, with odd $p$ dividing $q-1$, for an irreducible induced action, calculate the relevant low-dimensional cohomology groups, and describe the automorphism groups of such extensions.


title: Discovery of a pair density wave state in a monolayer high-Tc iron-based superconductor

abstract: The pair density wave (PDW) is an extraordinary superconducting state where Cooper pairs carry nonzero momentum. It can emerge when the full condensation of zero momentum Cooper pairs is frustrated. Evidence for the existence of intrinsic PDW order in high-temperature (high-Tc) cuprate superconductors and kagome superconductors has emerged recently. However, the PDW order in iron-based high-Tc superconductors has not been observed experimentally. Here, using scanning tunneling microscopy/spectroscopy, we report the discovery of the PDW state in monolayer iron-based high-Tc Fe(Te,Se) films grown on SrTiO3(001) substrates. The PDW state with a period of {\lambda}~3.6a_Fe (a_Fe is the distance between neighboring Fe atoms) is observed at the domain walls by the spatial electronic modulations of the local density of states, superconducting gap, and the {\pi}-phase shift boundaries of the PDW around the dislocations of the intertwined charge density wave order. The discovery of the PDW state in the monolayer Fe(Te,Se) film provides a low-dimensional platform to study the interplay between the correlated electronic states and unconventional Cooper pairing in high-Tc superconductors.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: Towards Diversity-tolerant RDF-stores

abstract: We propose a novel approach to designing RDF-stores with the goal of improving the consistency and predictability of query performance. When designing these systems, three properties are commonly desired: support for the full range of SPARQL query features (Q), support for widely varying RDF datasets in terms of structuredness and size (S), and high performance (P). We develop the empirical SPQ conjecture which states that it may be impossible to achieve all the three desiderata simultaneously. We present a strong case for its plausibility based on our experimental results. The tradeoffs among the three and design guidelines based on the SPQ conjecture are also discussed.


title: Unsupervised Domain Adaptation for Extra Features in the Target Domain Using Optimal Transport

abstract: Domain adaptation aims to transfer knowledge of labeled instances obtained from a source domain to a target domain to fill the gap between the domains. Most domain adaptation methods assume that the source and target domains have the same dimensionality. Methods that are applicable when the number of features is different in each domain have rarely been studied, especially when no label information is given for the test data obtained from the target domain. In this paper, it is assumed that common features exist in both domains and that extra (new additional) features are observed in the target domain; hence, the dimensionality of the target domain is higher than that of the source domain. To leverage the homogeneity of the common features, the adaptation between these source and target domains is formulated as an optimal transport (OT) problem. In addition, a learning bound in the target domain for the proposed OT-based method is derived. The proposed algorithm is validated using both simulated and real-world data.


title: OPAL: Ontology-Aware Pretrained Language Model for End-to-End Task-Oriented Dialogue

abstract: This paper presents an ontology-aware pretrained language model (OPAL) for end-to-end task-oriented dialogue (TOD). Unlike chit-chat dialogue models, task-oriented dialogue models fulfill at least two task-specific modules: dialogue state tracker (DST) and response generator (RG). The dialogue state consists of the domain-slot-value triples, which are regarded as the user's constraints to search the domain-related databases. The large-scale task-oriented dialogue data with the annotated structured dialogue state usually are inaccessible. It prevents the development of the pretrained language model for the task-oriented dialogue. We propose a simple yet effective pretraining method to alleviate this problem, which consists of two pretraining phases. The first phase is to pretrain on large-scale contextual text data, where the structured information of the text is extracted by the information extracting tool. To bridge the gap between the pretraining method and downstream tasks, we design two pretraining tasks: ontology-like triple recovery and next-text generation, which simulates the DST and RG, respectively. The second phase is to fine-tune the pretrained model on the TOD data. The experimental results show that our proposed method achieves an exciting boost and get competitive performance even without any TOD data on CamRest676 and MultiWOZ benchmarks.


title: Self-supervised Human Mesh Recovery with Cross-Representation Alignment

abstract: Fully supervised human mesh recovery methods are data-hungry and have poor generalizability due to the limited availability and diversity of 3D-annotated benchmark datasets. Recent progress in self-supervised human mesh recovery has been made using synthetic-data-driven training paradigms where the model is trained from synthetic paired 2D representation (e.g., 2D keypoints and segmentation masks) and 3D mesh. However, on synthetic dense correspondence maps (i.e., IUV) few have been explored since the domain gap between synthetic training data and real testing data is hard to address for 2D dense representation. To alleviate this domain gap on IUV, we propose cross-representation alignment utilizing the complementary information from the robust but sparse representation (2D keypoints). Specifically, the alignment errors between initial mesh estimation and both 2D representations are forwarded into regressor and dynamically corrected in the following mesh regression. This adaptive cross-representation alignment explicitly learns from the deviations and captures complementary information: robustness from sparse representation and richness from dense representation. We conduct extensive experiments on multiple standard benchmark datasets and demonstrate competitive results, helping take a step towards reducing the annotation effort needed to produce state-of-the-art models in human mesh estimation.


title: Calabi-Yau varieties of large index

abstract: Call a projective variety $X$ Calabi-Yau if its canonical divisor is ${\bf Q}$-linearly equivalent to zero. The smallest positive integer $m$ with $mK_X$ linearly equivalent to zero is called the index of $X$. We construct Calabi-Yau varieties with the largest known index in high dimensions. In our examples, the index grows doubly exponentially with dimension. We conjecture that our examples have the largest possible index, with supporting evidence in low dimensions. The examples are obtained by mirror symmetry from our Calabi-Yau varieties with an ample Weil divisor of small volume. We also give examples for several related problems, including Calabi-Yau varieties with large orbifold Betti numbers or small minimal log discrepancy.


title: Data-Driven Affinely Adjustable Robust Volt/VAr Control

abstract: This paper proposes a data-driven affinely adjustable robust Volt/VAr control (AARVVC) scheme, which modulates the smart inverter reactive power in an affine function of its active power, based on the voltage sensitivities with respect to real/reactive power injections. To achieve a fast and accurate estimation of voltage sensitivities, we propose a data-driven method based on deep neural network (DNN), together with a rule-based bus-selection process using the bidirectional search method. Our method only uses the operating statuses of selected buses as inputs to DNN, thus significantly improving the training efficiency and reducing information redundancy. Finally, a distributed consensus-based solution, based on the alternating direction method of multipliers (ADMM), for the AARVVC is applied to decide the inverter reactive power adjustment rule with respect to its active power. Only limited information exchange is required between each local agent and the central agent to obtain the slope of the reactive power adjustment rule, and there is no need for the central agent to solve any (sub)optimization problems. Numerical results on the modified IEEE-123 bus system validate the effectiveness and superiority of the proposed data-driven AARVVC method.


title: Preserving Privacy in Federated Learning with Ensemble Cross-Domain Knowledge Distillation

abstract: Federated Learning (FL) is a machine learning paradigm where local nodes collaboratively train a central model while the training data remains decentralized. Existing FL methods typically share model parameters or employ co-distillation to address the issue of unbalanced data distribution. However, they suffer from communication bottlenecks. More importantly, they risk privacy leakage. In this work, we develop a privacy preserving and communication efficient method in a FL framework with one-shot offline knowledge distillation using unlabeled, cross-domain public data. We propose a quantized and noisy ensemble of local predictions from completely trained local models for stronger privacy guarantees without sacrificing accuracy. Based on extensive experiments on image classification and text classification tasks, we show that our privacy-preserving method outperforms baseline FL algorithms with superior performance in both accuracy and communication efficiency.


title: Berger-Coburn-Lebow representation for pure isometric representations of product system over $\mathbb N^2_0$

abstract: We obtain Berger-Coburn-Lebow (BCL)-representation for pure isometric covariant representation of product system over $\mathbb{N}_0^2$. Then the corresponding complete set of (joint) unitary invariants is studied, and the BCL- representations are compared with other canonical multi-analytic descriptions of the pure isometric covariant representation. We characterize the invariant subspaces for the pure isometric covariant representation. Also, we study the connection between the joint defect operators and Fringe operators, and the Fredholm index is introduced in this case. Finally, we introduce the notion of congruence relation to classify the isometric covariant representations of the product system over $\mathbb{N}_0^2$.


title: A class of anisotropic inverse Gauss curvature flows and dual Orlicz Minkowski type problem

abstract: In this paper, we study the long-time existence and asymptotic behavior for a class of anisotropic inverse Gauss curvature flows. By the stationary solutions of anisotropic flows, we obtain some new existence results for the dual Orlicz Minkowski type problem and even dual Orlicz Minkowski type problem for smooth measures, which is the most reasonable extension of the $L^p$ dual Minkowski problem from the dual point of view. The results of corresponding $L^p$ versions are $L^p$ dual Minkowski problem for $p>q$; and even $L^p$ dual Minkowski problem for $p>-1$, or $q<1$, or some ranges of $p<0<q$, which contain all existence results for smooth measures up to now except $p=q$ or $q=n+1$ ($L^p$ Minkowski problem).


title: Code Compliance Assessment as a Learning Problem

abstract: Manual code reviews and static code analyzers are the traditional mechanisms to verify if source code complies with coding policies. However, these mechanisms are hard to scale. We formulate code compliance assessment as a machine learning (ML) problem, to take as input a natural language policy and code, and generate a prediction on the code's compliance, non-compliance, or irrelevance. This can help scale compliance classification and search for policies not covered by traditional mechanisms. We explore key research questions on ML model formulation, training data, and evaluation setup. The core idea is to obtain a joint code-text embedding space which preserves compliance relationships via the vector distance of code and policy embeddings. As there is no task-specific data, we re-interpret and filter commonly available software datasets with additional pre-training and pre-finetuning tasks that reduce the semantic gap. We benchmarked our approach on two listings of coding policies (CWE and CBP). This is a zero-shot evaluation as none of the policies occur in the training set. On CWE and CBP respectively, our tool Policy2Code achieves classification accuracies of (59%, 71%) and search MRR of (0.05, 0.21) compared to CodeBERT with classification accuracies of (37%, 54%) and MRR of (0.02, 0.02). In a user study, 24% Policy2Code detections were accepted compared to 7% for CodeBERT.


title: Fighting Sybils in Airdrops

abstract: Airdrop is a crucial concept in tokenomics. Startups of decentralized applications (DApps) reward early supporters by airdropping newly issued tokens up to a certain amount as a free giveaway. This naturally induces greedy hackers, called Sybils, to create multiple accounts for more shares. Most airdrops have prerequisites for qualification, in which utilizing these DApps is unsurprisingly the principal. One particular characteristic of DApps is to implement users' interactions with them in the form of token transfer transactions or smart contract calling transactions on public blockchains. We argue that these individual transactions could reveal underlying signatures of their sending accounts. Specifically, accounts controlled by the same Sybil may exhibit some common behaviors. A careful analysis of Sybil's behaviors shows that accounts controlled by the same Sybil may produce similar DApp activities and regular token transfer patterns. We model the transactions as graphs by representing accounts as vertices and transactions as edges. When multiple accounts receive tokens from the same Sybil to conduct interactions with DApps, we inspect the graphs for these activities and patterns to detect suspicious accounts. We demonstrate the effectiveness of the proposed method in a recent airdrop by presenting the suspicious accounts controlled by Sybils. All the detected accounts exhibit similar interaction activities and regular transfer patterns.


title: Accelerated Primal-Dual Methods for Convex-Strongly-Concave Saddle Point Problems

abstract: We investigate a primal-dual (PD) method for the saddle point problem (SPP) that uses a linear approximation of the primal function instead of the standard proximal step, resulting in a linearized PD (LPD) method. For convex-strongly concave SPP, we observe that the LPD method has a suboptimal dependence on the Lipschitz constant of the primal function. To fix this issue, we combine features of Accelerated Gradient Descent with the LPD method resulting in a single-loop Accelerated Linearized Primal-Dual (ALPD) method. ALPD method achieves the optimal gradient complexity when the SPP has a semi-linear coupling function. We also present an inexact ALPD method for SPPs with a general nonlinear coupling function that maintains the optimal gradient evaluations of the primal parts and significantly improves the gradient evaluations of the coupling term compared to the ALPD method. We verify our findings with numerical experiments.


title: Solutions to the matrix Yang-Baxter equation

abstract: In this article, we give a few classes of solutions for the Yang-Baxter type matrix equation, $AXA=XAX$. We provide all solutions for the cases when $A$ is equivalent to a Jordan block or has precisely two Jordan blocks. We also have given a few general properties of the solutions of the YB-equation.


title: Barrier Pairs for Safety Control of Uncertain Output Feedback Systems

abstract: The barrier function method for safety control typically assumes the availability of full state information. Unfortunately, in many scenarios involving uncertain dynamical systems, full state information is often unavailable. In this paper, we aim to solve the safety control problem for an uncertain single-input single-output system with partial state information. First, we develop a synthesis method that simultaneously creates a barrier function and a dynamic output feedback safety controller. This safety controller guarantees that the unit sub-level set of the barrier function is an invariant set under the uncertain dynamics and disturbances of the system. Then, we build an identifier-based estimator that provides a state estimate affine to the uncertain model parameters of the system. To detect the potential risks of the system, a fault detector uses the state estimate to find an upper bound for the barrier function. The fault detector triggers the safety controller when the system's original action leads to a potential safety issue and resumes the original action when the potential safety issue is resolved by the safety controller.


title: Brown-dwarf companions in microlensing binaries detected during the 2016--2018 seasons

abstract: With the aim of finding microlensing binaries containing brown-dwarf (BD) companions, we investigate the microlensing survey data collected during the 2016--2018 seasons. For this purpose, we first conducted modeling of lensing events with light curves exhibiting anomaly features that are likely to be produced by binary lenses. We then sorted out BD-companion binary-lens events by applying the criterion that the companion-to-primary mass ratio is $q \lesssim 0.1$. From this procedure, we identify 6 binaries with candidate BD companions, including OGLE-2016-BLG-0890L, MOA-2017-BLG-477L, OGLE-2017-BLG-0614L, KMT-2018-BLG-0357L, OGLE-2018-BLG-1489L, and OGLE-2018-BLG-0360L. We estimate the masses of the binary companions by conducting Bayesian analyses using the observables of the individual lensing events. According to the Bayesian estimation of the lens masses, the probabilities for the lens companions of the events OGLE-2016-BLG-0890, OGLE-2017-BLG-0614, OGLE-2018-BLG-1489, and OGLE-2018-BLG-0360 to be in the BD mass regime are very high with $P_{\rm BD}> 80\%$. For MOA-2017-BLG-477 and KMT-2018-BLG-0357, the probabilities are relatively low with $P_{\rm BD}=61\%$ and 69\%, respectively.


title: Eigenvalue Fluctuations of 1-dimensional random Schr\"odinger operators

abstract: As an extension to the paper by Breuer, Grinshpon, and White \cite{B}, we study the linear statistics for the eigenvalues of the Schr\"odinger operator with random decaying potential with order ${\cal O}(x^{-\alpha})$ ($\alpha>0$) at infinity. We first prove similar statements as in \cite{B} for the trace of $f(H)$, where $f$ belongs to a class of analytic functions : there exists a critical exponent $\alpha_c$ such that the fluctuation of the trace of $f(H)$ converges in probability for $\alpha > \alpha_c$, and satisfies a CLT statement for $\alpha \le \alpha_c$, where $\alpha_c$ differs depending on $f$. Furthermore we study the asymptotic behavior of its expectation value.


title: Revisiting QUAD ambition in the Indo Pacific leveraging Space and Cyber Domain

abstract: In the backdrop of growing power transitions and rise of strategic high tide in the world, the Indo Pacific Region (IPR) has emanated as an area which is likely to witness increased development & enhanced security cooperation through militarization. With China trying to be at the seat of the Global leadership, US & its allies in the Indo pacific are aiming at working together, finding mutually beneficial areas of functional cooperation and redefining the canvas of security. This purpose of this paper is to analyze an informal alliance, Quadrilateral Security dialogue (QUAD) in its present form with the geostrategic landscape in Indo pacific and present recommendations to strengthen collaboration & response capability.


title: Cache Refinement Type for Side-Channel Detection of Cryptographic Software

abstract: Cache side-channel attacks exhibit severe threats to software security and privacy, especially for cryptosystems. In this paper, we propose CaType, a novel refinement type-based tool for detecting cache side channels in crypto software. Compared to previous works, CaType provides the following advantages: (1) For the first time CaType analyzes cache side channels using refinement type over x86 assembly code. It reveals several significant and effective enhancements with refined types, including bit-level granularity tracking, distinguishing different effects of variables, precise type inferences, and high scalability. (2) CaType is the first static analyzer for crypto libraries in consideration of blinding-based defenses. (3) From the perspective of implementation, CaType uses cache layouts of potential vulnerable control-flow branches rather than cache states to suppress false positives. We evaluate CaType in identifying side channel vulnerabilities in real-world crypto software, including RSA, ElGamal, and (EC)DSA from OpenSSL and Libgcrypt. CaType captures all known defects, detects previously-unknown vulnerabilities, and reveals several false positives of previous tools. In terms of performance, CaType is 16X faster than CacheD and 131X faster than CacheS when analyzing the same libraries. These evaluation results confirm the capability of CaType in identifying side channel defects with great precision, efficiency, and scalability.


title: An Analysis of the Differences Among Regional Varieties of Chinese in Malay Archipelago

abstract: Chinese features prominently in the Chinese communities located in the nations of Malay Archipelago. In these countries, Chinese has undergone the process of adjustment to the local languages and cultures, which leads to the occurrence of a Chinese variant in each country. In this paper, we conducted a quantitative analysis on Chinese news texts collected from five Malay Archipelago nations, namely Indonesia, Malaysia, Singapore, Philippines and Brunei, trying to figure out their differences with the texts written in modern standard Chinese from a lexical and syntactic perspective. The statistical results show that the Chinese variants used in these five nations are quite different, diverging from their modern Chinese mainland counterpart. Meanwhile, we managed to extract and classify several featured Chinese words used in each nation. All these discrepancies reflect how Chinese evolves overseas, and demonstrate the profound impact rom local societies and cultures on the development of Chinese.


title: Harnessing Abstractive Summarization for Fact-Checked Claim Detection

abstract: Social media platforms have become new battlegrounds for anti-social elements, with misinformation being the weapon of choice. Fact-checking organizations try to debunk as many claims as possible while staying true to their journalistic processes but cannot cope with its rapid dissemination. We believe that the solution lies in partial automation of the fact-checking life cycle, saving human time for tasks which require high cognition. We propose a new workflow for efficiently detecting previously fact-checked claims that uses abstractive summarization to generate crisp queries. These queries can then be executed on a general-purpose retrieval system associated with a collection of previously fact-checked claims. We curate an abstractive text summarization dataset comprising noisy claims from Twitter and their gold summaries. It is shown that retrieval performance improves 2x by using popular out-of-the-box summarization models and 3x by fine-tuning them on the accompanying dataset compared to verbatim querying. Our approach achieves Recall@5 and MRR of 35% and 0.3, compared to baseline values of 10% and 0.1, respectively. Our dataset, code, and models are available publicly: https://github.com/varadhbhatnagar/FC-Claim-Det/


title: Self-Consistent Computation of Spin Torques and Magneto-Resistance in Tunnel Junctions and Magnetic Read-Heads with Metallic Pinhole Defects

abstract: A three-dimensional self-consistent spin transport model is developed, which includes both tunnelling transport, as well as metallic transport. Using the spin accumulation computed either side of a tunnel barrier, spin torques are obtained, and it is shown the model reproduces both damping-like and field-like spin-transfer torques, with the expected sinusoidal angular dependence, and inverse ferromagnetic layer thickness dependence. An explicit solution to the drift-diffusion model is derived, which allows analysing the effect of both the reference and free layer thickness on the spin-transfer torque polarization and field-like coefficient. In particular, when the layers are thin, additional spin-dependent scattering contributions due to incomplete absorption of transverse spin components reduce both the damping-like and field-like spin torques. It is shown the model developed here can be used to compute the signal-to-noise ratio in realistic magnetic read-heads, where spin torque-induced fluctuations and instabilities limit the maximum operating voltage. The effect of metallic pinhole defects in the insulator layer is also analysed, which results in a mixture of metallic and tunnelling transport, and highly non-uniform charge and spin currents, requiring the full spin transport model to compute the resulting magneto-resistance and spin torques. Increasing the area covered by pinholes results in a rapid degradation of the magneto-resistance, following an inverse dependence. Moreover, the spin torque angular dependence becomes skewed, and the spin-transfer torque polarization decreases. The same results are obtained when considering tunnel junctions with a single pinhole defect, but decreasing cross-sectional area, showing that even a single pinhole defect can significantly degrade the performance of tunnel junctions and magnetic read-heads below the 40 nm node.


title: A customer satisfaction centric food delivery system based on blockchain and smart contract

abstract: Food delivery systems are gaining popularity recently due to the expansion of internet connectivity and for the increasing availability of devices. The growing popularity of such systems has raised concerns regarding (i) Information security, (ii) Business to business (B2B) deep discounting race, and (iii) Strict policy enforcement. Sensitive personal data and financial information of the users must be safeguarded. Additionally, in pursuit of gaining profit, the restaurants tend to offer deep discounts resulting in a higher volume of orders than usual. Therefore, the restaurants and the delivery persons fail to maintain the delivery time and often impair the food quality. In this paper, we have proposed a blockchain and smart contract-based food delivery system to address these issues. The main goal is to remove commission schemes and decrease service delays caused by a high volume of orders. The protocols have been deployed and tested on the Ethereum test network. The simulation manifests a successful implementation of our desired system; with the payment being controlled by our system. The actors (restaurant, delivery-person or consumer) are bound to be compliant with the policies or penalized otherwise.


title: On classical orthogonal polynomials on lattices and some characterization theorems

abstract: In this chapter are given necessary and sufficient conditions for the regularity of solutions of the functional equation appearing in the theory of classical orthogonal polynomials. In addition, we also present the functional Rodrigues formula and a closed formula for the recurrence coefficients. We finally used these results to solve some interesting research problems concerning characterization theorems.


title: Slice Weighted Average Regression

abstract: It has previously been shown that ordinary least squares can be used to estimate the coefficients of the single-index model under only mild conditions. However, the estimator is non-robust leading to poor estimates for some models. In this paper we propose a new sliced least-squares estimator that utilizes ideas from Sliced Inverse Regression. Slices with problematic observations that contribute to high variability in the estimator can easily be down-weighted to robustify the procedure. The estimator is simple to implement and can result in vast improvements for some models when compared to the usual least-squares approach. While the estimator was initially conceived with the single-index model in mind, we also show that multiple directions can be obtained, therefore providing another notable advantage of using slicing with least squares. Several simulation studies and a real data example are included, as well as some comparisons with some other recent methods.


title: Computable topological groups

abstract: We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions in the literature. We relate these notions with the well-established definitions of effective presentability for discrete and profinite groups, and compare these results with similar results in computable topology. Most of these definitions can be separated by counter-examples. Remarkably, we prove that two such definitions are equivalent for locally compact Polish and abelian Polish groups. More specifically, we prove that in these broad classes of groups, every computable topological group admits a right-c.e.~(upper semi-computable) presentation with a left-invariant metric, and a computable dense sequence of points. In the locally compact case, we also show that if the group is additionally effectively locally compact, then we can produce an effectively proper left-invariant metric.


title: Self-supervised Learning for Panoptic Segmentation of Multiple Fruit Flower Species

abstract: Convolutional neural networks trained using manually generated labels are commonly used for semantic or instance segmentation. In precision agriculture, automated flower detection methods use supervised models and post-processing techniques that may not perform consistently as the appearance of the flowers and the data acquisition conditions vary. We propose a self-supervised learning strategy to enhance the sensitivity of segmentation models to different flower species using automatically generated pseudo-labels. We employ a data augmentation and refinement approach to improve the accuracy of the model predictions. The augmented semantic predictions are then converted to panoptic pseudo-labels to iteratively train a multi-task model. The self-supervised model predictions can be refined with existing post-processing approaches to further improve their accuracy. An evaluation on a multi-species fruit tree flower dataset demonstrates that our method outperforms state-of-the-art models without computationally expensive post-processing steps, providing a new baseline for flower detection applications.


title: On fourth order retarded equations with functional boundary conditions: a unified approach

abstract: By means of a recent Birkhoff-Kellogg type theorem, we discuss the solvability of a fairly general class of parameter-dependent fourth order retarded differential equations subject to functional boundary conditions. We seek solutions within a translate cone of nonnegative functions. We provide an example to illustrate our theoretical results.


title: A semi-Markovian approach to model the tick-by-tick dynamics of stock price

abstract: We model the stock price dynamics through a semi-Markov process obtained using a Poisson random measure. We establish the existence and uniqueness of the classical solution of a non-homogeneous terminal value problem and we show that the expected value of stock price at horizon can be obtained as a classical solution of a linear partial differential equation that is a special case of the terminal value problem studied in this paper. We further analyze the market making problem using the point of view of an agent who posts the limit orders at the best price available. We use the dynamic programming principle to obtain a HJB equation. In no-risk aversion case, we obtain the value function as a classical solution of a linear pde and derive the expressions for optimal controls by solving the HJB equation.


title: Social Shaping of Dynamic Multi-Agent Systems over a Finite Horizon

abstract: This paper studies self-sustained dynamic multiagent systems (MAS) for decentralized resource allocation operating at a competitive equilibrium over a finite horizon. The utility of resource consumption, along with the income from resource exchange, forms each agent's payoff which is aimed to be maximized. Each utility function is parameterized by individual preferences which can be designed by agents independently. By shaping these preferences and proposing a set of utility functions, we can guarantee that the optimal resource price at the competitive equilibrium always remains socially acceptable, i.e., it never violates a given threshold that indicates affordability. First, we show this problem is solvable at the conceptual level under some convexity assumptions. Then, as a benchmark case, we consider quadratic MAS and formulate the associated social shaping problem as a multi-agent LQR problem which enables us to propose explicit utility sets using quadratic programming and dynamic programming. Finally, a numerical algorithm is presented for calculating the range of the preference function parameters which guarantee a socially accepted price. Some illustrative examples are given to examine the effectiveness of the proposed methods.


title: Hot atomic vapors for nonlinear and quantum optics

abstract: Nonlinear optics has been a very dynamic field of research with spectacular phenomena discovered mainly after the invention of lasers. The combination of high intensity fields with resonant systems has further enhanced the nonlinearity with specific additional effects related to the resonances. In this paper we review a limited range of these effects which has been studied in the past decades using close-to-room-temperature atomic vapors as the nonlinear resonant medium. In particular we describe four-wave mixing (4WM) and generation of nonclassical light in atomic vapors. One-and two-mode squeezing as well as photon correlations are discussed. Furthermore, we present some applications for optical and quantum memories based on hot atomic vapors. Finally, we present results on the recently developed field of quantum fluids of light using hot atomic vapors.

categories: quant-ph cond-mat.quant-gas physics.atom-ph physics.optics


title: Resource and stability near a critical point from the quantum information perspective

abstract: In the presence of chemical potential and temperature, we holographically study subregion complexity in a non-conformal quantum field theory with a critical point. We propose a new interpretation according to which the states, needing (more) less information to be specified, characterize the (un) stable thermodynamical solutions. We observe the increasing and decreasing effects of chemical potential and temperature on holographic subregion complexity, respectively. These two opposite behaviors lead to a point where subregion complexity of the mixed state is the same as this value for a zero temperature conformal field theory. We also present a new description of the difference between the minimum and the maximum value (the value near the critical point) of holographic subregion complexity as a resource for doing computational work to prepare the state near the critical point from the state far from it. We also calculate the critical exponent.


title: Gradient Descent Temporal Difference-difference Learning

abstract: Off-policy algorithms, in which a behavior policy differs from the target policy and is used to gain experience for learning, have proven to be of great practical value in reinforcement learning. However, even for simple convex problems such as linear value function approximation, these algorithms are not guaranteed to be stable. To address this, alternative algorithms that are provably convergent in such cases have been introduced, the most well known being gradient descent temporal difference (GTD) learning. This algorithm and others like it, however, tend to converge much more slowly than conventional temporal difference learning. In this paper we propose gradient descent temporal difference-difference (Gradient-DD) learning in order to improve GTD2, a GTD algorithm, by introducing second-order differences in successive parameter updates. We investigate this algorithm in the framework of linear value function approximation, theoretically proving its convergence by applying the theory of stochastic approximation. %analytically showing its improvement over GTD2. Studying the model empirically on the random walk task, the Boyan-chain task, and the Baird's off-policy counterexample, we find substantial improvement over GTD2 and, in several cases, better performance even than conventional TD learning.


title: Non-autonomous overdetermined problems for the normalized p-Laplacian

abstract: We present existence and nonexistence results on the solution of an overdetermined problem for the normalized p-Laplacian in a bounded open set, with p ranging from 1 to infinity. More precisely we consider a non-constant Neumann condition at the boundary. The definitions and statements needed to understand the main results are recalled in detail.


title: A mixed precision Jacobi SVD algorithm

abstract: We propose a mixed precision Jacobi algorithm for computing the singular value decomposition (SVD) of a dense matrix. After appropriate preconditioning, the proposed algorithm computes the SVD in a lower precision as an initial guess, and then performs one-sided Jacobi rotations in the working precision as iterative refinement. By carefully transforming a lower precision solution to a higher precision one, our algorithm achieves about 2 times speedup on the x86-64 architecture compared to the usual one-sided Jacobi SVD algorithm in LAPACK, without sacrificing the accuracy.


title: A Power Efficiency Metric for Comparing Energy Consumption in Future Wireless Networks in the Millimeter Wave and Terahertz bands

abstract: Future wireless cellular networks will utilize millimeter-wave and sub-THz frequencies and deploy small-cell base stations to achieve data rates on the order of hundreds of Gigabits per second per user. The move to sub-THz frequencies will require attention to sustainability and reduction of power whenever possible to reduce the carbon footprint while maintaining adequate battery life for the massive number of resource-constrained devices to be deployed. This article analyzes power consumption of future wireless networks using a new metric, the power waste factor ($ W $), which shows promise for the study and development of "green G" - green technology for future wireless networks. Using $ W $, power efficiency can be considered by quantifying the power wasted by all devices on a signal path in a cascade. We then show that the consumption efficiency factor ($CEF$), defined as the ratio of the maximum data rate achieved to the total power consumed, is a novel and powerful measure of power efficiency that shows less energy per bit is expended as the cell size shrinks and carrier frequency and channel bandwidth increase. Our findings offer a standard approach to calculating and comparing power consumption and energy efficiency.


title: Moderate deviations and local limit theorems for the coefficients of random walks on the general linear group

abstract: Consider the random walk $G_n : = g_n \ldots g_1$, $n \geq 1$, where $(g_n)_{n\geq 1}$ is a sequence of independent and identically distributed random elements with law $\mu$ on the general linear group ${\rm GL}(V)$ with $V=\mathbb R^d$. Under suitable conditions on $\mu$, we establish Cram\'{e}r type moderate deviation expansions and local limit theorems with moderate deviations for the coefficients $\langle f, G_n v \rangle$, where $v \in V$ and $f \in V^*$. Our approach is based on the H\"older regularity of the invariant measure of the Markov chain $G_n \!\cdot \! x = \mathbb R G_n v$ on the projective space of $V$ with the starting point $x = \mathbb R v$, under the changed measure.


title: On Well-posed Boundary Conditions for the Linear Non-homogeneous Moment Equations in Half-space

abstract: We propose a necessary and sufficient condition for the well-posedness of the linear non-homogeneous Grad moment equations in half-space. The Grad moment system is based on Hermite expansion and regarded as an efficient reduction model of the Boltzmann equation. At a solid wall, the moment equations are commonly equipped with a Maxwell-type boundary condition named the Grad boundary condition. We point out that the Grad boundary condition is unstable for the non-homogeneous half-space problem. Thanks to the proposed criteria, we verify the well-posedness of a class of modified boundary conditions. The technique to make sure the existence and uniqueness mainly includes a well-designed preliminary simultaneous transformation of the coefficient matrices and Kreiss' procedure about the linear boundary value problem with characteristic boundaries. The stability is established by a weighted estimate. At the same time, we obtain the analytical expressions of the solution, which may help solve the half-space problem efficiently.


abstract: In this paper, we first give a necessary and sufficient condition for a graph to have Laplacian pretty good pair state transfer. As an application of such result, we give a complete characterization of Laplacian pretty good edge state transfer in paths.


title: Adversarial Learning-based Stance Classifier for COVID-19-related Health Policies

abstract: The ongoing COVID-19 pandemic has caused immeasurable losses for people worldwide. To contain the spread of the virus and further alleviate the crisis, various health policies (e.g., stay-at-home orders) have been issued which spark heated discussions as users turn to share their attitudes on social media. In this paper, we consider a more realistic scenario on stance detection (i.e., cross-target and zero-shot settings) for the pandemic and propose an adversarial learning-based stance classifier to automatically identify the public's attitudes toward COVID-19-related health policies. Specifically, we adopt adversarial learning that allows the model to train on a large amount of labeled data and capture transferable knowledge from source topics, so as to enable generalize to the emerging health policies with sparse labeled data. To further enhance the model's deeper understanding, we incorporate policy descriptions as external knowledge into the model. Meanwhile, a GeoEncoder is designed which encourages the model to capture unobserved background factors specified by each region and then represent them as non-text information. We evaluate the performance of a broad range of baselines on the stance detection task for COVID-19-related health policies, and experimental results show that our proposed method achieves state-of-the-art performance in both cross-target and zero-shot settings.


title: Quantum Complexity and Holography

abstract: This thesis develops recent work on the so called Volume-Complexity and Action-Complexity conjectures. According to this family of proposals, geometric quantities can be defined in some holographic gravitational theories that can be mapped with the concept of quantum complexity for states in a dual quantum-mechanical theory. In this work, we review the original motivations for the use of quantum-information theory in the search of a theory of quantum gravity, and argue in favour of holographic complexity as a promising new tool that could play a key role in the elucidation of the properties of black holes. After this introduction, we devote some time to the study of `exotic' thermodynamical systems of diverse origin, confronting the conjectures with expectations and seeking for new behaviours of holographic complexity that could help us understand or refine the existing proposals. Next, we turn our attention to the study of holographic complexity for singular spacetimes, defining slightly modified versions of the conjecture that are well adapted to singularities and searching for universal behaviours of complexity dynamics within these setups. Finally, we finish with some speculations about the relation between holographic complexity and older characterization criteria for singularities in general relativity.


title: Clustering and finite size effects in a two-species exclusion process

abstract: We study the cluster size distribution of particles for a two-species exclusion process which involves totally asymmetric transport process of two oppositely directed species with stochastic directional switching of the species on a 1D lattice. As a function of $Q$ - the ratio of the translation rate and directional switching rate of particles, in the limit of $Q \rightarrow 0$, the probability distribution of the cluster size is an exponentially decaying function of cluster size $m$ and is exactly similar to the cluster size distribution of a TASEP. For $Q>>1$, the model can be mapped to persistent exclusion process (PEP) and the average cluster size, $\langle m \rangle \propto Q^{1/2} $. We obtain an approximate expression for the average cluster size in this limit. For finite system size system of $L$ lattice sites, for a particle number density $\rho$, the probability distribution of cluster sizes exhibits a distinct peak which corresponds to the formation of a single cluster of size $m_s = \rho L$. However this peak vanishes in the thermodynamic limit $ L \rightarrow \infty$. Interestingly, the probability of this largest size cluster, $P(m_s)$, exhibits scaling behaviour such that in terms of scaled variable $Q_1 \equiv Q/L^2 \rho(1-\rho)$, data collapse is observed for the probability of this cluster. The statistical features related to clustering observed for this minimal model may also be relevant for understanding clustering characteristics in {\it active } particles systems in confined 1D geometry.


title: Real-time event simulation with frame-based cameras

abstract: Event cameras are becoming increasingly popular in robotics and computer vision due to their beneficial properties, e.g., high temporal resolution, high bandwidth, almost no motion blur, and low power consumption. However, these cameras remain expensive and scarce in the market, making them inaccessible to the majority. Using event simulators minimizes the need for real event cameras to develop novel algorithms. However, due to the computational complexity of the simulation, the event streams of existing simulators cannot be generated in real-time but rather have to be pre-calculated from existing video sequences or pre-rendered and then simulated from a virtual 3D scene. Although these offline generated event streams can be used as training data for learning tasks, all response time dependent applications cannot benefit from these simulators yet, as they still require an actual event camera. This work proposes simulation methods that improve the performance of event simulation by two orders of magnitude (making them real-time capable) while remaining competitive in the quality assessment.


title: A Comparative Study on Unsupervised Anomaly Detection for Time Series: Experiments and Analysis

abstract: The continued digitization of societal processes translates into a proliferation of time series data that cover applications such as fraud detection, intrusion detection, and energy management, where anomaly detection is often essential to enable reliability and safety. Many recent studies target anomaly detection for time series data. Indeed, area of time series anomaly detection is characterized by diverse data, methods, and evaluation strategies, and comparisons in existing studies consider only part of this diversity, which makes it difficult to select the best method for a particular problem setting. To address this shortcoming, we introduce taxonomies for data, methods, and evaluation strategies, provide a comprehensive overview of unsupervised time series anomaly detection using the taxonomies, and systematically evaluate and compare state-of-the-art traditional as well as deep learning techniques. In the empirical study using nine publicly available datasets, we apply the most commonly-used performance evaluation metrics to typical methods under a fair implementation standard. Based on the structuring offered by the taxonomies, we report on empirical studies and provide guidelines, in the form of comparative tables, for choosing the methods most suitable for particular application settings. Finally, we propose research directions for this dynamic field.


title: Revisiting Active Sets for Gaussian Process Decoders

abstract: Decoders built on Gaussian processes (GPs) are enticing due to the marginalisation over the non-linear function space. Such models (also known as GP-LVMs) are often expensive and notoriously difficult to train in practice, but can be scaled using variational inference and inducing points. In this paper, we revisit active set approximations. We develop a new stochastic estimate of the log-marginal likelihood based on recently discovered links to cross-validation, and propose a computationally efficient approximation thereof. We demonstrate that the resulting stochastic active sets (SAS) approximation significantly improves the robustness of GP decoder training while reducing computational cost. The SAS-GP obtains more structure in the latent space, scales to many datapoints and learns better representations than variational autoencoders, which is rarely the case for GP decoders.


title: Velocity diagram of traveling waves for discrete reaction-diffusion equations

abstract: We consider a discrete version of reaction-diffusion equations. A typical example is the fully overdamped Frenkel-Kontorova model, where the velocity is proportional to the force. We also introduce an additional exterior force denoted by $\sigma$. For general discrete and fully nonlinear dynamics, we study traveling waves of velocity $c=c(\sigma)$ depending on the parameter $\sigma$. Under certain assumptions, we show properties of the velocity diagram $c(\sigma)$ for $\sigma\in [\sigma^-,\sigma^+]$. We show that the velocity $c$ is nondecreasing in $\sigma \in (\sigma^-,\sigma^+)$ in the bistable regime, with vertical branches $c\ge c^+$ for $\sigma=\sigma^+$ and $c\le c^-$ for $\sigma=\sigma^-$ in the monostable regime.


title: Deriving dilaton potential in improved holographic QCD from chiral condensate

abstract: We derive an explicit form of the dilaton potential in improved holographic QCD (IHQCD) from the QCD lattice data of the chiral condensate as a function of the quark mass. This establishes a data-driven holographic modeling of QCD -- machine learning holographic QCD. The modeling consists of two steps for solving inverse problems. The first inverse problem is to find the emergent bulk geometry consistent with the lattice QCD simulation data at the boundary. We solve this problem with the refinement of neural ordinary differential equation, a machine learning technique. The second inverse problem is to derive a bulk gravity action with a dilaton potential such that its solution is the emergent bulk geometry. We solve this problem at non-zero temperature, and derive the explicit form of the dilaton potential. The dilaton potential determines the bulk action, the Einstein-dilaton system, thus we derive holographically the bulk system from the QCD chiral condensate data. The usefulness of the model is shown in the example of the prediction of the string breaking distance, whose value is found to be consistent with another lattice QCD data.


title: Large-Field Contextual Feature Learning for Glass Detection

abstract: Glass is very common in our daily life. Existing computer vision systems neglect it and thus may have severe consequences, e.g., a robot may crash into a glass wall. However, sensing the presence of glass is not straightforward. The key challenge is that arbitrary objects/scenes can appear behind the glass. In this paper, we propose an important problem of detecting glass surfaces from a single RGB image. To address this problem, we construct the first large-scale glass detection dataset (GDD) and propose a novel glass detection network, called GDNet-B, which explores abundant contextual cues in a large field-of-view via a novel large-field contextual feature integration (LCFI) module and integrates both high-level and low-level boundary features with a boundary feature enhancement (BFE) module. Extensive experiments demonstrate that our GDNet-B achieves satisfying glass detection results on the images within and beyond the GDD testing set. We further validate the effectiveness and generalization capability of our proposed GDNet-B by applying it to other vision tasks, including mirror segmentation and salient object detection. Finally, we show the potential applications of glass detection and discuss possible future research directions.


title: Air Computing: A Survey on a New Generation Computation Paradigm in 6G Wireless Networks

abstract: There is an ever-growing race between what novel applications demand from the infrastructure and what the continuous technological breakthroughs bring in. Especially after the proliferation of smart devices and diverse IoT requirements, we observe the dominance of cutting-edge applications with ever-increased user expectations in terms of mobility, pervasiveness, and real-time response. Over the years, to meet the requirements of those applications, cloud computing provides the necessary capacity for computation, while edge computing ensures low latency. However, these two essential solutions would be insufficient for the next-generation applications since computational and communicational bottlenecks are inevitable due to the highly dynamic load. Therefore, a 3D networking structure using different air layers including Low Altitude Platforms, High Altitude Platforms, and Low Earth Orbits in a harmonized manner for both urban and rural areas should be applied to satisfy the requirements of the dynamic environment. In this perspective, we put forward a novel, next-generation paradigm called Air Computing that presents a dynamic, responsive, and high-resolution computation and communication environment for all spectrum of applications using the 6G Wireless Networks as the fundamental communication system. In this survey, we define the components of air computing, investigate its architecture in detail, and discuss its essential use cases and the advantages it brings for next-generation application scenarios. We provide a detailed and technical overview of the benefits and challenges of air computing as a novel paradigm and spot the important future research directions.


title: On the amplitude of steady water waves with positive constant vorticity

abstract: For two-dimensional steady pure-gravity water waves with a unidirectional flow of constant favourable vorticity, we prove an explicit bound on the amplitude of the wave, which decays to zero as the vorticity tends to infinity. Notably, our result holds true for arbitrary water waves, that is, we do not have to restrict ourselves to periodic or solitary or symmetric waves.


title: LSDNet: Trainable Modification of LSD Algorithm for Real-Time Line Segment Detection

abstract: As of today, the best accuracy in line segment detection (LSD) is achieved by algorithms based on convolutional neural networks - CNNs. Unfortunately, these methods utilize deep, heavy networks and are slower than traditional model-based detectors. In this paper we build an accurate yet fast CNN- based detector, LSDNet, by incorporating a lightweight CNN into a classical LSD detector. Specifically, we replace the first step of the original LSD algorithm - construction of line segments heatmap and tangent field from raw image gradients - with a lightweight CNN, which is able to calculate more complex and rich features. The second part of the LSD algorithm is used with only minor modifications. Compared with several modern line segment detectors on standard Wireframe dataset, the proposed LSDNet provides the highest speed (among CNN-based detectors) of 214 FPS with a competitive accuracy of 78 Fh . Although the best-reported accuracy is 83 Fh at 33 FPS, we speculate that the observed accuracy gap is caused by errors in annotations and the actual gap is significantly lower. We point out systematic inconsistencies in the annotations of popular line detection benchmarks - Wireframe and York Urban, carefully reannotate a subset of images and show that (i) existing detectors have improved quality on updated annotations without retraining, suggesting that new annotations correlate better with the notion of correct line segment detection; (ii) the gap between accuracies of our detector and others diminishes to negligible 0.2 Fh , with our method being the fastest.


title: Examining stability of machine learning methods for predicting dementia at early phases of the disease

abstract: Dementia is a neuropsychiatric brain disorder that usually occurs when one or more brain cells stop working partially or at all. Diagnosis of this disorder in the early phases of the disease is a vital task to rescue patients lives from bad consequences and provide them with better healthcare. Machine learning methods have been proven to be accurate in predicting dementia in the early phases of the disease. The prediction of dementia depends heavily on the type of collected data which usually are gathered from Normalized Whole Brain Volume (nWBV) and Atlas Scaling Factor (ASF) which are normally measured and corrected from Magnetic Resonance Imaging (MRIs). Other biological features such as age and gender can also help in the diagnosis of dementia. Although many studies use machine learning for predicting dementia, we could not reach a conclusion on the stability of these methods for which one is more accurate under different experimental conditions. Therefore, this paper investigates the conclusion stability regarding the performance of machine learning algorithms for dementia prediction. To accomplish this, a large number of experiments were run using 7 machine learning algorithms and two feature reduction algorithms namely, Information Gain (IG) and Principal Component Analysis (PCA). To examine the stability of these algorithms, thresholds of feature selection were changed for the IG from 20% to 100% and the PCA dimension from 2 to 8. This has resulted in 7x9 + 7x7= 112 experiments. In each experiment, various classification evaluation data were recorded. The obtained results show that among seven algorithms the support vector machine and Naive Bayes are the most stable algorithms while changing the selection threshold. Also, it was found that using IG would seem more efficient than using PCA for predicting Dementia.


title: Formation of primordial helium: a rapid and simple scheme of calculation

abstract: A rapid and relatively simple scheme of calculation is elaborated and applied to cosmological recombination of helium. Employing the nonrelativistic Coulomb Green's function, a wavefunction of a colliding electron is represented in an integral form applicable for calculations. Bound electrons of helium are described by the Hartree-Fock wavefunctions. The free-bound transition probabilities into excited states of helium, and the probabilities of bound-bound transitions in helium are calculated in different modes. It is revealed that free-bound transition probabilities weakly depend on to what extent a field experienced by a colliding electron deviates from the purely Coulomb field with charge Z=1, whereas these probabilities strongly depend on the choice of a wavefunction of a bound active electron involved in recombination.


title: On the azimuthal dependence of orthorhombic fractures for vertical seismic profiles using the ellipsoidal approximation

abstract: The analysis of travel times with move-out velocities represents one of the most widely used seismic signal processing techniques for the exploration and monitoring of Oil and Gas reservoirs. In travel time analysis for anisotropic elastic media with fractures, the knowledge of the conversion point at interfaces with incident longitudinal, and reflected transversal elastic response impulses that take into account the azimuthal dependence is important for seismic data analysis acquired in multicomponent surveys, and for the correct interpretation of seismic in reservoirs. Henceforth, this work shows how to derive analytical expressions for the longitudinal to transverse response impulse $P -S_i$ conversion points using the ellipsoidal approximation for fractured orthorhombic elastic media under kinematical considerations. These expressions can be used for vertical seismic profiles with small polar angles of aperture and azimuthal dependence in orthorhombic media when the elastic slowness is used as a main theoretical tool to solve the Christoffel equation. We also explain some of the differences within the ellipsoidal inversion procedure of the elastic stiffnesses $c_{13}$ and $c_{23}$.


title: An Interactive Automation for Human Biliary Tree Diagnosis Using Computer Vision

abstract: The biliary tree is a network of tubes that connects the liver to the gallbladder, an organ right beneath it. The bile duct is the major tube in the biliary tree. The dilatation of a bile duct is a key indicator for more major problems in the human body, such as stones and tumors, which are frequently caused by the pancreas or the papilla of vater. The detection of bile duct dilatation can be challenging for beginner or untrained medical personnel in many circumstances. Even professionals are unable to detect bile duct dilatation with the naked eye. This research presents a unique vision-based model for biliary tree initial diagnosis. To segment the biliary tree from the Magnetic Resonance Image, the framework used different image processing approaches (MRI). After the image's region of interest was segmented, numerous calculations were performed on it to extract 10 features, including major and minor axes, bile duct area, biliary tree area, compactness, and some textural features (contrast, mean, variance and correlation). This study used a database of images from King Hussein Medical Center in Amman, Jordan, which included 200 MRI images, 100 normal cases, and 100 patients with dilated bile ducts. After the characteristics are extracted, various classifiers are used to determine the patients' condition in terms of their health (normal or dilated). The findings demonstrate that the extracted features perform well with all classifiers in terms of accuracy and area under the curve. This study is unique in that it uses an automated approach to segment the biliary tree from MRI images, as well as scientifically correlating retrieved features with biliary tree status that has never been done before in the literature.


title: A generic framework for coded caching and distributed computation schemes

abstract: Several network communication problems are highly related such as coded caching and distributed computation. The centralized coded caching focuses on reducing the network burden in peak times in a wireless network system and the coded distributed computation studies the tradeoff between computation and communication in distributed system. In this paper, motivated by the study of the only rainbow $3$-term arithmetic progressions set, we propose a unified framework for constructing coded caching schemes. This framework builds bridges between coded caching schemes and lots of combinatorial objects due to the freedom of the choices of families and operations. We prove that any scheme based on a placement delivery array (PDA) can be represented by a rainbow scheme under this framework and lots of other known schemes can also be included in this framework. Moreover, we also present a new coded caching scheme with linear subpacketization and near constant rate using the only rainbow $3$-term arithmetic progressions set. Next, we modify the framework to be applicable to the distributed computing problem. We present a new transmission scheme in the shuffle phase and show that in certain cases it could have a lower communication load than the schemes based on PDAs or resolvable designs with the same number of files.


title: CoreDeep: Improving Crack Detection Algorithms Using Width Stochasticity

abstract: Automatically detecting or segmenting cracks in images can help in reducing the cost of maintenance or operations. Detecting, measuring and quantifying cracks for distress analysis in challenging background scenarios is a difficult task as there is no clear boundary that separates cracks from the background. Developed algorithms should handle the inherent challenges associated with data. Some of the perceptually noted challenges are color, intensity, depth, blur, motion-blur, orientation, different region of interest (ROI) for the defect, scale, illumination, complex and challenging background, etc. These variations occur across (crack inter class) and within images (crack intra-class variabilities). Overall, there is significant background (inter) and foreground (intra-class) variability. In this work, we have attempted to reduce the effect of these variations in challenging background scenarios. We have proposed a stochastic width (SW) approach to reduce the effect of these variations. Our proposed approach improves detectability and significantly reduces false positives and negatives. We have measured the performance of our algorithm objectively in terms of mean IoU, false positives and negatives and subjectively in terms of perceptual quality.


title: Mixed Criticality Communication within an Unmanned Delivery Rotorcraft

abstract: Stand-alone functions additional to a UAV flight-controller, such as safety-relevant flight-path monitoring or payload-monitoring and control, may be SORA-required or advised for specific flight paths of delivery-drones. These functions, articulated as discrete electronic components either internal or external to the main fuselage, can be networked with other on-board electronics systems. Such an integration requires respecting the integrity levels of each component on the network both in terms of function and in terms of power-supply. In this body of work we detail an intra-component communication system for small autonomous and semi-autonomous unmanned aerial vehicles (UAVs.) We discuss the context and the (conservative) design decisions before detailing the hardware and software interfaces and reporting on a first implementation. We finish by drawing conclusions and proposing future work.


title: Application of Machine Learning for Online Reputation Systems

abstract: Users on the internet usually require venues to provide better purchasing recommendations. This can be provided by a reputation system that processes ratings to provide recommendations. The rating aggregation process is a main part of reputation system to produce global opinion about the product quality. Naive methods that are frequently used do not consider consumer profiles in its calculation and cannot discover unfair ratings and trends emerging in new ratings. Other sophisticated rating aggregation methods that use weighted average technique focus on one or a few aspects of consumers profile data. This paper proposes a new reputation system using machine learning to predict reliability of consumers from consumer profile. In particular, we construct a new consumer profile dataset by extracting a set of factors that have great impact on consumer reliability, which serve as an input to machine learning algorithms. The predicted weight is then integrated with a weighted average method to compute product reputation score. The proposed model has been evaluated over three MovieLens benchmarking datasets, using 10-Folds cross validation. Furthermore, the performance of the proposed model has been compared to previous published rating aggregation models. The obtained results were promising which suggest that the proposed approach could be a potential solution for reputation systems. The results of comparison demonstrated the accuracy of our models. Finally, the proposed approach can be integrated with online recommendation systems to provide better purchasing recommendations and facilitate user experience on online shopping markets.


title: KIC 6951642: confirmed Kepler $\gamma$ Doradus-$\delta$ Scuti star with intermediate to fast rotation in a possible single-lined binary system

abstract: KIC 6951642 has been reported as a candidate hybrid pulsator of type-$\gamma$ Doradus-$\delta$ Scuti from observations of the first quarters of the Kepler mission. We aim to investigate the pulsating nature of KIC 6951642 and to search for the signature of rotation and/or activity in the light curves. We performed an iterative frequency search of both Fourier spectra, and searched for regular patterns in them. We applied spectrum synthesis to determine the atmospheric stellar parameters. Since KIC 6951642 was reported to belong to a spectroscopic binary system, we fitted the time delays derived from the light curves with the radial velocities obtained from published as well as new spectra in an attempt to improve the quality of the first orbit. Follow-up spectroscopy showed that KIC 6951642 is a fast-rotating F0-type star in a possible single-lined binary with a period of $\sim$4.8 yr. In the low-frequency regime, we identified the frequencies of 0.721 d$^{-1}$ as well as of 0.0087 d$^{-1}$. We attribute the first frequency to stellar rotation and the second one to stellar activity with a cycle. We also detected $g$ modes, with the strongest mode located at 2.238 d$^{-1}$, as well as three asymmetric multiplets (with a mean spacing of 0.675$\pm$0.044 d$^{-1}$). In the high-frequency regime, we detected frequencies of type-$\delta$ Scuti, with the strongest mode located at 13.96 d$^{-1}$, as well as seven asymmetric multiplets (with a mean spacing of 0.665$\pm$0.084 d$^{-1}$). We subsequently identified a few more frequencies that appear to be combinations of a $g$ or $p$ mode and one of the higher cited frequencies not due to pulsations. We propose that KIC 6951642 accommodates for a fast-rotating $\gamma$ Dor-$\delta$ Sct hybrid star with various rotationally split multiplets of $g$ and $p$ modes and that it also displays a cycle lasting years of (possible) stellar activity.


title: Dynamics of the semigroup of contractive automorphisms of Banach spaces

abstract: Motivated by some recent twaddles on Mazur rotations problem, we study the "dynamics" of the semigroup of contractive automorphisms of Banach spaces, mostly in finite-dimensional spaces. We focus on the metric aspects of the "action" of such semigroups, the size of the orbits and semitransitivity properties, and their impact on the geometry of the unit ball of the underlying space.


title: Gauge bosons masses in the context of the Supersymmetric $SU(3)_{C}\otimes SU(3)_{L}\otimes U(1)_{N}$ Model

abstract: In this article, we present a detailed study of the masses of all gauge bosons, as well as explaing recent experimental data regarding the $W$-boson mass presented by the CDF collaboration and even possible changes that these data can bring to experimental measurements of the masses of $Z$-boson mass in the context of the Minimal Supersymmetric $SU(3)_{C}\otimes SU(3)_{L}\otimes U(1)_{N}$ Model. We also intend to show a phenomenological analysis of possible mixtures of gauge bosons in this model. We will show that our numerical predictions for the masses of the physical gauge bosons are within the current experimental limits.


title: An EPTAS for Budgeted Matroid Independent Set

abstract: We consider the budgeted matroid independent set problem. The input is a ground set, where each element has a cost and a non-negative profit, along with a matroid over the elements and a budget. The goal is to select a subset of elements which maximizes the total profit subject to the matroid and budget constraints. Several well known special cases, where we have, e.g., a uniform matroid and a budget, or no matroid constraint (i.e., the classic knapsack problem), admit a fully polynomial-time approximation scheme (FPTAS). In contrast, already a slight generalization to the multi-budgeted matroid independent set problem has a PTAS but does not admit an efficient polynomial-time approximation scheme (EPTAS). This implies a PTAS for our problem, which is the best known result prior to this work. Our main contribution is an EPTAS for the budgeted matroid independent set problem. A key idea of the scheme is to find a representative set for the instance, whose cardinality depends solely on $1/\varepsilon$, where $\varepsilon > 0$ is the accuracy parameter of the scheme. The representative set is identified via matroid basis minimization, which can be solved by a simple greedy algorithm. Our scheme enumerates over subsets of the representative set and extends each subset using a linear program. The notion of representative sets may be useful in solving other variants of the budgeted matroid independent set problem.


title: Satisfiability Phase Transtion for Random Quantum 3XOR Games

abstract: Recent results showed it was possible to determine if a modest size 3XOR game has a perfect quantum strategy. We build on these and give an explicit polynomial time algorithm which constructs such a perfect strategy or refutes its existence. This new tool lets us numerically study the behavior of randomly generated 3XOR games with large numbers of questions. A key issue is: how common are pseudotelephathy games (games with perfect quantum strategies but no perfect classical strategies)? Our experiments strongly indicate that the probability of a randomly generated game being pseudotelpathic stays far from 1, indeed it is bounded below 0.15. We also find strong evidence that randomly generated 3XOR games undergo both a quantum and classical "phase transition", transitioning from almost certainly perfect to almost certainly imperfect as the ratio of number of clauses ($m$) to number of questions ($n$) increases. The locations of these two phase transitions appear to coincide at $m/n \approx 2.74$.