title: The Channel Capacity of General Complex-Valued Load Modulation for Backscatter Communication

abstract: This paper studies achievable information rates of backscatter communication systems where the tag performs load modulation with a freely adaptable passive termination. We find that the complex phasor of the tag current is constrained to a disk and that the capacity problem can therefore be described with existing results on peak-power-limited quadrature channels. This allows us to state the channel capacity and the capacity-achieving distribution of the load impedance, which is described by non-concentric circles in the right half-plane. For the low-SNR case (SNR < 4.8 dB) we find that channel capacity is achieved by a purely reactive load with Cauchy-distributed reactance. The exposition is based on a system model that abstracts all relevant classes of backscatter communication systems, including RFID. To address practicality, we construct a symbol alphabet that allows for a near-capacity information rate of more than 6 bit per load-switching period at reasonably high SNR. We also find that the rate hardly decreases when typical value-range constraints are imposed on the load impedance.


title: The Affinity of the Sulfate- and Ether-Containing Surface-Active Ionic Liquids to Carbon Dioxide, Hydrogen Fluoride, Hydrogen Sulfide, and Water

abstract: The development of novel task-specific ionic liquids (ILs) represents an essential challenge in modern organic and physical chemistries. Recently we reported surface-active ILs contained the two well-known organic cations (1-butyl-3-methylimidazolium and tetrabutylammonium) and the two surface-active anions (lauryl sulfate, lauryl ether sulfate). In the present work, we investigate the affinity of these ionic compounds to the selected small molecules that exhibit practical implications: water, hydrogen fluoride, hydrogen sulfate, and carbon dioxide. We identified that the sulfate group, the ether groups, and the aromatic imidazole ring make the strongest contributions to the physical sorption of the polar gas molecules. In turn, the tetrabutylammonium cation, the saturated hydrocarbon chain of the anions, and the alkyl chains of 1-butyl-3-methylimidazolium contribute to a significantly smaller extent. The reported data are interesting in the context of using surface-active ILs in the oil industry to capture and store undesirable and toxic gases.


title: Phonon condensation and cooling via nonlinear feedback

abstract: We show that in multimode mechanical systems, the amplification of the lowest mode and the damping of all the other modes can be realized simultaneously via nonlinear feedback. The feedback-induced dynamics of the multimode system is related to the formation of phonon condensation. The phonon statistics of the lowest mode are similar to those of a phonon laser. Finally, we show the coherence of the lowest mode can be improved by an order of magnitude.


title: Helmholtz Solutions for the Fractional Laplacian and Other Related Operators

abstract: We show that the bounded solutions to the fractional Helmholtz equation, $(-\Delta)^s u= u$ for $0<s<1$ in $\mathbb{R}^n$, are given by the bounded solutions to the classical Helmholtz equation $(-\Delta)u= u$ in $\mathbb{R}^n$ for $n \ge 2$ when $u$ is additionally assumed to be vanishing at $\infty$. When $n=1$, we show that the bounded fractional Helmholtz solutions are again given by the classical solutions $A\cos{x} + B\sin{x}$. We show that this classification of fractional Helmholtz solutions extends for $1<s \le 2$ and $s\in \mathbb{N}$ when $u \in C^\infty(\mathbb{R}^n)$. Finally, we prove that the classical solutions are the unique bounded solutions to the more general equation $\psi(-\Delta) u= \psi(1)u$ in $\mathbb{R}^n$, when $\psi$ is complete Bernstein and certain regularity conditions are imposed on the associated weight $a(t)$.


title: Fieldable muon spectrometer using multi-layer pressurized gas Cherenkov radiators and its applications

abstract: Cosmic ray muons have been considered as a non-conventional radiation probe in various applications. To utilize cosmic ray muons in engineering applications, two important quantities, trajectory and momentum, must be known. The muon trajectories are easily reconstructed using two-fold detector arrays with a high spatial resolution. However, precise measurement of muon momentum is difficult to be achieved without deploying large and expensive spectrometers such as solenoid magnets. Here, we propose a new method to estimate muon momentum using multi-layer pressurized gas Cherenkov radiators. This is accurate, portable, compact (< 1m3), and easily coupled with existing muon detectors without the need of neither bulky magnetic nor time-of-flight spectrometers. The results show that not only our new muon spectrometer can measure muon momentum with a resolution of +-0.5 GeV/c in a momentum range of 0.1 to 10.0 GeV/c, but also we can reconstruct cosmic muon spectrum with high accuracy (~90%).

categories: physics.ins-det astro-ph.IM hep-ex nucl-ex


title: Subfield prestige and gender inequality in computing

abstract: Women and people of color remain dramatically underrepresented among computing faculty, and improvements in demographic diversity are slow and uneven. Effective diversification strategies depend on quantifying the correlates, causes, and trends of diversity in the field. But field-level demographic changes are driven by subfield hiring dynamics because faculty searches are typically at the subfield level. Here, we quantify and forecast variations in the demographic composition of the subfields of computing using a comprehensive database of training and employment records for 6882 tenure-track faculty from 269 PhD-granting computing departments in the United States, linked with 327,969 publications. We find that subfield prestige correlates with gender inequality, such that faculty working in computing subfields with more women tend to hold positions at less prestigious institutions. In contrast, we find no significant evidence of racial or socioeconomic differences by subfield. Tracking representation over time, we find steady progress toward gender equality in all subfields, but more prestigious subfields tend to be roughly 25 years behind the less prestigious subfields in gender representation. These results illustrate how the choice of subfield in a faculty search can shape a department's gender diversity.


title: The solutions to single-variable polynomials, implemented and verified in Lean

abstract: In this work, we describe our experience in learning the use of a computer proof assistant - specifically, Lean - from scratch, through proving formulae for the solutions of polynomial equations. Specifically, in this work we characterize the solutions of quadratic, cubic, and quartic polynomials over certain fields, specifically, fields with operations returning square and cubic roots of characteristic other than two or three. The purpose of this work is thus twofold. Firstly, it describes the learning experience of a starting Lean user, including a detailed comparison between our work in Lean and very closely related work in Coq. Secondly, our results represent a modest improvement over the aforementioned related work in Coq, which we hope will be of some scientific interest.


title: Algorithm and Circuit of Nesting Doubled Qubits

abstract: Copying the quantum states is contradictory to classical information processing since the fundamental difference between classical and quantum information is that while classical information can be copied perfectly, quantum information cannot. However, this statement does not rule out the risk of building a device that can reproduce a set of quantum states. This paper investigates the naturally arising question of how well or under what conditions one can copy and measure an arbitrary quantum superposition of states. The CNOT and XOR operation-based quantum circuit is presented that exhibits entanglement of states and allows for measuring the doubled qubits.


title: Wigner type laws for structured random matrices

abstract: For a sufficiently nice 2 dimensional shape, we define its approximating matrix (or patterned matrix) as a random matrix with iid entries arranged according to a given pattern. For large approximating matrices, we observe that the eigenvalues roughly follow an underlying distribution. This phenomenon is similar to the classical observation on Wigner matrices. We prove that the moments of such matrices converge asymptotically as the size increases and equals to the integral of a combinatorially-defined function which counts certain paths on a finite grid. We also consider the case of several independent patterned matrices. Under a specific set of conditions, these matrices admit asymptotic freeness with respect to full-filled independent square random matrices. In our conclusion, we present several open problems.


title: The Parametric Cost Function Approximation: A new approach for multistage stochastic programming

abstract: The most common approaches for solving multistage stochastic programming problems in the research literature have been to either use value functions ("dynamic programming") or scenario trees ("stochastic programming") to approximate the impact of a decision now on the future. By contrast, common industry practice is to use a deterministic approximation of the future which is easier to understand and solve, but which is criticized for ignoring uncertainty. We show that a parameterized version of a deterministic optimization model can be an effective way of handling uncertainty without the complexity of either stochastic programming or dynamic programming. We present the idea of a parameterized deterministic optimization model, and in particular a deterministic lookahead model, as a powerful strategy for many complex stochastic decision problems. This approach can handle complex, high-dimensional state variables, and avoids the usual approximations associated with scenario trees or value function approximations. Instead, it introduces the offline challenge of designing and tuning the parameterization. We illustrate the idea by using a series of application settings, and demonstrate its use in a nonstationary energy storage problem with rolling forecasts.


title: Subspace modeling for fast and high-sensitivity X-ray chemical imaging

abstract: Resolving morphological chemical phase transformations at the nanoscale is of vital importance to many scientific and industrial applications across various disciplines. The TXM-XANES imaging technique, by combining full field transmission X-ray microscopy (TXM) and X-ray absorption near edge structure (XANES), has been an emerging tool which operates by acquiring a series of microscopy images with multi-energy X-rays and fitting to obtain the chemical map. Its capability, however, is limited by the poor signal-to-noise ratios due to the system errors and low exposure illuminations for fast acquisition. In this work, by exploiting the intrinsic properties and subspace modeling of the TXM-XANES imaging data, we introduce a simple and robust denoising approach to improve the image quality, which enables fast and high-sensitivity chemical imaging. Extensive experiments on both synthetic and real datasets demonstrate the superior performance of the proposed method.


title: A time-dependent switching mean-field game on networks motivated by optimal visiting problems

abstract: Motivated by an optimal visiting problem, we study a switching mean-field game on a network, where both a decisional and a switching time-variable is at disposal of the agents for what concerns, respectively, the instant to decide and the instant to perform the switch. Every switch between the nodes of the network represents a switch from $0$ to $1$ of one component of the string $p = (p_1,\ldots, p_n)$ which, in the optimal visiting interpretation, gives information on the visited targets, being the targets labeled by $i=1,\ldots, n$. The goal is to reach the final string $(1, \ldots, 1)$ in the final time $T$, minimizing a switching cost also depending on the congestion on the nodes. We prove the existence of a suitable definition of an approximated $\varepsilon$-mean-field equilibrium and then address the passage to the limit when $\varepsilon$ goes to 0.


title: ARPIST: Provably Accurate and Stable Numerical Integration over Spherical Triangles

