title: Designing the Model Predictive Control for Interval Type-2 Fuzzy T-S Systems Involving Unknown Time-Varying Delay in Both States and Input Vector

abstract: In this paper, the model predictive control is designed for an interval type-2 Takagi-Sugeno (T-S) system with unknown time-varying delay in state and input vectors. The time-varying delay is a weird phenomenon that is appeared in almost all systems. It can make many problems and instability while the system is working. In this paper, the time-varying delay is considered in both states and input vectors and is the sensible difference between the proposed method here and previous algorithms, besides, it is unknown but bounded. To solve the problem, the Razumikhin approach is applied to the proposed method since it includes a Lyapunov function with the original nonaugmented state space of system models compared to Krasovskii formula. On the other hand, the Razumikhin method act better and avoids the inherent complexity of the Krasovskii specifically when large delays and disturbances are appeared. To stabilize output results, the model predictive control (MPC) is designed for the system and the considered system in this paper is interval type-2 (IT2) fuzzy T-S that has better estimation of the dynamic model of the system. Here, online optimization problems are solved by the linear matrix inequalities (LMIs) which reduce the burdens of the computation and online computational costs compared to the offline and non-LMI approach. At the end, an example is illustrated for the proposed approach.


title: On correspondence between right near-domains and sharply 2-transitive groups

abstract: The right near-domain is defined to loosen near-domain axioms. Correspondence of a class of the right near-domains and a class of sharply 2--transitive groups is constructed.


title: Anisotropic higher rank $\mathbb{Z}_N$ topological phases on graphs

abstract: We study unusual gapped topological phases where they admit $\mathbb{Z}_N$ fractional excitations in the same manner as topologically ordered phases, yet their ground state degeneracy depends on the local geometry of the system. Placing such phases on 2D lattice, composed of an arbitrary connected graph and 1D line, we find that the fusion rules of quasiparticle excitations are described by the Laplacian of the graph and that the number of superselection sectors is related to the kernel of the Laplacian. Based on this analysis, we further show that the ground state degeneracy is given by $\bigl[N\times \prod_{i}\text{gcd}(N, p_i)\bigr]^2$, where $p_i$'s are invariant factors of the Laplacian that are greater than one and gcd stands for the greatest common divisor. We also discuss braiding statistics between quasiparticle excitations.


title: Prophet Inequalities for Cost Minimization

abstract: Prophet inequalities for rewards maximization are fundamental to optimal stopping theory with extensive applications to mechanism design and online optimization. We study the \emph{cost minimization} counterpart of the classical prophet inequality: a decision maker is facing a sequence of costs $X_1, X_2, \dots, X_n$ drawn from known distributions in an online manner and \emph{must} ``stop'' at some point and take the last cost seen. The goal is to compete with a ``prophet'' who can see the realizations of all $X_i$'s upfront and always select the minimum, obtaining a cost of $\mathbb{E}[\min_i X_i]$. If the $X_i$'s are not identically distributed, no strategy can achieve a bounded approximation, even for random arrival order and $n = 2$. This leads us to consider the case where the $X_i$'s are independent and identically distributed (I.I.D.). For the I.I.D. case, we show that if the distribution satisfies a mild condition, the optimal stopping strategy achieves a (distribution-dependent) constant-factor approximation to the prophet's cost. Moreover, for MHR distributions, this constant is at most $2$. All our results are tight. We also demonstrate an example distribution that does not satisfy the condition and for which the competitive ratio of any algorithm is infinite. Turning our attention to single-threshold strategies, we design a threshold that achieves a $O\left(polylog{n}\right)$-factor approximation, where the exponent in the logarithmic factor is a distribution-dependent constant, and we show a matching lower bound. Finally, we note that our results can be used to design approximately optimal posted price-style mechanisms for procurement auctions which may be of independent interest. Our techniques utilize the \emph{hazard rate} of the distribution in a novel way, allowing for a fine-grained analysis which could find further applications in prophet inequalities.


title: CurveFormer: 3D Lane Detection by Curve Propagation with Curve Queries and Attention

abstract: 3D lane detection is an integral part of autonomous driving systems. Previous CNN and Transformer-based methods usually first generate a bird's-eye-view (BEV) feature map from the front view image, and then use a sub-network with BEV feature map as input to predict 3D lanes. Such approaches require an explicit view transformation between BEV and front view, which itself is still a challenging problem. In this paper, we propose CurveFormer, a single-stage Transformer-based method that directly calculates 3D lane parameters and can circumvent the difficult view transformation step. Specifically, we formulate 3D lane detection as a curve propagation problem by using curve queries. A 3D lane query is represented by a dynamic and ordered anchor point set. In this way, queries with curve representation in Transformer decoder iteratively refine the 3D lane detection results. Moreover, a curve cross-attention module is introduced to compute the similarities between curve queries and image features. Additionally, a context sampling module that can capture more relative image features of a curve query is provided to further boost the 3D lane detection performance. We evaluate our method for 3D lane detection on both synthetic and real-world datasets, and the experimental results show that our method achieves promising performance compared with the state-of-the-art approaches. The effectiveness of each component is validated via ablation studies as well.


title: Modulated harmonic wave in series connected discrete Josephson transmission line: the discrete calculus approach

abstract: We consider the modulated harmonic wave in the discrete series connected Josephson transmission line (JTL). We formulate the approach to the modulation problems for discrete wave equations based on discrete calculus. We check up the approach by applying it to the Fermi-Pasta-Ulam-Tsingou type problem. Applying the approach to the discrete JTL, we obtain the equation describing the modulation amplitude, which turns out to be the defocusing nonlinear Schr\"odinger (NLS) equation. We compare the profile of the single soliton solution of the NLS with that of the soliton obtained in our previous publication.


title: Orientably-Regular $\pi$-Maps and Regular $\pi$-Maps

abstract: Given a map with underlying graph $\mathcal{G}$, if the set of prime divisors of $|V(\mathcal{G}|$ is denoted by $\pi$, then we call the map a {\it $\pi$-map}. An orientably-regular (resp. A regular ) $\pi$-map is called {\it solvable} if the group $G^+$ of all orientation-preserving automorphisms (resp. the group $G$ of automorphisms) is solvable; and called {\it normal} if $G^+$ (resp. $G$) contains a normal $\pi$-Hall subgroup. In this paper, it will be proved that orientably-regular $\pi$-maps are solvable and normal if $2\notin \pi$ and regular $\pi$-maps are solvable if $2\notin \pi$ and $G$ has no sections isomorphic to ${\rm PSL}(2,q)$ for some prime power $q$. In particular, it's shown that a regular $\pi$-map with $2\notin \pi$ is normal if and only if $G/O_{2^{'}}(G)$ is isomorphic to a Sylow $2$-group of $G$. Moreover, nonnormal $\pi$-maps will be characterized and some properties and constructions of normal $\pi$-maps will be given in respective sections.


title: Is the Moon there if nobody looks: A reply to Gill and Lambare

abstract: In a recent preprint Gill and Lambare, criticize our paper published in Frontiers in Physics. Their criticism is unfounded and misleading. They define a probabilistic coupling, in which BI-CHSH hold for all finite samples. It does not mean, that BI-CHSH hold in our model, in which four incompatible experiments are described by setting dependent random variables implemented on 4 disjoint dedicated probability spaces. A joint probability distribution of these random variables does not exist and may not be used to derive inequalities. Moreover, their probabilistic coupling is useless, for a subsequent contextual model, which we construct to describe final data from Bell tests and to explain, in a locally causal way, the reported violations of inequalities and apparent violations of no-signaling. Neither quantum probabilistic model of an ideal EPRB experiment nor local realistic and stochastic hidden variable models may explain reported non-signaling Therefore; it is obvious that our model extends the set of probability distributions of possible measurements allowed in the standard hidden variable models. Gill and Lambare seem not understand , the main message of our paper, that the violation of BI-CHSH and Eberhard inequalities by finite samples in Bell Tests, no matter how well these tests are designed and performed, does not allow for doubt regarding the existence of objective external physical reality and causal locality in Nature. Our contextual model does not want to circumvent Bell Theorem. Therefore the title of Gill and Lambare paper and the conclusion: Kupczynski's escape route for local realism is not available are misleading and have nothing to do with the content and conclusions of our paper.


title: Spectroscopic study of solar transition region oscillations in the quiet-Sun observed by IRIS using Si IV spectral line

abstract: In the present paper, we use Si IV 1393.755 \AA\ spectral line observed by the Interface Region Imaging Spectrograph (IRIS) in the quiet-Sun to determine physical nature of the solar transition region (TR) oscillations. We analyze the properties of these oscillations using wavelet tools (e.g., power, cross-power, coherence, and phase difference) along with the stringent noise model (i.e., power-law + constant). We estimate the period of the intensity and Doppler velocity oscillations at each chosen location in the quiet-Sun (QS) and quantify the distribution of the statistically significant power and associated periods in one bright and two dark regions. In the bright TR region, the mean periods in intensity and velocity are 7 min, and 8 min respectively. In the dark region, the mean periods in intensity and velocity are 7 min, and 5.4 min respectively. We also estimate the phase difference between the intensity and Doppler velocity oscillations at each location. The statistical distribution of phase difference is estimated, which peaks at -119\degree $\pm$ 13\degree, 33\degree $\pm$ 10\degree, 102\degree $\pm$ 10\degree\ in the bright region, while at -153\degree $\pm$ 13\degree, 6\degree $\pm$ 20\degree, 151\degree $\pm$ 10\degree\ in the dark region. The statistical distribution reveals that the oscillations are caused by propagating slow magnetoacoustic waves encountered with the TR. Some of these locations may also be associated with the standing slow waves. Even, in the given time domain, several locations exhibit presence of both propagating and standing oscillations at different frequencies.


title: Decentralized and stable matching in Peer-to-Peer energy trading

