title: RAFaRe: Learning Robust and Accurate Non-parametric 3D Face Reconstruction from Pseudo 2D&3D Pairs

abstract: We propose a robust and accurate non-parametric method for single-view 3D face reconstruction (SVFR). While tremendous efforts have been devoted to parametric SVFR, a visible gap still lies between the result 3D shape and the ground truth. We believe there are two major obstacles: 1) the representation of the parametric model is limited to a certain face database; 2) 2D images and 3D shapes in the fitted datasets are distinctly misaligned. To resolve these issues, a large-scale pseudo 2D\&3D dataset is created by first rendering the detailed 3D faces, then swapping the face in the wild images with the rendered face. These pseudo 2D&3D pairs are created from publicly available datasets which eliminate the gaps between 2D and 3D data while covering diverse appearances, poses, scenes, and illumination. We further propose a non-parametric scheme to learn a well-generalized SVFR model from the created dataset, and the proposed hierarchical signed distance function turns out to be effective in predicting middle-scale and small-scale 3D facial geometry. Our model outperforms previous methods on FaceScape-wild/lab and MICC benchmarks and is well generalized to various appearances, poses, expressions, and in-the-wild environments. The code is released at http://github.com/zhuhao-nju/rafare .


title: Cryogenic nano-imaging of second-order moir\'e superlattices

abstract: Second-order superlattices form when moir\'e superlattices of similar dimensions interfere with each other, leading to even larger superlattice periodicities. These crystalline structures have been engineered utilizing two-dimensional (2D) materials such as graphene and hexagonal boron nitride (hBN) under specific alignment conditions. Such specific alignment has shown to play a crucial role in facilitating correlation-driven topological phases featuring the quantized anomalous Hall effect. While signatures of second-order superlattices have been found in transport experiments, any real-space visualization is lacking to date. In this work, we present cryogenic nanoscale photovoltage (PV) measurements that reveal a second-order superlattice in magic-angle twisted bilayer graphene (MATBG) closely aligned to hBN. This is evidenced by long-range periodic photovoltage modulations across the entire sample backed by corresponding electronic transport features. Our theoretical framework shows that small strain- or twist-angle variations can lead to a drastic shift between a local one-dimensional, square or triangular superlattices. Our real-space observations shed new light on the mechanisms responsible for breaking spatial symmetries in TBG and pave an avenue to engineer long-range superlattice structures in 2D materials.


title: Element-Wise Attention Layers: an option for optimization

abstract: The use of Attention Layers has become a trend since the popularization of the Transformer-based models, being the key element for many state-of-the-art models that have been developed through recent years. However, one of the biggest obstacles in implementing these architectures - as well as many others in Deep Learning Field - is the enormous amount of optimizing parameters they possess, which make its use conditioned on the availability of robust hardware. In this paper, it's proposed a new method of attention mechanism that adapts the Dot-Product Attention, which uses matrices multiplications, to become element-wise through the use of arrays multiplications. To test the effectiveness of such approach, two models (one with a VGG-like architecture and one with the proposed method) have been trained in a classification task using Fashion MNIST and CIFAR10 datasets. Each model has been trained for 10 epochs in a single Tesla T4 GPU from Google Colaboratory. The results show that this mechanism allows for an accuracy of 92% of the VGG-like counterpart in Fashion MNIST dataset, while reducing the number of parameters in 97%. For CIFAR10, the accuracy is still equivalent to 60% of the VGG-like counterpart while using 50% less parameters.


title: Approaching a fully-polarized state of nuclear spins in a semiconductor quantum dot

abstract: Magnetic noise of atomic nuclear spins is a major problem for solid state spin qubits. Highly-polarized nuclei would not only overcome this obstacle, but also make nuclear spins a useful quantum information resource. However, achieving sufficiently high nuclear polarizations has remained an evasive goal. Here we implement a nuclear spin polarization protocol which combines strong optical pumping and fast electron tunneling. Polarizations well above 95% are generated in GaAs semiconductor quantum dots on a timescale of 1 minute. The technique is compatible with standard quantum dot device designs, where highly-polarized nuclear spins can simplify implementations of quantum bits and memories, as well as offer a testbed for studies of many-body quantum dynamics and magnetism.


title: Optimal Design and Cascading Failure Evaluation of Remedial Action Schemes

abstract: Remedial action schemes (RAS) are often seen as an alternative to building new transmission infrastructure to relieve congestion in the system. Consequently, there has been a rapid growth in the number of RAS in electric power systems across the world. However, most RAS rely on fixed parameters and hence cannot adapt to the rapidly evolving nature of the electric grid. In this paper, an optimization framework (RAS-SCOPF) to automate the RAS design procedure is proposed. The proposed framework is a mixed integer quadratic program (MIQP) that chooses a set of optimal RAS actions and minimizes load shed when a contingency occurs. The cost of operation of the RAS-SCOPF is compared against those of standard OPF and SCOPF formulations. Moreover, the risk of cascading failure for the different formulations are evaluated using a DC power flow based cascading failure simulator (CFS). The proposed framework is applied to the RTS-96 24-bus network. The inclusion of RAS allows the system to be operated at a lower cost while preventing any contingency from evolving into cascading blackouts.


title: An Overview of Uncertain Control Co-Design Formulations

abstract: This article explores various uncertain control co-design (UCCD) problem formulations. While previous work offers formulations that are method-dependent and limited to only a handful of uncertainties (often from one discipline), effective application of UCCD to real-world dynamic systems requires a thorough understanding of uncertainties and how their impact can be captured. Since the first step is defining the UCCD problem of interest, this article aims at addressing some of the limitations of the current literature by identifying possible sources of uncertainties in a general UCCD context and then formalizing ways in which their impact is captured through problem formulation alone (without having to immediately resort to specific solution strategies). We first develop and then discuss a generalized UCCD formulation that can capture uncertainty representations presented in this article. Issues such as the treatment of the objective function, the challenge of the analysis-type equality constraints, and various formulations for inequality constraints are discussed. Then, more specialized problem formulations such as stochastic in expectation, stochastic chance-constrained, probabilistic robust, worst-case robust, fuzzy expected value, and possibilistic chance-constrained UCCD formulations are presented. Key concepts from these formulations, along with insights from closely-related fields, such as robust and stochastic control theory, are discussed, and future research directions are identified.


title: Thermodynamical properties of an ideal gas in a traversable wormhole

abstract: In this work, we analyze the thermodynamic properties of non--interacting particles under influence of the gravitational field of a traversable wormhole. In particular, we investigate how the thermodynamic quantities are affected by the Ellis wormhole geometry, considering three different regions to our study: asymptotically far, close to the throat, and at the throat. The thermodynamic quantities turn out to depend strongly on parameter that controls the wormhole throat radius. By varying it, there exist an expressive modification in the thermodynamic state quantities, exhibiting both usual matter and dark energy--like behaviors. Finally, the interactions are regarded to the energy density and it seems to indicate that it "cures" the dark energy--like features.


title: Enhancing Quantum Algorithms for Quadratic Unconstrained Binary Optimization via Integer Programming

abstract: To date, research in quantum computation promises potential for outperforming classical heuristics in combinatorial optimization. However, when aiming at provable optimality, one has to rely on classical exact methods like integer programming. State-of-the-art integer programming algorithms can compute strong relaxation bounds even for hard instances, but may have to enumerate a large number of subproblems for determining an optimum solution. If the potential of quantum computing realizes, it can be expected that in particular finding high-quality solutions for hard problems can be done fast. Still, near-future quantum hardware considerably limits the size of treatable problems. In this work, we go one step into integrating the potentials of quantum and classical techniques for combinatorial optimization. We propose a hybrid heuristic for the weighted maximum-cut problem or, equivalently, for quadratic unconstrained binary optimization. The heuristic employs a linear programming relaxation, rendering it well-suited for integration into exact branch-and-cut algorithms. For large instances, we reduce the problem size according to a linear relaxation such that the reduced problem can be handled by quantum machines of limited size. Moreover, we improve the applicability of QAOA, a parameterized quantum algorithm, by deriving optimal parameters for special instances which motivates a parameter estimate for arbitrary instances. We present numerous computational results from real quantum hardware.


title: Data-Driven Web-Based Patching Management Tool Using Multi-Sensor Pavement Structure Measurements

abstract: Automating pavement maintenance suggestions is challenging,especially for actionable recommendations such as patching location,depth and priority.It is common practice among State agencies to manually inspect road segments of interest and decide maintenance requirements based on the pavement condition index (PCI).However,standalone PCI only evaluates the pavement surface condition and coupled with the variability in human perception of pavement distress,limits the accuracy and quality of current pavement maintenance practices.Here,a need for multi-sensor data integrated with standardized pavement distress condition ratings is required.This study explores the possibility of estimating the appropriate pavement patching strategy (i.e.,patching location,depth,and quantity) by integrating pavement structural and surface condition assessment with pavement specific ratings of distress.Especially,it combines pavement structural condition assessment parameter;falling weight deflectometer deflections along with surface condition assessment parameters;international roughness index,and cracking density for a better representation of overall pavement distress condition.Then,a pavement specific threshold-based patching suggestion algorithm is implemented to evaluate the pavement overall distress condition into a priority-based patching suggestion.The novelty in the use of pavement specific thresholds is placed on its data-driven ability to determine threshold values from current road condition measurements using a reliability concept validated by the theoretical pavement condition rating,pavement structural number.A web-based patching manager tool (PMT) was implemented to automate the patching suggestion procedure and visualize the results.Validated with road surface images obtained from three-dimensional laser sensors,PMT could successfully capture localized distresses in existing pavements.


title: Helical-Phase Distinguishability for the Phase Distribution of Laguerre-Gaussian Beams