abstract: Numerical integration on spheres, including the computation of the areas of spherical triangles, is a core computation in geomathematics. The commonly used techniques sometimes suffer from instabilities and significant loss of accuracy. We describe a new algorithm, called ARPIST, for accurate and stable integration of functions on spherical triangles. ARPIST is based on an easy-to-implement transformation to the spherical triangle from its corresponding linear triangle via radial projection to achieve high accuracy and efficiency. More importantly, ARPIST overcomes potential instabilities in computing the Jacobian of the transformation, even for poorly shaped triangles that may occur at poles in regular longitude-latitude meshes, by avoiding potential catastrophic rounding errors. We compare our proposed technique with L'Huilier's Theorem for computing the area of spherical triangles, and also compare it with the recently developed LSQST method (J. Beckmann, H.N. Mhaskar, and J. Prestin, GEM - Int. J. Geomath., 5:143-162, 2014) and a radial-basis-function-based technique (J. A. Reeger and B. Fornberg, Stud. Appl. Math., 137:174-188, 2015) for integration of smooth functions on spherical triangulations. Our results show that ARPIST enables superior accuracy and stability over previous methods while being orders of magnitude faster and significantly easier to implement.


title: On automatic differentiation for the Mat\'ern covariance

abstract: To target challenges in differentiable optimization we analyze and propose strategies for derivatives of the Mat\'ern kernel with respect to the smoothness parameter. This problem is of high interest in Gaussian processes modelling due to the lack of robust derivatives of the modified Bessel function of second kind with respect to order. In the current work we focus on newly identified series expansions for the modified Bessel function of second kind valid for complex orders. Using these expansions we obtain highly accurate results using the complex step method. Furthermore, we show that the evaluations using the recommended expansions are also more efficient than finite differences.


title: Einstein-type structures, Besse's conjecture and a uniqueness result for a $\varphi$-CPE metric in its conformal class

abstract: In this paper, we study an extension of the CPE conjecture to manifolds $M$ which support a structure relating curvature to the geometry of a smooth map $\varphi : M \to N$. The resulting system, denoted by $(\varphi-\mathrm{CPE})$, is natural from the variational viewpoint and describes stationary points for the integrated $\varphi$-scalar curvature functional restricted to metrics with unit volume and constant $\varphi$-scalar curvature. We prove both a rigidity statement for solutions to $(\varphi-\mathrm{CPE})$ in a conformal class, and a gap theorem characterizing the round sphere among manifolds supporting $(\varphi-\mathrm{CPE})$ with $\varphi$ a harmonic map.


title: Estimating Discretization Error with Preset Orders of Accuracy and Fractional Refinement Ratios

abstract: Verification of solutions is crucial for establishing the reliability of simulations. A central challenge is to find an accurate and reliable estimate of the discretization error. Current approaches to this estimation rely on the observed order of accuracy; however, studies have shown that it may alter irregularly or become undefined. Therefore, we propose a grid refinement method which adopts constant orders given by the user, called the Preset Orders Expansion Method (POEM). The user is guaranteed to obtain the optimal set of orders through iterations and hence an accurate estimate of the discretization error. This method evaluates the reliability of the estimation by assessing the convergence of the expansion terms, which is fundamental for all grid refinement methods. We demonstrate these capabilities using advection and diffusion problems along different refinement paths. POEM requires a lower computational cost when the refinement ratio is higher. However, the estimated error suffers from higher uncertainty due to the reduced number of shared grid points. We circumvent this by using fractional refinement ratios and the Method of Interpolating Differences between Approximate Solutions (MIDAS). As a result, we can obtain a global estimate of the discretization error of lower uncertainty at a reduced computational cost.


title: Similarity reductions of peakon equations: the $b$-family

abstract: The $b$-family is a one-parameter family of Hamiltonian partial differential equations of non-evolutionary type, which arises in shallow water wave theory. It admits a variety of solutions, including the celebrated peakons, which are weak solutions in the form of peaked solitons with a discontinuous first derivative at the peaks, as well as other interesting solutions that have been obtained in exact form and/or numerically. In each of the special cases $b=2,3$ (the Camassa-Holm and Degasperis-Procesi equations, respectively) the equation is completely integrable, in the sense that it admits a Lax pair and an infinite hierarchy of commuting local symmetries, but for other values of the parameter $b$ it is non-integrable. After a discussion of travelling waves via the use of a reciprocal transformation, which reduces to a hodograph transformation at the level of the ordinary differential equation satisfied by these solutions, we apply the same technique to the scaling similarity solutions of the $b$-family, and show that when $b=2$ or $3$ this similarity reduction is related by a hodograph transformation to particular cases of the Painlev\'e III equation, while for all other choices of $b$ the resulting ordinary differential equation is not of Painlev\'e type.


title: Cloaked near-field probe for non-invasive near-field optical microscopy

abstract: Near-field scanning optical microscopy is a powerful technique for imaging below the diffraction limit, which has been extensively used in bio-medical imaging and nanophotonics. However, when the electromagnetic fields under measurement are strongly confined, they can be heavily perturbed by the presence of the near-field probe itself. Here, taking inspiration from scattering-cancellation invisibility cloaks, Huygens-Kerker scatterers, and cloaked sensors, we design and fabricate a cloaked near-field probe. We show that, by suitably nanostructuring the probe, its electric and magnetic polarizabilities can be controlled and balanced. As a result, probe-induced perturbations can be largely suppressed, effectively cloaking the near-field probe without preventing its ability to measure. We experimentally demonstrate the cloaking effect by comparing the interaction of conventional and nanostructured probes with a representative nanophotonic structure, namely, a 1D photonic-crystal cavity. Our results show that, by engineering the structure of the probe, one can systematically control its back-action on the resonant fields of the sample and decrease the perturbation by >70% with most of our modified probes, and by up to one order of magnitude for the best probe, at probe-sample distances of 100 nm. Our work paves the way for non-invasive near-field optical microscopy of classical and quantum nano-systems.


title: On the Cross-dataset Generalization in License Plate Recognition

abstract: Automatic License Plate Recognition (ALPR) systems have shown remarkable performance on license plates (LPs) from multiple regions due to advances in deep learning and the increasing availability of datasets. The evaluation of deep ALPR systems is usually done within each dataset; therefore, it is questionable if such results are a reliable indicator of generalization ability. In this paper, we propose a traditional-split versus leave-one-dataset-out experimental setup to empirically assess the cross-dataset generalization of 12 Optical Character Recognition (OCR) models applied to LP recognition on nine publicly available datasets with a great variety in several aspects (e.g., acquisition settings, image resolution, and LP layouts). We also introduce a public dataset for end-to-end ALPR that is the first to contain images of vehicles with Mercosur LPs and the one with the highest number of motorcycle images. The experimental results shed light on the limitations of the traditional-split protocol for evaluating approaches in the ALPR context, as there are significant drops in performance for most datasets when training and testing the models in a leave-one-dataset-out fashion.


title: Double algebraic genericity of universal harmonic functions on trees

abstract: It is well known that the set of universal functions on a tree contains a vector space except zero which is dense in the set of harmonic functions. In this paper we improve this result by proving that the set of universal functions on a tree contains two vector spaces except zero which are dense in the space of harmonic functions and intersect only at zero.


title: IQDUBBING: Prosody modeling based on discrete self-supervised speech representation for expressive voice conversion

abstract: Prosody modeling is important, but still challenging in expressive voice conversion. As prosody is difficult to model, and other factors, e.g., speaker, environment and content, which are entangled with prosody in speech, should be removed in prosody modeling. In this paper, we present IQDubbing to solve this problem for expressive voice conversion. To model prosody, we leverage the recent advances in discrete self-supervised speech representation (DSSR). Specifically, prosody vector is first extracted from pre-trained VQ-Wav2Vec model, where rich prosody information is embedded while most speaker and environment information are removed effectively by quantization. To further filter out the redundant information except prosody, such as content and partial speaker information, we propose two kinds of prosody filters to sample prosody from the prosody vector. Experiments show that IQDubbing is superior to baseline and comparison systems in terms of speech quality while maintaining prosody consistency and speaker similarity.


title: Towards a secure API client generator for IoT devices

abstract: Given the success of IoT platforms, more developers and companies want to include the technology in their portfolio. However, in the case of single board microcontrollers, the support for networking operations is not ideal, and different IoT platforms allow access to the networking submodule via different libraries and system calls, leading to a steeper learning curve. Code generators for API clients can enhance productivity, but they tend to generate universal purpose code, and on the other hand the networking primitives of IoT devices are platform specific, especially when security mechanisms such as Transport Layer Security are part of the picture. This paper presents \texttt{cpp-tiny-client}, an API client generator developed as a plugin for the OpenAPI Generator project, which can tailor the generated code based on the IoT platform specified by the user. Our work allows to generate correct code for API clients for IoT devices, and thus can empower a developer with more productivity and a faster time-to-market for its own applications. By combining together mainstream technologies only, \texttt{cpp-tiny-client} offers a gentle learning curve. Moreover, experiments show that the generated code has a reasonable footprint, at least with respect to the IoT devices that were used in the validation of the work. The code related to this work is available through the OpenAPI Generator project~\cite{OpenAPIGenerator}. This technical report is an extension of~\cite{acmsac22}, and it integrates the information presented at the ACM SAC 2022 conference.


title: Transposed BiHom-Poisson algebras

abstract: In this paper, we introduce the concept of transposed BiHom-Poisson (abbr. TBP) algebras which can be constructed by the BiHom-Novikov-Poisson algebras. Several useful identities for TBP algebras are provided. We also prove that the tensor product of two (T)BP algebras are closed. The notions of BP 3-Lie algebras and TBP 3-Lie algebras are presented and TBP algebras can induce TBP 3-Lie algebras by two approaches. Finally, we give some examples for the TBP algebras of dimension 2.


title: Thinking inside the box: A tutorial on grey-box Bayesian optimization