abstract: In peer-to-peer (P2P) energy trading, a secured infrastructure is required to manage trade and record monetary transactions. A central server/authority can be used for this. But there is a risk of central authority influencing the energy price. So blockchain technology is being preferred as a secured infrastructure in P2P trading. Blockchain provides a distributed repository along with smart contracts for trade management. This reduces the influence of central authority in trading. However, these blockchain-based systems still rely on a central authority to pair/match sellers with consumers for trading energy. The central authority can interfere with the matching process to profit a selected set of users. Further, a centralized authority also charges for its services, thereby increasing the cost of energy. We propose two distributed mechanisms to match sellers with consumers. The first mechanism doesn't allow for price negotiations between sellers and consumers, whereas the second does. We also calculate the time complexity and the stability of the matching process for both mechanisms. Using simulation, we compare the influence of centralized control and energy prices between the proposed and the existing mechanisms. The overall work strives to promote the free market and reduce energy prices.


title: Charting the $q$-Askey scheme. II. The $q$-Zhedanov scheme

abstract: This is the second in a series of papers which intend to explore conceptual ways of distinguishing between families in the $q$-Askey scheme and uniform ways of parametrizing the families. For a system of polynomials $p_n(x)$ in the $q$-Askey scheme satisfying $Lp_n=h_np_n$ with $L$ a second order $q$-difference operator the $q$-Zhedanov algebra is the algebra generated by operators $L$ and $X$ (multiplication by $x$). It has two relations in which essentially five coefficients occur. Vanishing of one or more of the coefficients corresponds to a subfamily or limit family of the Askey-Wilson polynomials. An arrow from one family to another means that in the latter family one more coefficient vanishes. This yields the $q$-Zhedanov scheme given in this paper. The $q$-hypergeometric expression of $p_n(x)$ can be interpreted as an expansion of $p_n(x)$ in terms of certain Newton polynomials. In our previous paper arXiv:2108.03858 we used Verde-Star's clean parametrization of such expansions and we obtained a $q$-Verde-Star scheme, where vanishing of one or more of these parameters corresponds to a subfamily or limit family. The actions of the operators $L$ and $X$ on the Newton polynomials can be expressed in terms of the Verde-Star parameters, and thus the coefficients for the $q$-Zhedanov algebra can be expressed in terms of these parameters. There are interesting differences between the $q$-Verde-Star scheme and the $q$-Zhedanov scheme, which are discussed in the paper.


title: SoLo T-DIRL: Socially-Aware Dynamic Local Planner based on Trajectory-Ranked Deep Inverse Reinforcement Learning

abstract: This work proposes a new framework for a socially-aware dynamic local planner in crowded environments by building on the recently proposed Trajectory-ranked Maximum Entropy Deep Inverse Reinforcement Learning (T-MEDIRL). To address the social navigation problem, our multi-modal learning planner explicitly considers social interaction factors, as well as social-awareness factors into T-MEDIRL pipeline to learn a reward function from human demonstrations. Moreover, we propose a novel trajectory ranking score using the sudden velocity change of pedestrians around the robot to address the sub-optimality in human demonstrations. Our evaluation shows that this method can successfully make a robot navigate in a crowded social environment and outperforms the state-of-art social navigation methods in terms of the success rate, navigation time, and invasion rate.


title: Recursive Attentive Methods with Reused Item Representations for Sequential Recommendation

abstract: Sequential recommendation aims to recommend the next item of users' interest based on their historical interactions. Recently, the self-attention mechanism has been adapted for sequential recommendation, and demonstrated state-of-the-art performance. However, in this manuscript, we show that the self-attention-based sequential recommendation methods could suffer from the localization-deficit issue. As a consequence, in these methods, over the first few blocks, the item representations may quickly diverge from their original representations, and thus, impairs the learning in the following blocks. To mitigate this issue, in this manuscript, we develop a recursive attentive method with reused item representations (RAM) for sequential recommendation. We compare RAM with five state-of-the-art baseline methods on six public benchmark datasets. Our experimental results demonstrate that RAM significantly outperforms the baseline methods on benchmark datasets, with an improvement of as much as 11.3%. Our stability analysis shows that RAM could enable deeper and wider models for better performance. Our run-time performance comparison signifies that RAM could also be more efficient on benchmark datasets.


title: The Vladimirov-Taibleson Operator: Inequalities, Dirichlet Problem, Boundary H\"older Regularity

abstract: We study the Vladimirov-Taibleson operator, a model example of a pseudo-differential operator acting on real- or complex-valued functions defined on a non-Archimedean local field. We prove analogs of classical inequalities for fractional Laplacian, study the counterpart of the Dirichlet problem including the property of boundary H\"older regularity of solutions.


title: Self-Supervised Learning with an Information Maximization Criterion

abstract: Self-supervised learning allows AI systems to learn effective representations from large amounts of data using tasks that do not require costly labeling. Mode collapse, i.e., the model producing identical representations for all inputs, is a central problem to many self-supervised learning approaches, making self-supervised tasks, such as matching distorted variants of the inputs, ineffective. In this article, we argue that a straightforward application of information maximization among alternative latent representations of the same input naturally solves the collapse problem and achieves competitive empirical results. We propose a self-supervised learning method, CorInfoMax, that uses a second-order statistics-based mutual information measure that reflects the level of correlation among its arguments. Maximizing this correlative information measure between alternative representations of the same input serves two purposes: (1) it avoids the collapse problem by generating feature vectors with non-degenerate covariances; (2) it establishes relevance among alternative representations by increasing the linear dependence among them. An approximation of the proposed information maximization objective simplifies to a Euclidean distance-based objective function regularized by the log-determinant of the feature covariance matrix. The regularization term acts as a natural barrier against feature space degeneracy. Consequently, beyond avoiding complete output collapse to a single point, the proposed approach also prevents dimensional collapse by encouraging the spread of information across the whole feature space. Numerical experiments demonstrate that CorInfoMax achieves better or competitive performance results relative to the state-of-the-art SSL approaches.


title: TIMIT-TTS: a Text-to-Speech Dataset for Multimodal Synthetic Media Detection

abstract: With the rapid development of deep learning techniques, the generation and counterfeiting of multimedia material are becoming increasingly straightforward to perform. At the same time, sharing fake content on the web has become so simple that malicious users can create unpleasant situations with minimal effort. Also, forged media are getting more and more complex, with manipulated videos that are taking the scene over still images. The multimedia forensic community has addressed the possible threats that this situation could imply by developing detectors that verify the authenticity of multimedia objects. However, the vast majority of these tools only analyze one modality at a time. This was not a problem as long as still images were considered the most widely edited media, but now, since manipulated videos are becoming customary, performing monomodal analyses could be reductive. Nonetheless, there is a lack in the literature regarding multimodal detectors, mainly due to the scarsity of datasets containing forged multimodal data to train and test the designed algorithms. In this paper we focus on the generation of an audio-visual deepfake dataset. First, we present a general pipeline for synthesizing speech deepfake content from a given real or fake video, facilitating the creation of counterfeit multimodal material. The proposed method uses Text-to-Speech (TTS) and Dynamic Time Warping techniques to achieve realistic speech tracks. Then, we use the pipeline to generate and release TIMIT-TTS, a synthetic speech dataset containing the most cutting-edge methods in the TTS field. This can be used as a standalone audio dataset, or combined with other state-of-the-art sets to perform multimodal research. Finally, we present numerous experiments to benchmark the proposed dataset in both mono and multimodal conditions, showing the need for multimodal forensic detectors and more suitable data.


title: Parallel energy stable phase field simulations of Ni-based alloys system

abstract: In this paper, we investigate numerical methods for solving Nickel-based phase field system related to free energy, including the elastic energy and logarithmic type functionals. To address the challenge posed by the particular free energy functional, we propose a semi-implicit scheme based on the discrete variational derivative method, which is unconditionally energy stable and maintains the energy dissipation law and the mass conservation law. Due to the good stability of the semi-implicit scheme, the adaptive time step strategy is adopted, which can flexibly control the time step according to the dynamic evolution of the problem. A domain decomposition based, parallel Newton--Krylov--Schwarz method is introduced to solve the nonlinear algebraic system constructed by the discretization at each time step. Numerical experiments show that the proposed algorithm is energy stable with large time steps, and highly scalable to six thousand processor cores.


title: Characterization of XIA UltraLo-1800 Response to Measuring Charged Samples

abstract: Commercial alpha counters are used in science and industry applications to screen materials for surface radon progeny contamination. In this paper, we characterize an XIA UltraLo-1800, an ionization drift alpha counter, and study the response to embedded charge in polyethylene sample measurements. We show that modeling such effects is possible in a Geant4-based simulation framework and attempt to derive corrections. This paper also demonstrates the effectiveness of the use of an anti-static fan to eliminate the embedded charge and recover a 97.73% alpha detection efficiency in the alpha counter.


title: Plug-and-Play Regularization using Linear Solvers

abstract: There has been tremendous research on the design of image regularizers over the years, from simple Tikhonov and Laplacian to sophisticated sparsity and CNN-based regularizers. Coupled with a model-based loss function, these are typically used for image reconstruction within an optimization framework. The technical challenge is to develop a regularizer that can accurately model realistic images and be optimized efficiently along with the loss function. Motivated by the recent plug-and-play paradigm for image regularization, we construct a quadratic regularizer whose reconstruction capability is competitive with state-of-the-art regularizers. The novelty of the regularizer is that, unlike classical regularizers, the quadratic objective function is derived from the observed data. Since the regularizer is quadratic, we can reduce the optimization to solving a linear system for applications such as superresolution, deblurring, inpainting, etc. In particular, we show that using iterative Krylov solvers, we can converge to the solution in a few iterations, where each iteration requires an application of the forward operator and a linear denoiser. The surprising finding is that we can get close to deep learning methods in terms of reconstruction quality. To the best of our knowledge, the possibility of achieving near state-of-the-art performance using a linear solver is novel.


title: Robust Inference of Manifold Density and Geometry by Doubly Stochastic Scaling