abstract: In the past few years, orbital angular momentum beams have contributed significantly to many applications in the optical-related fields due to their unique phase characteristics. Here, a novel approach about phase-helices structure for Laguerre-Gaussian beams carrying orbital angular momentum is presented. This proposal is based on numerical simulations to track the rotation of each helix in the phase and shows an impact on the rotational speed of the Laguerre-Gaussian phase distribution by using the characteristic of distinguishability of each helix. If the helices in the phase of a vortex cannot be distinguished, then the angular rotation speed of the phase distribution can be seen as independent of the azimuthal index l, due to its rotational symmetry, and it is called {\omega}indistinguishable. Oppositely, when the helices are distinguished from each other, the rotational speed is affected by this azimuthal index, and it becomes {\omega}distinguishable. This distinguishable theory can build a pathway to applications in the field of optical communications (as a coding system) and particle manipulation (changing the dynamics of off-beam trapped particles).


title: MaskSketch: Unpaired Structure-guided Masked Image Generation

abstract: Recent conditional image generation methods produce images of remarkable diversity, fidelity and realism. However, the majority of these methods allow conditioning only on labels or text prompts, which limits their level of control over the generation result. In this paper, we introduce MaskSketch, an image generation method that allows spatial conditioning of the generation result using a guiding sketch as an extra conditioning signal during sampling. MaskSketch utilizes a pre-trained masked generative transformer, requiring no model training or paired supervision, and works with input sketches of different levels of abstraction. We show that intermediate self-attention maps of a masked generative transformer encode important structural information of the input image, such as scene layout and object shape, and we propose a novel sampling method based on this observation to enable structure-guided generation. Our results show that MaskSketch achieves high image realism and fidelity to the guiding structure. Evaluated on standard benchmark datasets, MaskSketch outperforms state-of-the-art methods for sketch-to-image translation, as well as unpaired image-to-image translation approaches.


title: Fluid limit for the coarsening phase of the condensing zero-range process

abstract: We prove a fluid limit for the coarsening phase of the condensing zero-range process on a finite number of sites. When time and occupation per site are linearly rescaled by the total number of particles, the evolution of the process is described by a piecewise linear trajectory in the simplex indexed by the sites. The linear coefficients are determined by the trace process of the underlying random walk on the subset of non-empty sites, and the trajectory reaches an absorbing configuration in finite time. A boundary of the simplex is called absorbing for the fluid limit if a trajectory started at a configuration in the boundary remains in it for all times. We identify the set of absorbing configurations and characterize the absorbing boundaries.


title: Data-Driven Inverse Optimization for Marginal Offer Price Recovery in Electricity Markets

abstract: This paper presents a data-driven inverse optimization (IO) approach to recover the marginal offer prices of generators in a wholesale energy market. By leveraging underlying market-clearing processes, we establish a closed-form relationship between the unknown parameters and the publicly available market-clearing results. Based on this relationship, we formulate the data-driven IO problem as a computationally feasible single-level optimization problem. The solution of the data-driven model is based on the gradient descent method, which provides an error bound on the optimal solution and a sub-linear convergence rate. We also rigorously prove the existence and uniqueness of the global optimum to the proposed data-driven IO problem and analyze its robustness in two possible noisy settings. The effectiveness of the proposed method is demonstrated through simulations in both an illustrative IEEE 14-bus system and a realistic NYISO 1814-bus system.


title: CUDA: Curriculum of Data Augmentation for Long-Tailed Recognition

abstract: Class imbalance problems frequently occur in real-world tasks, and conventional deep learning algorithms are well known for performance degradation on imbalanced training datasets. To mitigate this problem, many approaches have aimed to balance among given classes by re-weighting or re-sampling training samples. These re-balancing methods increase the impact of minority classes and reduce the influence of majority classes on the output of models. However, the extracted representations may be of poor quality owing to the limited number of minority samples. To handle this restriction, several methods have been developed that increase the representations of minority samples by leveraging the features of the majority samples. Despite extensive recent studies, no deep analysis has been conducted on determination of classes to be augmented and strength of augmentation has been conducted. In this study, we first investigate the correlation between the degree of augmentation and class-wise performance, and find that the proper degree of augmentation must be allocated for each class to mitigate class imbalance problems. Motivated by this finding, we propose a simple and efficient novel curriculum, which is designed to find the appropriate per-class strength of data augmentation, called CUDA: CUrriculum of Data Augmentation for long-tailed recognition. CUDA can simply be integrated into existing long-tailed recognition methods. We present the results of experiments showing that CUDA effectively achieves better generalization performance compared to the state-of-the-art method on various imbalanced datasets such as CIFAR-100-LT, ImageNet-LT, and iNaturalist 2018.


title: Random attractors for a stochastic nonlocal delayed reaction-diffusion equation on a semi-infinite interval

abstract: The aim of this paper is to prove the existence and qualitative property of random attractors for a stochastic nonlocal delayed reaction-diffusion equation (SNDRDE) on a semi-infinite interval with a Dirichlet boundary condition on the finite end. This equation models the spatial-temporal evolution of the mature individuals for a two-stage species whose juvenile and adults both diffuse that lives on a semi-infinite domain and subject to random perturbations. By transforming the SNDRDE into a random evolution equation with delay, by means of a stationary conjugate transformation, we first establish the global existence and uniqueness of solutions to the equation, after which we show the solutions generate a random dynamical system. Then, we deduce uniform a priori estimates of the solutions and show the existence of bounded random absorbing sets. Subsequently, we prove the pullback asymptotic compactness of the random dynamical system generated by the SNDRDE with respect to the compact open topology, and hence obtain the existence of random attractors. At last, it is proved that the random attractor is an exponentially attracting stationary solution under appropriate conditions.


title: Topological dimensions of random attractors for stochastic partial differential equations with delay

abstract: The aim of this paper is to obtain an estimation of Hausdorff as well as fractal dimensions of random attractors for a class of stochastic partial differential equations with delay. The stochastic equation is first transformed into a delayed random partial differential equation by means of a random conjugation, which is then recast into an auxiliary Hilbert space. For the obtained equation, it is firstly proved that it generates a random dynamical system (RDS) in the auxiliary Hilbert space. Then it is shown that the equation possesses random attractors by a uniform estimate of the solution and the asymptotic compactness of the generated RDS. After establishing the variational equation in the auxiliary Hilbert space and the $\mathbb{P}$ almost surely differentiable properties of the RDS, an upper estimate of both Hausdorff and fractal dimensions of the random attractors are obtained.


title: Invariant manifolds for stochastic delayed partial differential equations of parabolic type

abstract: The aim of this paper is to prove the existence and smoothness of stable and unstable invariant manifolds for a stochastic delayed partial differential equation of parabolic type. The stochastic delayed partial differential equation is firstly transformed into a random delayed partial differential equation by a conjugation, which is then recast into a Hilbert space. For the auxiliary equation, the variation of constants formula holds and we show the existence of Lipschitz continuous stable and unstable manifolds by the Lyapunov-Perron method. Subsequently, we prove the smoothness of these invariant manifolds under appropriate spectral gap condition by carefully investigating the smoothness of auxiliary equation, after which, we obtain the invariant manifolds of the original equation by projection and inverse transformation. Eventually, we illustrate the obtained theoretical results by their application to a stochastic single-species population model.


title: Comparing velocity and passive scalar statistics in fluid turbulence at high Schmidt numbers and Reynolds numbers

abstract: Recently, Shete et al. [Phys. Rev. Fluids 7, 024601 (2022)] explored the characteristics of passive scalars in the presence of a uniform mean gradient, mixed by stationary isotropic turbulence. They concluded that at high Reynolds and Schmidt numbers, the presence of both inertial-convective and viscous-convective ranges, renders the statistics of the scalar and velocity fluctuations to behave similarly. However, their data included Schmidt numbers of 0.1, 0.7, 1.0 and 7.0, only the last of which can (at best) be regarded as moderately high. Additionally, they do not consider already available data in the literature at substantially higher Schmidt number of up to 512. By including these data, we demonstrate here that the differences between velocity and scalar statistics show no vanishing trends with increasing Reynolds and Schmidt numbers, and essential differences remain in tact at all Reynolds and Schmidt numbers.


title: Random attractors of a stochastic Hopfield neural network model with delays

abstract: The global asymptotic behavior of a stochastic Hopfield neural network model (HNNM) with delays is explored by studying the existence and structure of random attractors. It is first proved that the trajectory field of the stochastic delayed HNNM admits an almost sure continuous version, which is compact for $t>\tau$ (where $\tau$ is the delay) by a delicate construction based on the random semiflow generated by the diffusion term. Then, this version is shown to generate a random dynamical system (RDS) by piece-wise linear approximation, after which the existence of a random absorbing set is obtained by a careful uniform apriori estimate of the solutions. Subsequently, the pullback asymptotic compactness of the RDS generated by the stochastic delayed HNNM is proved and hence the existence of random attractors is obtained. Moreover, sufficient conditions under which the attractors turn out to be an exponential attracting stationary solution are given. Numerical simulations are also conducted at last to illustrate the effectiveness of the established results.


title: Characterization of Simplicial Complexes by Counting Simplets Beyond Four Nodes

abstract: Simplicial complexes are higher-order combinatorial structures which have been used to represent real-world complex systems. In this paper, we concentrate on the local patterns in simplicial complexes called simplets, a generalization of graphlets. We formulate the problem of counting simplets of a given size in a given simplicial complex. For this problem, we extend a sampling algorithm based on color coding from graphs to simplicial complexes, with essential technical novelty. We theoretically analyze our proposed algorithm named SC3, showing its correctness, unbiasedness, convergence, and time/space complexity. Through the extensive experiments on sixteen real-world datasets, we show the superiority of SC3 in terms of accuracy, speed, and scalability, compared to the baseline methods. Finally, we use the counts given by SC3 for simplicial complex analysis, especially for characterization, which is further used for simplicial complex clustering, where SC3 shows a strong ability of characterization with domain-based similarity.