abstract: Bayesian optimization (BO) is a framework for global optimization of expensive-to-evaluate objective functions. Classical BO methods assume that the objective function is a black box. However, internal information about objective function computation is often available. For example, when optimizing a manufacturing line's throughput with simulation, we observe the number of parts waiting at each workstation, in addition to the overall throughput. Recent BO methods leverage such internal information to dramatically improve performance. We call these "grey-box" BO methods because they treat objective computation as partially observable and even modifiable, blending the black-box approach with so-called "white-box" first-principles knowledge of objective function computation. This tutorial describes these methods, focusing on BO of composite objective functions, where one can observe and selectively evaluate individual constituents that feed into the overall objective; and multi-fidelity BO, where one can evaluate cheaper approximations of the objective function by varying parameters of the evaluation oracle.


title: Disorder in Andreev reflection of a quantum Hall edge

abstract: We develop a theory of charge transport along the quantum Hall edge proximitized by a "dirty" superconductor. Disorder randomizes the Andreev reflection rendering the conductance of a proximitized segment a stochastic quantity with zero average for a sufficiently long segment. We find the statistical distribution of the conductance and its dependence on electron density, magnetic field, and temperature.


title: COVID Lessons: Was there any way to reduce the negative effect of COVID-19 on the United States economy?

abstract: This paper aims to study the economic impact of COVID-19. To do that, in the first step, I showed that the adjusted SEQIER model, which is a generalization form of SEIR model, is a good fit to the real COVID-induced daily death data in a way that it could capture the nonlinearities of the data very well. Then, I used this model with extra parameters to evaluate the economic effect of COVID-19 through job market. The results show that there was a simple strategy that US government could implemented in order to reduce the negative effect of COVID-19. Because of that the answer to the paper's title is yes. If lockdown policies consider the heterogenous characteristics of population and impose more restrictions on old people and control the interactions between them and the rest of population the devastating impact of COVID-19 on people lives and US economy reduced dramatically. Specifically, based on this paper's results, this strategy could reduce the death rate and GDP loss of the United States 0.03 percent and 2 percent respectively. By comparing these results with actual data which show death rate and GDP loss 0.1 percent and 3.5 percent respectively, we could figure out that death rate reduction is 0.07 percent which means for the same percent of GDP loss executing optimal targeted policy could save 2/3 lives. Approximately, 378,000 persons dead because of COVID-19 during 2020, hence reducing death rate to 0.03 percent means saving around 280,000 lives, which is huge.


title: Coloring the distance graphs

abstract: Let n>0 be a number. Let Gn be the graph on n-dimensional Euclidean space connecting points of rational distance. It is consistent with the choiceless theory ZF+DC that Gn has countable chromatic number yet Gn+1 does not.


title: Reconstruction of Fission Events in Heavy Ion Reactions with CSHINE

abstract: We report the reconstruction method of the fast fission events in 25 MeV/u $^{86}$Kr +$^{208}$Pb reactions at the Compact Spectrometer for Heavy IoN Experiment (CSHINE). The fission fragments are measured by three large-area parallel plate avalanche counters, which can deliver the position and the arrival timing information of the fragments. The start timing information is given by the radio frequency of the cyclotron. Using the velocities of the two fission fragments, the fission events are reconstructed. The broadening of both the velocity distribution and the azimuthal difference of the fission fragments decrease with the folding angle, in accordance with the picture that fast fission occurs. The anisotropic angular distribution of the fission axis also reveals consistently the dynamic feature the fission events.


title: Service-Based Drone Delivery

abstract: Service delivery is set to experience a major paradigm shift with fast advances in drone technologies coupled with higher expectations from customers and increased competition. We propose a novel service-oriented approach to enable the ubiquitous delivery of packages in a drone-operated skyway network. We discuss the benefits, framework and architecture, contemporary approaches, open challenges and future visioned directions of service-based drone deliveries.


title: Bistability of the large-scale dynamics in quasi-two-dimensional turbulence

abstract: In many geophysical and astrophysical flows, suppression of fluctuations along one direction of the flow drives a quasi-2D upscale flux of kinetic energy, leading to the formation of strong vortex condensates at the largest scales. Recent studies have shown that the transition towards this condensate state is hysteretic, giving rise to a limited bistable range in which both the condensate state as well as the regular 3D state can exist at the same parameter values. In this work, we use direct numerical simulations of thin-layer flow to investigate whether this bistable range survives as the domain size and turbulence intensity are increased. By studying the time scales at which rare transitions occur from one state into the other, we find that the bistable range grows as the box size and/or Reynolds number Re are increased, showing that the bistability is neither a finite-size nor a finite-Re effect. We furthermore predict a crossover from a bimodal regime at low box size, low Re to a regime of pure hysteresis at high box size, high Re, in which any transition from one state to the other is prohibited at any finite time scale.


title: Influence of moments of inertia on transverse wobbling mode in odd-mass nuclei

abstract: The reported transverse wobbling band in odd-mass $^{105}$Pd has been reinvestigated by the triaxial particle rotor model. Employing different parameter sets of moment of inertia (MOI), several calculated results could be in good agreement with the experimental data, which show distinct modes of rotational excitation, respectively. These modes are sensitive to the ratio between the MOI at intermediate and short axis. With the increase of this ratio, a wobble about the short axis of the total angular momentum is gradually changed to a wobble about the intermediate axis. In addition, it is exhibited that precession and tunneling are two aspects of the quantum wobbling motion. The tunneling aspect dominates in the yrare states of $^{105}$Pd. The present results in $^{105}$Pd show the complexity of the transverse wobbling mode.


title: Least-Squares Method for Inverse Medium Problems

abstract: We present a two-stage least-squares method to inverse medium problems of reconstructing multiple unknown coefficients simultaneously from noisy data. A direct sampling method is applied to detect the location of the inhomogeneity in the first stage, while a total least-squares method with mixed regularization is used to recover the medium profile in the second stage. The total least-squares method is designed to minimize the residual of the model equation and the data fitting, along with an appropriate regularization, in an attempt to significantly improve the accuracy of the approximation obtained from the first stage. We shall also present an analysis on the well-posedness and convergence of this algorithm. Numerical experiments are carried out to verify the accuracies and robustness of this novel two-stage least-squares algorithm, with great tolerance of noise.


title: Evidence synthesis with reconstructed survival data

abstract: We present a general approach to synthesizing evidence of time-to-event endpoints in meta-analyses of aggregate data (AD). Our work goes beyond most previous meta-analytic research by using reconstructed survival data as a source of information. A Bayesian multilevel regression model, called the "meta-analysis of reconstructed survival data" (MARS), is introduced, by modeling and integrating reconstructed survival information with other types of summary data, to estimate the hazard ratio function and survival probabilities. The method attempts to reduce selection bias, and relaxes the presumption of proportional hazards in individual clinical studies from the conventional approaches restricted to hazard ratio estimates. Theoretically, we establish the asymptotic consistency of MARS, and investigate its relative efficiency with respect to the individual participant data (IPD) meta-analysis. In simulation studies, the MARS demonstrated comparable performance to IPD meta-analysis with minor deviation from the true values, suggesting great robustness and efficiency achievable in AD meta-analysis with finite sample. Finally, we applied MARS in a meta-analysis of acute myeloid leukemia to assess the association of minimal residual disease with survival, to help respond to FDA's emerging concerns on translational use of surrogate biomarker in drug development of hematologic malignancies.


title: Approximate solutions for Dorodnitzyn's gaseous boundary layer limit formula

abstract: Oleinik's \emph{no back-flow} condition ensures the existence and uniqueness of solutions for the Prandtl equations in a rectangular domain $R\subset \mathbb{R}^2$. It also allowed us to find a limit formula for Dorodnitzyn's stationary compre\-ssible boundary layer with constant total energy on a bounded convex domain in the plane $\mathbb{R}^2$. Under the same assumption, we can give an approximate solution $u$ for the limit formula if $|u|<\!\!<\!\!<1$: \[u(z)\cong \delta * c * \left[z+\frac{6}{25}\cdot \frac{1}{2i_0} \cdot \frac{4U^2}{3}z^4\right]+o(z^5),\] that corresponds to an approximate horizontal velocity component when a small parameter $\epsilon$ given by the quotient of the maximum height of the domain divided by its length tends to zero. Here, $c>0$, $\delta$ is the boundary layer's height in Dorodnitzyn's coordinates, $U$ is the \emph{free-stream} velocity at the upper boundary of the domain, and $T_0$ is the absolute surface temperature.


title: DF-SSmVEP: Dual Frequency Aggregated Steady-State Motion Visual Evoked Potential Design with Bifold Canonical Correlation Analysis

abstract: Recent advancements in Electroencephalography (EEG) sensor technologies and signal processing algorithms have paved the way for further evolution of Brain Computer Interfaces (BCI). When it comes to Signal Processing (SP) for BCI, there has been a surge of interest on Steady-State motion-Visual Evoked Potentials (SSmVEP), where motion stimulation is utilized to address key issues associated with conventional light-flashing/flickering. Such benefits, however, come with the price of having less accuracy and less Information Transfer Rate (ITR). In this regard, the paper focuses on the design of a novel SSmVEP paradigm without using resources such as trial time, phase, and/or number of targets to enhance the ITR. The proposed design is based on the intuitively pleasing idea of integrating more than one motion within a single SSmVEP target stimuli, simultaneously. To elicit SSmVEP, we designed a novel and innovative dual frequency aggregated modulation paradigm, referred to as the Dual Frequency Aggregated steady-state motion Visual Evoked Potential (DF-SSmVEP), by concurrently integrating "Radial Zoom" and "Rotation" motions in a single target without increasing the trial length. Compared to conventional SSmVEPs, the proposed DF-SSmVEP framework consists of two motion modes integrated and shown simultaneously each modulated by a specific target frequency. The paper also develops a specific unsupervised classification model, referred to as the Bifold Canonical Correlation Analysis (BCCA), based on two motion frequencies per target. The proposed DF-SSmVEP is evaluated based on a real EEG dataset and the results corroborate its superiority. The proposed DF-SSmVEP outperforms its counterparts and achieved an average ITR of 30.7 +/- 1.97 and an average accuracy of 92.5 +/- 2.04.


title: Sharp Bounds for the Concentration of the Resolvent in Convex Concentration Settings

abstract: Considering random matrix $X \in \mathcal M_{p,n}$ with independent columns satisfying the convex concentration properties issued from a famous theorem of Talagrand, we express the linear concentration of the resolvent $Q = (I_p - \frac{1}{n}XX^T) ^{-1}$ around a classical deterministic equivalent with a good observable diameter for the nuclear norm. The general proof relies on a decomposition of the resolvent as a series of powers of $X$.