abstract: The Gaussian kernel and its traditional normalizations (e.g., row-stochastic) are popular approaches for assessing similarities between data points. Yet, they can be inaccurate under high-dimensional noise, especially if the noise magnitude varies considerably across the data, e.g., under heteroskedasticity or outliers. In this work, we investigate a more robust alternative -- the doubly stochastic normalization of the Gaussian kernel. We consider a setting where points are sampled from an unknown density on a low-dimensional manifold embedded in high-dimensional space and corrupted by possibly strong, non-identically distributed, sub-Gaussian noise. We establish that the doubly stochastic affinity matrix and its scaling factors concentrate around certain population forms, and provide corresponding finite-sample probabilistic error bounds. We then utilize these results to develop several tools for robust inference under general high-dimensional noise. First, we derive a robust density estimator that reliably infers the underlying sampling density and can substantially outperform the standard kernel density estimator under heteroskedasticity and outliers. Second, we obtain estimators for the pointwise noise magnitudes, the pointwise signal magnitudes, and the pairwise Euclidean distances between clean data points. Lastly, we derive robust graph Laplacian normalizations that accurately approximate various manifold Laplacians, including the Laplace Beltrami operator, improving over traditional normalizations in noisy settings. We exemplify our results in simulations and on real single-cell RNA-sequencing data. For the latter, we show that in contrast to traditional methods, our approach is robust to variability in technical noise levels across cell types.


title: Stability and Generalization for Markov Chain Stochastic Gradient Methods

abstract: Recently there is a large amount of work devoted to the study of Markov chain stochastic gradient methods (MC-SGMs) which mainly focus on their convergence analysis for solving minimization problems. In this paper, we provide a comprehensive generalization analysis of MC-SGMs for both minimization and minimax problems through the lens of algorithmic stability in the framework of statistical learning theory. For empirical risk minimization (ERM) problems, we establish the optimal excess population risk bounds for both smooth and non-smooth cases by introducing on-average argument stability. For minimax problems, we develop a quantitative connection between on-average argument stability and generalization error which extends the existing results for uniform stability \cite{lei2021stability}. We further develop the first nearly optimal convergence rates for convex-concave problems both in expectation and with high probability, which, combined with our stability results, show that the optimal generalization bounds can be attained for both smooth and non-smooth cases. To the best of our knowledge, this is the first generalization analysis of SGMs when the gradients are sampled from a Markov process.


title: Epitaxy of hexagonal ABO$_3$ quantum materials

abstract: Hexagonal $AB$O$_3$ oxides ($A$, $B$ = cation) are a rich materials class for realizing novel quantum phenomena. Their hexagonal symmetry, oxygen trigonal bipyramid coordination and quasi-two dimensional layering give rise to properties distinct from those of the cubic $AB$O$_3$ perovskites. As bulk materials, most of the focus in this materials class has been on the rare earth manganites, $R$MnO$_3$ ($R$ = rare earth); these materials display coupled ferroelectricity and antiferromagnetic order. In this review, we focus on the thin film manifestations of the hexagonal $AB$O$_3$ oxides. We cover the stability of the hexagonal oxides and substrates which can be used to template the hexagonal structure. We show how the thin film geometry not only allows for further tuning of the bulk-stable manganites but also the realization of metastable hexagonal oxides such as the $R$FeO$_3$ that combine ferroelectricity with weak ferromagnetic order. The thin film geometry is a promising platform to stabilize additional metastable hexagonal oxides to search for predicted high-temperature superconductivity and topological phases in this materials class.


title: Putting high-index Cu on the map for high-yield, dry-transferred CVD graphene

abstract: Reliable, clean transfer and interfacing of 2D material layers is technologically as important as their growth. Bringing both together remains a challenge due to the vast, interconnected parameter space. We introduce a fast-screening descriptor approach to demonstrate holistic data-driven optimization across the entirety of process steps for the graphene-Cu model system. We map the crystallographic dependencies of graphene chemical vapor deposition, interfacial Cu oxidation to decouple graphene, and its dry delamination across inverse pole figures. Their overlay enables us to identify hitherto unexplored (168) higher index Cu orientations as overall optimal. We show the effective preparation of such Cu orientations via epitaxial close-space sublimation and achieve mechanical transfer with very high yield (>95%) and quality of graphene domains, with room-temperature electron mobilities in the range of 40000 cm$^2$/(Vs). Our approach is readily adaptable to other descriptors and 2D materials systems, and we discuss the opportunities of such holistic optimization.


title: Ion loss events in a cold Rb-Ca$^+$ hybrid trap: photodissociation, black-body radiation and non-radiative charge exchange

abstract: We theoretically investigate the collisional dynamics of laser-cooled $^{87}$Rb ground-state atoms and $^{40}$Ca$^+$ ground-state ions in the context of the hybrid trap experiment of Ref. [Phys. Rev. Lett. 107, 243202 (2011)], leading to ion losses. Cold $^{87}$Rb$^{40}$Ca$^+$ ground-state molecular ions are created by radiative association, and we demonstrate that they are protected against photodissociation by black-body radiation and by the $^{40}$Ca$^+$ cooling laser at 397~nm. This study yields an interpretation of the direct observation of $^{87}$Rb$^{40}$Ca$^+$ ions in the experiment, in contrast to other hybrid trap experiments using other species. Based on novel molecular data for the spin-orbit interaction, we also confirm that the non-radiative charge-exchange is the dominant loss process for Ca$^+$ and obtain rates in agreement with experimental observations and a previous calculation.


title: Approximate traces on groups and the quantum complexity class $\operatorname{MIP}^{co,s}$

abstract: An open question in quantum complexity theory is whether or not the class $\operatorname{MIP}^{co}$, consisting of languages that can be efficiently verified using interacting provers sharing quantum resources according to the quantum commuting model, coincides with the class $coRE$ of languages with recursively enumerable complement. We introduce the notion of a qc-modulus, which encodes approximations to quantum commuting correlations, and show that the existence of a computable qc-modulus gives a negative answer to a natural variant of the aforementioned question.


title: Causes of Catastrophic Forgetting in Class-Incremental Semantic Segmentation

abstract: Class-incremental learning for semantic segmentation (CiSS) is presently a highly researched field which aims at updating a semantic segmentation model by sequentially learning new semantic classes. A major challenge in CiSS is overcoming the effects of catastrophic forgetting, which describes the sudden drop of accuracy on previously learned classes after the model is trained on a new set of classes. Despite latest advances in mitigating catastrophic forgetting, the underlying causes of forgetting specifically in CiSS are not well understood. Therefore, in a set of experiments and representational analyses, we demonstrate that the semantic shift of the background class and a bias towards new classes are the major causes of forgetting in CiSS. Furthermore, we show that both causes mostly manifest themselves in deeper classification layers of the network, while the early layers of the model are not affected. Finally, we demonstrate how both causes are effectively mitigated utilizing the information contained in the background, with the help of knowledge distillation and an unbiased cross-entropy loss.


title: The Carleman-Newton method to globally reconstruct a source term for nonlinear parabolic equation

abstract: We propose to combine the Carleman estimate and the Newton method to solve an inverse source problem for nonlinear parabolic equations from lateral boundary data. The stability of this inverse source problem is conditionally logarithmic. Hence, numerical results due to the conventional least squares optimization might not be reliable. In order to enhance the stability, we approximate this problem by truncating the high frequency terms of the Fourier series that represents the solution to the governing equation. By this, we derive a system of nonlinear elliptic PDEs whose solution consists of Fourier coefficients of the solution to the parabolic governing equation. We solve this system by the Carleman-Newton method. The Carleman-Newton method is a newly developed algorithm to solve nonlinear PDEs. The strength of the Carleman-Newton method includes (1) no good initial guess is required and (2) the computational cost is not expensive. These features are rigorously proved. Having the solutions to this system in hand, we can directly compute the solution to the proposed inverse problem. Some numerical examples are displayed.


title: Bicritical rational maps with a common iterate

abstract: Let $f$ be a degree $d$ bicritical rational map with critical point set $\mathcal{C}_f$ and critical value set $\mathcal{V}_f$. Using the group $\textrm{Deck}(f^k)$ of deck transformations of $f^k$, we show that if $g$ is a bicritical rational map which shares an iterate with $f$ then $\mathcal{C}_f = \mathcal{C}_g$ and $\mathcal{V}_f = \mathcal{V}_g$. Using this, we show that if two bicritical rational maps of even degree $d$ share an iterate then they share a second iterate, and both maps belong to the symmetry locus of degree $d$ bicritical rational maps.


title: Subgroups of categorically closed semigroups

abstract: Let $\mathcal C$ be a class of topological semigroups. A semigroup $X$ is called (1) $\mathcal C$-$closed$ if $X$ is closed in every topological semigroup $Y\in\mathcal C$ containing $X$ as a discrete subsemigroup, (2) $ideally$ $\mathcal C$-$closed$ if for any ideal $I$ in $X$ the quotient semigroup $X/I$ is $\mathcal C$-closed; (3) $absolutely$ $\mathcal C$-$closed$ if for any homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$, (4) $injectively$ $\mathcal C$-$closed$ (resp. $\mathcal C$-$discrete$) if for any injective homomorphism $h:X\to Y$ to a topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed (resp. discrete) in $Y$. Let $\mathsf{T_{\!z}S}$ be the class of Tychonoff zero-dimensional topological semigroups. For a semigroup $X$ let $V\!E(X)$ be the set of all viable idempotents of $X$, i.e., idempotents $e$ such that the complement $X\setminus\frac{H_e}e$ of the set $\frac{H_e}e=\{x\in X:xe=ex\in H_e\}$ is an ideal in $X$. We prove the following results: (i) for any ideally $\mathsf{T_{\!z}S}$-closed semigroup $X$ each subgroup of the center $Z(X)=\{z\in X:\forall x\in X\;\;(xz=zx)\}$ is bounded; (ii) for any $\mathsf{T_{\!z}S}$-closed semigroup $X$, each subgroup of the ideal center $I\!Z(X)=\{z\in Z(X):zX\subseteq Z(X)\}$ is bounded; (iii) for any $\mathsf{T_{\!z}S}$-discrete or injectively $\mathsf{T_{\!z}S}$-closed semigroup $X$, every subgroup of $Z(X)$ is finite, (iv) for any viable idempotent $e$ in an ideally (and absolutely) $\mathsf{T_{\!z}S}$-closed semigroup $X$, the maximal subgroup $H_e$ is ideally (and absolutely) $\mathsf{T_{\!z}S}$-closed and has bounded (and finite) center $Z(H_e)$.