title: Evaluating the Performance of Speculative DOACROSS Loop Parallelization with taskloop

abstract: OpenMP provides programmers with directives to parallelize DOALL loops such as parallel for and, more recently, taskloop for task-based parallelism. On the other hand, when it is possible to prove that a loop is DOACROSS, programmers can try to parallelize it through parallel for and to use the OpenMP ordered directive to mark the region of the loop that has to be executed sequentially. However, when neither of the previous two cases can be proven, programmers have to be conservative and assume that the loop is DOACROSS (actually may DOACROSS). Previous work proposed speculative support for taskloop (tls clause) and thus made it possible to parallelize may DOACROSS loops exploiting task-based parallelism and the fact that many of them are computationally intensive and DOALL at runtime. This paper proposes Speculative Task Execution (STE) through the addition of speculative privatizations to taskloop tls with two novel clauses: spec_private and spec_reduction. We also present a performance comparison between taskloop-tls with speculative privatizations vs. ordered that reveals that, for certain loops, slowdowns using OpenMP DOACROSS can be transformed in speed-ups of up to 1.87x by applying speculative parallelization of tasks.


title: Language Decision Transformers with Exponential Tilt for Interactive Text Environments

abstract: Text-based game environments are challenging because agents must deal with long sequences of text, execute compositional actions using text and learn from sparse rewards. We address these challenges by proposing Language Decision Transformers (LDTs), a framework that is based on transformer language models and decision transformers (DTs). Our LDTs extend DTs with 3 components: (1) exponential tilt to guide the agent towards high obtainable goals, (2) novel goal conditioning methods yielding better results than the traditional return-to-go (sum of all future rewards), and (3) a model of future observations that improves agent performance. LDTs are the first to address offline RL with DTs on these challenging games. Our experiments show that LDTs achieve the highest scores among many different types of agents on some of the most challenging Jericho games, such as Enchanter.


title: FairPy: A Toolkit for Evaluation of Social Biases and their Mitigation in Large Language Models

abstract: Studies have shown that large pretrained language models exhibit biases against social groups based on race, gender etc, which they inherit from the datasets they are trained on. Various researchers have proposed mathematical tools for quantifying and identifying these biases. There have been methods proposed to mitigate such biases. In this paper, we present a comprehensive quantitative evaluation of different kinds of biases such as race, gender, ethnicity, age etc. exhibited by popular pretrained language models such as BERT, GPT-2 etc. and also present a toolkit that provides plug-and-play interfaces to connect mathematical tools to identify biases with large pretrained language models such as BERT, GPT-2 etc. and also present users with the opportunity to test custom models against these metrics. The toolkit also allows users to debias existing and custom models using the debiasing techniques proposed so far. The toolkit is available at https://github.com/HrishikeshVish/Fairpy.


title: An $E_\infty$ structure on the matroid grassmannian

abstract: In analogy with the origin of the additive structure of $K$-theory, we construct an $E_\infty$ structure on the matroid Grassmannian (the space of oriented matroids) for which the underlying binary operation is the direct sum of matroids. The proof involves lifting the polyhedral fan structure of the Dressian to a polyhedral model for the matroid Grassmannian, and introducing a novel $E_\infty$ operad made from the space of infinite subsets of $\mathbb{N}$.


title: Support Generation for Robot-Assisted 3D Printing with Curved Layers

abstract: Robot-assisted 3D printing has drawn a lot of attention by its capability to fabricate curved layers that are optimized according to different objectives. However, the support generation algorithm based on a fixed printing direction for planar layers cannot be directly applied for curved layers as the orientation of material accumulation is dynamically varied. In this paper, we propose a skeleton-based support generation method for robot-assisted 3D printing with curved layers. The support is represented as an implicit solid so that the problems of numerical robustness can be effectively avoided. The effectiveness of our algorithm is verified on a dual-material printing platform that consists of a robotic arm and a newly designed dual-material extruder. Experiments have been successfully conducted on our system to fabricate a variety of freeform models.


title: Physiologically-Based Pharmacokinetic Modeling of Blood Clearance of Liver Fluorescent Markers for the Assessment of the Degree of Hepatic Ischemia-Reperfusion Injury

abstract: During liver transplantation, ischemia-reperfusion injury (IRI) is inevitable and decreases the overall success of the surgery. While guidelines exist, there is no reliable way to quantitatively assess the degree of IRI present in the liver. Our recent study has shown a correlation between the bile-to-plasma ratio of FDA-approved sodium fluorescein (SF) and the degree of hepatic IRI, presumably due to IRI-induced decrease in the activity of the hepatic multidrug resistance-associated protein 2 (MRP2); however, the contribution of SF blood clearance via the bile is still convoluted with other factors, such as renal clearance. In this work, we sought to computationally model SF blood clearance via the bile. First, we converted extant SF fluorescence data from rat whole blood, plasma, and bile to concentrations using calibration curves. Next, based on these SF concentration data, we generated a liver-centric, physiologically-based pharmacokinetic (PBPK) model of SF liver uptake and clearance via the bile. Model simulations show that SF bile concentration is highly sensitive to a change in the activity of hepatic MPR2. These simulations suggest that SF bile clearance along with the PBPK model can be used to quantify the effect of IRI on the activity of MRP2.


title: Composable Ledgers for Distributed Synchronic Web Archiving

abstract: The Synchronic Web is a highly scalable notary infrastructure that provides tamper-evident data provenance for historical web data. In this document, we describe the applicability of this infrastructure for web archiving across three envisioned stages of adoption. We codify the core mechanism enabling the value proposition: a procedure for splitting and merging cryptographic information fluidly across blockchain-backed ledgers. Finally, we present preliminary performance results that indicate the feasibility of our approach for modern web archiving scales.


title: De-confounding causal inference using latent multiple-mediator pathways

abstract: Causal effect estimation from observational data is one of the essential problems in causal inference. However, most estimation methods rely on the strong assumption that all confounders are observed, which is impractical and untestable in the real world. We develop a mediation analysis framework inferring the latent confounder for debiasing both direct and indirect causal effects. Specifically, we introduce generalized structural equation modeling that incorporates structured latent factors to improve the goodness-of-fit of the model to observed data, and deconfound the mediators and outcome simultaneously. One major advantage of the proposed framework is that it utilizes the causal pathway structure from cause to outcome via multiple mediators to debias the causal effect without requiring external information on latent confounders. In addition, the proposed framework is flexible in terms of integrating powerful nonparametric prediction algorithms while retaining interpretable mediation effects. In theory, we establish the identification of both causal and mediation effects based on the proposed deconfounding method. Numerical experiments on both simulation settings and a normative aging study indicate that the proposed approach reduces the estimation bias of both causal and mediation effects.


title: A note on strongly and totally chain intersecting families

abstract: Bern\'ath and Gerbner in 2007 introduced $(p,q)$-chain intersecting families of subsets of an $n$-element underlying set. Those have the property that for any $p$-chain $A_1\subsetneq A_2\subsetneq \dots \subsetneq A_p$ and $q$-chain $B_1\subsetneq B_2\subsetneq \dots \subsetneq B_q$, we have $A_p\cap B_q\neq \emptyset$. Bern\'ath and Gerbner determined the largest cardinality of such families. They also introduced strongly $(p,q)$-chain intersecting families, where $A_p\cap B_1\neq \emptyset$ and totally $(p,q)$-chain intersecting families, where $A_1\cap B_1\neq \emptyset$. They obtained some partial results on the maximum cardinality of such families. We extend those results by determining the largest cardinality of strongly $(p,q)$-chain intersecting families if $n$ is sufficiently large, and by determining the largest cardinality of totally $(2,2)$-chain intersecting families.


title: Achieving acceleration despite very noisy gradients

abstract: We present a generalization of Nesterov's accelerated gradient descent algorithm. Our algorithm (AGNES) provably achieves acceleration for smooth convex minimization tasks with noisy gradient estimates if the noise intensity is proportional to the magnitude of the gradient. Nesterov's accelerated gradient descent does not converge under this noise model if the constant of proportionality exceeds one. AGNES fixes this deficiency and provably achieves an accelerated convergence rate no matter how small the signal to noise ratio in the gradient estimate. Empirically, we demonstrate that this is an appropriate model for mini-batch gradients in overparameterized deep learning. Finally, we show that AGNES outperforms stochastic gradient descent with momentum and Nesterov's method in the training of CNNs.


title: Cyclic and Randomized Stepsizes Invoke Heavier Tails in SGD than Constant Stepsize

abstract: Cyclic and randomized stepsizes are widely used in the deep learning practice and can often outperform standard stepsize choices such as constant stepsize in SGD. Despite their empirical success, not much is currently known about when and why they can theoretically improve the generalization performance. We consider a general class of Markovian stepsizes for learning, which contain i.i.d. random stepsize, cyclic stepsize as well as the constant stepsize as special cases, and motivated by the literature which shows that heaviness of the tails (measured by the so-called "tail-index") in the SGD iterates is correlated with generalization, we study tail-index and provide a number of theoretical results that demonstrate how the tail-index varies on the stepsize scheduling. Our results bring a new understanding of the benefits of cyclic and randomized stepsizes compared to constant stepsize in terms of the tail behavior. We illustrate our theory on linear regression experiments and show through deep learning experiments that Markovian stepsizes can achieve even a heavier tail and be a viable alternative to cyclic and i.i.d. randomized stepsize rules.


title: Building Intelligence in the Mechanical Domain -- Harvesting the Reservoir Computing Power in Origami to Achieve Information Perception Tasks