title: Applications of Gaussian Mutation for Self Adaptation in Evolutionary Genetic Algorithms

abstract: In recent years, optimization problems have become increasingly more prevalent due to the need for more powerful computational methods. With the more recent advent of technology such as artificial intelligence, new metaheuristics are needed that enhance the capabilities of classical algorithms. More recently, researchers have been looking at Charles Darwin's theory of natural selection and evolution as a means of enhancing current approaches using machine learning. In 1960, the first genetic algorithm was developed by John H. Holland and his student. We explore the mathematical intuition of the genetic algorithm in developing systems capable of evolving using Gaussian mutation, as well as its implications in solving optimization problems.


title: Reinforcement Learning for Task Specifications with Action-Constraints

abstract: In this paper, we use concepts from supervisory control theory of discrete event systems to propose a method to learn optimal control policies for a finite-state Markov Decision Process (MDP) in which (only) certain sequences of actions are deemed unsafe (respectively safe). We assume that the set of action sequences that are deemed unsafe and/or safe are given in terms of a finite-state automaton; and propose a supervisor that disables a subset of actions at every state of the MDP so that the constraints on action sequence are satisfied. Then we present a version of the Q-learning algorithm for learning optimal policies in the presence of non-Markovian action-sequence and state constraints, where we use the development of reward machines to handle the state constraints. We illustrate the method using an example that captures the utility of automata-based methods for non-Markovian state and action specifications for reinforcement learning and show the results of simulations in this setting.


title: Drug repurposing for SARS-COV-2: A high-throughput molecular docking, molecular dynamics, machine learning, & ab-initio study

abstract: A molecule of dimension 125nm has caused around 479 Million human infections (80M for the USA) & 6.1 Million human deaths (977,000 for the USA) worldwide and slashed the global economy by US$ 8.5 Trillion over two years. The only other events in recent history that caused comparative human life loss through direct usage (either by (wo)man or nature, respectively) of structure-property relations of 'nano-structures' (either (wo)man-made or nature, respectively) were nuclear bomb attacks of Japanese cities by the USA during World War II and 1918 Flu Pandemic. This molecule is SARS-CoV-2, which causes a disease known as COVID-19. The high liability cost of the pandemic had incentivized various private, government, and academic entities to work towards finding a cure for these & emerging diseases. As result, multiple vaccine candidates are discovered to avoid the infection in first place. But so far, there has been no success in finding fully effective therapeutics candidates. In this paper, we attempted to provide multiple therapy candidates based upon a sophisticated multi-scale in-silico framework. We have used the following robust framework to screen the ligands; Step-I: high throughput docking, Step-II: molecular dynamics, Step-III: density functional theory analysis. In total, we have analyzed 2.2 Million unique protein binding site/ligand combinations. The proteins were selected based on recent experimental studies. Step-I had filtered that number down to 10 ligands/protein based on molecular docking binding energy, further screening down to 2 ligands/protein based on drug-likeness analysis. Additionally, these two ligands/proteins were investigated in Step-II with a molecular dynamic based RMSD analysis. It finally suggested three ligands (ZINC1176619532, ZINC517580540, ZINC952855827) attacking different binding sites of the protein(7BV2), which were further analyzed in Step III.


title: Community Search: A Meta-Learning Approach

abstract: Community Search (CS) is one of the fundamental graph analysis tasks, which is a building block of various real applications. Given any query nodes, CS aims to find cohesive subgraphs that query nodes belong to. Recently, a large number of CS algorithms are designed. These algorithms adopt predefined subgraph patterns to model the communities, which cannot find ground-truth communities that do not have such pre-defined patterns in real-world graphs. Thereby, machine learning (ML) and deep learning (DL) based approaches are proposed to capture flexible community structures by learning from ground-truth communities in a data-driven fashion. These approaches rely on sufficient training data to provide enough generalization for ML models, however, the ground-truth cannot be comprehensively collected beforehand. In this paper, we study ML/DL-based approaches for CS, under the circumstance of small training data. Instead of directly fitting the small data, we extract prior knowledge which is shared across multiple CS tasks via learning a meta model. Each CS task is a graph with several queries that possess corresponding partial ground-truth. The meta model can be swiftly adapted to a task to be predicted by feeding a few task-specific training data. We find that trivially applying multiple classical metalearning algorithms to CS suffers from problems regarding prediction effectiveness, generalization capability and efficiency. To address such problems, we propose a novel meta-learning based framework, Conditional Graph Neural Process (CGNP), to fulfill the prior extraction and adaptation procedure. A meta CGNP model is a task-common node embedding function for clustering, learned by metric-based graph learning, which fully exploits the characteristics of CS. We compare CGNP with CS algorithms and ML baselines on real graphs with ground-truth communities.


title: Nonvolatile Electric-Field Control of Inversion Symmetry

abstract: In condensed-matter systems, competition between ground states at phase boundaries can lead to significant changes in material properties under external stimuli, particularly when these ground states have different crystal symmetries. A key scientific and technological challenge is to stabilize and control coexistence of symmetry-distinct phases with external stimuli. Using BiFeO3 (BFO) layers confined between layers of the dielectric TbScO3 as a model system, we stabilize the mixed-phase coexistence of centrosymmetric and non-centrosymmetric BFO phases with antipolar, insulating and polar, semiconducting behavior, respectively at room temperature. Application of in-plane electric (polar) fields can both remove and introduce centrosymmetry from the system resulting in reversible, nonvolatile interconversion between the two phases. This interconversion between the centrosymmetric insulating and non-centrosymmetric semiconducting phases coincides with simultaneous changes in the non-linear optical response of over three orders of magnitude, a change in resistivity of over five orders of magnitude, and a change in the polar order. Our work establishes a materials platform allowing for novel cross-functional devices which take advantage of changes in optical, electrical, and ferroic responses.


title: Develop of a Pneumatic Force Sensor Prototype

abstract: One of the difficulties of applying a SEA force control is the complexity that exists when implementing its three main components, which must work together one after the other. To facilitate the implementation of a force control by SEA, in this thesis the pneumatic force sensor is developed. A pneumatic force sensor differs from other force sensors in that it can work as a force sensor and as an elastic element. These features facilitate the implementation of force control by SEA, by reducing the number of components required. On the other hand, the pneumatic force sensor has reduced proportions to facilitate its installation in manipulator robots and biomechatronic prostheses. The first step that was made for the development of the pneumatic force sensor was the construction of the mathematical model of the sensor, to later use the MATLAB / Simulink software to simulate it. With the data obtained from the simulation of the mathematical model, the CAD model and the sensor planes were developed in SolidWorks software. Subsequently, the prototype of the pneumatic force sensor was built based on the plans made in the SolidWorks software. Once the stage of construction of the pneumatic force sensor was completed, the calibration and classification of the force sensor was carried out based on the UNE-EN ISO 376 standard, and the experimental tests were carried out to validate the sensor. Once the classification of the pneumatic force sensor was obtained, the results of the simulation of the mathematical model were compared with the results of the experimental test. vi In the comparison, it was possible to show a graphic coherence in the results obtained, validating the pneumatic force sensor system.


title: Intrinsic Superflat Bands in General Twisted Bilayer Systems

abstract: Twisted bilayer systems with discrete magic angles, such as twisted bilayer graphene featuring moir\'{e} superlattices, provide a versatile platform for exploring novel physical properties. Here, we discover a class of superflat bands in general twisted bilayer systems beyond the low-energy physics of magic-angle twisted counterparts. By considering continuous lattice dislocation, we obtain intrinsic localized states, which are spectrally isolated at lowest and highest energies and spatially centered around the AA stacked region, governed by the macroscopic effective energy potential well. Such localized states exhibit negligible inter-cell coupling and support the formation of superflat bands in a wide and continuous parameter space, which can be mimicked using a twisted bilayer nanophotonic system. Our finding suggests that general twisted bilayer systems can realize continuously tunable superflat bands and the corresponding localized states for various photonic, phononic and mechanical waves.


title: Fair Data Representation for Machine Learning at the Pareto Frontier

abstract: As machine learning powered decision-making becomes increasingly important in our daily lives, it is imperative to strive for fairness in the underlying data processing. We propose a pre-processing algorithm for fair data representation via which supervised learning results in estimations of the Pareto frontier between prediction error and statistical disparity. Particularly, the present work applies the optimal affine transport to approach the post-processing Wasserstein-2 barycenter characterization of the optimal fair $L^2$-objective supervised learning via a pre-processing data deformation. Furthermore, we show that the Wasserstein-2 geodesics from the conditional (on sensitive information) distributions of the learning outcome to their barycenter characterizes the Pareto frontier between $L^2$-loss and the average pairwise Wasserstein-2 distance among sensitive groups on the learning outcome. Numerical simulations underscore the advantages: (1) the pre-processing step is compositive with arbitrary conditional expectation estimation supervised learning methods and unseen data; (2) the fair representation protects the sensitive information by limiting the inference capability of the remaining data with respect to the sensitive data; (3) the optimal affine maps are computationally efficient even for high-dimensional data.


title: Algorithm-Level Confidentiality for Average Consensus on Time-Varying Directed Graphs

abstract: Average consensus plays a key role in distributed networks, with applications ranging from time synchronization, information fusion, load balancing, to decentralized control. Existing average consensus algorithms require individual agents to exchange explicit state values with their neighbors, which leads to the undesirable disclosure of sensitive information in the state. In this paper, we propose a novel average consensus algorithm for time-varying directed graphs that can protect the confidentiality of a participating agent against other participating agents. The algorithm injects randomness in interaction to obfuscate information on the algorithm-level and can ensure information-theoretic privacy without the assistance of any trusted third party or data aggregator. By leveraging the inherent robustness of consensus dynamics against random variations in interaction, our proposed algorithm can also guarantee the accuracy of average consensus. The algorithm is distinctly different from differential-privacy based average consensus approaches which enable confidentiality through compromising accuracy in obtained consensus value. Numerical simulations confirm the effectiveness and efficiency of our proposed approach.