title: Filling an empty lattice by local injection of quantum particles

abstract: We study the quantum dynamics of filling an empty lattice of size $L$, by connecting it locally with an equilibrium thermal bath that injects non-interacting bosons or fermions. We adopt four different approaches, namely (i) direct exact numerics, (ii) Redfield equation, (iii) Lindblad equation, and (iv) quantum Langevin equation -- which are unique in their ways for solving the time dynamics and the steady-state. Our setup offers a simplistic platform to understand fundamental aspects of dynamics and approach to thermalization. The quantities of interest that we consider are the spatial density profile and the total number of bosons/fermions in the lattice. The spatial spread is ballistic in nature and the local occupation eventually settles down owing to equilibration. The ballistic spread of local density admits a universal scaling form. We show that this universality is only seen when the condition of detailed balance is satisfied by the baths. The difference between bosons and fermions shows up in the early time growth rate and the saturation values of the profile. The techniques developed here are applicable to systems in arbitrary dimensions and for arbitrary geometries.


title: Automated consistent truncations and stability of flux compactifications

abstract: Classical flux compactifications contribute to a well-controlled corner of the string landscape, therefore providing an important testing ground for a variety of conjectures. We focus here on type II supergravity compactifications on 6d group manifolds towards 4d maximally symmetric spacetimes. We develop a code where the truncation to left-invariant scalars and the dimensional reduction to a 4d theory are automated, for any possible configuration of Op-planes and Dp-branes. We then prove that any such truncation is consistent. We further compute the mass spectrum and analyse the stability of many de Sitter, Minkowski or anti-de Sitter solutions, as well as their consistency with swampland conjectures.


title: Transformer-based Detection of Multiword Expressions in Flower and Plant Names

abstract: Multiword expression (MWE) is a sequence of words which collectively present a meaning which is not derived from its individual words. The task of processing MWEs is crucial in many natural language processing (NLP) applications, including machine translation and terminology extraction. Therefore, detecting MWEs in different domains is an important research topic. In this paper, we explore state-of-the-art neural transformers in the task of detecting MWEs in flower and plant names. We evaluate different transformer models on a dataset created from Encyclopedia of Plants and Flower. We empirically show that transformer models outperform the previous neural models based on long short-term memory (LSTM).


title: Quantum gases on a torus

abstract: This manuscript is aimed at studying the thermodynamic properties of quantum gases confined to a torus. To do that, we consider \textit{noninteracting} gases within the grand canonical ensemble formalism. In this context, fermoins and bosons are taken into account and the calculations are properly provided in both analytical and numerical manners. In particular, the system turns out to be sensitive to the topological parameter under consideration: the winding number. Furthermore, we also derive a model in order to take into account \textit{interacting} quantum gases. To corroborate our results, we implement such a method for two different scenarios: a ring and a torus.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech hep-th physics.app-ph


title: IoT Data Analytics in Dynamic Environments: From An Automated Machine Learning Perspective

abstract: With the wide spread of sensors and smart devices in recent years, the data generation speed of the Internet of Things (IoT) systems has increased dramatically. In IoT systems, massive volumes of data must be processed, transformed, and analyzed on a frequent basis to enable various IoT services and functionalities. Machine Learning (ML) approaches have shown their capacity for IoT data analytics. However, applying ML models to IoT data analytics tasks still faces many difficulties and challenges, specifically, effective model selection, design/tuning, and updating, which have brought massive demand for experienced data scientists. Additionally, the dynamic nature of IoT data may introduce concept drift issues, causing model performance degradation. To reduce human efforts, Automated Machine Learning (AutoML) has become a popular field that aims to automatically select, construct, tune, and update machine learning models to achieve the best performance on specified tasks. In this paper, we conduct a review of existing methods in the model selection, tuning, and updating procedures in the area of AutoML in order to identify and summarize the optimal solutions for every step of applying ML algorithms to IoT data analytics. To justify our findings and help industrial users and researchers better implement AutoML approaches, a case study of applying AutoML to IoT anomaly detection problems is conducted in this work. Lastly, we discuss and classify the challenges and research directions for this domain.


title: Leading all-loop quantum contribution to the effective potential in general scalar field theory

abstract: The RG equation for the effective potential in the leading log (LL) approximation is constructed which is valid for an arbitrary scalar field theory in 4 dimensions. The solution to this equation sums up the leading $\log\phi$ contributions to all orders of perturbation theory. In general, this is the second order nonlinear partial differential equation, but in some cases it can be reduced to the ordinary one. For particular examples, this equation is solved numerically and the LL effective potential is constructed. The solution has a characteristic discontinuity replacing the Landau pole typical for the $\phi^4$ theory. For a power-like potential no new minima appear due to the Coleman-Weinberg mechanism.


title: Ferroelectricity and resistive switching in BaTiO$_3$ thin films with liquid electrolyte top contact for bioelectronic devices

abstract: We investigate ferroelectric- and resistive switching behavior in 18-nm-thick epitaxial BaTiO$_3$ (BTO) films in a model electrolyte-ferroelectric-semiconductor (EFS) configuration. The system is explored for its potential as a ferroelectric microelectrode in bioelectronics. The BTO films are grown by pulsed laser deposition (PLD) on semiconducting Nb-doped (0.5 wt\%) SrTiO$_{3}$ (Nb:STO) single crystal substrates. The ferroelectric properties of the bare BTO films are demonstrated by piezoresponse force microscopy (PFM) measurements. Cyclic voltammetry (CV) measurements in EFS configuration, with phosphate buffered saline (PBS) acting as the liquid electrolyte top contact, indicate characteristic ferroelectric switching peaks in the bipolar current-voltage loop. The ferroelectric nature of the observed switching peaks is confirmed by analyzing the current response of the EFS devices to unipolar voltage signals. Moreover, electrochemical impedance spectroscopy (EIS) measurements indicate bipolar resisitive switching behavior of the EFS devices, which is controlled by the remanent polarization state of the BTO layer. Our results represent a constitutive step towards the realization of neuroprosthetic implants and hybrid neurocomputational systems based on ferroelectric microelectrodes.


title: Matrix Kloosterman sums modulo prime powers

abstract: We give optimal bounds for matrix Kloosterman sums modulo prime powers extending earlier work of the first two authors on the case of prime moduli. These exponential sums arise in the theory of the horocyclic flow on $\mathrm{GL}_n$.


title: Orientals as free algebras

abstract: The aim of this paper is to give an alternative construction of Street's cosimplicial object of orientals, based on an idea of Burroni that orientals are free algebras for some algebraic structure on strict $\omega$-categories. More precisely, following Burroni, we define the notion of an expansion on an $\omega$-category and we show that the forgetful functor from strict $\omega$-categories endowed with an expansion to strict $\omega$-categories is monadic. By iterating this monad starting from the empty $\omega$-category, we get a cosimplicial object in strict $\omega$-categories. Our main contribution is to show that this cosimplicial object is the cosimplicial objects of orientals. To do so, we prove, using Steiner's theory of augmented directed chain complexes, a general result for comparing polygraphs having same generators and same linearized sources and targets.


title: Continual Learning for Class- and Domain-Incremental Semantic Segmentation

abstract: The field of continual deep learning is an emerging field and a lot of progress has been made. However, concurrently most of the approaches are only tested on the task of image classification, which is not relevant in the field of intelligent vehicles. Only recently approaches for class-incremental semantic segmentation were proposed. However, all of those approaches are based on some form of knowledge distillation. At the moment there are no investigations on replay-based approaches that are commonly used for object recognition in a continual setting. At the same time while unsupervised domain adaption for semantic segmentation gained a lot of traction, investigations regarding domain-incremental learning in an continual setting is not well-studied. Therefore, the goal of our work is to evaluate and adapt established solutions for continual object recognition to the task of semantic segmentation and to provide baseline methods and evaluation protocols for the task of continual semantic segmentation. We firstly introduce evaluation protocols for the class- and domain-incremental segmentation and analyze selected approaches. We show that the nature of the task of semantic segmentation changes which methods are most effective in mitigating forgetting compared to image classification. Especially, in class-incremental learning knowledge distillation proves to be a vital tool, whereas in domain-incremental learning replay methods are the most effective method.


title: Fast approximation of search trees on trees with centroid trees

abstract: Search trees on trees (STTs) generalize the fundamental binary search tree (BST) data structure: in STTs the underlying search space is an arbitrary tree, whereas in BSTs it is a path. An optimal BST of size $n$ can be computed for a given distribution of queries in $O(n^2)$ time [Knuth 1971] and centroid BSTs provide a nearly-optimal alternative, computable in $O(n)$ time [Mehlhorn 1977]. By contrast, optimal STTs are not known to be computable in polynomial time, and the fastest constant-approximation algorithm runs in $O(n^3)$ time [Berendsohn, Kozma 2022]. Centroid trees can be defined for STTs analogously to BSTs, and they have been used in a wide range of algorithmic applications. In the unweighted case (i.e., for a uniform distribution of queries), a centroid tree can be computed in $O(n)$ time [Brodal et al. 2001; Della Giustina et al. 2019]. These algorithms, however, do not readily extend to the weighted case. Moreover, no approximation guarantees were previously known for centroid trees in either the unweighted or weighted cases. In this paper we revisit centroid trees in a general, weighted setting, and we settle both the algorithmic complexity of constructing them, and the quality of their approximation. For constructing a weighted centroid tree, we give an output-sensitive $O(n\log h)\subseteq O(n\log n)$ time algorithm, where $h$ is the height of the resulting centroid tree. If the weights are of polynomial complexity, the running time is $O(n\log\log n)$. We show these bounds to be optimal, in a general decision tree model of computation. For approximation, we prove that the cost of a centroid tree is at most twice the optimum, and this guarantee is best possible, both in the weighted and unweighted cases. We also give tight, fine-grained bounds on the approximation-ratio for bounded-degree trees and on the approximation-ratio of more general $\alpha$-centroid trees.