abstract: In this paper, we experimentally examine the cognitive capability of a simple, paper-based Miura-ori -- using the physical reservoir computing framework -- to achieve different information perception tasks. The body dynamics of Miura-ori (aka. its vertices displacements), which is excited by a simple harmonic base excitation, can be exploited as the reservoir computing resource. By recording these dynamics with a high-resolution camera and image processing program and then using linear regression for training, we show that the origami reservoir has sufficient computing capacity to estimate the weight and position of a payload. It can also recognize the input frequency and magnitude patterns. Furthermore, multitasking is achievable by simultaneously applying two targeted functions to the same reservoir state matrix. Therefore, we demonstrate that Miura-ori can assess the dynamic interactions between its body and ambient environment to extract meaningful information -- an intelligent behavior in the mechanical domain. Given that Miura-ori has been widely used to construct deployable structures, lightweight materials, and compliant robots, enabling such information perception tasks can add a new dimension to the functionality of such a versatile structure.


title: Awareness requirement and performance management for adaptive systems: a survey

abstract: Self-adaptive software can assess and modify its behavior when the assessment indicates that the program is not performing as intended or when improved functionality or performance is available. Since the mid-1960s, the subject of system adaptivity has been extensively researched, and during the last decade, many application areas and technologies involving self-adaptation have gained prominence. All of these efforts have in common the introduction of self-adaptability through software. Thus, it is essential to investigate systematic software engineering methods to create self-adaptive systems that may be used across different domains. The primary objective of this research is to summarize current advances in awareness requirements for adaptive strategies based on an examination of state-of-the-art methods described in the literature. This paper presents a review of self-adaptive systems in the context of requirement awareness and summarizes the most common methodologies applied. At first glance, it gives a review of the previous surveys and works about self-adaptive systems. Afterward, it classifies the current self-adaptive systems based on six criteria. Then, it presents and evaluates the most common self-adaptive approaches. Lastly, an evaluation among the self-adaptive models is conducted based on four concepts (requirements description, monitoring, relationship, dependency/impact, and tools).


title: Multi objective Fitness Dependent Optimizer Algorithm

abstract: This paper proposes the multi objective variant of the recently introduced fitness dependent optimizer (FDO). The algorithm is called a Multi objective Fitness Dependent Optimizer (MOFDO) and is equipped with all five types of knowledge (situational, normative, topographical, domain, and historical knowledge) as in FDO. MOFDO is tested on two standard benchmarks for the performance-proof purpose; classical ZDT test functions, which is a widespread test suite that takes its name from its authors Zitzler, Deb, and Thiele, and on IEEE Congress of Evolutionary Computation benchmark (CEC 2019) multi modal multi objective functions. MOFDO results are compared to the latest variant of multi objective particle swarm optimization (MOPSO), non-dominated sorting genetic algorithm third improvement (NSGA-III), and multi objective dragonfly algorithm (MODA). The comparative study shows the superiority of MOFDO in most cases and comparative results in other cases. Moreover, MOFDO is used for optimizing real-world engineering problems (e.g., welded beam design problems). It is observed that the proposed algorithm successfully provides a wide variety of well-distributed feasible solutions, which enable the decision-makers to have more applicable-comfort choices to consider.


title: Synchrony/Asynchrony vs. Stationary/Mobile? The Latter is Superior...in Theory

abstract: Like Asynchrony, Mobility of faults precludes consensus. Yet, a model M in which Consensus is solvable, has an analogue relaxed model in which Consensus is not solvable and for which we can ask, whether Consensus is solvable if the system initially behaves like the relaxed analogue model, but eventually morphs into M. We consider two relaxed analogues of M. The first is the traditional Asynchronous model, and the second to be defined, the Mobile analogue. While for some M we show that Consensus is not solvable in the Asynchronous analogue, it is solvable in all the Mobile analogues. Hence, from this perspective Mobility is superior to Asynchrony. The pie in the sky relationship we envision is: Consensus is solvable in M, if and only if binary Commit-Adopt is solvable in the mobile analogue. The ``only if'' is easy. Here we show case by case that the ``if'' holds for all the common faults types.


title: The Conformal Laplacian and Positive Scalar Curvature Metrics on Manifolds with Boundary

abstract: We give examples of spin $4$-manifolds with boundary that do not admit metrics of positive scalar curvature and nonnegative mean curvature. These manifolds in fact have the stronger property that the conformal Laplacian with appropriate boundary conditions is never positive. The obstruction to the positivity of the conformal Laplacian is given by a real-valued $\xi$-invariant associated to the APS theorem for the twisted Dirac operator. We use analytic techniques related to the prescribed scalar curvature problem in conformal geometry to move beyond earlier work where the metric is a product near the boundary.


title: Weissler and Bernoulli type inequalities in Bergman spaces

abstract: We consider Weissler type inequalities for Bergman spaces with general radial weights and give conditions on the weight $w$ in terms of its moments ensuring that $\|f_r\|_{A^{2n}(w)}\leq \|f\|_{A^2(w)}$ whenever $n\in \mathbb{N}$ and $0< r\le 1/\sqrt{n}$. For noninteger exponents a special case of this inequality is proved which can be considered as a certain analog of the Bernoulli inequality. An example of a monotonic weight is constructed for which these inequalities are no longer true.


title: RFI Flagging in Solar and Space Weather Low Frequency Radio Observations

abstract: Radio spectroscopy provides a unique inspection perspective for solar and space weather research, which can reveal the plasma and energetic electron information in the solar corona and inner heliosphere. However, Radio-Frequency Interference (RFI) from human activities affects sensitive radio telescopes, and significantly affects the quality of observation. Thus, RFI detection and mitigation for the observations is necessary to obtain high quality, science-ready data. The flagging of RFI is particularly challenging for the solar and space weather observations at low frequency, because the solar radio bursts can be brighter than the RFI, and may show similar temporal behavior. In this work, we investigate RFI flagging methods for solar and space weather observations, including a strategy for AOFlagger, and a novel method that makes use of a morphology convolution. These algorithms can effectively flag RFI while preserving solar radio bursts.


title: Cryogenic Characteristics of Graphene Composites -- Evolution from Thermal Conductors to Thermal Insulators

abstract: The development of cryogenic semiconductor electronics and superconducting quantum computing requires composite materials that can provide both thermal conduction and thermal insulation. We demonstrated that at cryogenic temperatures, the thermal conductivity of graphene composites can be both higher and lower than that of the reference pristine epoxy, depending on the graphene filler loading and temperature. There exists a well-defined cross-over temperature - above it, the thermal conductivity of composites increases with the addition of graphene; below it, the thermal conductivity decreases with the addition of graphene. The counter-intuitive trend was explained by the specificity of heat conduction at low temperatures: graphene fillers can serve as, both, the scattering centers for phonons in the matrix material and as the conduits of heat. We offer a physical model that explains the experimental trends by the increasing effect of the thermal boundary resistance at cryogenic temperatures and the anomalous thermal percolation threshold, which becomes temperature dependent. The obtained results suggest the possibility of using graphene composites for, both, removing the heat and thermally insulating components at cryogenic temperatures - a capability important for quantum computing and cryogenically cooled conventional electronics.


title: Satellite Anomaly Detection Using Variance Based Genetic Ensemble of Neural Networks

abstract: In this paper, we use a variance-based genetic ensemble (VGE) of Neural Networks (NNs) to detect anomalies in the satellite's historical data. We use an efficient ensemble of the predictions from multiple Recurrent Neural Networks (RNNs) by leveraging each model's uncertainty level (variance). For prediction, each RNN is guided by a Genetic Algorithm (GA) which constructs the optimal structure for each RNN model. However, finding the model uncertainty level is challenging in many cases. Although the Bayesian NNs (BNNs)-based methods are popular for providing the confidence bound of the models, they cannot be employed in complex NN structures as they are computationally intractable. This paper uses the Monte Carlo (MC) dropout as an approximation version of BNNs. Then these uncertainty levels and each predictive model suggested by GA are used to generate a new model, which is then used for forecasting the TS and AD. Simulation results show that the forecasting and AD capability of the ensemble model outperforms existing approaches.


title: A Linear Delay Algorithm for Enumeration of 2-Edge/Vertex-connected Induced Subgraphs

abstract: For a set system $(V,{\mathcal C}\subseteq 2^V)$, we call a subset $C\in{\mathcal C}$ a component. A nonempty subset $Y\subseteq C$ is a minimal removable set (MRS) of $C$ if $C\setminus Y\in{\mathcal C}$ and no proper nonempty subset $Z\subsetneq Y$ satisfies $C\setminus Z\in{\mathcal C}$. In this paper, we consider the problem of enumerating all components in a set system such that, for every two components $C,C'\in{\mathcal C}$ with $C'\subsetneq C$, every MRS $X$ of $C$ satisfies either $X\subseteq C'$ or $X\cap C'=\emptyset$. We provide a partition-based algorithm for this problem, which yields the first linear delay algorithms to enumerate all 2-edge-connected induced subgraphs, and to enumerate all 2-vertex-connected induced subgraphs.


title: CodeBERTScore: Evaluating Code Generation with Pretrained Models of Code

abstract: Since the rise of neural natural-language-to-code models (NL->Code) that can generate long expressions and statements rather than a single next-token, one of the major problems has been reliably evaluating their generated output. In this paper, we propose CodeBERTScore: an evaluation metric for code generation, which builds on BERTScore (Zhang et al., 2020). Instead of encoding only the generated tokens as in BERTScore, CodeBERTScore also encodes the natural language input preceding the generated code, thus modeling the consistency between the generated code and its given natural language context as well. We perform an extensive evaluation of CodeBERTScore across four programming languages. We find that CodeBERTScore achieves a higher correlation with human preference and with functional correctness than all existing metrics. That is, generated code that receives a higher score by CodeBERTScore is more likely to be preferred by humans, as well as to function correctly when executed. We release five language-specific pretrained models to use with our publicly available code. Our language-specific models have been downloaded more than 1,000,000 times from the Huggingface Hub. Our code and data are available at https://github.com/neulab/code-bert-score


title: Learning cooperative behaviours in adversarial multi-agent systems