title: Exploring Native Atomic Defects in NiTe2

abstract: Nickel ditelluride (NiTe2), a new discovered type-II Dirac semimetal whose Dirac node lies close to its Fermi level, is expected to exhibit exotic phenomena including Lifshitz transition and superconductivity. As we know, defects are inevitable for transition metal dichalcogenides and have significant impacts on the optical and electronic properties. However, the systematic study of defects in NiTe2 is still lack. Here, by using high-resolution scanning tunneling microscopy combined with first-principles calculations, the point defects including the vacancy, intercalation and antisite defects in NiTe2 are systematically investigated. We identified five main types native defects and revealed that the growth condition could affect the type of native defects. By controlling the ratio of ingredient during synthesis, the types of point defects are expected to be manipulated, especially antisite defects. Additionally, we find native defects could slightly dope the topological surface states. Our results provide a facile way to manipulate defects for future optimizing the electronic properties of NiTe2 and other related materials.


title: Radio Pulsar Sub-Populations (II) : The Mysterious RRATs

abstract: Several conjectures have been put forward to explain the RRATs, the newest subclass of neutron stars, and their connections to other radio pulsars. This work discusses these conjectures in the context of the characteristic properties of the RRAT population. Contrary to expectations, it is seen that - a) the RRAT population is statistically un-correlated with the nulling pulsars, and b) the RRAT phenomenon is unlikely to be related to old age or death-line proximity. It is perhaps more likely that the special emission property of RRATs is a signature of them being later evolutionary phases of other types of neutron stars which may have resulted in restructuring of the magnetic fields.


title: A note on large induced subgraphs with prescribed residues in bipartite graphs

abstract: It was proved by Scott that for every $k\ge2$, there exists a constant $c(k)>0$ such that for every bipartite $n$-vertex graph $G$ without isolated vertices, there exists an induced subgraph $H$ of order at least $c(k)n$ such that $\textrm{deg}_H(v) \equiv 1\pmod{k}$ for each $v \in H$. Scott conjectured that $c(k) = \Omega(1/k)$, which would be tight up to the multiplicative constant. We confirm this conjecture.


title: AutoDisk: Automated Diffraction Processing and Strain Mapping in 4D-STEM

abstract: Development in lattice strain mapping using four-dimensional scanning transmission electron microscopy (4D-STEM) method now offers improved precision and feasibility. However, automatic and accurate diffraction analysis is still challenging due to noise and the complexity of intensity in diffraction patterns. In this work, we demonstrate an approach, employing the blob detection on cross-correlated diffraction patterns followed by lattice fitting algorithm, to automate the processing of four-dimensional data, including identifying and locating disks, and extracting local lattice parameters without prior knowledge about the material. The approach is both tested using simulated diffraction patterns and applied on experimental data acquired from a Pd@Pt core-shell nanoparticle. Our method shows robustness against various sample thicknesses and high noise, capability to handle complex patterns, and picometer-scale accuracy in strain measurement, making it a promising tool for high-throughput 4D-STEM data processing.


title: Role of surface functional groups to superconductivity in Nb$_2$C-MXene: Experiments and density functional theory calculations

abstract: The recently discovered surface-group-dependent superconductivity in Nb$_2$C-MXene fabricated by the molten salts method is attracting wide attention. However, regarding the superconductivity of Nb$_2$C-MXene with functional F groups (Nb$_2$CF$_x$), there were some conflicting results in experimental and theoretical studies. Herein, we systematically carried out experimental and theoretical investigations on the superconductivity in Nb$_2$C-MXene with the Cl functional group (Nb$_2$CCl$_x$) and Nb$_2$CF$_x$. The experimental results of the Meissner effect and zero resistivity have proved that Nb$_2$CClx is superconducting with the transition temperature (Tc) ~ 5.2 K. We extract its superconducting parameters from the temperature dependence of resistivity and the field dependence of the magnetization. The Ginzburg-Landau parameter K$_G$$_L$ is estimated to be 2.41, indicating that Nb$_2$CClx is a typical type-II superconductor. Conversely, both magnetic and electrical transport measurements demonstrate that Nb$_2$CF$_x$ is not superconducting. The first-principles density functional theory (DFT) calculations show that the Tc of Nb$_2$Cl$_x$ is ~ 5.2 K, while Nb$_2$CF$_x$ is dynamically unstable with imaginary frequency in phonon spectrum, which is in good agreement with the experimental results. Our studies not only are useful for clarifying the present inconsistency but also offer referential significance for future investigations on the superconductivity of MXenes.


title: Improving Out-of-Distribution Robustness via Selective Augmentation

abstract: Machine learning algorithms typically assume that training and test examples are drawn from the same distribution. However, distribution shift is a common problem in real-world applications and can cause models to perform dramatically worse at test time. In this paper, we specifically consider the problems of subpopulation shifts (e.g., imbalanced data) and domain shifts. While prior works often seek to explicitly regularize internal representations or predictors of the model to be domain invariant, we instead aim to learn invariant predictors without restricting the model's internal representations or predictors. This leads to a simple mixup-based technique which learns invariant predictors via selective augmentation called LISA. LISA selectively interpolates samples either with the same labels but different domains or with the same domain but different labels. Empirically, we study the effectiveness of LISA on nine benchmarks ranging from subpopulation shifts to domain shifts, and we find that LISA consistently outperforms other state-of-the-art methods and leads to more invariant predictors. We further analyze a linear setting and theoretically show how LISA leads to a smaller worst-group error.


title: A new combinatorial approach for edge universality of Wigner matrices

abstract: In this paper we introduce a new combinatorial approach to analyze the trace of large powers of Wigner matrices. Our approach is motivated from the paper by \citet{sosh}. However the counting approach is different. We start with classical word sentence approach similar to \citet{AZ05} and take the motivation from \citet{sinaisosh}, \citet{sosh} and \citet{peche2009universality} to encode the words to objects similar to Dyck paths. To be precise the map takes a word to a Dyck path with some edges removed from it. Using this new counting we prove edge universality for large Wigner matrices with sub-Gaussian entries. One novelty of this approach is unlike \citet{sinaisosh}, \citet{sosh} and \citet{peche2009universality} we do not need to assume the entries of the matrices are symmetrically distributed around $0$. The main technical contribution of this paper is two folded. Firstly we produce an encoding of the ``contributing words" (for definition one might look at Section \ref{sec:word}) of the Wigner matrix which retrieves the edge universality. Hence this is the best one can do. We hope this method will be applicable to many other scenarios in random matrices. Secondly in course of the paper we give a combinatorial description of the GOE Tracy Widom law. The explanation for GUE is very similar. This explanation might be important for the models where exact calculations are not available but some combinatorial structures are present.

categories: math.PR math-ph math.CO math.MP math.ST stat.TH


title: Investigating Cargo Loss in Logistics Systems using Low-Cost Impact Sensors

abstract: Cargo loss/damage is a very common problem faced by almost any business with a supply chain arm, leading to major problems like revenue loss and reputation tarnishing. This problem can be solved by employing an asset and impact tracking solution. This would be more practical and effective for high-cost cargo in comparison to low-cost cargo due to the high costs associated with the sensors and overall solution. In this study, we propose a low-cost solution architecture that is scalable, user-friendly, easy to adopt and is viable for a large range of cargo and logistics systems. Taking inspiration from a real-life use case we solved for a client, we also provide insights into the architecture as well as the design decisions that make this a reality.


title: Entropies of Serre functors for higher hereditary algebras

abstract: For a higher hereditary algebra, we calculate its upper (lower) Serre dimension, the entropy and polynomial entropy of Serre functor, and the Hochschild (co)homology entropy of Serre quasi-functor. These invariants are given by its Calabi-Yau dimension for a higher representation-finite algebra, and by its global dimension and the spectral radius and polynomial growth rate of its Coxeter matrix for a higher representation-infinite algebra. For this, we prove the Yomdin type inequality on Hochschild homology entropy for a finite dimensional elementary algebra of finite global dimension. Our calculations imply that the Kikuta and Ouchi's question on relations between entropy and Hochschild (co)homology entropy has positive answer, and the Gromov-Yomdin type equalities on entropy and Hochschild (co)homology entropy hold, for the Serre functor on perfect derived category and the Serre quasi-functor on perfect dg module category of an indecomposable elementary higher hereditary algebra.


title: Changing Computer-Usage Behaviours: What Users Want, Use, and Experience

abstract: Technology based screentime, the time an individual spends engaging with their computer or cell phone, has increased exponentially over the past decade, but perhaps most alarmingly amidst the COVID-19 pandemic. Although many software based interventions exist to reduce screentime, users report a variety of issues relating to the timing of the intervention, the strictness of the tool, and its ability to encourage organic, long-term habit formation. We develop guidelines for the design of behaviour intervention software by conducting a survey to investigate three research questions and further inform the mechanisms of computer-related behaviour change applications. RQ1: What do people want to change and why/how? RQ2: What applications do people use or have used, why do they work or not, and what additional support is desired? RQ3: What are helpful/unhelpful computer breaks and why? Our survey had 68 participants and three key findings. First, time management is a primary concern, but emotional and physical side-effects are equally important. Second, site blockers, self-trackers, and timers are commonly used, but they are ineffective as they are easy-to-ignore and not personalized. Third, away-from-computer breaks, especially involving physical activity, are helpful, whereas on-screen breaks are unhelpful, especially when they are long, because they are not refreshing. We recommend personalized and closed-loop computer-usage behaviour change support and especially encouraging off-the-computer screentime breaks.


title: Informed Multi-context Entity Alignment

abstract: Entity alignment is a crucial step in integrating knowledge graphs (KGs) from multiple sources. Previous attempts at entity alignment have explored different KG structures, such as neighborhood-based and path-based contexts, to learn entity embeddings, but they are limited in capturing the multi-context features. Moreover, most approaches directly utilize the embedding similarity to determine entity alignment without considering the global interaction among entities and relations. In this work, we propose an Informed Multi-context Entity Alignment (IMEA) model to address these issues. In particular, we introduce Transformer to flexibly capture the relation, path, and neighborhood contexts, and design holistic reasoning to estimate alignment probabilities based on both embedding similarity and the relation/entity functionality. The alignment evidence obtained from holistic reasoning is further injected back into the Transformer via the proposed soft label editing to inform embedding learning. Experimental results on several benchmark datasets demonstrate the superiority of our IMEA model compared with existing state-of-the-art entity alignment methods.