title: Trustworthy Reinforcement Learning Against Intrinsic Vulnerabilities: Robustness, Safety, and Generalizability

abstract: A trustworthy reinforcement learning algorithm should be competent in solving challenging real-world problems, including {robustly} handling uncertainties, satisfying {safety} constraints to avoid catastrophic failures, and {generalizing} to unseen scenarios during deployments. This study aims to overview these main perspectives of trustworthy reinforcement learning considering its intrinsic vulnerabilities on robustness, safety, and generalizability. In particular, we give rigorous formulations, categorize corresponding methodologies, and discuss benchmarks for each perspective. Moreover, we provide an outlook section to spur promising future directions with a brief discussion on extrinsic vulnerabilities considering human feedback. We hope this survey could bring together separate threads of studies together in a unified framework and promote the trustworthiness of reinforcement learning.


title: Interactions in Information Spread

abstract: Since the development of writing 5000 years ago, human-generated data gets produced at an ever-increasing pace. Classical archival methods aimed at easing information retrieval. Nowadays, archiving is not enough anymore. The amount of data that gets generated daily is beyond human comprehension, and appeals for new information retrieval strategies. Instead of referencing every single data piece as in traditional archival techniques, a more relevant approach consists in understanding the overall ideas conveyed in data flows. To spot such general tendencies, a precise comprehension of the underlying data generation mechanisms is required. In the rich literature tackling this problem, the question of information interaction remains nearly unexplored. First, we investigate the frequency of such interactions. Building on recent advances made in Stochastic Block Modelling, we explore the role of interactions in several social networks. We find that interactions are rare in these datasets. Then, we wonder how interactions evolve over time. Earlier data pieces should not have an everlasting influence on ulterior data generation mechanisms. We model this using dynamic network inference advances. We conclude that interactions are brief. Finally, we design a framework that jointly models rare and brief interactions based on Dirichlet-Hawkes Processes. We argue that this new class of models fits brief and sparse interaction modelling. We conduct a large-scale application on Reddit and find that interactions play a minor role in this dataset. From a broader perspective, our work results in a collection of highly flexible models and in a rethinking of core concepts of machine learning. Consequently, we open a range of novel perspectives both in terms of real-world applications and in terms of technical contributions to machine learning.

categories: cs.SI cs.DM cs.LG math.PR physics.soc-ph


title: Quantitative Magnetic Resonance Imaging by Nonlinear Inversion of the Bloch Equations

abstract: Purpose: Development of a generic model-based reconstruction framework for multi-parametric quantitative MRI that can be used with data from different pulse sequences. Methods: Generic nonlinear model-based reconstruction for quantitative MRI estimates parametric maps directly from the acquired k-space by numerical optimization. This requires numerically accurate and efficient methods to solve the Bloch equations and their partial derivatives. In this work, we combine direct sensitivity analysis and pre-computed state-transition matrices into a generic framework for calibrationless model-based reconstruction that can be applied to different pulse sequences. As a proof-of-concept, the method is implemented and validated for quantitative $T_1$ and $T_2$ mapping with single-shot inversion-recovery (IR) FLASH and IR bSSFP sequences in simulations, phantoms, and the human brain. Results: The direct sensitivity analysis enables a highly accurate and numerically stable calculation of the derivatives. The state-transition matrices efficiently exploit repeating patterns in pulse sequences, speeding up the calculation by a factor of 10 for the examples considered in this work, while preserving the accuracy of native ODE solvers. The generic model-based method reproduces quantitative results of previous model-based reconstructions based on the known analytical solutions for radial IR FLASH. For IR bSFFP it produces accurate $T_1$ and $T_2$ maps for the NIST phantom in numerical simulations and experiments. Feasibility is also shown for human brain, although results are affected by magnetization transfer effects. Conclusion: By developing efficient tools for numerical optimizations using the Bloch equations as forward model, this work enables generic model-based reconstruction for quantitative MRI.


title: Results on system size dependence of strangeness production in the CERN SPS energy range from NA61/SHINE

abstract: NA61/SHINE is a multipurpose fixed-target facility at the CERN Super Proton Synchrotron. The main goals of the NA61/SHINE strong interactions program are to discover the critical point of strongly interacting matter and study the properties of the onset of deconfinement. To reach these goals, hadron production measurements are performed in the form of a two-dimensional scan by varying collision energy and system size. The Collaboration has recently finished data acquisition for its original program on strong interactions, accumulating broad data samples on hadron production in various systems in the SPS energy range.\\ In this contribution, the NA61/SHINE results on identified charged kaon and pion production in p+p, Be+Be and Ar+Sc collisions at the SPS energy range ($\sqrt{s_{NN}}$=5.1--17.3 GeV) are presented. The NA61/SHINE measurements of small and intermediate-mass ion collisions establish an interesting system size dependence, showing a rapid change of hadron production properties that starts when moving from Be+Be to Ar+Sc system. In particular, Ar+Sc is the smallest system for which a significant enhancement of $K^+/\pi^+$ ratio with respect to $p$+$p$ collisions is observed. Obtained energy and system size dependence of the measured charged hadron multiplicities are compared with available world data and various theoretical models.


title: Identities of the multi-variate independence polynomials from heaps theory

abstract: We study and derive identities for the multi-variate independence polynomials from the perspective of heaps theory. Using the inversion formula and the combinatorics of partially commutative algebras we show how the multi-variate version of Godsil type identity as well as the fundamental identity can be obtained from weight preserving bijections. Finally, we obtain a new multi-variate identity involving connected bipartite subgraphs similar to the Christoffel-Darboux type identities obtained by Bencs.


title: Detection of Interacting Variables for Generalized Linear Models via Neural Networks

abstract: The quality of generalized linear models (GLMs), frequently used by insurance companies, depends on the choice of interacting variables. The search for interactions is time-consuming, especially for data sets with a large number of variables, depends much on expert judgement of actuaries, and often relies on visual performance indicators. Therefore, we present an approach to automating the process of finding interactions that should be added to GLMs to improve their predictive power. Our approach relies on neural networks and a model-specific interaction detection method, which is computationally faster than the traditionally used methods like Friedman H-Statistic or SHAP values. In numerical studies, we provide the results of our approach on artificially generated data as well as open-source data.


title: The Absolute Magnitudes of 1991T-like Supernovae

abstract: 1991T-like supernovae are the luminous, slow-declining extreme of the Branch shallow-silicon (SS) subclass of Type Ia supernovae. They are distinguished by extremely weak Ca II H & K and Si II $\lambda6355$ and strong Fe III absorption features in their optical spectra at pre-maximum phases, and have long been suspected to be over-luminous compared to normal Type Ia supernovae. In this paper, the pseudo equivalent width of the Si II $\lambda$6355 absorption obtained at light curve phases from $\leq+10$ days is combined with the morphology of the $i$-band light curve to identify a sample of 1991T-like supernovae in the Carnegie Supernova Project-II. Hubble diagram residuals show that, at optical as well as near-infrared wavelengths, these events are over-luminous by $\sim$0.1-0.5 mag with respect to the less extreme Branch SS (1999aa-like) and Branch core-normal supernovae with similar $B$-band light curve decline rates.


title: Rejuvenation engineering in metallic glasses by complementary stress and structure modulation

abstract: Residual stress engineering is very widely used in the design of new advanced lightweight materials. For metallic glasses the attention has been on structural changes and rejuvenation processes. High energy scanning X-ray diffraction strain mapping reveals large elastic fluctuations in metallic glasses after deformation under triaxial compression. Microindentation hardness mapping hints to a competing hardening-softening mechanism after compression and further reveals the complementary effects of stress and structure modulation. Transmission electron microscopy proves that structure modulation under room temperature deformation relates to the shear band formation that closely correlates to the distribution of elastic heterogeneities. Molecular dynamics simulations provide an atomistic understanding of the complex shear band activity in notched metallic glasses and the related fluctuations in the strain/stress heterogeneity. Thus, future focus should be given to stress engineering and elastic heterogeneity that together with structure modulation may allow to design metallic glasses with enhanced ductility and strain hardening ability.


title: Learning Policies for Continuous Control via Transition Models

abstract: It is doubtful that animals have perfect inverse models of their limbs (e.g., what muscle contraction must be applied to every joint to reach a particular location in space). However, in robot control, moving an arm's end-effector to a target position or along a target trajectory requires accurate forward and inverse models. Here we show that by learning the transition (forward) model from interaction, we can use it to drive the learning of an amortized policy. Hence, we revisit policy optimization in relation to the deep active inference framework and describe a modular neural network architecture that simultaneously learns the system dynamics from prediction errors and the stochastic policy that generates suitable continuous control commands to reach a desired reference position. We evaluated the model by comparing it against the baseline of a linear quadratic regulator, and conclude with additional steps to take toward human-like motor control.


title: Resilience of Linear Systems to Partial Loss of Control Authority

abstract: After a loss of control authority over thrusters of the Nauka module, the International Space Station lost attitude control for 45 minutes with potentially disastrous consequences. Motivated by this scenario, we investigate the continued capability of control systems to perform their task despite partial loss of authority over their actuators. We say that a system is resilient to such a malfunction if for any undesirable inputs and any target state there exists an admissible control driving the state to the target. Building on controllability conditions and differential games theory, we establish a necessary and sufficient condition for the resilience of linear systems. As their task might be time-constrained, ensuring completion alone is not sufficient. We also want to estimate how much slower the malfunctioning system is compared to its nominal performance. Relying on Lyapunov theory we derive analytical bounds on the reach times of the nominal and malfunctioning systems in order to quantify their resilience. We illustrate our work on the ADMIRE fighter jet model and on a temperature control system.