abstract: This work extends an existing virtual multi-agent platform called RoboSumo to create TripleSumo -- a platform for investigating multi-agent cooperative behaviors in continuous action spaces, with physical contact in an adversarial environment. In this paper we investigate a scenario in which two agents, namely `Bug' and `Ant', must team up and push another agent `Spider' out of the arena. To tackle this goal, the newly added agent `Bug' is trained during an ongoing match between `Ant' and `Spider'. `Bug' must develop awareness of the other agents' actions, infer the strategy of both sides, and eventually learn an action policy to cooperate. The reinforcement learning algorithm Deep Deterministic Policy Gradient (DDPG) is implemented with a hybrid reward structure combining dense and sparse rewards. The cooperative behavior is quantitatively evaluated by the mean probability of winning the match and mean number of steps needed to win.


title: Renormalized Reshetikhin-Turaev invariants for the unrolled quantum group of $\mathfrak{sl}_2(\mathbb{C})$

abstract: This paper is a self-contained introduction to the theory of renormalized Reshetikhin-Turaev invariants of links defined by Geer, Patureau-Mirand and Turaev. Whereas the standard Reshetikhin-Turaev theory of a $\mathbb{C}$-linear ribbon category assigns the trivial invariant to any link with a component colored by a simple object of vanishing quantum dimension, the renormalized theory does not. We give a streamlined development of the renormalized Reshetikhin-Turaev theory of links for the category of weight modules over the restricted unrolled quantum group of $\mathfrak{sl}_2(\mathbb{C})$ at an even root of unity.


title: Machine Learning Based Approach to Recommend MITRE ATT&CK Framework for Software Requirements and Design Specifications

abstract: Engineering more secure software has become a critical challenge in the cyber world. It is very important to develop methodologies, techniques, and tools for developing secure software. To develop secure software, software developers need to think like an attacker through mining software repositories. These aim to analyze and understand the data repositories related to software development. The main goal is to use these software repositories to support the decision-making process of software development. There are different vulnerability databases like Common Weakness Enumeration (CWE), Common Vulnerabilities and Exposures database (CVE), and CAPEC. We utilized a database called MITRE. MITRE ATT&CK tactics and techniques have been used in various ways and methods, but tools for utilizing these tactics and techniques in the early stages of the software development life cycle (SDLC) are lacking. In this paper, we use machine learning algorithms to map requirements to the MITRE ATT&CK database and determine the accuracy of each mapping depending on the data split.


title: Fault-tolerant quantum simulation of materials using Bloch orbitals

abstract: The simulation of chemistry is among the most promising applications of quantum computing. However, most prior work exploring algorithms for block-encoding, time-evolving, and sampling in the eigenbasis of electronic structure Hamiltonians has either focused on modeling finite-sized systems, or has required a large number of plane wave basis functions. In this work, we extend methods for quantum simulation with Bloch orbitals constructed from symmetry-adapted atom-centered orbitals so that one can model periodic \textit{ab initio} Hamiltonians using only a modest number of basis functions. We focus on adapting existing algorithms based on combining qubitization with tensor factorizations of the Coulomb operator. Significant modifications of those algorithms are required to obtain an asymptotic speedup leveraging translational (or, more broadly, Abelian) symmetries. We implement block encodings using known tensor factorizations and a new Bloch orbital form of tensor hypercontraction. Finally, we estimate the resources required to deploy our algorithms to classically challenging model materials relevant to the chemistry of Lithium Nickel Oxide battery cathodes within the surface code.


title: Identifying Resonant Poles by Visual Inspection of Pole-Zero Plots

abstract: We derive the s- and z-plane pole regions for continuous-time and discrete-time LTI systems to yield resonance. In this way, resonance can be identified by visual inspection of the pole-zero plot, without the need for calculations.


title: On Drazin invertible C*-operators and generalized C*-Weyl operators

abstract: In this paper, we obtain several extensions of semi-Fredholm theory on Hilbert modules by generalizing in this setting their classical counterparts regarding Weyl operators and Drazin invertible operators.


title: Robust Knowledge Transfer in Tiered Reinforcement Learning

abstract: In this paper, we study the Tiered Reinforcement Learning setting, a parallel transfer learning framework, where the goal is to transfer knowledge from the low-tier (source) task to the high-tier (target) task to reduce the exploration risk of the latter while solving the two tasks in parallel. Unlike previous work, we do not assume the low-tier and high-tier tasks share the same dynamics or reward functions, and focus on robust knowledge transfer without prior knowledge on the task similarity. We identify a natural and necessary condition called the ``Optimal Value Dominance'' for our objective. Under this condition, we propose novel online learning algorithms such that, for the high-tier task, it can achieve constant regret on partial states depending on the task similarity and retain near-optimal regret when the two tasks are dissimilar, while for the low-tier task, it can keep near-optimal without making sacrifice. Moreover, we further study the setting with multiple low-tier tasks, and propose a novel transfer source selection mechanism, which can ensemble the information from all low-tier tasks and allow provable benefits on a much larger state-action space.


title: K-Spectral Sets

abstract: We use results in [M. Crouzeix and A. Greenbaum,Spectral sets: numerical range and beyond, SIAM Jour. Matrix Anal. Appl., 40 (2019), pp. 1087-1101] to derive a variety of K-spectral sets and show how they can be used in some applications. We compare the K-values derived here to those that can be derived from a straightforward application of the Cauchy integral formula, by replacing the norm of the integral by the integral of the resolvent norm. While, in some cases, the new upper bounds on the optimal K-value are much tighter than those from the Cauchy integral formula, we show that in many cases of interest, the two values are of the same order of magnitude, with the bounds from the Cauchy integral formula actually being slightly smaller. We give a partial explanation of this in terms of the numerical range of the resolvent at points near an ill-conditioned eigenvalue.


title: "Software is the easy part of Software Engineering" -- Lessons and Experiences from A Large-Scale, Multi-Team Capstone Course

abstract: Capstone courses in undergraduate software engineering are a critical final milestone for students. These courses allow students to create a software solution and demonstrate the knowledge they accumulated in their degrees. However, a typical capstone project team is small containing no more than 5 students and function independently from other teams. To better reflect real-world software development and meet industry demands, we introduce in this paper our novel capstone course. Each student was assigned to a large-scale, multi-team (i.e., company) of up to 20 students to collaboratively build software. Students placed in a company gained first-hand experiences with respect to multi-team coordination, integration, communication, agile, and teamwork to build a microservices based project. Furthermore, each company was required to implement plug-and-play so that their services would be compatible with another company, thereby sharing common APIs. Through developing the product in autonomous sub-teams, the students enhanced not only their technical abilities but also their soft skills such as communication and coordination. More importantly, experiencing the challenges that arose from the multi-team project trained students to realize the pitfalls and advantages of organizational culture. Among many lessons learned from this course experience, students learned the critical importance of building team trust. We provide detailed information about our course structure, lessons learned, and propose recommendations for other universities and programs. Our work concerns educators interested in launching similar capstone projects so that students in other institutions can reap the benefits of large-scale, multi-team development


title: Strong Bounds for 3-Progressions

abstract: We show that for some constant $\beta > 0$, any subset $A$ of integers $\{1,\ldots,N\}$ of size at least $2^{-O((\log N)^\beta)} \cdot N$ contains a non-trivial three-term arithmetic progression. Previously, three-term arithmetic progressions were known to exist only for sets of size at least $N/(\log N)^{1 + c}$ for a constant $c > 0$. Our approach is first to develop new analytic techniques for addressing some related questions in the finite-field setting and then to apply some analogous variants of these same techniques, suitably adapted for the more complicated setting of integers.


title: On a global gradient estimate in $p$-Laplacian problems

abstract: We make explicit the $p$-dependence of $C$ in the gradient estimate $\left\Vert \nabla u\right\Vert _{\infty}^{p-1}\leq C\left\Vert f\right\Vert _{N,1}$ by Cianchi and Maz'ya (2011). In such inequality, the constant $C$ is uniform with respect to $f\in L^{N,1}(\Omega),$ and $u$ is the weak solution to the Poisson equation $-\operatorname{div}(\left\vert \nabla u\right\vert ^{p-2}\nabla u)=f$ in a bounded domain $\Omega\subset\mathbb{R}^{N},$ $N\geq3,$ coupled with either Neumann or Dirichlet homogeneous boundary conditions. The case $N=2$ with $f\in L^{q}(\Omega),$ for some $q>2,$ is also considered .


title: Stable ordered-union versus selective ultrafilters

abstract: It will be shown to be consistent that there are at least two non-isomorphic selective ultrafilters, but no stable ordered-union ultrafilters. This answers a question of Blass from his 1987 paper which introduced the concept of a stable ordered-union ultrafilter.


title: Bilevel optimization with a multi-objective lower-level problem: Risk-neutral and risk-averse formulations

abstract: In this work, we propose different formulations and gradient-based algorithms for deterministic and stochastic bilevel problems with conflicting objectives in the lower level. Such problems have received little attention in the deterministic case and have never been studied from a stochastic approximation viewpoint despite the recent advances in stochastic methods for single-level, bilevel, and multi-objective optimization. To solve bilevel problems with a multi-objective lower level, different approaches can be considered depending on the interpretation of the lower-level optimality. An optimistic formulation that was previously introduced for the deterministic case consists of minimizing the upper-level function over all non-dominated lower-level solutions. In this paper, we develop new risk-neutral and risk-averse formulations, address their main computational challenges, and develop the corresponding deterministic and stochastic gradient-based algorithms.


title: Semi-supervised Large-scale Fiber Detection in Material Images with Synthetic Data

abstract: Accurate detection of large-scale, elliptical-shape fibers, including their parameters of center, orientation and major/minor axes, on the 2D cross-sectioned image slices is very important for characterizing the underlying cylinder 3D structures in microscopic material images. Detecting fibers in a degraded image poses a challenge to both current fiber detection and ellipse detection methods. This paper proposes a new semi-supervised deep learning method for large-scale elliptical fiber detection with synthetic data, which frees people from heavy data annotations and is robust to various kinds of image degradations. A domain adaptation strategy is utilized to reduce the domain distribution discrepancy between the synthetic data and the real data, and a new Region of Interest (RoI)-ellipse learning and a novel RoI ranking with the symmetry constraint are embedded in the proposed method. Experiments on real microscopic material images demonstrate the effectiveness of the proposed approach in large-scale fiber detection.


title: Dynamics of intermediate mass black holes in globular clusters. Wander radius and anisotropy profiles

abstract: We recently introduced a new method for simulating collisional gravitational N-body systems with approximately linear time scaling with $N$, based on the Multi-Particle Collision (MPC) scheme, previously applied in Plasma Physics. We simulate globular clusters with a realistic number of stellar particles (at least up to several times $10^6$) on a standard workstation. We simulate clusters hosting an intermediate mass black hole (IMBH), probing a broad range of BH-cluster and BH-average-star mass ratios, unrestricted by the computational constraints affecting direct N-body codes. We use either single mass models or models with a Salpeter mass function, with the IMBH initially sitting at the centre. The force exerted by and on the IMBH is evaluated with a direct scheme. We measure the evolution of the Lagrangian radii and core density and velocity dispersion over time. In addition, we study the evolution of the velocity anisotropy profiles. We find that models with an IMBH undergo core collapse at earlier times, the larger the IMBH mass the shallower, with an approximately constant central density at core collapse. The presence of an IMBH tends to lower the central velocity dispersion. These results hold independently of the mass function. For the models with Salpeter MF we observe that equipartition of kinetic energies is never achieved. Orbital anisotropy at large radii appears driven by energetic escapers on radial orbits. We measure the wander radius. Among the results we obtained, which mostly confirm or extend previously known trends that had been established over the range of parameters accessible to direct N-body simulations, we underline that the leptokurtic nature of the IMBH wander radius distribution might lead to IMBHs presenting as off-center more frequently than expected, with implications on observational IMBH detection.


title: Adding Conditional Control to Text-to-Image Diffusion Models

abstract: We present ControlNet, a neural network architecture to add spatial conditioning controls to large, pretrained text-to-image diffusion models. ControlNet locks the production-ready large diffusion models, and reuses their deep and robust encoding layers pretrained with billions of images as a strong backbone to learn a diverse set of conditional controls. The neural architecture is connected with "zero convolutions" (zero-initialized convolution layers) that progressively grow the parameters from zero and ensure that no harmful noise could affect the finetuning. We test various conditioning controls, eg, edges, depth, segmentation, human pose, etc, with Stable Diffusion, using single or multiple conditions, with or without prompts. We show that the training of ControlNets is robust with small (<50k) and large (>1m) datasets. Extensive results show that ControlNet may facilitate wider applications to control image diffusion models.


title: Direct measurement of hexacontatetrapole, $\textbf{E6}$ {\gamma} decay from $^{\textbf{53m}}$Fe

abstract: The only proposed observation of a discrete, hexacontatetrapole ($E6$) transition in nature occurs from the T$_{1/2}$ = 2.54(2)-minute decay of $^{53m}$Fe. However, there are conflicting claims concerning its $\gamma$-decay branching ratio, and a rigorous interrogation of $\gamma$-ray sum contributions is lacking. Experiments performed at the Australian Heavy Ion Accelerator Facility were used to study the decay of $^{53m}$Fe. For the first time, sum-coincidence contributions to the weak $E6$ and $M5$ decay branches have been firmly quantified using complementary experimental and computational methods. Agreement across the different approaches confirms the existence of the real $E6$ transition; the $M5$ branching ratio and transition rate have also been revised. Shell model calculations performed in the full $pf$ model space suggest that the effective proton charge for high-multipole, $E4$ and $E6$, transitions is quenched to approximately two-thirds of the collective $E2$ value. Correlations between nucleons may offer an explanation of this unexpected phenomenon, which is in stark contrast to the collective nature of lower-multipole, electric transitions observed in atomic nuclei.


title: Privacy Against Agnostic Inference Attacks in Vertical Federated Learning

abstract: A novel form of inference attack in vertical federated learning (VFL) is proposed, where two parties collaborate in training a machine learning (ML) model. Logistic regression is considered for the VFL model. One party, referred to as the active party, possesses the ground truth labels of the samples in the training phase, while the other, referred to as the passive party, only shares a separate set of features corresponding to these samples. It is shown that the active party can carry out inference attacks on both training and prediction phase samples by acquiring an ML model independently trained on the training samples available to them. This type of inference attack does not require the active party to be aware of the score of a specific sample, hence it is referred to as an agnostic inference attack. It is shown that utilizing the observed confidence scores during the prediction phase, before the time of the attack, can improve the performance of the active party's autonomous model, and thus improve the quality of the agnostic inference attack. As a countermeasure, privacy-preserving schemes (PPSs) are proposed. While the proposed schemes preserve the utility of the VFL model, they systematically distort the VFL parameters corresponding to the passive party's features. The level of the distortion imposed on the passive party's parameters is adjustable, giving rise to a trade-off between privacy of the passive party and interpretabiliy of the VFL outcomes by the active party. The distortion level of the passive party's parameters could be chosen carefully according to the privacy and interpretabiliy concerns of the passive and active parties, respectively, with the hope of keeping both parties (partially) satisfied. Finally, experimental results demonstrate the effectiveness of the proposed attack and the PPSs.


title: Cross-sectional profile of photocarrier mobility in thin film solar cell via nongeminate recombination and charge extraction by linearly increasing voltage (cs-p-CELIV)

abstract: The ability to spatially resolve the carrier mobility profile along the cross section of micrometer-thin solar cells is vital both for fundamental studies in photovoltaics and as a quality control for reproducibly obtaining high conversion efficiencies in commercial solar cell modules. Presently, no technique capable of such an endeavor is available to the best of our knowledge. Here, we introduce a novel method capable of profiling the carrier mobility along the z-axis in thin-film photovoltaics. Our setup is based on the integration of photogenerated charge extraction by linearly increasing voltage (p-CELIV) with a scanning confocal optical microscope (SCOM) towards a cross-sectional sensitive p-CELIV (cs-p-CELIV) system. As geminate recombination of excess carriers is the most frequent radiative pathway for electrons and holes in solar cells at low power density of illumination, while nongeminate recombination dominates at high power, enhanced nongeminate recombination occurs at the SCOM focal plane. Thus, the cs-p-CELIV signal provides enhanced information on the mobility of all of the cross-sectional layers, except for the focal plane. By scanning the focal plane along the z-axis, the mobility profile can be derived. To demonstrate our technique, we use it to investigate the carrier mobility in a hydrogenated amorphous silicon (a-Si:H) solar cell. The mobility profile obtained by cs-p-CELIV correlates well with the H content profile, measured independently, and is in excellent agreement with models suggesting a critical role of Si-H bonding in locally determining the carrier mobility in a-Si:H.


title: A Universal Strategy of Perovskite Ink-Substrate Interaction to Overcome the Poor Wettability of a Self-Assembled Monolayer for Reproducible Perovskite Solar Cells

abstract: Perovskite solar cells employing self assembled monolayers such as Me-4PACz as hole transport layer has been reported to demonstrate high device efficiency. However, the poor perovskite wetting on the Me-4PACz caused by poor perovskite ink interaction with the underlying Me-4PACz presents significant challenges for fabricating efficient perovskite devices. A triple co-solvent system comprising of dimethylformamide (DMF), dimethyl sulfoxide (DMSO) and N-methyl-2-pyrrolidone (NMP) is employed to improve the perovskite ink-substrate interaction and obtain a uniform perovskite layer. In comparison to DMF, DMSO-based inks, the inclusion of NMP shows considerably higher binding energies of the perovskite ink with Me-4PACz as revealed by density-functional theory calculations. With the optimized triple co-solvent ratio, the perovskite devices deliver high power conversion efficiencies of >20%, 19.5% and ~18.5% for active areas of 0.16 cm2, 0.72 cm2 and 1.08 cm2 respectively. Importantly, this perovskite ink-substrate interaction approach is universal and helps in obtaining a uniform layer and high photovoltaic device performance for other perovskite compositions such as MAPbI3, FAMAPbI3-xBrx, and MA-free FACsPbI3-xBrx.


title: On Safety of Passengers Entering a Bus Rapid Transit System from Scheduled Stops

abstract: In this paper, we address the vehicle scheduling problem for improving passenger safety in bus rapid transit systems. Our focus is on passengers waiting at street stops to enter terminal stations. To enhance their safety, we minimize deviations from the proposed timetable, thereby minimizing passengers' initial waiting time. We formulate an optimization problem considering the position, speed deviation, and passenger count at each stop, solved using dynamic programming. Numerical simulations validate the effectiveness of our approach in enhancing passenger safety. Our work is the first attempt to minimize waiting time for improved safety and the first to utilize position tracking for departure time matching.


title: Balancing Approach for Causal Inference at Scale

abstract: With the modern software and online platforms to collect massive amount of data, there is an increasing demand of applying causal inference methods at large scale when randomized experimentation is not viable. Weighting methods that directly incorporate covariate balancing have recently gained popularity for estimating causal effects in observational studies. These methods reduce the manual efforts required by researchers to iterate between propensity score modeling and balance checking until a satisfied covariate balance result. However, conventional solvers for determining weights lack the scalability to apply such methods on large scale datasets in companies like Snap Inc. To address the limitations and improve computational efficiency, in this paper we present scalable algorithms, DistEB and DistMS, for two balancing approaches: entropy balancing and MicroSynth. The solvers have linear time complexity and can be conveniently implemented in distributed computing frameworks such as Spark, Hive, etc. We study the properties of balancing approaches at different scales up to 1 million treated units and 487 covariates. We find that with larger sample size, both bias and variance in the causal effect estimation are significantly reduced. The results emphasize the importance of applying balancing approaches on large scale datasets. We combine the balancing approach with a synthetic control framework and deploy an end-to-end system for causal impact estimation at Snap Inc.


title: PDSum: Prototype-driven Continuous Summarization of Evolving Multi-document Sets Stream

abstract: Summarizing text-rich documents has been long studied in the literature, but most of the existing efforts have been made to summarize a static and predefined multi-document set. With the rapid development of online platforms for generating and distributing text-rich documents, there arises an urgent need for continuously summarizing dynamically evolving multi-document sets where the composition of documents and sets is changing over time. This is especially challenging as the summarization should be not only effective in incorporating relevant, novel, and distinctive information from each concurrent multi-document set, but also efficient in serving online applications. In this work, we propose a new summarization problem, Evolving Multi-Document sets stream Summarization (EMDS), and introduce a novel unsupervised algorithm PDSum with the idea of prototype-driven continuous summarization. PDSum builds a lightweight prototype of each multi-document set and exploits it to adapt to new documents while preserving accumulated knowledge from previous documents. To update new summaries, the most representative sentences for each multi-document set are extracted by measuring their similarities to the prototypes. A thorough evaluation with real multi-document sets streams demonstrates that PDSum outperforms state-of-the-art unsupervised multi-document summarization algorithms in EMDS in terms of relevance, novelty, and distinctiveness and is also robust to various evaluation settings.


title: A Generic Nonlinear Evolution Equation of Magnetic Type I. Reductions

abstract: The present preprint is dedicated to a nonlinear evolution equation that generalizes the classical Heisenberg ferromagnet equation in certain way. That generalization is completely integrable and has a linear bundle Lax pair in pole gauge related to the special linear algebra. A few reductions of the generic matrix equation are considered.


title: Algorithmically Effective Differentially Private Synthetic Data

abstract: We present a highly effective algorithmic approach for generating $\varepsilon$-differentially private synthetic data in a bounded metric space with near-optimal utility guarantees under the 1-Wasserstein distance. In particular, for a dataset $X$ in the hypercube $[0,1]^d$, our algorithm generates synthetic dataset $Y$ such that the expected 1-Wasserstein distance between the empirical measure of $X$ and $Y$ is $O((\varepsilon n)^{-1/d})$ for $d\geq 2$, and is $O(\log^2(\varepsilon n)(\varepsilon n)^{-1})$ for $d=1$. The accuracy guarantee is optimal up to a constant factor for $d\geq 2$, and up to a logarithmic factor for $d=1$. Our algorithm has a fast running time of $O(\varepsilon dn)$ for all $d\geq 1$ and demonstrates improved accuracy compared to the method in (Boedihardjo et al., 2022) for $d\geq 2$.


title: Optimal Sampling Design Under Logistical Constraints with Mixed Integer Programming

abstract: The goal of survey design is often to minimize the errors associated with inference: the total of bias and variance. Random surveys are common because they allow the use of theoretically unbiased estimators. In practice however, such design-based approaches are often unable to account for logistical or budgetary constraints. Thus, they may result in samples that are logistically inefficient, or infeasible to implement. Various balancing and optimal sampling techniques have been proposed to improve the statistical efficiency of such designs, but few models have attempted to explicitly incorporate logistical and financial constraints. We introduce a mixed integer linear program (MILP) for optimal sampling design, capable of capturing a variety of constraints and a wide class of Bayesian regression models. We demonstrate the use of our model on three spatial sampling problems of increasing complexity, including the real logistics of the US Forest Service Forest Inventory and Analysis survey of Tanana, Alaska. Our methodological contribution to survey design is significant because the proposed modeling framework makes it possible to generate high-quality sampling designs and inferences while satisfying practical constraints defined by the user. The technical novelty of the method is the explicit integration of Bayesian statistical models in combinatorial optimization. This integration might allow a paradigm shift in spatial sampling under constrained budgets or logistics.


title: On the Use of Static Analysis to Engage Students with Software Quality Improvement: An Experience with PMD

abstract: Static analysis tools are frequently used to scan the source code and detect deviations from the project coding guidelines. Given their importance, linters are often introduced to classrooms to educate students on how to detect and potentially avoid these code anti-patterns. However, little is known about their effectiveness in raising students awareness, given that these linters tend to generate a large number of false positives. To increase the awareness of potential coding issues that violate coding standards, in this paper, we aim to reflect on our experience with teaching the use of static analysis for the purpose of evaluating its effectiveness in helping students with respect to improving software quality. This paper discusses the results of an experiment in the classroom over a period of 3 academic semesters, involving 65 submissions that carried out code review activity of 690 rules using PMD. The results of the quantitative and qualitative analysis shows that the presence of a set of PMD quality issues influence the acceptance or rejection of the issues, design, and best practices-related categories that take a longer time to be resolved, and students acknowledge the potential of using static analysis tools during code review. Through this experiment, code review can turn into a vital part of the educational computing plan. We envision our findings enabling educators to support students with code review strategies to raise students awareness about static analysis tools and scaffolding their coding skills.


title: Precise VLBI/GNSS ties with micro-VLBI

abstract: We present here a concept of measuring local ties between collocated GNSS and VLBI stations using the microwave technique that effectively transforms a GNSS receiver to an element of a VLBI network. This is achieved by modifying the signal chain that allows to transfer voltage of the GNSS antenna to a digitizer via a coaxial cable. We discuss the application of this technique to local tie measurement. We have performed observations with a GNSS antenna and FD-VLBA radiotelescope and detected a strong interferometric signal from both radiogalaxies and GNSS satellites.


title: Higher-Order Allan Variance for Atomic Clocks of Arbitrary Order: Mathematical Foundation

abstract: In this paper, we perform a time-domain analysis of the higher-order Allan variance for atomic clock models of arbitrary order. Adopting a standard atomic clock model where the time series of the clock reading deviation is expressed as a Wiener or integrated Wiener process, we define the higher-order Allan variance as the mean squared higher-order difference of the clock reading deviation. The main results of this paper are threefold. First, we prove that the higher-order difference operation of the clock reading deviation, which can be interpreted as a linear aggregation with binomial coefficients, is not only sufficient but also necessary for a resulting aggregated time series to be an independent and identically distributed Gaussian process. Second, we derive a complete analytical expression of the higher-order Allan variance, which consists of both time-dependent and time-independent terms. Third, we prove that the higher-order Allan variance is time-independent if and only if the order of difference operation is greater than or equal to the order of the atomic clock model.


title: Thermodynamic formalism for amenable groups and countable state spaces

abstract: Given the full shift over a countable state space on a countable amenable group, we develop its thermodynamic formalism. First, we introduce the concept of pressure and, using tiling techniques, prove its existence and further properties such as an infimum rule. Next, we extend the definitions of different notions of Gibbs measures and prove their existence and equivalence, given some regularity and normalization criteria on the potential. Finally, we provide a family of potentials that non-trivially satisfy the conditions for having this equivalence and a non-empty range of inverse temperatures where uniqueness holds.


title: Overview of the TREC 2022 Fair Ranking Track

abstract: The TREC Fair Ranking Track aims to provide a platform for participants to develop and evaluate novel retrieval algorithms that can provide a fair exposure to a mixture of demographics or attributes, such as ethnicity, that are represented by relevant documents in response to a search query. For example, particular demographics or attributes can be represented by the documents topical content or authors. The 2022 Fair Ranking Track adopted a resource allocation task. The task focused on supporting Wikipedia editors who are looking to improve the encyclopedia's coverage of topics under the purview of a WikiProject. WikiProject coordinators and/or Wikipedia editors search for Wikipedia documents that are in need of editing to improve the quality of the article. The 2022 Fair Ranking track aimed to ensure that documents that are about, or somehow represent, certain protected characteristics receive a fair exposure to the Wikipedia editors, so that the documents have an fair opportunity of being improved and, therefore, be well-represented in Wikipedia. The under-representation of particular protected characteristics in Wikipedia can result in systematic biases that can have a negative human, social, and economic impact, particularly for disadvantaged or protected societal groups.


title: $C^0$-rigidity of Poisson diffeomorphisms

abstract: We prove the Poisson version of the Gromov-Eliashberg's $C^0$-rigidity. More precisely, we prove that the group of Poisson diffeomorphisms is closed with respect to the $C^0$ topology inside the group of all diffeomorphisms. The proof relies on the Poisson version of the energy-capacity inequality.


title: Variational Analysis of the Orthogonally Invariant Norm Cone of Symmetric Matrices

abstract: A large number matrix optimization problems are described by orthogonally invariant norms. This paper is devoted to the study of variational analysis of the orthogonally invariant norm cone of symmetric matrices. For a general orthogonally invariant norm cone of symmetric matrices, formulas for the tangent cone, normal cone and second-order tangent set are established. The differentiability properties of the projection operator onto the orthogonally invariant norm cone are developed, including formulas for the directional derivative and the B-subdifferential. Importantly, the directional derivative is characterized by the second-order derivative of the corresponding symmetric function, which is convenient for computation. All these results are specified to the Schatten $p$-norm cone, especially to the second-order cone of symmetric matrices.


title: Design Concept of a Low-Terahertz Imaging Radar

abstract: Terahertz (THz) imaging proved to be an efficient and powerful nondestructive examination (NDE) method for inspection of materials and detection of defects. Here, we present the development of a Low-Terahertz Imaging Radar(L-TIR) which is specifically designed for the evaluation of Fibre-Reinforced Polymer (FRP) composites. L-TIR will be a compact active radar with a laser pulse transmitter and a receiver which operates at the lower THz band (1 THz-2 THz). L-TIR will probe the structure and sub-layers of the FRP composites which makes it a suitable and fast tool to detect the cracks, breaks and deamination at sub-mm resolution. Keywords: THz Imaging Radar, NDE Method, FRP Composites


title: Improvement of attention in subjects diagnosed with hyperkinetic syndrome using BIOVIT Simulator

abstract: This study aimed to stimulate the brain's executive function through a series of tasks and rules based on dynamic perceptual stimuli using the Biotechnology Virtual Immersion Simulator (BIOVIT) and thus evaluate its usefulness to maintain and increase attention levels in subjects diagnosed with hyperkinetic syndrome. With a quantitative methodology framed in a longitudinal trend design, the cause of the exposure-outcome relationships was studied using the BIOVIT simulator. Exploratory analysis of oscillatory brain activity was measured using a graphical recording of brain electrical activity and attention levels. Data consisted of 77,566 observations from n = 18 separately studied participants. The findings established that the BIOVIT simulator maintained and increased the attention levels of the participants by 77.8%. Furthermore, the hypothesis was tested that virtual reality immersion technologies significantly affect attention levels in participants aged 8 to 12. The evidence shows that the BIOVIT simulator is an alternative to developing learning methodologies in vulnerable populations. The low implementation costs and the diversity of academic applications may allow schools in developing countries to solve this problem that afflicts thousands of children with attention deficit and hyperactivity disorder.


title: An adaptive weighted self-representation method for incomplete multi-view clustering

abstract: For multi-view data in reality, part of its elements may be missing because of human or machine error. Incomplete multi-view clustering (IMC) clusters the incomplete multi-view data according to the characters of various views of the instances. Recently, IMC has attracted much attention and many related methods have been proposed. However, the existing approaches still need to be developed and innovated in the following aspects: (1) Current methods only consider the differences of different views, while the different influences of instances, as well as distinguishes between missing values and completed values are ignored. (2) The updating scheme for weighting matrix in adaptive weighted algorithms usually relies on an optimization sub-problem, whose optimal solution may not be easy to achieve. (3) The adaptive weighted subspace algorithms that can recover the incomplete data are anchor types. The randomness of the anchor matrix may cause unreliability. To tackle these limitations, we propose an adaptive weighted self-representation (AWSR) subspace method for IMC. The AWSR method tunes the weighting matrix adaptively in accordance with the views of different instances and the recovery process of the missing values. The low rank and smoothness constraints on the representation matrix make the subspace reveal the underlying features of the dataset accurately. We also analyze the convergence property of the block coordinate method for our optimization model theoretically. Numerical performance on five real-world data shows that the AWSR method is effective and delivers superior results when compared to other eight widely-used approaches considering the clustering accuracy (ACC), normalized mutual information (NMI) and Purity.


title: Overcoming Challenges in DevOps Education through Teaching Methods

abstract: DevOps is a set of practices that deals with coordination between development and operation teams and ensures rapid and reliable new software releases that are essential in industry. DevOps education assumes the vital task of preparing new professionals in these practices using appropriate teaching methods. However, there are insufficient studies investigating teaching methods in DevOps. We performed an analysis based on interviews to identify teaching methods and their relationship with DevOps educational challenges. Our findings show that project-based learning and collaborative learning are emerging as the most relevant teaching methods.


title: MSDC: Exploiting Multi-State Power Consumption in Non-intrusive Load Monitoring based on A Dual-CNN Model

abstract: Non-intrusive load monitoring (NILM) aims to decompose aggregated electrical usage signal into appliance-specific power consumption and it amounts to a classical example of blind source separation tasks. Leveraging recent progress on deep learning techniques, we design a new neural NILM model Multi-State Dual CNN (MSDC). Different from previous models, MSDC explicitly extracts information about the appliance's multiple states and state transitions, which in turn regulates the prediction of signals for appliances. More specifically, we employ a dual-CNN architecture: one CNN for outputting state distributions and the other for predicting the power of each state. A new technique is invented that utilizes conditional random fields (CRF) to capture state transitions. Experiments on two real-world datasets REDD and UK-DALE demonstrate that our model significantly outperform state-of-the-art models while having good generalization capacity, achieving 6%-10% MAE gain and 33%-51% SAE gain to unseen appliances.


title: Updated analyses of gluon distribution functions for the pion and kaon from the gauge-invariant nonlocal chiral quark model

abstract: In this work, we investigate the gluon distribution functions for the pion and kaon, in addition to the improved result of the valence-quark ones, in the gauge-invariant nonlocal chiral-quark model (NL$\chi$QM), in which the momentum dependence of the quark interactions is properly taken into account. We then analyze the gluon distribution functions, generated dynamically through the splitting functions in the DGLAP QCD evolution. By comparing with the recent lattice QCD results and JAM global analyses, it is found that the present numerical results for the gluon parton distribution functions for the pion exhibit a remarkable agreement, followed by the valence up-quark distribution results for the pion by reproducing the reanalyzed experimental data. Our prediction on the gluon distribution functions for the kaon is also consistent with the recent lattice data for the kaon within the errors.


title: Vitreoretinal Surgical Robotic System with Autonomous Orbital Manipulation using Vector-Field Inequalities

abstract: Vitreoretinal surgery pertains to the treatment of delicate tissues on the fundus of the eye using thin instruments. Surgeons frequently rotate the eye during surgery, which is called orbital manipulation, to observe regions around the fundus without moving the patient. In this paper, we propose the autonomous orbital manipulation of the eye in robot-assisted vitreoretinal surgery with our tele-operated surgical system. In a simulation study, we preliminarily investigated the increase in the manipulability of our system using orbital manipulation. Furthermore, we demonstrated the feasibility of our method in experiments with a physical robot and a realistic eye model, showing an increase in the view-able area of the fundus when compared to a conventional technique. Source code and minimal example available at https://github.com/mmmarinho/icra2023_orbitalmanipulation.


title: Ruin probabilities as recurrence sequences in a discrete-time risk process

abstract: We apply the theory of linear recurrence sequences to find an expression for the ultimate ruin probability in a discrete-time risk process. We assume the claims follow an arbitrary distribution with support $\{0,1,\ldots,m\}$, for some integer $m\ge2$. The method requires to find the zeroes of an $m$ degree polynomial and to solve a system of $m$ linear equations. An approximation is derived from the exact ruin formula and several numerical results and plots are provided as examples.


title: A variational theory for integral functionals involving finite-horizon fractional gradients

abstract: The center of interest in this work are variational problems with integral functionals depending on special nonlocal gradients. The latter correspond to truncated versions of the Riesz fractional gradient, as introduced in [Bellido, Cueto & Mora-Corral 2022] along with the underlying function spaces. We contribute several new aspects to both the existence theory of these problems and the study of their asymptotic behavior. Our overall proof strategy builds on finding suitable translation operators that allow to switch between the three types of gradients: classical, fractional, and nonlocal. These provide useful technical tools for transferring results from one setting to the other. Based on this approach, we show that quasiconvexity, which is the natural convexity notion in the classical -- and as shown in [Kreisbeck & Sch\"onberger 2022] also in the fractional -- calculus of variations, gives a necessary and sufficient condition for the weak lower semicontinuity of the nonlocal functionals as well. As a consequence of a general Gamma-convergence statement, we obtain relaxation and homogenization results. The analysis of the limiting behavior for varying fractional parameters yields, in particular, a rigorous localization with a classical local limit model.


title: Multilinear $\theta$-type Calder\'on--Zygmund operators and commutators on products of weighted Morrey spaces

abstract: In this paper, we consider the boundedness properties of multilinear $\theta$-type Calder\'on--Zygmund operators $T_\theta$ recently introduced in the literature. First, we prove strong type and weak type estimates for multilinear $\theta$-type Calder\'on--Zygmund operators on products of weighted Morrey spaces with multiple weights. Then we discuss strong type estimates for both multilinear commutators and iterated commutators of $T_\theta$ on products of these spaces with multiple weights. Furthermore, the weak end-point estimates for commutators of $T_\theta$ and pointwise multiplication with functions in bounded mean oscillation are established too.


title: Network-Assisted Full-Duplex Cell-Free mmWave Massive MIMO Systems with DAC Quantization and Fronthaul Compression

abstract: In this paper, we investigate network-assisted full-duplex (NAFD) cell-free millimeter-wave (mmWave) massive multiple-input multiple-output (MIMO) systems with digital-to-analog converter (DAC) quantization and fronthaul compression. We propose to maximize the weighted uplink and downlink sum rate by jointly optimizing the power allocation of both the transmitting remote antenna units (T-RAUs) and uplink users and the variances of the downlink and uplink fronthaul compression noises. To deal with this challenging problem, we further apply a successive convex approximation (SCA) method to handle the non-convex bidirectional limited-capacity fronthaul constraints. The simulation results verify the convergence of the proposed SCA-based algorithm and analyze the impact of fronthaul capacity and DAC quantization on the spectral efficiency of the NAFD cell-free mmWave massive MIMO systems. Moreover, some insightful conclusions are obtained through the comparisons of spectral efficiency, which shows that NAFD achieves better performance gains than co-time co-frequency full-duplex cloud radio access network (CCFD C-RAN) in the cases of practical limited-resolution DACs. Specifically, their performance gaps with 8-bit DAC quantization are larger than that with 1-bit DAC quantization, which attains a 5.5-fold improvement.


title: Werner states from diagrams

abstract: We present two results on multiqubit Werner states, defined to be those states that are invariant under the collective action of any given single-qubit unitary that acts simultaneously on all the qubits. Motivated by the desire to characterize entanglement properties of Werner states, we construct a basis for the real linear vector space of Werner invariant Hermitian operators on the Hilbert space of pure states; it follows that any mixed Werner state can be written as a mixture of these basis operators with unique coefficients. Continuing a study of "polygon diagram" Werner states constructed in earlier work, with a goal to connect diagrams to entanglement properties, we consider a family of multiqubit states that generalize the singlet, and show that their 2-qubit reduced density matrices are separable.