title: Congruence relations satisfied by quaternionic modular forms

abstract: The theory of quaternionic modular forms has been studied for decades as an example of the modular forms of many variables. The purpose of this study is to provide some congruence relations satisfied by such quaternionic modular forms.


title: Unipotent Generators for Arithmetic Groups

abstract: We sketch a simplification of proofs of old results on the arithmeticity of the group generated by opposing integral unipotent radicals in higher rank arithmetic groups


title: Reflectionless wave propagation on shallow water with variable bathymetry and current. II

abstract: We show that in the linear approximation there are three classes of reflectionless wave propagation on a surface of shallow water in the channel with spatially varying depth, width, and current speed. Two of these classes have been described in our previous paper (Churilov & Stepanyants, 2022), and the third one was discovered recently and is described here. The general analysis of the problem shows that within the approach used in both our papers, these three classes, apparently, exhaust all possible cases of exact solutions of the problem considered. We show that the reflectionless flow can be global at certain conditions, i.e. it can exist on the entire x-axis. There are also reflectionless flows which exist only on the limited intervals of the x-axis.


title: DiffuseVAE: Efficient, Controllable and High-Fidelity Generation from Low-Dimensional Latents

abstract: Diffusion probabilistic models have been shown to generate state-of-the-art results on several competitive image synthesis benchmarks but lack a low-dimensional, interpretable latent space, and are slow at generation. On the other hand, standard Variational Autoencoders (VAEs) typically have access to a low-dimensional latent space but exhibit poor sample quality. We present DiffuseVAE, a novel generative framework that integrates VAE within a diffusion model framework, and leverage this to design novel conditional parameterizations for diffusion models. We show that the resulting model equips diffusion models with a low-dimensional VAE inferred latent code which can be used for downstream tasks like controllable synthesis. The proposed method also improves upon the speed vs quality tradeoff exhibited in standard unconditional DDPM/DDIM models (for instance, FID of 16.47 vs 34.36 using a standard DDIM on the CelebA-HQ-128 benchmark using T=10 reverse process steps) without having explicitly trained for such an objective. Furthermore, the proposed model exhibits synthesis quality comparable to state-of-the-art models on standard image synthesis benchmarks like CIFAR-10 and CelebA-64 while outperforming most existing VAE-based methods. Lastly, we show that the proposed method exhibits inherent generalization to different types of noise in the conditioning signal. For reproducibility, our source code is publicly available at https://github.com/kpandey008/DiffuseVAE.


title: Optimizing Machine Learning Inference Queries with Correlative Proxy Models

abstract: We consider accelerating machine learning (ML) inference queries on unstructured datasets. Expensive operators such as feature extractors and classifiers are deployed as user-defined functions(UDFs), which are not penetrable with classic query optimization techniques such as predicate push-down. Recent optimization schemes (e.g., Probabilistic Predicates or PP) assume independence among the query predicates, build a proxy model for each predicate offline, and rewrite a new query by injecting these cheap proxy models in the front of the expensive ML UDFs. In such a manner, unlikely inputs that do not satisfy query predicates are filtered early to bypass the ML UDFs. We show that enforcing the independence assumption in this context may result in sub-optimal plans. In this paper, we propose CORE, a query optimizer that better exploits the predicate correlations and accelerates ML inference queries. Our solution builds the proxy models online for a new query and leverages a branch-and-bound search process to reduce the building costs. Results on three real-world text, image and video datasets show that CORE improves the query throughput by up to 63% compared to PP and up to 80% compared to running the queries as it is.


title: On a family of elliptic curves of rank at least $2$

abstract: Let $C_{m} : y^{2} = x^{3} - m^{2}x +p^{2}q^{2}$ be a family of elliptic curves over $\mathbb{Q}$, where $m$ is a positive integer and $p, q$ are distinct odd primes. We study the torsion part and the rank of $C_m(\mathbb{Q})$. More specifically, we prove that the torsion subgroup of $C_{m}(\mathbb{Q})$ is trivial and the $\mathbb{Q}$-rank of this family is at least $2$, whenever $m \not \equiv 0 \pmod 4$ and $m \equiv 2 \pmod {64}$ with neither $p$ nor $q$ divides $m$.


title: Rough analysis of computation trees

abstract: This paper deals with computation trees over an arbitrary structure consisting of a set along with collections of functions and predicates that are defined on it. It is devoted to the comparative analysis of three parameters of problems with $n$ input variables over this structure: the complexity of a problem description, the minimum complexity of a computation tree solving this problem deterministically, and the minimum complexity of a computation tree solving this problem nondeterministically. Rough classification of relationships among these parameters is considered and all possible seven types of these relations are enumerated. The changes of relation types with the growth of the number $n$ of input variables are studied.


title: Tunable Magnonic Chern Bands and Chiral Spin Currents in Magnetic Multilayers

abstract: Realization of novel topological phases in magnonic band structures represents a new opportunity for the development of spintronics and magnonics with low power consumption. In this work, we show that in antiparallelly aligned magnetic multilayers, the long-range, chiral dipolar interaction generates bulk bands with non-zero Chern integers and magnonic surface states carrying chiral spin currents. The surface states are strictly localized and can be easily toggled between non-trivial and trivial phases through an external magnetic field. The realization of chiral surface spin currents in this dipolarly coupled heterostructure represents a magnonic implementation of the coupled wire model that has been extensively explored in electronic systems. Our work presents an easy-to-implement system for realizing topological magnonic surface states and low-dissipation spin current transport in a tunable manner.


title: Secure Determinant Codes for Distributed Storage Systems

abstract: The information-theoretic secure exact-repair regenerating codes for distributed storage systems (DSSs) with parameters $(n,k=d,d,\ell)$ are studied in this paper. We consider distributed storage systems with $n$ nodes, in which the original data can be recovered from any subset of $k=d$ nodes, and the content of any node can be retrieved from those of any $d$ helper nodes. Moreover, we consider two secrecy constraints, namely, Type-I, where the message remains secure against an eavesdropper with access to the content of any subset of up to $\ell$ nodes, and Type-II, in which the message remains secure against an eavesdropper who can observe the incoming repair data from all possible nodes to a fixed but unknown subset of up to $\ell$ compromised nodes. Two classes of secure determinant codes are proposed for Type-I and Type-II secrecy constraints. Each proposed code can be designed for a range of per-node storage capacity and repair bandwidth for any system parameters. They lead to two achievable secrecy trade-offs, for Type-I and Type-II security.


title: The Maximum Principle for Discounted Optimal Control of Partially Observed Forward-Backward Stochastic Systems with Jumps on Infinite Horizon

abstract: This paper is concerned with a discounted optimal control problem of partially observed forward-backward stochastic systems with jumps on infinite horizon. The control domain is convex and a kind of infinite horizon observation equation is introduced. The uniquely solvability of infinite horizon forward (backward) stochastic differential equation with jumps is obtained and more extended analysis, especially for the backward case, is made. Some new estimates are first given and proved for the critical variational inequality. Then an ergodic maximum principle is obtained by introducing some infinite horizon adjoint equations whose uniquely solvabilities are guaranteed necessarily. Finally, some comparison are made with two kinds of representative infinite horizon stochastic systems and their related optimal controls.


title: Energy evolution of the overlap functions: increasing ratio of $\sigma_{el}(s)/\sigma_{tot}(s)$ and black ring emergence

abstract: We analyse the two possible options of the energy dependency of the elastic and inelastic overlap functions. These correspond to saturation of the black disk limit (BEL effect) and to the unitarity saturation (REL effect) at $s\to\infty$. Relation of the REL effect to increase of the ratio $\sigma_{el}(s)/\sigma_{tot}(s)$ and emergence of black ring picture at the LHC is underlined.


title: Symmetry analysis of magnetoelectric effects in perovskite-based multiferroics

abstract: In this article, we perform the symmetry analysis of perovskite-based multiferroics: bismuth ferrite (BiFeO3)-like, orthochromites (RCrO3), and Ruddlesden-Popper perovskites (Ca3Mn2O7-like), being the typical representatives of multiferroics of the trigonal, rhombic, and tetragonal crystal families and explore the effect of crystallographic distortions on magnetoelectric properties. We determine the principal order parameters for each of the considered structures and obtain their invariant combinations consistent with the particular symmetry. This approach allowed us to analyze the features of the magnetoelectric effect observed during structural phase transitions in BixR1-xFeO3 compounds and show that the rare-earth sublattice gives an impact into the linear magnetoelectric effect allowed by the symmetry of the new structure. It is shown that the magnetoelectric properties of ortho-chromites are attributed to the couplings between the magnetic and electric dipole moments arising near Cr3+ ions due to distortions linked with rotations and deformations of the CrO6 octahedra. For the first time, such symmetry consideration was implemented in the analysis of the Ruddlesden-Popper structures, which demonstrates the possibility of realizing the magnetoelectric effect in the Ruddlesden-Popper phases containing magnetically active cations and allows to estimate conditions required for its optimization.


title: Recurrent Feature Propagation and Edge Skip-Connections for Automatic Abdominal Organ Segmentation

abstract: Automatic segmentation of abdominal organs in computed tomography (CT) images can support radiation therapy and image-guided surgery workflows. Developing of such automatic solutions remains challenging mainly owing to complex organ interactions and blurry boundaries in CT images. To address these issues, we focus on effective spatial context modeling and explicit edge segmentation priors. Accordingly, we propose a 3D network with four main components trained end-to-end including shared encoder, edge detector, decoder with edge skip-connections (ESCs) and recurrent feature propagation head (RFP-Head). To capture wide-range spatial dependencies, the RFP-Head propagates and harvests local features through directed acyclic graphs (DAGs) formulated with recurrent connections in an efficient slice-wise manner, with regard to spatial arrangement of image units. To leverage edge information, the edge detector learns edge prior knowledge specifically tuned for semantic segmentation by exploiting intermediate features from the encoder with the edge supervision. The ESCs then aggregate the edge knowledge with multi-level decoder features to learn a hierarchy of discriminative features explicitly modeling complementarity between organs' interiors and edges for segmentation. We conduct extensive experiments on two challenging abdominal CT datasets with eight annotated organs. Experimental results show that the proposed network outperforms several state-of-the-art models, especially for the segmentation of small and complicated structures (gallbladder, esophagus, stomach, pancreas and duodenum). The code will be publicly available.