title: A Biologically-Inspired Dual Stream World Model

abstract: The medial temporal lobe (MTL), a brain region containing the hippocampus and nearby areas, is hypothesized to be an experience-construction system in mammals, supporting both recall and imagination of temporally-extended sequences of events. Such capabilities are also core to many recently proposed ``world models" in the field of AI research. Taking inspiration from this connection, we propose a novel variant, the Dual Stream World Model (DSWM), which learns from high-dimensional observations and dissociates them into context and content streams. DSWM can reliably generate imagined trajectories in novel 2D environments after only a single exposure, outperforming a standard world model. DSWM also learns latent representations which bear a strong resemblance to place cells found in the hippocampus. We show that this representation is useful as a reinforcement learning basis function, and that the generative model can be used to aid the policy learning process using Dyna-like updates.


title: mpower: An R Package for Power Analysis of Exposure Mixture Studies via Monte Carlo Simulations

abstract: Estimating sample size and statistical power is an essential part of a good study design. This R package allows users to conduct power analysis based on Monte Carlo simulations in settings in which consideration of the correlations between predictors is important. It runs power analyses given a data generative model and an inference model. It can set up a data generative model that preserves dependence structures among variables given existing data (continuous, binary, or ordinal) or high-level descriptions of the associations. Users can generate power curves to assess the trade-offs between sample size, effect size, and power of a design. This paper presents tutorials and examples focusing on applications for environmental mixture studies when predictors tend to be moderately to highly correlated. It easily interfaces with several existing and newly developed analysis strategies for assessing associations between exposures and health outcomes. However, the package is sufficiently general to facilitate power simulations in a wide variety of settings.


title: DAGMA: Learning DAGs via M-matrices and a Log-Determinant Acyclicity Characterization

abstract: The combinatorial problem of learning directed acyclic graphs (DAGs) from data was recently framed as a purely continuous optimization problem by leveraging a differentiable acyclicity characterization of DAGs based on the trace of a matrix exponential function. Existing acyclicity characterizations are based on the idea that powers of an adjacency matrix contain information about walks and cycles. In this work, we propose a new acyclicity characterization based on the log-determinant (log-det) function, which leverages the nilpotency property of DAGs. To deal with the inherent asymmetries of a DAG, we relate the domain of our log-det characterization to the set of $\textit{M-matrices}$, which is a key difference to the classical log-det function defined over the cone of positive definite matrices. Similar to acyclicity functions previously proposed, our characterization is also exact and differentiable. However, when compared to existing characterizations, our log-det function: (1) Is better at detecting large cycles; (2) Has better-behaved gradients; and (3) Its runtime is in practice about an order of magnitude faster. From the optimization side, we drop the typically used augmented Lagrangian scheme and propose DAGMA ($\textit{DAGs via M-matrices for Acyclicity}$), a method that resembles the central path for barrier methods. Each point in the central path of DAGMA is a solution to an unconstrained problem regularized by our log-det function, then we show that at the limit of the central path the solution is guaranteed to be a DAG. Finally, we provide extensive experiments for $\textit{linear}$ and $\textit{nonlinear}$ SEMs and show that our approach can reach large speed-ups and smaller structural Hamming distances against state-of-the-art methods. Code implementing the proposed method is open-source and publicly available at https://github.com/kevinsbello/dagma.


title: Parallel assembly of arbitrary defect-free atom arrays with a multi-tweezer algorithm

abstract: Defect-free atom arrays are an important precursor for quantum information processing and quantum simulation. Yet, large-scale defect-free atom arrays can be challenging to realize, due to the losses encountered when rearranging stochastically loaded atoms to achieve a desired target array. Here, we demonstrate a novel parallel rearrangement algorithm that uses multiple mobile tweezers to independently sort and compress atom arrays in a way that naturally avoids atom collisions. With a high degree of parallelism, our algorithm offers a reduced move complexity compared to both single-tweezer algorithms and existing multi-tweezer algorithms. We further determine the optimal degree of parallelism to be a balance between an algorithmic speedup and multi-tweezer inhomogeneity effects. The defect-free probability for a 225-atom array is demonstrated to be as high as 33(1)% in a room temperature setup after multiple cycles of rearrangement. The algorithm presented here can be implemented for any target array geometry with an underlying periodic structure.


title: On the structure of the $6 \times 6$ copositive cone

abstract: In this work we complement the description of the extreme rays of the $6 \times 6$ copositive cone with some topological structure. In a previous paper we decomposed the set of extreme elements of this cone into a disjoint union of pieces of algebraic varieties of different dimension. In this paper we link this classification to the recently introduced combinatorial characteristic called extended minimal zero support set. We determine those components which are essential, i.e., which are not embedded in the boundary of other components. This allows to drastically decrease the number of cases one has to consider when investigating different properties of the $6 \times 6$ copositive cone. As an application, we construct an example of a copositive $6 \times 6$ matrix with unit diagonal which does not belong to the Parrilo inner sum of squares relaxation ${\cal K}^{(1)}_6$.


title: Exploring the Whole Rashomon Set of Sparse Decision Trees

abstract: In any given machine learning problem, there may be many models that could explain the data almost equally well. However, most learning algorithms return only one of these models, leaving practitioners with no practical way to explore alternative models that might have desirable properties beyond what could be expressed within a loss function. The Rashomon set is the set of these all almost-optimal models. Rashomon sets can be extremely complicated, particularly for highly nonlinear function classes that allow complex interaction terms, such as decision trees. We provide the first technique for completely enumerating the Rashomon set for sparse decision trees; in fact, our work provides the first complete enumeration of any Rashomon set for a non-trivial problem with a highly nonlinear discrete function class. This allows the user an unprecedented level of control over model choice among all models that are approximately equally good. We represent the Rashomon set in a specialized data structure that supports efficient querying and sampling. We show three applications of the Rashomon set: 1) it can be used to study variable importance for the set of almost-optimal trees (as opposed to a single tree), 2) the Rashomon set for accuracy enables enumeration of the Rashomon sets for balanced accuracy and F1-score, and 3) the Rashomon set for a full dataset can be used to produce Rashomon sets constructed with only subsets of the data set. Thus, we are able to examine Rashomon sets across problems with a new lens, enabling users to choose models rather than be at the mercy of an algorithm that produces only a single model.


title: Fundamental Physics in Small Experiments

abstract: High energy physics aims to understand the fundamental laws of particles and their interactions at both the largest and smallest scales of the universe. This typically means probing very high energies or large distances or using high-intensity beams, which often requires large-scale experiments. A complementary approach is offered through high-precision measurements in small- and mid-scale size experiments, often at lower energies. The field of such high-precision experiments has seen tremendous progress and importance for particle physics for at least two reasons. First, they exploit synergies to adjacent areas of particle physics and benefit by many recent advances in experimental techniques. Together with intensified phenomenological explorations, these advances led to the realization that challenges associated with weak couplings or the expected suppression factors from the mass scale of new physics can be overcome with such methods. Second, many of these measurements add a new set of particle physics phenomena and observables that can be reached compared to the more conventional methodologies using high energies. Combining high-precision, smaller-scale measurements with the large-scale efforts therefore casts a wider and tighter net for possible effects originating from physics beyond the Standard Model. This report presents a broad set of small-scale research projects that could provide key new precision measurements in the areas of electric dipole moments, magnetic dipole moments, fermion flavor violation, tests of spacetime symmetries, and tests with gravity. The growing impact of these high-precision studies in high energy physics and the complementary input they provide compared to large-scale efforts warrants strong support over the next decades. In particular, EDM searches are expected to improve sensitivities by four or more orders of magnitude in the next decade or two.


title: Decision Tree Complexity versus Block Sensitivity and Degree