title: On Sensitivity of Deep Learning Based Text Classification Algorithms to Practical Input Perturbations

abstract: Text classification is a fundamental Natural Language Processing task that has a wide variety of applications, where deep learning approaches have produced state-of-the-art results. While these models have been heavily criticized for their black-box nature, their robustness to slight perturbations in input text has been a matter of concern. In this work, we carry out a data-focused study evaluating the impact of systematic practical perturbations on the performance of the deep learning based text classification models like CNN, LSTM, and BERT-based algorithms. The perturbations are induced by the addition and removal of unwanted tokens like punctuation and stop-words that are minimally associated with the final performance of the model. We show that these deep learning approaches including BERT are sensitive to such legitimate input perturbations on four standard benchmark datasets SST2, TREC-6, BBC News, and tweet_eval. We observe that BERT is more susceptible to the removal of tokens as compared to the addition of tokens. Moreover, LSTM is slightly more sensitive to input perturbations as compared to CNN based model. The work also serves as a practical guide to assessing the impact of discrepancies in train-test conditions on the final performance of models.


title: Modular Welch Bounds with Applications

abstract: We prove the following two results. \begin{enumerate} \item Let $\mathcal{A}$ be a unital commutative C*-algebra and $\mathcal{A}^d$ be the standard Hilbert C*-module over $\mathcal{A}$. Let $n\geq d$. If $\{\tau_j\}_{j=1}^n$ is any collection of vectors in $\mathcal{A}^d$ such that $\langle \tau_j, \tau_j \rangle =1$, $\forall 1\leq j \leq n$, then \begin{align*} \max _{1\leq j,k \leq n, j\neq k}\|\langle \tau_j, \tau_k\rangle ||^{2m}\geq \frac{1}{n-1}\left[\frac{n}{{d+m-1\choose m}}-1\right], \quad \forall m \in \mathbb{N}. \end{align*} \item Let $\mathcal{A}$ be a $\sigma$-finite commutative W*-algebra or a commutative AW*-algebra and $\mathcal{E}$ be a rank d Hilbert C*-module over $\mathcal{A}$. Let $n\geq d$. If $\{\tau_j\}_{j=1}^n$ is any collection of vectors in $\mathcal{E}$ such that $\langle \tau_j, \tau_j \rangle =1$, $\forall 1\leq j \leq n$, then \begin{align*} \max _{1\leq j,k \leq n, j\neq k}\|\langle \tau_j, \tau_k\rangle ||^{2m}\geq \frac{1}{n-1}\left[\frac{n}{{d+m-1\choose m}}-1\right], \quad \forall m \in \mathbb{N}. \end{align*} \end{enumerate} Results (1) and (2) reduce to the famous result of Welch [\textit{IEEE Transactions on Information Theory, 1974}] obtained 48 years ago. We introduce the notions of modular frame potential, modular equiangular frames and modular Grassmannian frames. We formulate Zauner's conjecture for Hilbert C*-modules.


title: Computational fluid dynamic simulation of hull reservoir wave energy device

abstract: This paper presents a Computational Fluid Dynamics (CFD) analysis of a wave energy device called the Hull Reservoir Wave Energy Converter (HRWEC). The device consists of a floating hull and a flap connected to the shaft of power take-off system (PTO), which is integral to the hull structure. It is unique due to its ability to convert wave energy by utilizing the pitch motion of the hull and rotating flap due to the internal water movement in the hull. Due to the complexity of the internal fluid dynamics, a CFD-based analysis was considered most appropriate. The CFD investigation of the dynamics of the device was done under regular wave conditions by using the ANSYS-AQWA and ANSYS FLUENT. Relative pitch angle variation, the hydrodynamic coefficients, which determine the degree of power extraction, were obtained from simulated results. A simulation was designed exhibiting complete system dynamics for different configurations varying on internal water height. Excellent convergence was observed,and an optimum configuration was identified. It is expected to validate the simulation results through experiments in the foreseeable future.


title: Optimal control of SDEs with expected path constraints and related constrained FBSDEs

abstract: In this paper, we consider optimal control of stochastic differential equations subject to an expected path constraint. The stochastic maximum principle is given for a general optimal stochastic control in terms of constrained FBSDEs. In particular, the compensated process in our adjoint equation is deterministic, which seems to be new in the literature. For the typical case of linear stochastic systems and quadratic cost functionals (i.e., the so-called LQ optimal stochastic control), a verification theorem is established, and the existence and uniqueness of the constrained reflected FBSDEs are also given.


title: Superpotentials of D-branes in Calabi-Yau Manifolds with Several Moduli by Mirror Symmetry and Blown-up

abstract: We study B-brane superpotentials depending on several closed- and open- moduli on Calabi-Yau hypersurfaces and complete intersections. By blowing up the ambient space along a curve wrapped by B-branes in a Calabi-Yau manifold, we obtain a blow-up new manifold and the period integral satisfying the GKZ-system. Via mirror symmetry to A-model, we calculate the superpotentials and extract Ooguri-Vafa invariants for concrete examples of several open-closed moduli in Calabi-Yau manifolds.


title: V-LinkNet: Learning Contextual Inpainting Across Latent Space of Generative Adversarial Network

abstract: Image inpainting is a key technique in image processing task to predict the missing regions and generate realistic images. Given the advancement of existing generative inpainting models with feature extraction, propagation and reconstruction capabilities, there is lack of high-quality feature extraction and transfer mechanisms in deeper layers to tackle persistent aberrations on the generated inpainted regions. Our method, V-LinkNet, develops high-level feature transference to deep level textural context of inpainted regions our work, proposes a novel technique of combining encoders learning through a recursive residual transition layer (RSTL). The RSTL layer easily adapts dual encoders by increasing the unique semantic information through direct communication. By collaborating the dual encoders structure with contextualised feature representation loss function, our system gains the ability to inpaint with high-level features. To reduce biases from random mask-image pairing, we introduce a standard protocol with paired mask-image on the testing set of CelebA-HQ, Paris Street View and Places2 datasets. Our results show V-LinkNet performed better on CelebA-HQ and Paris Street View using this standard protocol. We will share the standard protocol and our codes with the research community upon acceptance of this paper.


title: Rank $1$ perturbations in random matrix theory -- a review of exact results

abstract: A number of random matrix ensembles permitting exact determination of their eigenvalue and eigenvector statistics maintain this property under a rank $1$ perturbation. Considered in this review are the additive rank $1$ perturbation of the Hermitian Gaussian ensembles, the multiplicative rank $1$ perturbation of the Wishart ensembles, and rank $1$ perturbations of Hermitian and unitary matrices giving rise to a two-dimensional support for the eigenvalues. The focus throughout is on exact formulas, which are typically the result of various integrable structures. The simplest is that of a determinantal point process, with others relating to partial differential equations implied by a formulation in terms of certain random tridiagonal matrices. Attention is also given to eigenvector overlaps in the setting of a rank $1$ perturbation.


title: Energy exchanges between a two-dimensional front and internal wave modes

abstract: Fronts and near-inertial waves are energetic motions in the upper ocean that can interact and provide a route for kinetic energy (KE) dissipation of balanced oceanic flows. A quasilinear model is developed to study the KE exchanges between a two-dimensional geostrophically-balanced front undergoing strain-induced semigeostrophic frontogenesis and internal wave (IW) vertical modes. The quasilinear model is solved numerically for variable imposed strain magnitudes, initial IW vertical modes, and for both minimum frequency (near-inertial, NI) and high-frequency IWs. The front-IW KE exchanges are quantified separately during two frontogenetic stages -- an exponential sharpening stage that is characterized by a low Rossby number and is driven by the imposed geostrophic strain, followed by a superexponential sharpening stage that is characterized by an order-one Rossby number and is driven by the convergence of the ageostrophic secondary circulation. It is demonstrated that high-frequency IWs quickly escape the frontal zone and are very efficient at extracting KE from the imposed geostrophic strain field through the deformation shear production (DSP) mechanism. Part of the extracted KE is then converted to wave potential energy. Minimum frequency IWs remain locked to the frontal zone and therefore exchange energy with the ageostrophic frontal circulation. During the exponential stage, IWs extract KE from the geostrophic strain through DSP and transfer it to the frontal secondary circulation via the ageostrophic shear production (AGSP) mechanism. During the superexponential stage a newly identified mechanism, convergence production (CP), which is directly linked to the convergent secondary circulation, plays an important role in the NIW KE budget.


title: Weighted one-level density of low-lying zeros of Dirichlet $L$-functions

abstract: In this paper, we compute the one-level density of low-lying zeros of Dirichlet $L$-functions in a family weighted by special values of Dirichlet $L$-functions at a fixed $s \in [1/2, 1)$. We verify both Fazzari's conjecture and the first author's conjecture on the weighted one-level density for our family of $L$-functions.


title: Endpoint estimates and optimality for the generalized spherical maximal operator on radial functions

abstract: We find sharp conditions for the maximal operator associated with generalized spherical mean Radon transform on radial functions $M^{\a,\b}_t$ to be bounded on power weighted Lebesgue spaces. Moreover, we also obtain the corresponding endpoint results in terms of optimal power weighted weak and restricted weak type estimates.


title: Implicit representation of sparse hereditary families