abstract: Relations between the decision tree complexity and various other complexity measures of Boolean functions is a thriving topic of research in computational complexity. It is known that decision tree complexity is bounded above by the cube of block sensitivity, and the cube of polynomial degree. However, the widest separation between decision tree complexity and each of block sensitivity and degree that is witnessed by known Boolean functions is quadratic. In this work, we investigate the tightness of the existing cubic upper bounds. We improve the cubic upper bounds for many interesting classes of Boolean functions. We show that for graph properties and for functions with a constant number of alternations, both of the cubic upper bounds can be improved to quadratic. We define a class of Boolean functions, which we call the zebra functions, that comprises Boolean functions where each monotone path from 0^n to 1^n has an equal number of alternations. This class contains the symmetric and monotone functions as its subclasses. We show that for any zebra function, decision tree complexity is at most the square of block sensitivity, and certificate complexity is at most the square of degree. Finally, we show using a lifting theorem of communication complexity by G{\"{o}}{\"{o}}s, Pitassi and Watson that the task of proving an improved upper bound on the decision tree complexity for all functions is in a sense equivalent to the potentially easier task of proving a similar upper bound on communication complexity for each bi-partition of the input variables, for all functions. In particular, this implies that to bound the decision tree complexity it suffices to bound smaller measures like parity decision tree complexity, subcube decision tree complexity and decision tree rank, that are defined in terms of models that can be efficiently simulated by communication protocols.


title: Axial algebras of Jordan and Monster type

abstract: Axial algebras are a class of non-associative commutative algebras whose properties are defined in terms of a fusion law. When this fusion law is graded, the algebra has a naturally associated group of automorphisms and thus axial algebras are inherently related to group theory. Examples include most Jordan algebras and the Griess algebra for the Monster sporadic simple group. In this survey, we introduce axial algebras, discuss their structural properties and then concentrate on two specific classes: algebras of Jordan and Monster type, which are rich in examples related to simple groups.


title: Self-Optimizing Feature Transformation

abstract: Feature transformation aims to extract a good representation (feature) space by mathematically transforming existing features. It is crucial to address the curse of dimensionality, enhance model generalization, overcome data sparsity, and expand the availability of classic models. Current research focuses on domain knowledge-based feature engineering or learning latent representations; nevertheless, these methods are not entirely automated and cannot produce a traceable and optimal representation space. When rebuilding a feature space for a machine learning task, can these limitations be addressed concurrently? In this extension study, we present a self-optimizing framework for feature transformation. To achieve a better performance, we improved the preliminary work by (1) obtaining an advanced state representation for enabling reinforced agents to comprehend the current feature set better; and (2) resolving Q-value overestimation in reinforced agents for learning unbiased and effective policies. Finally, to make experiments more convincing than the preliminary work, we conclude by adding the outlier detection task with five datasets, evaluating various state representation approaches, and comparing different training strategies. Extensive experiments and case studies show that our work is more effective and superior.


title: A Polarized Temporal Network Model to Study the Spread of Recurrent Epidemic Diseases in a Partially Vaccinated Population

abstract: Motivated by massive outbreaks of COVID-19 that occurred even in populations with high vaccine uptake, we propose a novel multi-population temporal network model for the spread of recurrent epidemic diseases. We study the effect of human behavior, testing, and vaccination campaigns on the control of local outbreaks and infection prevalence. Our modeling framework decouples the vaccine effectiveness in protecting against transmission and the development of severe symptoms. Furthermore, the framework accounts for the polarizing effect of the decision to vaccinate and captures homophily, i.e., the tendency of people to interact with like-minded individuals. By means of a mean-field approach, we analytically derive the epidemic threshold. Our theoretical results suggest that, while vaccination campaigns reduce pressure on hospitals, they might facilitate resurgent outbreaks, highlighting the key role that testing campaigns may have in eradicating the disease. Numerical simulations are then employed to confirm and extend our theoretical findings to more realistic scenarios. Our numerical and analytical results agree that vaccination is not sufficient to achieve full eradication, without employing massive testing campaigns or relying on the population's responsibility. Furthermore, we show that homophily plays a critical role in the control of local outbreaks, highlighting the peril of a polarized network structure.


title: Symbolic Execution for Randomized Programs

abstract: We propose a symbolic execution method for programs that can draw random samples. In contrast to existing work, our method can verify randomized programs with unknown inputs and can prove probabilistic properties that universally quantify over all possible inputs. Our technique augments standard symbolic execution with a new class of \emph{probabilistic symbolic variables}, which represent the results of random draws, and computes symbolic expressions representing the probability of taking individual paths. We implement our method on top of the \textsc{KLEE} symbolic execution engine alongside multiple optimizations and use it to prove properties about probabilities and expected values for a range of challenging case studies written in C++, including Freivalds' algorithm, randomized quicksort, and a randomized property-testing algorithm for monotonicity. We evaluate our method against \textsc{Psi}, an exact probabilistic symbolic inference engine, and \textsc{Storm}, a probabilistic model checker, and show that our method significantly outperforms both tools.


title: Prime divisors of $\ell$-Genocchi numbers and the ubiquity of Ramanujan-style congruences of level $\ell$

abstract: Let $\ell$ be any fixed prime number. We define the $\ell$-Genocchi numbers by $G_n:=\ell(1-\ell^n)B_n$, with $B_n$ the $n$-th Bernoulli number. They are integers. We introduce and study a variant of Kummer's notion of regularity of primes. We say that an odd prime $p$ is $\ell$-Genocchi irregular if it divides at least one of the $\ell$-Genocchi numbers $G_2,G_4,\ldots, G_{p-3}$, and $\ell$-regular otherwise. With the help of techniques used in the study of Artin's primitive root conjecture, we give asymptotic estimates for the number of $\ell$-Genocchi irregular primes in a prescribed arithmetic progression in case $\ell$ is odd. The case $\ell=2$ was already dealt with by Hu, Kim, Moree and Sha (2019). Using similar methods we study the prime factors of $(1-\ell^n)B_{2n}/2n$ and $(1+\ell^n)B_{2n}/2n$. This allows us to estimate the number of primes $p\leq x$ for which there exist modulo $p$ Ramanujan-style congruences between the Fourier coefficients of an Eisenstein series and some cusp form of prime level $\ell$.


title: 'Surprised, Shocked, Worried': User Reactions to Facebook Data Collection from Third Parties

abstract: Data collection and aggregation by online services happens to an extent that is often beyond awareness and comprehension of its users. Transparency tools become crucial to inform people, though it is unclear how well they work. To investigate this matter, we conducted a user study focusing on Facebook, which has recently released the "Off-Facebook Activity" transparency dashboard that informs about personal data collection from third parties. We exposed a group of n = 100 participants to the dashboard and surveyed their level of awareness and reactions to understand how transparency impacts users' privacy attitudes and intended behavior. Our participants were surprised about the massive amount of collected data, became significantly less comfortable with data collection, and more likely to take protective measures. Collaterally, we observed that current consent schemes are inadequate. Based on the survey findings, we make recommendations for more usable transparency and highlight the need to raise awareness about transparency tools and to provide easily actionable privacy controls.


title: Snowmass2021 Cosmic Frontier: Report of the CF04 Topical Group on Dark Energy and Cosmic Acceleration in the Modern Universe

abstract: Cosmological observations in the new millennium have dramatically increased our understanding of the Universe, but several fundamental questions remain unanswered. This topical group report describes the best opportunities to address these questions over the coming decades by extending observations to the $z<6$ universe. The greatest opportunity to revolutionize our understanding of cosmic acceleration both in the modern universe and the inflationary epoch would be provided by a new Stage V Spectroscopic Facility (Spec-S5) which would combine a large telescope aperture, wide field of view, and high multiplexing. Such a facility could simultaneously provide a dense sample of galaxies at lower redshifts to provide robust measurements of the growth of structure at small scales, as well as a sample at redshifts $2<z<5$ to measure cosmic structure at the largest scales, spanning a sufficient volume to probe primordial non-Gaussianity from inflation, to search for features in the inflationary power spectrum on a broad range of scales, to test dark energy models in poorly-explored regimes, and to determine the total neutrino mass and effective number of light relics. A number of compelling opportunities at smaller scales should also be pursued alongside Spec-S5. The science collaborations analyzing DESI and LSST data will need funding for a variety of activities, including cross-survey simulations and combined analyses. The results from these experiments can be greatly improved by smaller programs to obtain complementary data, including follow-up studies of supernovae and spectroscopy to improve photometric redshift measurements. The best future use of the Vera C. Rubin Observatory should be evaluated later this decade after the first LSST analyses have been done. Finally, investments in pathfinder projects could enable powerful new probes of cosmology to come online in future decades.


title: Reweighted and Circularized Anderson-Darling Tests of Goodness-of-Fit

abstract: This paper takes a look at omnibus tests of goodness of fit in the context of reweighted Anderson-Darling tests and makes threefold contributions. The first contribution is to provide a geometric understanding. It is argued that the test statistic with minimum variance for exchangeable distributional deviations can serve as a good general-purpose test. The second contribution is to propose better omnibus tests, called circularly symmetric tests and obtained by circularizing reweighted Anderson-Darling test statistics or, more generally, test statistics based on the observed order statistics. The resulting tests are called circularized tests. A limited but arguably convincing simulation study on finite-sample performance demonstrates that circularized tests have good performance, as they typically outperform their parent methods in the simulation study. The third contribution is to establish new large-sample results.


title: Toeplitz Density Operators and their Separability Properties

abstract: Toeplitz operators (also called localization operators) are a generalization of the well-known anti-Wick pseudodifferential operators studied by Berezin and Shubin. When a Toeplitz operator is positive semi-definite and has trace one we call it a density Toeplitz operator. Such operators represent physical states in quantum mechanics. In the present paper we study several aspects of Toeplitz operators when their symbols belong to some well-known functional spaces (e.g. the Feichtinger algebra) and discuss (tentatively) their separability properties with an emphasis on the Gaussian case.

categories: quant-ph math-ph math.FA math.MP math.OA


title: Autoregressive Transformers for Data-Driven Spatio-Temporal Learning of Turbulent Flows

abstract: A convolutional encoder-decoder-based transformer model is proposed for autoregressively training on spatio-temporal data of turbulent flows. The prediction of future fluid flow fields is based on the previously predicted fluid flow field to ensure long-term predictions without diverging. A combination of convolutional neural networks and transformer architecture is utilized to handle both the spatial and temporal dimensions of the data. To assess the performance of the model, a priori assessments are conducted, and significant agreements are found with the ground truth data. The a posteriori predictions, which are generated after a considerable number of simulation steps, exhibit predicted variances. The autoregressive training and prediction of a posteriori states are deemed crucial steps towards the development of more complex data-driven turbulence models and simulations. The highly nonlinear and chaotic dynamics of turbulent flows can be handled by the proposed model, and accurate predictions over long time horizons can be generated. Overall, the potential of using deep learning techniques to improve the accuracy and efficiency of turbulence modeling and simulation is demonstrated by this approach. The proposed model can be further optimized and extended to incorporate additional physics and boundary conditions, paving the way for more realistic simulations of complex fluid dynamics.


title: Unruh Effect and Takagi's Statistics Inversion in Strained Graphene

abstract: We present a theoretical study of how a spatially-varying quasiparticle velocity in honeycomb lattices, achievable using strained graphene or in engineered cold-atom optical lattices that have a spatial dependence to the local tunneling amplitude, can yield the Rindler Hamiltonian embodying an observer accelerating in Minkowski spacetime. Within this setup, a sudden switch-on of the spatially-varying tunneling (or strain) yields a spontaneous production of electron-hole pairs, an analogue version of the Unruh effect characterized by the Unruh temperature. We discuss how this thermal behavior, along with Takagi's statistics inversion, can manifest themselves in photo-emission and scanning tunneling microscopy experiments. We also calculate the average electronic conductivity and find that it grows linearly with frequency $\omega$. Finally, we find that the total system energy at zero environment temperature looks like Planck's blackbody result for photons due to the aforementioned statistics inversion, whereas for an initial thermally excited state of fermions, the total internal energy undergoes stimulated particle reduction.


title: Reinterpretation and Long-Term Preservation of Data and Code

abstract: Careful preservation of experimental data, simulations, analysis products, and theoretical work maximizes their long-term scientific return on investment by enabling new analyses and reinterpretation of the results in the future. Key infrastructure and technical developments needed for some high-value science targets are not in scope for the operations program of the large experiments and are often not effectively funded. Increasingly, the science goals of our projects require contributions that span the boundaries between individual experiments and surveys, and between the theoretical and experimental communities. Furthermore, the computational requirements and technical sophistication of this work is increasing. As a result, it is imperative that the funding agencies create programs that can devote significant resources to these efforts outside of the context of the operations of individual major experiments, including smaller experiments and theory/simulation work. In this Snowmass 2021 Computational Frontier topical group report (CompF7: Reinterpretation and long-term preservation of data and code), we summarize the current state of the field and make recommendations for the future.


title: A Transformer-Based Approach for Improving App Review Response Generation

abstract: Mobile apps are becoming an integral part of people's daily life by providing various functionalities, such as messaging and gaming. App developers try their best to ensure user experience during app development and maintenance to improve the rating of their apps on app platforms and attract more user downloads. Previous studies indicated that responding to users' reviews tends to change their attitude towards the apps positively. Users who have been replied are more likely to update the given ratings. However, reading and responding to every user review is not an easy task for developers since it is common for popular apps to receive tons of reviews every day. Thus, automation tools for review replying are needed. To address the need above, the paper introduces a Transformer-based approach, named TRRGen, to automatically generate responses to given user reviews. TRRGen extracts apps' categories, rating, and review text as the input features. By adapting a Transformer-based model, TRRGen can generate appropriate replies for new reviews. Comprehensive experiments and analysis on the real-world datasets indicate that the proposed approach can generate high-quality replies for users' reviews and significantly outperform current state-of-art approaches on the task. The manual validation results on the generated replies further demonstrate the effectiveness of the proposed approach.


title: Big Bang and Topology

abstract: In this paper we discuss the initial state of the universe at the Big Bang. By using ideas of Freedman in the proof of the disk embedding theorem for 4-manifolds, we describe the corresponding spacetime as gravitational instanton. The spatial space is a fractal space (wild embedded 3-sphere). Then we construct the quantum state from this fractal space. This quantum state is part of the string algebra of Ocneanu. There is a link to the Jones polynomial and to Witten's topological field theory. Using this link, we are able to determine the physical theory (action) to be the Chern-Simons functional. The gauge fixing of this action determines the foliation of the spacetime and as well the smoothness properties. Finally, we determine the quantum symmetry of the quantum state to be the enveloped Lie algebra $U_{q}(sl_{2}(\mathbb{C}))$ where $q$ is the 4th root of unity.


title: Influence of the rotational sense of two colliding laser beams on the radiation of an ultrarelativistic electron

abstract: With analytical treatment, the classical dynamics of an ultrarelativistic electron in two counter-propagating circularly polarized strong laser beams with either co-rotating or counter-rotating direction are considered. Assuming that the particle energy is the dominant scale in the setup, an approximate solution is derived and the influence of the rotational sense on the dynamics is analyzed. Qualitative differences in both electron energy and momentum are found for the laser beams being co-rotating or counter-rotating and are confirmed by the exact numerical solution of the classical equation of motion. Despite of these differences in the electron trajectory, the radiation spectra of the electron do not deviate qualitatively from each other for configurations with varying rotational directions of the laser beams. Here, the radiation of an ultrarelativistic electron interacting with counterpropagating laser beams is given in the framework of the Baier-Katkov semi-classical approximation. Several parameter regimes are considered and the spectra resulting from the two scenarios all have the same shape and only differ quantitatively by a few percent.


title: Beam Energy Dependence of Triton Production and Yield Ratio ($\mathrm{N}_t \times \mathrm{N}_p/\mathrm{N}_d^2$) in Au+Au Collisions at RHIC

abstract: We report the triton ($t$) production in mid-rapidity ($|y| <$ 0.5) Au+Au collisions at $\sqrt{s_\mathrm{NN}}$= 7.7--200 GeV measured by the STAR experiment from the first phase of the beam energy scan at the Relativistic Heavy Ion Collider (RHIC). The nuclear compound yield ratio ($\mathrm{N}_t \times \mathrm{N}_p/\mathrm{N}_d^2$), which is predicted to be sensitive to the fluctuation of local neutron density, is observed to decrease monotonically with increasing charged-particle multiplicity ($dN_{ch}/d\eta$) and follows a scaling behavior. The $dN_{ch}/d\eta$ dependence of the yield ratio is compared to calculations from coalescence and thermal models. Enhancements in the yield ratios relative to the coalescence baseline are observed in the 0\%-10\% most central collisions at 19.6 and 27 GeV, with a significance of 2.3$\sigma$ and 3.4$\sigma$, respectively, giving a combined significance of 4.1$\sigma$. The enhancements are not observed in peripheral collisions or model calculations without critical fluctuation, and decreases with a smaller $p_{T}$ acceptance. The physics implications of these results on the QCD phase structure and the production mechanism of light nuclei in heavy-ion collisions are discussed.


title: Backward and non-local problems for the Rayleigh-Stokes equation

abstract: The Fourier method is used to find conditions on the right-hand side and on the initial data in the Rayleigh-Stokes problem, which ensure the existence and uniqueness of the solution. Then, in the Rayleigh-Stokes problem, instead of the initial condition, consider the non-local condition: $u(x,T)=\beta u(x,0)+\varphi(x)$, where $\beta$ is either zero or one. It is well known that if $\beta=0$, then the corresponding problem, called the backward problem, is ill-posed in the sense of Hadamard, i.e. a small change in $u(x,T)$ leads to large changes in the initial data. Nevertheless, we will show that if we consider sufficiently smooth current information, then the solution exists and it is unique and stable. It will also be shown that if $\beta=1$, then the corresponding non-local problem is well-posed and coercive type inequalities are valid.


title: PTab: Using the Pre-trained Language Model for Modeling Tabular Data

abstract: Tabular data is the foundation of the information age and has been extensively studied. Recent studies show that neural-based models are effective in learning contextual representation for tabular data. The learning of an effective contextual representation requires meaningful features and a large amount of data. However, current methods often fail to properly learn a contextual representation from the features without semantic information. In addition, it's intractable to enlarge the training set through mixed tabular datasets due to the difference between datasets. To address these problems, we propose a novel framework PTab, using the Pre-trained language model to model Tabular data. PTab learns a contextual representation of tabular data through a three-stage processing: Modality Transformation(MT), Masked-Language Fine-tuning(MF), and Classification Fine-tuning(CF). We initialize our model with a pre-trained Model (PTM) which contains semantic information learned from the large-scale language data. Consequently, contextual representation can be learned effectively during the fine-tuning stages. In addition, we can naturally mix the textualized tabular data to enlarge the training set to further improve representation learning. We evaluate PTab on eight popular tabular classification datasets. Experimental results show that our method has achieved a better average AUC score in supervised settings compared to the state-of-the-art baselines(e.g. XGBoost), and outperforms counterpart methods under semi-supervised settings. We present visualization results that show PTab has well instance-based interpretability.


title: Giant overreflection of magnetohydrodynamic waves from inhomogeneous plasmas with nonuniform shear flows

abstract: We study theoretically mode conversion and resonant overreflection of magnetohydrodynamic waves in an inhomogeneous plane-stratified plasma in the presence of a nonuniform shear flow, using precise numerical calculations of the reflection and transmission coefficients and the field distributions based on the invariant imbedding method. The cases where the flow velocity and the external magnetic field are directed perpendicularly to the inhomogeneity direction and both the flow velocity and the plasma density vary arbitrarily along it are considered. When there is a shear flow, the wave frequency is modulated locally by the Doppler shift and resonant amplification and overreflection occur where the modulated frequency is negative and its absolute value matches the local Alfv\'en or slow frequency. For many different types of the density and flow velocity profiles, we find that, especially when the parameters are such that the incident waves are totally reflected, there arises a giant overreflection where the reflectance is much larger than 10 in a fairly broad range of the incident angles, the frequency, and the plasma $\beta$ and its maximum attains values larger than $10^5$. In a finite $\beta$ plasma, both incident fast and slow magnetosonic waves are found to cause strong overreflection and there appear multiple positions exhibiting both Alfv\'en and slow resonances inside the plasma. We explain the mechanism of overreflection in terms of the formation of inhomogeneous and open cavities close to the resonances and the strong enhancement of the wave energy due to the occurrence of semi-bound states there. We give discussions of the observational consequences in magnetized terrestrial and solar plasmas.

categories: physics.plasm-ph astro-ph.EP astro-ph.SR physics.space-ph


title: Laser synthesis of ruby for photo-conversion of solar spectrum

abstract: Ruby grains are synthesized by laser heating of the dry mixture of Al$_2$O$_3$ and Cr$_2$O$_3$. Quasi-continuous radiation of a Nd:YAG laser was used for this purpose with average power of 15 W. Synthesized ruby grains demonstrate strong photo-luminescence in the vicinity of 700 nm. Synthesized ruby grains were integrated into a matrix made of flouro-polymer. Luminescene map acquired with the help of a photo-fluorimeter confirms efficient photo-conversion of green-blue radiation of the synthesize ruby into red region. Ruby grans can further be fragmented to smaller particles using the technique of laser fragmentation in liquids.


title: Comment on "Noether's-type theorems on time scales" [J. Math. Phys. 61, 113502 (2020)]

abstract: We comment on the validity of Noether's theorem and on the conclusions of [J. Math. Phys. 61 (2020), no. 11, 113502].