abstract: For a hereditary family of graphs $\FF$, let $\FF_n$ denote the set of all members of $\FF$ on $n$ vertices. The speed of $\FF$ is the function $f(n)=|\FF_n|$. An implicit representation of size $\ell(n)$ for $\FF_n$ is a function assigning a label of $\ell(n)$ bits to each vertex of any given graph $G \in \FF_n$, so that the adjacency between any pair of vertices can be determined by their labels. Bonamy, Esperet, Groenland and Scott proved that the minimum possible size of an implicit representation of $\FF_n$ for any hereditary family $\FF$ with speed $2^{\Omega(n^2)}$ is $(1+o(1)) \log_2 |\FF_n|/n~(=\Theta(n))$. A recent result of Hatami and Hatami shows that the situation is very different for very sparse hereditary families. They showed that for every $\delta>0$ there are hereditary families of graphs with speed $2^{O(n \log n)}$ that do not admit implicit representations of size smaller than $n^{1/2-\delta}$. In this note we show that even a mild speed bound ensures an implicit representation of size $O(n^c)$ for some $c<1$. Specifically we prove that for every $\eps>0$ there is an integer $d \geq 1$ so that if $\FF$ is a hereditary family with speed $f(n) \leq 2^{(1/4-\eps)n^2}$ then $\FF_n$ admits an implicit representation of size $O(n^{1-1/d} \log n)$. Moreover, for every integer $d>1$ there is a hereditary family for which this is tight up to the logarithmic factor.


title: A Systematic Literature Review on Persuasive Technology at the Workplace

abstract: Employees face decisions every day - in the absence of supervision. The outcome of these decisions can be influenced by digital workplace design through the power of persuasive technology. This paper provides a structured literature review based on recent research on persuasive technology in the workplace. It examines the design and use of persuasive systems from a variety of disciplinary perspectives and theories. The reviewed studies were categorized into the research streams of technology design, user-centered research, and gamification. The purpose of the studies is categorized using a modified definition of the persuasive systems design model. A number of experimental studies show that alignment of the employee's behavior with the employer's agenda can be achieved. A robust finding is the key role of interactivity in granting employees a subjective experience of rapid and meaningful feedback when using the interface.


title: Isospin Mixing and the Cubic Isobaric Multiplet Mass Equation in the Lowest T = 2, A = 32 Quintet

abstract: The isobaric multiplet mass equation (IMME) is known to break down in the first T = 2, A = 32 isospin quintet. In this work we combine high-resolution experimental data with state-of-the-art shell-model calculations to investigate isospin mixing as a possible cause for this violation. The experimental data are used to validate isospin-mixing matrix elements calculated with newly developed shell-model Hamiltonians. Our analysis shows that isospin mixing with nonanalog T = 1 states contributes to the IMME breakdown, making the requirement of an anomalous cubic term inevitable for the multiplet.


title: Off-shell $t\bar{t}b\bar{b}$ production at the LHC: QCD corrections, theory uncertainties and $b$-jet definitions

abstract: We present state-of-the-art predictions for off-shell $t\bar{t}b\bar{b}$ production with di-lepton decays at the LHC with $\sqrt{s}=13$ TeV. Results are accurate at NLO in QCD and include all resonant and non-resonant diagrams, interferences and finite-width effects for top quarks and $W$ bosons. We discuss the impact of QCD corrections and assess theoretical uncertainties from scale and PDF dependence at the integrated and differential level. Additionally we investigate the size of contributions induced by initial-state $b$ quarks to the NLO cross section.


title: Parameterizing and inverting analytic mappings with unit Jacobian

abstract: Let $x=(x_1,\ldots,x_n)\in {\rm \bf C}^n$ be a vector of complex variables, denote by $A=(a_{jk})$ a square matrix of size $n\geq 2,$ and let $\varphi\in\mathcal{O}(\Omega)$ be an analytic function defined in a nonempty domain $\Omega\subset {\rm \bf C}.$ We investigate the family of mappings $$ f=(f_1,\ldots,f_n):{\rm \bf C}^n\rightarrow {\rm \bf C}^n, \quad f[A,\varphi](x):=x+\varphi(Ax) $$ with the coordinates $$ f_j : x \mapsto x_j + \varphi\left(\sum\limits_{k=1}^n a_{jk}x_k\right), \quad j=1,\ldots,n $$ whose Jacobian is identically equal to a nonzero constant for any $x$ such that all of $f_j$ are well-defined. Let $U$ be a square matrix such that the Jacobian of the mapping $f[U,\varphi](x)$ is a nonzero constant for any $x$ and moreover for any analytic function $\varphi\in\mathcal{O}(\Omega).$ We show that any such matrix $U$ is uniquely defined, up to a suitable permutation similarity of matrices, by a partition of the dimension $n$ into a sum of $m$ positive integers together with a permutation on $m$ elements. For any $d=2,3,\ldots$ we construct $n$-parametric family of square matrices $H(s), s\in {\rm \bf C}^n$ such that for any matrix $U$ as above the mapping $x+\left((U\odot H(s))x\right)^d$ defined by the Hadamard product $U\odot H(s)$ has unit Jacobian. We prove any such mapping to be polynomially invertible and provide an explicit recursive formula for its inverse.


title: OPE of line defects in 5d $E_n$ SCFT

abstract: 5d ray index is the 5d superconformal index in the presence of a ray-like defect. An elementary ray defect flows to a fundamental Wilson ray in IR gauge theory. In 5d $\mathcal{N}=1$ superconformal field theory(SCFT) with $E_n$ global symmetry, we compute the ray index associated with an adjoint Wilson ray. We show that the operators that appear in the index are non-trivially charged under the center of the global symmetry $E_n$. The charge under the center being twice compared with the center charge carried by the elementary ray operator indicates a non-trivial OPE between the ray-like defects in the UV SCFT.


title: Primal-Dual Method for Optimization Problems with Changing Constraints

abstract: We propose a modified primal-dual method for general convex optimization problems with changing constraints. We obtain properties of Lagrangian saddle points for these problems which enable us to establish convergence of the proposed method. We describe specializations of the proposed approach to multi-agent optimization problems under changing communication topology and to feasibility problems.


title: A model theory of topology

abstract: An algebraization of the notion of topology has been proposed more than seventy years ago in a classical paper by McKinsey and Tarski. However, in McKinsey and Tarski's setting the model theoretical notion of homomorphism does not correspond to the notion of continuity. We notice that the two notions correspond if instead we consider a preorder relation $ \sqsubseteq $ defined by $a \sqsubseteq b$ if $a$ is contained in the topological closure of $b$. A specialization poset is a partially ordered set endowed with a further coarser preorder relation $ \sqsubseteq $. We show that every specialization poset can be embedded in the specialization poset naturally associated to some topological space, where the order relation corresponds to set-theoretical inclusion. Specialization semilattices are defined in an analogous way and the corresponding embedding theorem is proved. The interest of these structures arises from the fact that they also occur in many rather disparate settings, even far removed from topology.


title: Visilence: An Interactive Visualization Tool for Error Resilience Analysis

abstract: Soft errors have become one of the major concerns for HPC applications, as those errors can result in seriously corrupted outcomes, such as silent data corruptions (SDCs). Prior studies on error resilience have studied the robustness of HPC applications. However, it is still difficult for program developers to identify potential vulnerability to soft errors. In this paper, we present Visilence, a novel visualization tool to visually analyze error vulnerability based on the control-flow graph generated from HPC applications. Visilence efficiently visualizes the affected program states under injected errors and presents the visual analysis of the most vulnerable parts of an application. We demonstrate the effectiveness of Visilence through a case study.


title: Riemannian Nearest-Regularized Subspace Classification for Polarimetric SAR images

abstract: As a representation learning method, nearest regularized subspace(NRS) algorithm is an effective tool to obtain both accuracy and speed for PolSAR image classification. However, existing NRS methods use the polarimetric feature vector but the PolSAR original covariance matrix(known as Hermitian positive definite(HPD)matrix) as the input. Without considering the matrix structure, existing NRS-based methods cannot learn correlation among channels. How to utilize the original covariance matrix to NRS method is a key problem. To address this limit, a Riemannian NRS method is proposed, which consider the HPD matrices endow in the Riemannian space. Firstly, to utilize the PolSAR original data, a Riemannian NRS method(RNRS) is proposed by constructing HPD dictionary and HPD distance metric. Secondly, a new Tikhonov regularization term is designed to reduce the differences within the same class. Finally, the optimal method is developed and the first-order derivation is inferred. During the experimental test, only T matrix is used in the proposed method, while multiple of features are utilized for compared methods. Experimental results demonstrate the proposed method can outperform the state-of-art algorithms even using less features.


title: Convergence rates for the joint solution of inverse problems with compressed sensing data

abstract: Compressed sensing (CS) is a powerful tool for reducing the amount of data to be collected while maintaining high spatial resolution. Such techniques work well in practice and at the same time are supported by solid theory. Standard CS results assume measurements to be made directly on the targeted signal. In many practical applications, however, CS information can only be taken from indirect data $h_\star = W x_\star$ related to the original signal by an additional forward operator. If inverting the forward operator is ill-posed, then existing CS theory is not applicable. In this paper, we address this issue and present two joint reconstruction approaches, namely relaxed $\ell^1$ co-regularization and strict $\ell^1$ co-regularization, for CS from indirect data. As main results, we derive error estimates for recovering $x_\star$ and $h_\star$. In particular, we derive a linear convergence rate in the norm for the latter. To obtain these results, solutions are required to satisfy a source condition and the CS measurement operator is required to satisfy a restricted injectivity condition. We further show that these conditions are not only sufficient but even necessary to obtain linear convergence.


title: Factor tree copula models for item response data

abstract: Factor copula models for item response data are more interpretable and fit better than (truncated) vine copula models when dependence can be explained through latent variables, but are not robust to violations of conditional independence. To circumvent these issues, truncated vines and factor copula models for item response data are joined to define a combined model, the so-called factor tree copula model, with individual benefits from each of the two approaches. Rather than adding factors and causing computational problems and difficulties in interpretation and identification, a truncated vine structure is assumed on the residuals conditional on one or two latent variables. This structure can be better explained as a conditional dependence given a few interpretable latent variables. On the one hand, the parsimonious feature of factor models remains intact and any residual dependencies are being taken into account on the other. We discuss estimation along with model selection. In particular, we propose model selection algorithms to choose a plausible factor tree copula model to capture the (residual) dependencies among the item responses. Our general methodology is demonstrated with an extensive simulation study and illustrated by analyzing Post Traumatic Stress Disorder.