title: Multiplicative lattices: maximal implies prime and related questions

abstract: The goal of this paper is to deepen the study of multiplicative lattices in the sense of Facchini, Finocchiaro and Janelidze. We provide a sort of Prime Ideal Principle that guarantees that maximal implies prime in a variety of cases (among them the case of commutative rings with identity). This result is used to study the lattice theoretic counterpart of multiplicative closed sets, that of m-systems. The notion of m-system is also studied from the topological point of view.


title: Thermoelectric effects in tunneling of spin-polarized electrons in a molecular transistor

abstract: Thermal transmission in a molecular transistor with fully spin-polarized electrodes subjected to a temperature gradient is considered. The problem has been solved by using density matrix method in perturbation approach over small tunneling width. It has been found that due to the vibronic effects spintronic molecular transistor is characterized by negative differential thermoconductance. It has been demonstrated that in the dependence of thermopower $S$ on the detuning energy there is an increased number of points of change of the sign and magnitude of $S$ comparing with that of conventional molecular transistor. Optimal parameters, that provide the highest thermoelectric power at maximum efficiency $P_{me}$ for spintronic molecular transistor, have been found. The dependences of the figure of merit $ZT$ and $P_{me}$ on temperature and an external magnetic field have been calculated and the influence of Coulomb interaction on the thermolelectric properties has been studied. It has been revealed, that for non-zero Coulomb interaction more handy regime of thermoelectric device develops, characterized by continuous region of external magnetic fields, which provide high values of thermoelectric power.


title: A Class of Rearrangement Groups that are not Invariably Generated

abstract: A group $G$ is invariably generated if there exists a subset $S \subseteq G$ such that, for every choice $g_s \in G$ for $s \in S$, the group $G$ is generated by $\{ s^{g_s} \mid s \in S \}$. In [GGJ16] Gelander, Golan and Juschenko showed that Thompson groups $T$ and $V$ are not invariably generated. Here we generalize this result to the larger setting of rearrangement groups, proving that any subgroup of a rearrangement group that has a certain transitive property is not invariably generated.


title: Sparse Ellipsometry: Portable Acquisition of Polarimetric SVBRDF and Shape with Unstructured Flash Photography

abstract: Ellipsometry techniques allow to measure polarization information of materials, requiring precise rotations of optical components with different configurations of lights and sensors. This results in cumbersome capture devices, carefully calibrated in lab conditions, and in very long acquisition times, usually in the order of a few days per object. Recent techniques allow to capture polarimetric spatially-varying reflectance information, but limited to a single view, or to cover all view directions, but limited to spherical objects made of a single homogeneous material. We present sparse ellipsometry, a portable polarimetric acquisition method that captures both polarimetric SVBRDF and 3D shape simultaneously. Our handheld device consists of off-the-shelf, fixed optical components. Instead of days, the total acquisition time varies between twenty and thirty minutes per object. We develop a complete polarimetric SVBRDF model that includes diffuse and specular components, as well as single scattering, and devise a novel polarimetric inverse rendering algorithm with data augmentation of specular reflection samples via generative modeling. Our results show a strong agreement with a recent ground-truth dataset of captured polarimetric BRDFs of real-world objects.


title: Few-shot training LLMs for project-specific code-summarization

abstract: Very large language models (LLMs), such as GPT-3 and Codex have achieved state-of-the-art performance on several natural-language tasks, and show great promise also for code. A particularly exciting aspect of LLMs is their knack for few-shot and zero-shot learning: they can learn to perform a task with very few examples. Few-shotting has particular synergies in software engineering, where there are a lot of phenomena (identifier names, APIs, terminology, coding patterns) that are known to be highly project-specific. However, project-specific data can be quite limited, especially early in the history of a project; thus the few-shot learning capacity of LLMs might be very relevant. In this paper, we investigate the use few-shot training with the very large GPT (Generative Pre-trained Transformer) Codex model, and find evidence suggesting that one can significantly surpass state-of-the-art models for code-summarization, leveraging project-specific training.


title: Complexity of Public Goods Games on Graphs

abstract: We study the computational complexity of "public goods games on networks". In this model, each vertex in a graph is an agent that needs to take a binary decision of whether to "produce a good" or not. Each agent's utility depends on the number of its neighbors in the graph that produce the good, as well as on its own action. This dependence can be captured by a "pattern" $T:{\rm I\!N}\rightarrow\{0,1\}$ that describes an agent's best response to every possible number of neighbors that produce the good. Answering a question of [Papadimitriou and Peng, 2021], we prove that for some simple pattern $T$ the problem of determining whether a non-trivial pure Nash equilibrium exists is NP-complete. We extend our result to a wide class of such $T$, but also find a new polynomial time algorithm for some specific simple pattern $T$. We leave open the goal of characterizing the complexity for all patterns.


title: Multi-objective optimization of longitudinal injection based on a multi-frequency RF system for fourth-generation storage ring-based light sources

abstract: In the fourth-generation storage ring light sources (4GLSs), associated with the extremely strong nonlinearities inherent in the multi-bend achromat design, the dynamic acceptance is usually small and it is difficult to implement traditional off-axis local-bump injection. To release the requirement on dynamic acceptance, on-axis longitudinal injection schemes have been explored. In this paper, we present a multi-objective optimization of longitudinal injection with a multi-frequency RF system, based on the parameters of the Southern Advanced Photon Source, a 4GLS proposed in China. We show that by treating the optimal bunch lengthening condition as an optimizing objective rather than a condition that must be satisfied, a plethora of feasible candidate solutions can be found, showing different trade-offs among multi-objectives. From these candidate solutions, one can find an optimal RF parameter setting that is most adapted to a specific 4GLS physics design and the available technical level of injection kicker. Especially, it would be feasible to realize longitudinal injection within a static bucket enabled by a double-frequency RF system, suggesting an attractive longitudinal injection option for 4GLSs.


title: Deep Reinforcement Learning for Long-Term Voltage Stability Control

abstract: Deep reinforcement learning (DRL) is a machine learning-based method suited for complex and high-dimensional control problems. In this study, a real-time control system based on DRL is developed for long-term voltage stability events. The possibility of using system services from demand response (DR) and energy storage systems (ESS) as control measures to stabilize the system is investigated. The performance of the DRL control is evaluated on a modified Nordic32 test system. The results show that the DRL control quickly learns an effective control policy that can handle the uncertainty involved when using DR and ESS. The DRL control is compared to a rule-based load shedding scheme and the DRL control is shown to stabilize the system both significantly faster and with lesser load curtailment. Finally, when testing and evaluating the performance on load and disturbance scenarios that were not included in the training data, the robustness and generalization capability of the control were shown to be effective.


title: Renormalization of proton-proton fusion in chiral effective field theory

abstract: Renormalization of proton-proton fusion is studied in the framework of chiral effective field theory. Strict perturbative treatment of subleading corrections is applied in the analysis. Possible enhancement of two-nucleon contact axial current operators is the focus of the study. We find evidence that supports a previous proposal in the literature to promote one of the contact axial current operators.


title: PI-Trans: Parallel-ConvMLP and Implicit-Transformation Based GAN for Cross-View Image Translation

abstract: For semantic-guided cross-view image translation, it is crucial to learn where to sample pixels from the source view image and where to reallocate them guided by the target view semantic map, especially when there is little overlap or drastic view difference between the source and target images. Hence, one not only needs to encode the long-range dependencies among pixels in both the source view image and target view semantic map but also needs to translate these learned dependencies. To this end, we propose a novel generative adversarial network, PI-Trans, which mainly consists of a novel Parallel-ConvMLP module and an Implicit Transformation module at multiple semantic levels. Extensive experimental results show that PI-Trans achieves the best qualitative and quantitative performance by a large margin compared to the state-of-the-art methods on two challenging datasets. The source code is available at https://github.com/Amazingren/PI-Trans.


title: On Geometric properties of Henstock-Orlicz spaces

abstract: In this paper we extend the theory of Henstock-Orlicz spaces with respect to vector measure. We study the integral representation of operators. Lastly we study Uniformly convexity, reflexivity and the Radon-Nikodym property of the Henstock-Orlicz spaces


title: Delayed Impact of Interdisciplinary Research

abstract: Interdisciplinary research increasingly fuels innovation, and is considered to be a key to tomorrow breakthrough. Yet little is known about whether interdisciplinary research manifests delayed impact. Here, we use the time to reach the citation peak to quantify the highest impact time and citation dynamics, and examine its relationship with interdisciplinarity. Using large scale publication datasets, our results suggest that interdisciplinary papers show significant delayed impact both microscopically per paper and macroscopically collectively, as it takes longer time for interdisciplinary papers to reach their citation peak. Furthermore, we study the underlying forces of such delayed impact, finding that the effect goes beyond the Matthew effect (i.e., the rich-get-richer effect). Finally, we find that team size and content conventionality only partly account for this effect. Overall, our results suggest that governments, research administrators, funding agencies should be aware of this general feature of interdisciplinary science, which may have broad policy implications.


title: Control of molecular orbital ordering using a van der Waals monolayer ferroelectric

abstract: Two-dimensional (2D) ferroelectric materials provide a promising platform for the electrical control of quantum states. In particular, due to their 2D nature, they are suitable for influencing the quantum states of deposited molecules via the proximity effect. Here, we report electrically controllable molecular states in phthalocyanine molecules adsorbed on monolayer ferroelectric material SnTe. In particular, we demonstrate that the strain and ferroelectric order in SnTe creates a transition between two distinct orbital orders in the adsorbed phthalocyanine molecules. By controlling the polarization of the ferroelectric domain using scanning tunneling microscopy (STM), we have successfully demonstrated that orbital order can be manipulated electrically. Our results show how ferroelastic coupling in 2D systems allows control of molecular states, providing a starting point for ferroelectrically switchable molecular orbital ordering and ultimately, electrical control of molecular magnetism.


title: On holonomy groupoid of vertex operator algebra bundles on foliations

abstract: For a foliation $\F$ defined on a smooth complex manifold $M$ we introduce the category of vertex operator algebra $V$ bundles with sections provided by vectors of elements of the space of algebraically extended $V$-module $W$-valued differentials. An intrinsic coordinate-independent formulation for such bundles is given. Finally, we identify the cohomology of the spaces of sections for a vertex operator algebra $V$ bundle with vertex operator algebra cohomology of the holonomy groupoid $Hol(M, \F)$.


title: Big Cohen-Macaulay test ideals in equal characteristic zero via ultraproducts

abstract: Utilizing ultraproducts, Schoutens constructed a big Cohen-Macaulay algebra $\mathcal{B}(R)$ over a local domain $R$ essentially of finite type over $\mathbb{C}$. We show that if $R$ is normal and $\Delta$ is an effective $\mathbb{Q}$-Weil divisor on $\operatorname{Spec} R$ such that $K_R+\Delta$ is $\mathbb{Q}$-Cartier, then the BCM test ideal $\tau_{\hat{\mathcal{B}(R)}}(\hat{R},\hat{\Delta})$ of $(\hat{R},\hat{\Delta})$ with respect to $\hat{\mathcal{B}(R)}$ coincides with the multiplier ideal $\mathcal{J}(\hat{R},\hat{\Delta})$ of $(\hat{R},\hat{\Delta})$, where $\hat{R}$ and $\hat{\mathcal{B}(R)}$ are the $\mathfrak{m}$-adic completions of $R$ and $\mathcal{B}(R)$, respectively, and $\hat{\Delta}$ is the flat pullback of $\Delta$ by the canonical morphism $\operatorname{Spec} \hat{R}\to \operatorname{Spec} R$. As an application, we obtain a result on the behavior of multiplier ideals under pure ring extensions.


title: A Statistical-Modelling Approach to Feedforward Neural Network Model Selection

abstract: Feedforward neural networks (FNNs) can be viewed as non-linear regression models, where covariates enter the model through a combination of weighted summations and non-linear functions. Although these models have some similarities to the approaches used within statistical modelling, the majority of neural network research has been conducted outside of the field of statistics. This has resulted in a lack of statistically-based methodology, and, in particular, there has been little emphasis on model parsimony. Determining the input layer structure is analogous to variable selection, while the structure for the hidden layer relates to model complexity. In practice, neural network model selection is often carried out by comparing models using out-of-sample performance. However, in contrast, the construction of an associated likelihood function opens the door to information-criteria-based variable and architecture selection. A novel model selection method, which performs both input- and hidden-node selection, is proposed using the Bayesian information criterion (BIC) for FNNs. The choice of BIC over out-of-sample performance as the model selection objective function leads to an increased probability of recovering the true model, while parsimoniously achieving favourable out-of-sample performance. Simulation studies are used to evaluate and justify the proposed method, and applications on real data are investigated.


title: Diffusion-aware voltage source: An equivalent circuit network to resolve lithium concentration gradients in active particles

abstract: Traditional equivalent circuit models (ECMs) have difficulties in estimating battery internal states due to the lack of relevant physics, such as the lithium diffusion in active particles. Here we configure a circuit network to describe the lithium diffusion and define it as a new high-level circuit element called diffusion-aware voltage source. The circuit representation is proven equivalent to the discretized diffusion equation. The new voltage source gives the electrode potential as a function of the surface concentration and thus automatically incorporates the diffusion overpotential. We show that an ECM with the proposed diffusion-aware voltage sources (called "shell ECM") can reproduce the single particle model simulation results, making it a trustworthy easy-to-implement substitute. Furthermore, the simplest shell ECM consisting of a single diffusion-aware voltage source and a resistor is validated against experimental constant-current discharges at various rates. The diffusion-aware voltage source can be used to measure diffusivity by fitting the diffusion resistance against experimental data. The viability of the shell ECM for onboard usage is confirmed by implementation into a battery management system of WAE Technologies. By tracking the internal concentration states, the shell ECM demonstrates robustness to dynamic applied-current profiles.


title: Improving saliency models' predictions of the next fixation with humans' intrinsic cost of gaze shifts

abstract: The human prioritization of image regions can be modeled in a time invariant fashion with saliency maps or sequentially with scanpath models. However, while both types of models have steadily improved on several benchmarks and datasets, there is still a considerable gap in predicting human gaze. Here, we leverage two recent developments to reduce this gap: theoretical analyses establishing a principled framework for predicting the next gaze target and the empirical measurement of the human cost for gaze switches independently of image content. We introduce an algorithm in the framework of sequential decision making, which converts any static saliency map into a sequence of dynamic history-dependent value maps, which are recomputed after each gaze shift. These maps are based on 1) a saliency map provided by an arbitrary saliency model, 2) the recently measured human cost function quantifying preferences in magnitude and direction of eye movements, and 3) a sequential exploration bonus, which changes with each subsequent gaze shift. The parameters of the spatial extent and temporal decay of this exploration bonus are estimated from human gaze data. The relative contributions of these three components were optimized on the MIT1003 dataset for the NSS score and are sufficient to significantly outperform predictions of the next gaze target on NSS and AUC scores for five state of the art saliency models on three image data sets. Thus, we provide an implementation of human gaze preferences, which can be used to improve arbitrary saliency models' predictions of humans' next gaze targets.


title: Regularization by noise for rough differential equations driven by Gaussian rough paths

abstract: We consider the rough differential equation with drift driven by a Gaussian geometric rough path. Under natural conditions on the rough path, namely non-determinism, and uniform ellipticity conditions on the diffusion coefficient, we prove path-by-path well-posedness of the equation for poorly regular drifts. In the case of the fractional Brownian motion $B^H$ for $H>\frac14$, we prove that the drift may be taken to be $\kappa>0$ H\"older continuous and bounded for $\kappa>\frac32 - \frac1{2H}$. A flow transform of the equation and Malliavin calculus for Gaussian rough paths are used to achieve such a result.


title: RoSSBi3D: a 3D and bi-fluid code for protoplanetary discs

abstract: The diversity of the structures recently observed in protoplanetary discs (PPDs) with the new generation of high-resolution instruments have made more acute the challenging questions that planet-formation models must answer. The challenge is in the theoretical side but also in the numerical one with the need to significantly improve the performances of the codes and to stretch the limit of PPD simulations. Multi-physics, fast, accurate, high-resolution, modular, and reliable 3D codes are needed to explore the mechanisms at work in PPDs and to try explaining the observed features. We present RoSSBi3D the 3D extension of the 2D code Rotating-System Simulations for Bi-fluids (RoSSBi) which was specifically developed to study the evolution of PPDs. This is a new code, even if based on the 2D version, that we describe in detail explaining its architecture and specificity but also its performances against test cases. This grid-based, FORTRAN code solves the fully compressible inviscid continuity, Euler and energy conservation equations for an ideal gas in non-homentropic conditions and for pressureless particles in a fluid approximation. It is a finite volume code which is second order in time and accounts for discontinuities thanks to an exact Riemann solver. The spatial scheme accounts for the equilibrium solution and is improved thanks to parabolic interpolation. The code is developed in 3D and structured for high-performance parallelism. The optimised version of the code works on high-performance computers with excellent scalability. We checked its reliability against a 2D analogue of the sod shock tube test and a series of tests. We release this code under the terms of the CeCILL2 Licence and make it publicly available.


title: An X-ray study of coronally connected active eclipsing binaries

abstract: We present a detailed X-ray analysis and imaging of stellar coronae of five coronally connected eclipsing binaries, namely, 44 Boo, DV Psc, ER Vul, XY UMa, and TX Cnc. Both components of these binaries are found to be active. The X-ray light curves of detached and semidetached type systems show eclipsed-like features, whereas no evidence for coronal eclipsing is shown by the contact type systems. The X-ray light curve of DV Psc shows the O'Connell-like effect where the first maximum is found to be brighter than that of the second. Results of the coronal imaging using three-dimensional deconvolution of X-ray light curves show the coronae of all these binaries are either in the contact or over-contact configuration, with the primary being 1.7 $-$ 4 times X-ray brighter than its companion. In the current sample, a minimum of 30$-$50 \% of total UV emission is found to originate from the photosphere and positively correlated with the X-ray emission. X-ray spectra of these systems are well explained by two-temperature plasma models. The temperature corresponding to cool and hot components of plasma are found to be in the ranges of 0.25$-$0.64 and 0.9$-$1.1 keV, respectively. For the majority of binaries in the sample, the phase-resolved X-ray spectral analysis shows the orbital modulation in X-ray luminosity and emission measure corresponding to the hot component. A total of seven flaring events are also detected in the four systems with the flare energy in the range of (1.95$-$27.0)$\times$10$^{33}$ erg and loop length of the order of 10$^{9-11}$ cm.


title: The $\!{}\bmod k$ chromatic index of random graphs

abstract: The $\!{}\bmod k$ chromatic index of a graph $G$ is the minimum number of colors needed to color the edges of $G$ in a way that the subgraph spanned by the edges of each color has all degrees congruent to $1\!\!\pmod k$. Recently, the authors proved that the $\!{}\bmod k$ chromatic index of every graph is at most $198k-101$, improving, for large $k$, a result of Scott [Discrete Math. 175, 1-3 (1997), 289-291]. Here we study the $\!{}\bmod k$ chromatic index of random graphs. We prove that for every integer $k\geq2$, there is $C_k>0$ such that if $p\geq C_kn^{-1}\log{n}$ and $n(1-p) \rightarrow\infty$ as $n\to\infty$, then the following holds: if $k$ is odd, then the $\!{}\bmod k$ chromatic index of $G(n,p)$ is asymptotically almost surely equal to $k$, while if $k$ is even, then the $\!{}\bmod k$ chromatic index of $G(2n,p)$ (respectively $G(2n+1,p)$) is asymptotically almost surely equal to $k$ (respectively $k+1$).


title: A hyperbolic lattice in each dimension with Zariski-dense surface subgroups

abstract: For each integer $n \geq 3$, we exhibit a nonuniform arithmetic lattice in $\mathrm{SO}(n,1)$ containing Zariski-dense surface subgroups.


title: Transmission-matrix Quantitative Phase Profilometry for Accurate and Fast Thickness Mapping of 2D Materials

abstract: The physical properties of two-dimensional (2D) materials may drastically vary with their thickness profiles. Current thickness profiling methods for 2D material (e.g., atomic force microscopy and ellipsometry) are limited in measurement throughput and accuracy. Here we present a novel high-speed and high-precision thickness profiling method, termed Transmission-Matrix Quantitative Phase Profilometry (TM-QPP). In TM-QPP, picometer-level optical pathlength sensitivity is enabled by extending the photon shot-noise limit of a high sensitivity common-path interferometric microscopy technique, while accurate thickness determination is realized by developing a transmission-matrix model that accounts for multiple refractions and reflections of light at sample interfaces. Using TM-QPP, the exact thickness profiles of monolayer and few-layered 2D materials (e.g., MoS2, MoSe2 and WSe2) are mapped over a wide field of view within seconds in a contact-free manner. Notably, TM-QPP is also capable of spatially resolving the number of layers of few-layered 2D materials.


title: Periodicity and Free Periodicity of Alternating Knots

abstract: A knot $K$ in $S^3$ is $q$-periodic if it admits a symmetry that is conjugate to a rotation of order $q$ of $S^3$. If $K$ admits a symmetry which is a homeomorphism without fixed point of period $q$ of $S^3$, then $K$ is called freely $q$-periodic. In a previous paper, we obtained, as a consequence of Flyping Theorem due to Menasco and Thislethwaite, that the $q$-periodicity with $q>2$ can be visualized in an alternating projection as a rotation of the projection sphere. In this paper, we show that the free $q$-action of an alternating knot can be represented on some alternating projection as a composition of a rotation of order $q$ with some flypes all occurring on the same twisted band diagram of its essential Conway decomposition. Therefore, for an alternating knot to be freely periodic, its essential decomposition must satisfy certain conditions. We show that any free or non-free $q$-action is somehow visible (virtually visible) and give some sufficient criteria to detect the existence of $q$-actions from virtually visible projections. Finally, we show how the Murasugi decomposition into atoms enables us to determine the visibility type $(q,r)$ of the freely $q$-periodic alternating knots ($(q,r)$-lens knots); in fact, we only need to focus on a certain atom of their Murasugi decomposition to deduce their visibility type.


title: A novel evaluation methodology for supervised Feature Ranking algorithms

abstract: Both in the domains of Feature Selection and Interpretable AI, there exists a desire to `rank' features based on their importance. Such feature importance rankings can then be used to either: (1) reduce the dataset size or (2) interpret the Machine Learning model. In the literature, however, such Feature Rankers are not evaluated in a systematic, consistent way. Many papers have a different way of arguing which feature importance ranker works best. This paper fills this gap, by proposing a new evaluation methodology. By making use of synthetic datasets, feature importance scores can be known beforehand, allowing more systematic evaluation. To facilitate large-scale experimentation using the new methodology, a benchmarking framework was built in Python, called fseval. The framework allows running experiments in parallel and distributed over machines on HPC systems. By integrating with an online platform called Weights and Biases, charts can be interactively explored on a live dashboard. The software was released as open-source software, and is published as a package on the PyPi platform. The research concludes by exploring one such large-scale experiment, to find the strengths and weaknesses of the participating algorithms, on many fronts.


title: A comparison theorem for steady Ricci solitons

abstract: We prove that a steady gradient Ricci soliton is either Ricci flat with a constant potential function or a quotient of the product steady soliton $N^{n-1}\times\mathbb{R}$, where $N^{n-1}$ is Ricci flat, or isometric to the Bryant soliton (up to scalings), provided that a couple of geometric conditions inspired by the cigar soliton hold. As an application, we prove that any complete non-compact steady Ricci soliton with positive Ricci curvature controlled by the scalar curvature $R$, curvature tensor $Rm$ satisfying $|Rm|r\to o(1)$ and $R\to\infty$, as $r\to\infty$, must be the Bryant soliton. Moreover, we prove that any complete steady soliton with positively pinched Ricci curvature must be Ricci flat.


title: Tangled vortex lines: dynamics, geometry and topology of quantum turbulence

abstract: Near absolute zero, superfluid liquid helium displays quantum properties at macroscopic length scales. One property, superfluidity, means flow with zero viscosity. Another property, the existence of a complex wavefunction, constrains the rotation to thin, discrete vortex lines carrying one quantum of circulation each. Therefore, if liquid helium is stirred, it becomes turbulent, but in a peculiar way: it is a state of turbulence consisting of a tangle of quantised vortex lines in a fluid without viscosity. Surprisingly, this disordered state, which I called quantum turbulence years ago, shares many properties with ordinary turbulence as it represents its essential skeleton. These lectures attempt to relate the dynamics, the geometry and the topology of quantum turbulence. Although recently much progress has been made, there are still many open questions. Some of the methods which have been used and are described here (e.g. the smoothed vorticity, the use of crossing numbers) have a scope which clearly goes beyond the fascinating problem of turbulence near absolute zero.


title: Fuzzy Clustering by Hyperbolic Smoothing

abstract: We propose a novel method for building fuzzy clusters of large data sets, using a smoothing numerical approach. The usual sum-of-squares criterion is relaxed so the search for good fuzzy partitions is made on a continuous space, rather than a combinatorial space as in classical methods \cite{Hartigan}. The smoothing allows a conversion from a strongly non-differentiable problem into differentiable subproblems of optimization without constraints of low dimension, by using a differentiable function of infinite class. For the implementation of the algorithm we used the statistical software $R$ and the results obtained were compared to the traditional fuzzy $C$--means method, proposed by Bezdek.


title: Schizophrenia detection based on EEG using Recurrent Auto-Encoder framework

abstract: Schizophrenia (SZ) is a serious mental disorder that could seriously affect the patient's quality of life. In recent years, detection of SZ based on deep learning (DL) using electroencephalogram (EEG) has received increasing attention. In this paper, we proposed an end-to-end recurrent auto-encoder (RAE) model to detect SZ. In the RAE model, the raw data was input into one auto-encoder block, and the reconstructed data were recurrently input into the same block. The extracted code by auto-encoder block was simultaneously served as an input of a classifier block to discriminate SZ patients from healthy controls (HC). Evaluated on the dataset containing 14 SZ patients and 14 HC subjects, and the proposed method achieved an average classification accuracy of 81.81% in subject-independent experiment scenario. This study demonstrated that the structure of RAE is able to capture the differential features between SZ patients and HC subjects.


title: Efficient Depth Selection for the Implementation of Noisy Quantum Approximate Optimization Algorithm

abstract: Noise on near-term quantum devices will inevitably limit the performance of Quantum Approximate Optimization Algorithm (QAOA). One significant consequence is that the performance of QAOA may fail to monotonically improve with depth. In particular, optimal depth can be found at a certain point where the noise effects just outweigh the benefits brought by increasing the depth. In this work, we propose to use the model selection algorithm to identify the optimal depth with a few iterations of regularization parameters. Numerical experiments show that the algorithm can efficiently locate the optimal depth under relaxation and dephasing noises.


title: Microwave Chirality Imaging for the Early Diagnosis of Neurological Degenerative Diseases

abstract: We propose a system to visualize the chirality of the protein in brains, which would be helpful to diagnose early neurological degenerative diseases in vivo. These neurological degenerative diseases often occur along with some mark proteins. By nanoparticle instilling and metamaterial technique, the chiral effect of the mark proteins is assumed to be manifest in microwave regime. Therefore, by detecting the transmission of cross-polarization, we could detect the chirality that rotates the microwave polarization angle. We developed a numerical method to simulate the electromagnetic response upon chiral (bi-isotropic) material. Then a numerical experiment was conduct with a numerical head phantom. A map of cross-polarized transmission magnitude can be reached by sweeping the antenna pair. The imaging results matches well with the distribution of chiral materials. It suggests that the proposed method would be capable of in vivo imaging of neurological degenerative disease using microwaves.


title: Optimization in complex spaces with the Mixed Newton Method

abstract: We propose a second-order method for unconditional minimization of functions $f(z)$ of complex arguments. We call it the Mixed Newton Method due to the use of the mixed Wirtinger derivative $\frac{\partial^2f}{\partial\bar z\partial z}$ for computation of the search direction, as opposed to the full Hessian $\frac{\partial^2f}{\partial(z,\bar z)^2}$ in the classical Newton method. The method has been developed for specific applications in wireless network communications, but its global convergence properties are shown to be superior on a more general class of functions $f$, namely sums of squares of absolute values of holomorphic functions. In particular, for such objective functions minima are surrounded by attraction basins, while the iterates are repelled from other types of critical points. We provide formulas for the asymptotic convergence rate and show that in the scalar case the method reduces to the well-known complex Newton method for the search of zeros of holomorphic functions. In this case, it exhibits generically fractal global convergence patterns.


title: Rank-Enhanced Low-Dimensional Convolution Set for Hyperspectral Image Denoising

abstract: This paper tackles the challenging problem of hyperspectral (HS) image denoising. Unlike existing deep learning-based methods usually adopting complicated network architectures or empirically stacking off-the-shelf modules to pursue performance improvement, we focus on the efficient and effective feature extraction manner for capturing the high-dimensional characteristics of HS images. To be specific, based on the theoretical analysis that increasing the rank of the matrix formed by the unfolded convolutional kernels can promote feature diversity, we propose rank-enhanced low-dimensional convolution set (Re-ConvSet), which separately performs 1-D convolution along the three dimensions of an HS image side-by-side, and then aggregates the resulting spatial-spectral embeddings via a learnable compression layer. Re-ConvSet not only learns the diverse spatial-spectral features of HS images, but also reduces the parameters and complexity of the network. We then incorporate Re-ConvSet into the widely-used U-Net architecture to construct an HS image denoising method. Surprisingly, we observe such a concise framework outperforms the most recent method to a large extent in terms of quantitative metrics, visual results, and efficiency. We believe our work may shed light on deep learning-based HS image processing and analysis.


title: Single Pulse Dispersion Measure of the Crab Pulsar

abstract: We investigate the use of bright single pulses from the Crab pulsar to determine separately the dispersion measure (DM) for the Main Pulse and Interpulse components. We develop two approaches using cross correlation functions (CCFs). The first method computes the CCF of the total intensity of each of 64 frequency channels with a reference channel and converts the time lag of maximum correlation into a DM. The second method separately computes the CCF between every pair of channels for each individual bright pulse and extracts an average DM from the distribution of all channel-pair DMs. Both methods allow the determination of the DM with a relative uncertainty of better than 10^-5 and provide robust estimates for the uncertainty of the best-fit value. We find differences in DM between the Main Pulse, the Low Frequency Interpulse, and the High Frequency Interpulse using both methods in a frequency range from 4 to 6 GHz. Earlier observations of the High Frequency Interpulse carried out by Hankins et al. (2016) resulted in DM_HFIP-DM_MP of 0.010 +- 0.016 pc cm^-3. Our results indicate a DM_HFIP-DM_MP of 0.0127 +- 0.0011 pc cm^-3 (with DM_comp being the DM value of the respective emission component), confirming earlier results with an independent method. During our studies we also find a relation between the brightness of single pulses in the High Frequency Interpulse and their DM. We also discuss the application of the developed methods on the identification of substructures in the case of Fast Radio Bursts.


title: Cell-average based neural network method for high dimensional parabolic differential equations

abstract: In this paper, we introduce cell-average based neural network (CANN) method to solve high-dimensional parabolic partial differential equations. The method is based on the integral or weak formulation of partial differential equations. A feedforward network is considered to train the solution average of cells in neighboring time. Initial values and approximate solution at $t=\Delta t$ obtained by high order numerical method are taken as the inputs and outputs of network, respectively. We use supervised training combined with a simple backpropagation algorithm to train the network parameters. We find that the neural network has been trained to optimality for high-dimensional problems, the CFL condition is not strictly limited for CANN method and the trained network is used to solve the same problem with different initial values. For the high-dimensional parabolic equations, the convergence is observed and the errors are shown related to spatial mesh size but independent of time step size.


title: Ice Age : Chemo-dynamical modeling of Cha-MMS1 to predict new solid-phase species for detection with JWST

abstract: Chemical models and experiments indicate that interstellar dust grains and their ice mantles play an important role in the production of complex organic molecules (COMs). To date, the most complex solid-phase molecule detected with certainty in the ISM is methanol, but the James Webb Space Telescope (JWST) may be able to identify still larger organic species. In this study, we use a coupled chemo-dynamical model to predict new candidate species for JWST detection toward the young star-forming core Cha-MMS1, combining the gas-grain chemical kinetic code MAGICKAL with a 1-D radiative hydrodynamics simulation using Athena++. With this model, the relative abundances of the main ice constituents with respect to water toward the core center match well with typical observational values, providing a firm basis to explore the ice chemistry. Six oxygen-bearing COMs (ethanol, dimethyl ether, acetaldehyde, methyl formate, methoxy methanol, and acetic acid), as well as formic acid, show abundances as high as, or exceeding, 0.01% with respect to water ice. Based on the modeled ice composition, the infrared spectrum is synthesized to diagnose the detectability of the new ice species. The contribution of COMs to IR absorption bands is minor compared to the main ice constituents, and the identification of COM ice toward the core center of Cha-MMS1 with the JWST NIRCAM/Wide Field Slitless Spectroscopy (2.4-5.0 micron) may be unlikely. However, MIRI observations (5-28 micron) toward COM-rich environments where solid-phase COM abundances exceed 1% with respect to the water ice column density might reveal the distinctive ice features of COMs.


title: Sequences of point blow-ups from a combinatorial point of view

abstract: We define equivalence relations for both sequences of point blow-ups of smooth d-dimensional projective varieties and for associated sequential morphisms and we prove that there exists a bijection between the respective equivalence classes of sequences of point blow-ups and the associated sequential morphisms. Moreover we show some diferences when dealing with the more general case of sequences of blow-ups of smooth 3-dimensional projective varieties, where all possible dimensions for the centers are allowed.


title: The origin of elements: the need for UV spectra

abstract: Thanks to the long-term collaborations between nuclear and astrophysics, we have good understanding on stellar nucleosynthesis, except for the elements around Ti and some neutron-capture elements. From the comparison between observations and Galactic chemical evolution models, it is necessary to have the rapid neutron-capture process associated with core-collapse supernovae, although the explosion mechanism is unknown. The impact of rotating massive stars is also shown in this paper. Many of the key elements can be exclusively obtained in the UV, and therefore without UV spectra it would not be possible to fully understand the origin of elements in the universe.

categories: astro-ph.SR astro-ph.GA astro-ph.IM nucl-th


title: Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes

abstract: Backward reachability analysis is essential to synthesizing controllers that ensure the correctness of closed-loop systems. This paper is concerned with developing scalable algorithms that under-approximate the backward reachable sets, for discrete-time uncertain linear and nonlinear systems. Our algorithm sequentially linearizes the dynamics, and uses constrained zonotopes for set representation and computation. The main technical ingredient of our algorithm is an efficient way to under-approximate the Minkowski difference between a constrained zonotopic minuend and a zonotopic subtrahend, which consists of all possible values of the uncertainties and the linearization error. This Minkowski difference needs to be represented as a constrained zonotope to enable subsequent computation, but, as we show, it is impossible to find a polynomial-sized representation for it in polynomial time. Our algorithm finds a polynomial-sized under-approximation in polynomial time. We further analyze the conservatism of this under-approximation technique, and show that it is exact under some conditions. Based on the developed Minkowski difference technique, we detail two backward reachable set computation algorithms to control the linearization error and incorporate nonconvex state constraints. Several examples illustrate the effectiveness of our algorithms.


title: Scheduling Versus Contention for Massive Random Access in Massive MIMO Systems

abstract: Massive machine-type communications protocols have typically been designed under the assumption that coordination between users requires significant communication overhead and is thus impractical. Recent progress in efficient activity detection and collision-free scheduling, however, indicates that the cost of coordination can be much less than the naive scheme for scheduling. This work considers a scenario in which a massive number of devices with sporadic traffic seek to access a massive multiple-input multiple-output (MIMO) base-station (BS) and explores an approach in which device activity detection is followed by a single common feedback broadcast message, which is used both to schedule the active users to different transmission slots and to assign orthogonal pilots to the users for channel estimation. The proposed coordinated communication scheme is compared to two prevalent contention-based schemes: coded pilot access, which is based on the principle of coded slotted ALOHA, and an approximate message passing scheme for joint user activity detection and channel estimation. Numerical results indicate that scheduled massive access provides significant gains in the number of successful transmissions per slot and in sum rate, due to the reduced interference, at only a small cost of feedback.


title: Path Dependent McKean-Vlasov SDEs with H\"{o}lder Continuous Diffusion

abstract: In this paper, the well-posedness for one-dimensional path dependent McKean-Vlasov SDEs with $\alpha$($\alpha\geq \frac{1}{2}$)-H\"{o}lder continuous diffusion is investigated. Moreover, the associated quantitative propagation of chaos in the sense of Wasserstein distance, total variation distance as well as relative entropy is studied.


title: Some algebraic surfaces with canonical map of degree 10, 12, 14

abstract: Surfaces of general type with canonical map of degree d bigger than 8 have bounded geometric genus and irregularity. In particular the irregularity is at most 2 if d>= 10. In the present paper, the existence of surfaces with d=10 and all possible irregularities, surfaces with d = 12 and irregularity 1 and 2, and surfaces with d = 14 and irregularity 0 and 1 is proven, by constructing these surfaces as $ \mathbb{Z}_2^3 $-covers of certain rational surfaces. These results together with the construction by C. Rito of a surface with d=12 and irregularity 0 show that all the possibilities for the irregularity in the cases d=10, d=12 can occur, whilst the existence of a surface with d=14 and irregularity 2 is still an open problem.


title: Success of Social Inequality Measures in Predicting Critical or Failure Points in Some Models of Physical Systems

abstract: Statistical physicists and social scientists both study extensively some characteristic features of the unequal distributions of energy, cluster or avalanche sizes and of income, wealth etc among the particles (or sites) and population respectively. While physicists concentrate on the self-similar (fractal) structure (and the characteristic exponents) of the largest (percolating) cluster or avalanche, social scientists study the inequality indices like Gini and Kolkata etc given by the non-linearity of the Lorenz function representing the cumulative fraction of the wealth possessed by different fraction of the population. We review here, using results from earlier publications and some new numerical as well as analytical results, how the above-mentioned social inequality indices, when extracted from the unequal distributions of energy (in kinetic exchange models), cluster sizes (in percolation models) or avalanche sizes (in self-organized critical or fiber bundle models) can help in a major way in providing precursor signals for an approaching critical point or imminent failure point. Extensive numerical and some analytical results have been discussed.


title: Optimal policies for Bayesian olfactory search in turbulent flows

abstract: In many practical scenarios, a flying insect must search for the source of an emitted cue which is advected by the atmospheric wind. On the macroscopic scales of interest, turbulence tends to mix the cue into patches of relatively high concentration over a background of very low concentration, so that the insect will only detect the cue intermittently and cannot rely on chemotactic strategies which simply climb the concentration gradient. In this work, we cast this search problem in the language of a partially observable Markov decision process (POMDP) and use the Perseus algorithm to compute strategies that are near-optimal with respect to the arrival time. We test the computed strategies on a large two-dimensional grid, present the resulting trajectories and arrival time statistics, and compare these to the corresponding results for several heuristic strategies, including (space-aware) infotaxis, Thompson sampling, and QMDP. We find that the near-optimal policy found by our implementation of Perseus outperforms all heuristics we test by several measures. We use the near-optimal policy to study how the search difficulty depends on the starting location. We discuss additionally the choice of initial belief and the robustness of the policies to changes in the environment. Finally, we present a detailed and pedagogical discussion about the implementation of the Perseus algorithm, including the benefits -- and pitfalls -- of employing a reward shaping function.

categories: physics.flu-dyn cs.CE nlin.CD physics.bio-ph


title: On energy functionals for second-order elliptic systems with constant coefficients

abstract: We consider the Dirichlet problem for second-order elliptic systems with constant coefficients. We prove that non-reducible strongly elliptic systems of this type do not admits non-negatively defined energy functionals of the form $f\mapsto\int_{D}\varPhi(u_x,v_x,u_y,v_y)\,dxdy$, where $D$ is the domain where the problem we are interested in is considered, $\varPhi$ is some quadratic form in $\mathbb R^4$, and $f=u+iv$ is a function in the complex variable. The proof is based on reducing the system under consideration to a special (canonical) form, when the differential operator defining this system is represented as a perturbation of the Laplace operator with respect to two small real parameters (the canonical parameters of the system under consideration).


title: General Relativity versus Dark Matter for rotating galaxies

abstract: A very general class of axially-symmetric metrics in general relativity (GR) that includes rotations is used to discuss the dynamics of rotationally-supported galaxies. The exact vacuum solutions of the Einstein equations for this extended Weyl class of metrics allow us to deduce rigorously the following: (i) GR rotational velocity always exceeds the Newtonian velocity (thanks to Lenz's law in GR); (ii) A non-vanishing intrinsic angular momentum ($J$) for a galaxy demands the asymptotic constancy of the Weyl (vectorial) length parameter ($a$) -a behavior identical to that found for the Kerr metric; (iii) Asymptotic constancy of the same parameter $a$ also demands a plateau in the rotational velocity. Unlike the Kerr metric, the extended Weyl metric can and has been continued within the galaxy and it has been shown under what conditions Gau\ss\ \&\ Amp\'ere laws emerge along with Ludwig's extended GEM theory with its attendant non-linear rate equations for the velocity field. Better estimates (than that from the Newtonian theory) for the escape velocity of the Sun and a reasonable rotation curve \&\ $J$ for our own galaxy has been presented.


title: Polynomial Dedekind domains with finite residue fields of prime characteristic

abstract: We show that every Dedekind domain $R$ lying between the polynomial rings $\mathbb Z[X]$ and $\mathbb Q[X]$ with the property that its residue fields of prime characteristic are finite fields is equal to a generalized ring of integer-valued polynomials, that is, for each prime $p\in\mathbb Z$ there exists a finite subset $E_p$ of transcendental elements over $\mathbb Q$ in the absolute integral closure $\overline{\mathbb Z_p}$ of the ring of $p$-adic integers such that $R=\{f\in\mathbb Q[X]\mid f(E_p)\subseteq \overline{\mathbb Z_p}, \forall \text{ prime }p\in\mathbb Z\}$. Moreover, we prove that the class group of $R$ is isomorphic to a direct sum of a countable family of finitely generated abelian groups. Conversely, any group of this kind is the class group of a Dedekind domain $R$ between $\mathbb Z[X]$ and $\mathbb Q[X]$.


title: Blaschke-Santal\'o type inequalities and quermassintegral inequalities in space forms

abstract: In this paper, we prove a family of identities for closed and strictly convex hypersurfaces in the sphere and hyperbolic/de Sitter space. As applications, we prove Blaschke-Santal\'o type inequalities in the sphere and hyperbolic/de Sitter space, which generalizes the previous work of Gao, Hug and Schneider \cite{GHS03}. We also prove the quermassintegral inequalities in hyperbolic/de Sitter space.


title: Experimental Observation and Description of Bandgaps Opening in Chiral Phononic Crystals by Analogy with Thomson scattering

abstract: Chiral phononic crystals provide unique properties not offered by conventional phononic material based on Bragg scattering and local resonance. However, it is insufficient to only consider the inertial amplification effect in chiral phononic crystals. Here, we theoretically and experimentally introduce the analogy with Thomson scattering to characterize the bandgap phenomena in chiral phononic crystals. Two phononic structures are proposed and discussed, one with translationrotation coupling and another with translation-translation coupling. The two lattices are different in appearance but have similar bandgaps. Thomson scattering in electromagnetic waves was drawn on to describe the coupling motion of the unit cells. We evidence that the bandgap generation is essentially based on the analogous Thomson scattering aiming to achieve an anti-phase superposition of the waves in the same polarization mode. This finding sheds new light on the physics of the elastodynamic wave manipulation in chiral phononic crystals and opens a remarkable route for their pragmatic implementation.


title: Development of a new high-speed data acquisition system prototype for SOI pixel detector using SiTCP-XG, a 10-gigabit Ethernet network processor

abstract: We are developing a new readout board with a newer generation field-programmable gate array (FPGA) and the 10-gigabit ethernet to improve the performance and usability of the current readout board based on the 1-gigabit Ethernet. In this new readout board, the SiTCP-XG network processor supporting 10-gigabit Ethernet was implemented. SiTCP is a network processor circuit running on FPGA, and SiTCP-XG is the newly developed version of the SiTCP that supports 10-gigabit Ethernet. Before developing the new board, we constructed a prototype system using the Xilinx FPGA evaluation board KC705 to evaluate the SiTCP-XG. This prototype system was tested with the SOI pixel detector, which has 425,984 (column 832 x row 512 matrix) pixels and a pixel size of 17 x 17 um at the synchrotron beamlines of the PhotonFactory (KEK). This was the first test of the X-ray imaging for this system. The results showed that this system worked stably with a transfer rate of 682 Mbps (equivalent to a frame rate of 100 fps, limited by detector operation parameters), and also worked stably with a transfer rate of 2.4 Gbps (equivalent to 350 fps, the maximum rate limited by the detector performance). These results suggest that the SiTCP-XG system has sufficient transfer performance to cover the SOIPIX detector performance.


title: How Do Drivers Self-Regulate their Secondary Task Engagements? The Effect of Driving Automation on Touchscreen Interactions and Glance Behavior

abstract: With ever-improving driver assistance systems and large touchscreens becoming the main in-vehicle interface, drivers are more tempted than ever to engage in distracting non-driving-related tasks. However, little research exists on how driving automation affects drivers' self-regulation when interacting with center stack touchscreens. To investigate this, we employ multilevel models on a real-world driving dataset consisting of 10,139 sequences. Our results show significant differences in drivers' interaction and glance behavior in response to varying levels of driving automation, vehicle speed, and road curvature. During partially automated driving, drivers are not only more likely to engage in secondary touchscreen tasks, but their mean glance duration toward the touchscreen also increases by 12% (Level 1) and 20% (Level 2) compared to manual driving. We further show that the effect of driving automation on drivers' self-regulation is larger than that of vehicle speed and road curvature. The derived knowledge can facilitate the safety evaluation of infotainment systems and the development of context-aware driver monitoring systems.


title: A Closer Look into Transformer-Based Code Intelligence Through Code Transformation: Challenges and Opportunities

abstract: Transformer-based models have demonstrated state-of-the-art performance in many intelligent coding tasks such as code comment generation and code completion. Previous studies show that deep learning models are sensitive to the input variations, but few studies have systematically studied the robustness of Transformer under perturbed input code. In this work, we empirically study the effect of semantic-preserving code transformation on the performance of Transformer. Specifically, 24 and 27 code transformation strategies are implemented for two popular programming languages, Java and Python, respectively. For facilitating analysis, the strategies are grouped into five categories: block transformation, insertion/deletion transformation, grammatical statement transformation, grammatical token transformation, and identifier transformation. Experiments on three popular code intelligence tasks, including code completion, code summarization and code search, demonstrate insertion/deletion transformation and identifier transformation show the greatest impact on the performance of Transformer. Our results also suggest that Transformer based on abstract syntax trees (ASTs) shows more robust performance than the model based on only code sequence under most code transformations. Besides, the design of positional encoding can impact the robustness of Transformer under code transformation. Based on our findings, we distill some insights about the challenges and opportunities for Transformer-based code intelligence.


title: Fundamental asymmetries between spatial and temporal boundaries in electromagnetics

abstract: Time-varying materials bring an extra degree of design freedom compared to their conventional time-invariant counterparts. However, few discussions have focused on the underlying physical difference between spatial and temporal boundaries. In this letter, we thoroughly investigate those differences from the perspective of conservation laws. By doing so, the building blocks of optics and electromagnetics such as the reflection law, Snell's law, and Fresnel's equations can be analogously derived in a temporal context, but with completely different interpretations. Furthermore, we study the unique features of temporal boundaries, such as their nonconformance to energy conservation and causality.


title: Imaging the itinerant-to-localized transmutation of electrons across the metal-to-insulator transition in V$_2$O$_3$

abstract: In solids, strong repulsion between electrons can inhibit their movement and result in a "Mott" metal-to-insulator transition (MIT), a fundamental phenomenon whose understanding has remained a challenge for over 50 years. A key issue is how the wave-like itinerant electrons change into a localized-like state due to increased interactions. However, observing the MIT in terms of the energy- and momentum-resolved electronic structure of the system, the only direct way to probe both itinerant and localized states, has been elusive. Here we show, using angle-resolved photoemission spectroscopy (ARPES), that in V$_2$O$_3$ the temperature-induced MIT is characterized by the progressive disappearance of its itinerant conduction band, without any change in its energy-momentum dispersion, and the simultaneous shift to larger binding energies of a quasi-localized state initially located near the Fermi level.


title: Analytical analysis of the origin of core-cusp matter density distributions in galaxies

abstract: We propose an analytical method to describe a matter density profile near a galaxy center. The description is based on the study of the distribution function of particles over possible trajectories. We establish a relation between the central slope of density profile and the near-origin behavior of the angular momentum distribution function. We consider both a spherically symmetric (on average) matter distribution as well as deviations from it. If the density profile forms in a background of spherical gravitation potential then a core-type distribution arises. A regular matter may behave in such way if the background potential was formed by the dark matter. In the presence of deviation from spherical symmetry the formation of cusp-type distribution is possible. Moreover, a reduction of spherical symmetry to the axial one leads to a less steep cusp profile. The complete symmetry breaking (which corresponds, in particular, to the common setup of numerical simulations), leads to a steeper cusp profile.


title: Bit complexity for computing one point in each connected component of a smooth real algebraic set

abstract: We analyze the bit complexity of an algorithm for the computation of at least one point in each connected component of a smooth real algebraic set. This work is a continuation of our analysis of the hypersurface case (On the bit complexity of finding points in connected components of a smooth real hypersurface, ISSAC'20). In this paper, we extend the analysis to more general cases. Let $F=(f_1,..., f_p)$ in $\mathbb{Z}[X_1, ... , X_n]^p$ be a sequence of polynomials with $V = V(F) \subset \mathbb{C}^n$ a smooth and equidimensional variety and $\langle F \rangle \subset \mathbb{C}[X_1, ..., X_n]$ a radical ideal. To compute at least one point in each connected component of $V \cap \mathbb{R}^n$, our starting point is an algorithm by Safey El Din and Schost (Polar varieties and computation of one point in each connected component of a smooth real algebraic set, ISSAC'03). This algorithm uses random changes of variables that are proven to generically ensure certain desirable geometric properties. The cost of the algorithm was given in an algebraic complexity model; here, we analyze the bit complexity and the error probability, and we provide a quantitative analysis of the genericity statements. In particular, we are led to use Lagrange systems to describe polar varieties, as they make it simpler to rely on techniques such as weak transversality and an effective Nullstellensatz.


title: Robust Observer Design for Polytopic Discrete-Time Nonlinear Descriptor Systems

abstract: This paper considers the design of robust state observers for a class of slope-restricted nonlinear descriptor systems with unknown time-varying parameters belonging to a known set. The proposed design accounts for process disturbances and measurement noise, while allowing for a trade-off between transient performance and sensitivity to noise and parameter mismatch. We exploit a polytopic structure of the system to derive linear-matrix-inequality-based synthesis conditions for robust parameter-dependent observers for the entire parameter set. In addition, we present (alternative) necessary and sufficient synthesis conditions for an important subclass within the considered class of systems and we show the effectiveness of the design for a numerical case study.


title: Randomized Douglas-Rachford methods for linear systems: Improved accuracy and efficiency

abstract: The Douglas-Rachford (DR) method is a widely used method for finding a point in the intersection of two closed convex sets (feasibility problem). However, the method converges weakly and the associated rate of convergence is hard to analyze in general. In addition, the direct extension of the DR method for solving more-than-two-sets feasibility problems, called the $r$-sets-DR method, is not necessarily convergent. To improve the efficiency of the optimization algorithms, the introduction of randomization and the momentum technique has attracted increasing attention. In this paper, we propose the randomized $r$-sets-DR (RrDR) method for solving the feasibility problem derived from linear systems, showing the benefit of the randomization as it brings linear convergence in expectation to the otherwise divergent $r$-sets-DR method. Furthermore, the convergence rate does not depend on the dimension of the coefficient matrix. We also study RrDR with heavy ball momentum and establish its accelerated rate. Numerical experiments are provided to confirm our results and demonstrate the notable improvements in accuracy and efficiency of the DR method, brought by the randomization and the momentum technique.


title: Multimodal Image Registration of Raman Spectral Maps in Two Dimensional Materials by Strain and Doping Analysis

abstract: It is common to measure a single sample using multiple different microscopy methods that have variable scales, rotation and translation. Registering hyperspectral images of two dimensional materials is particularly difficult due to the lack of keypoints on unprepared substrates. Identifying variations in the strain of these samples can assist in the registration of these samples by creating keypoints to correlate images. Registration of these images allow for multimodal analysis from these various instruments by aligning multiple images into a single coordinate space. This is done by Hough transformations and arbitrary resolution definitions to generate a new coordinate frame where spatial information may be preserved and correlated on a pixel by pixel basis. Such multimodal image alignment may be used to correlate data from various instruments. Strain information is extracted from the Raman spectra and the resulting hyperspectral image is used to register the Raman information with the other modes of microscopy.


title: Attention and Self-Attention in Random Forests

abstract: New models of random forests jointly using the attention and self-attention mechanisms are proposed for solving the regression problem. The models can be regarded as extensions of the attention-based random forest whose idea stems from applying a combination of the Nadaraya-Watson kernel regression and the Huber's contamination model to random forests. The self-attention aims to capture dependencies of the tree predictions and to remove noise or anomalous predictions in the random forest. The self-attention module is trained jointly with the attention module for computing weights. It is shown that the training process of attention weights is reduced to solving a single quadratic or linear optimization problem. Three modifications of the general approach are proposed and compared. A specific multi-head self-attention for the random forest is also considered. Heads of the self-attention are obtained by changing its tuning parameters including the kernel parameters and the contamination parameter of models. Numerical experiments with various datasets illustrate the proposed models and show that the supplement of the self-attention improves the model performance for many datasets.


title: Reidemeister classes in some wreath products by $\mathbb Z^k$

abstract: Among restricted wreath products $G\wr \mathbb Z^k $, where $G$ is a finite Abelian group, we find three large classes of groups admitting an automorphism $\varphi$ with finite Reidemeister number $R(\varphi)$ (number of $\varphi$-twisted conjugacy classes). In other words, groups from these classes do not have the $R_\infty$ property. If a general automorphism $\varphi$ of $G\wr \mathbb Z^k$ has a finite order (this is the case for $\varphi$ detected in the first part of the paper) and $R(\varphi)<\infty$, we prove that $R(\varphi)$ coincides with the number of equivalence classes of finite-dimensional irreducible unitary representations of $G\wr \mathbb Z^k$, which are fixed by the dual map $[\rho]\mapsto [\rho\circ \varphi]$ (i.e. we prove the conjecture about finite twisted Burnside-Frobenius theorem, TBFT$_f$, for these $\varphi$).


title: Explainable AI (XAI) in Biomedical Signal and Image Processing: Promises and Challenges

abstract: Artificial intelligence has become pervasive across disciplines and fields, and biomedical image and signal processing is no exception. The growing and widespread interest on the topic has triggered a vast research activity that is reflected in an exponential research effort. Through study of massive and diverse biomedical data, machine and deep learning models have revolutionized various tasks such as modeling, segmentation, registration, classification and synthesis, outperforming traditional techniques. However, the difficulty in translating the results into biologically/clinically interpretable information is preventing their full exploitation in the field. Explainable AI (XAI) attempts to fill this translational gap by providing means to make the models interpretable and providing explanations. Different solutions have been proposed so far and are gaining increasing interest from the community. This paper aims at providing an overview on XAI in biomedical data processing and points to an upcoming Special Issue on Deep Learning in Biomedical Image and Signal Processing of the IEEE Signal Processing Magazine that is going to appear in March 2022.


title: TensorIR: An Abstraction for Automatic Tensorized Program Optimization

abstract: Deploying deep learning models on various devices has become an important topic. The wave of hardware specialization brings a diverse set of acceleration primitives for multi-dimensional tensor computations. These new acceleration primitives, along with the emerging machine learning models, bring tremendous engineering challenges. In this paper, we present TensorIR, a compiler abstraction for optimizing programs with these tensor computation primitives. TensorIR generalizes the loop nest representation used in existing machine learning compilers to bring tensor computation as the first-class citizen. Finally, we build an end-to-end framework on top of our abstraction to automatically optimize deep learning models for given tensor computation primitives. Experimental results show that TensorIR compilation automatically uses the tensor computation primitives for given hardware backends and delivers performance that is competitive to state-of-art hand-optimized systems across platforms.


title: SHDM-NET: Heat Map Detail Guidance with Image Matting for Industrial Weld Semantic Segmentation Network

abstract: In actual industrial production, the assessment of the steel plate welding effect is an important task, and the segmentation of the weld section is the basis of the assessment. This paper proposes an industrial weld segmentation network based on a deep learning semantic segmentation algorithm fused with heatmap detail guidance and Image Matting to solve the automatic segmentation problem of weld regions. In the existing semantic segmentation networks, the boundary information can be preserved by fusing the features of both high-level and low-level layers. However, this method can lead to insufficient expression of the spatial information in the low-level layer, resulting in inaccurate segmentation boundary positioning. We propose a detailed guidance module based on heatmaps to fully express the segmented region boundary information in the low-level network to address this problem. Specifically, the expression of boundary information can be enhanced by adding a detailed branch to predict segmented boundary and then matching it with the boundary heat map generated by mask labels to calculate the mean square error loss. In addition, although deep learning has achieved great success in the field of semantic segmentation, the precision of the segmentation boundary region is not high due to the loss of detailed information caused by the classical segmentation network in the process of encoding and decoding process. This paper introduces a matting algorithm to calibrate the boundary of the segmentation region of the semantic segmentation network to solve this problem. Through many experiments on industrial weld data sets, the effectiveness of our method is demonstrated, and the MIOU reaches 97.93%. It is worth noting that this performance is comparable to human manual segmentation ( MIOU 97.96%).


title: Mild solutions and spacetime integral bounds for Stokes and Navier-Stokes flows in Wiener amalgam spaces

abstract: We first prove decay estimates and spacetime integral bounds for Stokes flows in amalgam spaces $E^r_q$ which connect the classical Lebesgue spaces to the spaces of uniformly locally $r$-integrable functions. Using these estimates, we construct mild solutions of the Navier-Stokes equations in the amalgam spaces satisfying the corresponding spacetime integral bounds. Time-global solutions are constructed for small data in $E^3_q$, $1\le q \le 3$. Our results provide new bounds for the strong solutions classically constructed by Kato and the more recent solutions in uniformly local spaces constructed by Maekawa and Terasawa. As an application we obtain a result on the stability of suitability for weak solutions to the perturbed Navier-Stokes equation where the drift velocity solves the Navier-Stokes equations and has small data in a local $L^3$ class. Extending an earlier result, we also construct global-in-time local energy weak solutions in $E^2_q$, $1\le q <2$.


title: Model diagnostics of discrete data regression: a unifying framework using functional residuals

abstract: Model diagnostics is an indispensable component of regression analysis, yet it is not well addressed in standard textbooks on generalized linear models. The lack of exposition is attributed to the fact that when outcome data are discrete, classical methods (e.g., Pearson/deviance residual analysis and goodness-of-fit tests) have limited utility in model diagnostics and treatment. This paper establishes a novel framework for model diagnostics of discrete data regression. Unlike the literature defining a single-valued quantity as the residual, we propose to use a function as a vehicle to retain the residual information. In the presence of discreteness, we show that such a functional residual is appropriate for summarizing the residual randomness that cannot be captured by the structural part of the model. We establish its theoretical properties, which leads to the innovation of new diagnostic tools including the functional-residual-vs covariate plot and Function-to-Function (Fn-Fn) plot. Our numerical studies demonstrate that the use of these tools can reveal a variety of model misspecifications, such as not properly including a higher-order term, an explanatory variable, an interaction effect, a dispersion parameter, or a zero-inflation component. The functional residual yields, as a byproduct, Liu-Zhang's surrogate residual mainly developed for cumulative link models for ordinal data (Liu and Zhang, 2018, JASA). As a general notion, it considerably broadens the diagnostic scope as it applies to virtually all parametric models for binary, ordinal and count data, all in a unified diagnostic scheme.


title: Confidence Sets for a level set in linear regression

abstract: Regression modeling is the workhorse of statistics and there is a vast literature on estimation of the regression function. It is realized in recent years that in regression analysis the ultimate aim may be the estimation of a level set of the regression function, instead of the estimation of the regression function itself. The published work on estimation of the level set has thus far focused mainly on nonparametric regression, especially on point estimation. In this paper, the construction of confidence sets for the level set of linear regression is considered. In particular, $1-\alpha$ level upper, lower and two-sided confidence sets are constructed for the normal-error linear regression. It is shown that these confidence sets can be easily constructed from the corresponding $1-\alpha$ level simultaneous confidence bands. It is also pointed out that the construction method is readily applicable to other parametric regression models where the mean response depends on a linear predictor through a monotonic link function, which include generalized linear models, linear mixed models and generalized linear mixed models. Therefore the method proposed in this paper is widely applicable. Examples are given to illustrate the method.


title: Turbulent regimes in collisions of 3D Alfv\'en-wave packets

abstract: Using 3D gyrofluid simulations, we revisit the problem of Alfven-wave (AW) collisions as building blocks of the Alfvenic cascade and their interplay with magnetic reconnection at magnetohydrodynamic (MHD) scales. Depending on the large-scale nonlinearity parameter $\chi_0$ (the ratio between AW linear propagation time and nonlinear turnover time), different regimes are observed. For strong nonlinearities ($\chi_0\sim1$), turbulence is consistent with a dynamically aligned, critically balanced cascade--fluctuations exhibit a scale-dependent alignment $\sin\theta_k\propto k_\perp^{-1/4}$, a $k_\perp^{-3/2}$ spectrum and $k_\|\propto k_\perp^{1/2}$ spectral anisotropy. At weaker nonlinearities (small $\chi_0$), a spectral break marking the transition between a large-scale weak regime and a small-scale $k_\perp^{-11/5}$ tearing-mediated range emerges, implying that dynamic alignment occurs also for weak nonlinearities. At $\chi_0<1$ the alignment angle $\theta_{k_\perp}$ shows a stronger scale dependence than in the $\chi_0\sim1$ regime, i.e. $\sin\theta_k\propto k_\perp^{-1/2}$ at $\chi_0\sim0.5$, and $\sin\theta_k\propto k_\perp^{-1}$ at $\chi_0\sim0.1$. Dynamic alignment in the weak regime also modifies the large-scale spectrum, scaling roughly as $k_\perp^{-3/2}$ for $\chi_0\sim0.5$ and as $k_\perp^{-1}$ for $\chi_0\sim0.1$. A phenomenological theory of dynamically aligned turbulence at weak nonlinearities that can explain these spectra and the transition to the tearing-mediated regime is provided; at small $\chi_0$, the strong scale dependence of the alignment angle combines with the increased lifetime of turbulent eddies to allow tearing to onset and mediate the cascade at scales that can be larger than those predicted for a critically balanced cascade by several orders of magnitude. Such a transition to tearing-mediated turbulence may even supplant the usual weak-to-strong transition.

categories: astro-ph.SR physics.flu-dyn physics.plasm-ph physics.space-ph


title: Vogel's Universality and its Applications

abstract: The present thesis represents developments in two main directions related to the simple Lie algebras. The first one is devoted to the representation theory of the simple Lie algebras. Specifically, we present recent results, which include new universal formulae in Vogel's universal description, as well as the discovery of additional properties of those formulae. In the second part of the thesis, we demonstrate applications of Vogel's description to the study of a physical theory. Namely, we explicitly formulate the { \it refined} Chern-Simons theories on $S^3$ for each of the simple gauge groups, including the exceptional ones.


title: Towards Achieving Thermal Comfort through Physiologically Cloud based controlled HVAC System

abstract: Thermal comfort in shared spaces is essential to occupants well-being and necessary in the management of energy consumption. Existing thermal control systems for indoor shared spaces adjust temperature set points mechanically, making it difficult to intelligently achieve thermal comfort for all. Recent studies have shown that thermal comfort in a shared space is difficult to achieve due to individual preferences and the inability of occupants to reach a thermal compromise on temperature set points. This paper proposes a thermal comfort system to automatically adjust the temperature set-points in a shared space whilst recognising individual preferences. The control strategy of the proposed system is based on an algorithm to adjust the temperature set point of the shared space using the individual thermal preferences and predicted thermal comfort value of the occupants. The thermal preferences of the occupants are determined first and used as part of the occupants profile, which is mapped to thermal comfort values predicted from the occupants measured physiological data and environmental data. A consensus is reached by the algorithm to find the optimal temperature set-point, which takes into account individual thermal preferences and their physiological responses.


title: Fibonacci Sequences of 1D, 2D Words: Enumerating and Locating the Factors of the Fixed Points

abstract: Given an infinite word, enumerating its factors is an important exercise for understanding the structure of the word. The process of finding all the factors is quite tricky for two-dimensional words. In this paper, two possible ways of enumerating the factors of the fixed point ($f_{\infty,\infty}$) of the sequence of Fibonacci arrays and a method for locating these factors in $f_{\infty,\infty}$ are explored. In addition, the factor complexity and the locations of the factors of the fixed point of Fibonacci sequence of arrays are also analysed.


title: Training Robust Deep Models for Time-Series Domain: Novel Algorithms and Theoretical Analysis

abstract: Despite the success of deep neural networks (DNNs) for real-world applications over time-series data such as mobile health, little is known about how to train robust DNNs for time-series domain due to its unique characteristics compared to images and text data. In this paper, we propose a novel algorithmic framework referred as RObust Training for Time-Series (RO-TS) to create robust DNNs for time-series classification tasks. Specifically, we formulate a min-max optimization problem over the model parameters by explicitly reasoning about the robustness criteria in terms of additive perturbations to time-series inputs measured by the global alignment kernel (GAK) based distance. We also show the generality and advantages of our formulation using the summation structure over time-series alignments by relating both GAK and dynamic time warping (DTW). This problem is an instance of a family of compositional min-max optimization problems, which are challenging and open with unclear theoretical guarantee. We propose a principled stochastic compositional alternating gradient descent ascent (SCAGDA) algorithm for this family of optimization problems. Unlike traditional methods for time-series that require approximate computation of distance measures, SCAGDA approximates the GAK based distance on-the-fly using a moving average approach. We theoretically analyze the convergence rate of SCAGDA and provide strong theoretical support for the estimation of GAK based distance. Our experiments on real-world benchmarks demonstrate that RO-TS creates more robust DNNs when compared to adversarial training using prior methods that rely on data augmentation or new definitions of loss functions. We also demonstrate the importance of GAK for time-series data over the Euclidean distance. The source code of RO-TS algorithms is available at https://github.com/tahabelkhouja/Robust-Training-for-Time-Series


title: Out-of-Distribution Detection in Time-Series Domain: A Novel Seasonal Ratio Scoring Approach

abstract: Safe deployment of time-series classifiers for real-world applications relies on the ability to detect the data which is not generated from the same distribution as training data. This task is referred to as out-of-distribution (OOD) detection. We consider the novel problem of OOD detection for the time-series domain. We discuss the unique challenges posed by time-series data and explain why prior methods from the image domain will perform poorly. Motivated by these challenges, this paper proposes a novel {\em Seasonal Ratio Scoring (SRS)} approach. SRS consists of three key algorithmic steps. First, each input is decomposed into class-wise semantic component and remainder. Second, this decomposition is employed to estimate the class-wise conditional likelihoods of the input and remainder using deep generative models. The seasonal ratio score is computed from these estimates. Third, a threshold interval is identified from the in-distribution data to detect OOD examples. Experiments on diverse real-world benchmarks demonstrate that the SRS method is well-suited for time-series OOD detection when compared to baseline methods. Open-source code for SRS method is provided at https://github.com/tahabelkhouja/SRS


title: Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features

abstract: Time-series data arises in many real-world applications (e.g., mobile health) and deep neural networks (DNNs) have shown great success in solving them. Despite their success, little is known about their robustness to adversarial attacks. In this paper, we propose a novel adversarial framework referred to as Time-Series Attacks via STATistical Features (TSA-STAT)}. To address the unique challenges of time-series domain, TSA-STAT employs constraints on statistical features of the time-series data to construct adversarial examples. Optimized polynomial transformations are used to create attacks that are more effective (in terms of successfully fooling DNNs) than those based on additive perturbations. We also provide certified bounds on the norm of the statistical features for constructing adversarial examples. Our experiments on diverse real-world benchmark datasets show the effectiveness of TSA-STAT in fooling DNNs for time-series domain and in improving their robustness. The source code of TSA-STAT algorithms is available at https://github.com/tahabelkhouja/Time-Series-Attacks-via-STATistical-Features


title: Dynamic Time Warping based Adversarial Framework for Time-Series Domain

abstract: Despite the rapid progress on research in adversarial robustness of deep neural networks (DNNs), there is little principled work for the time-series domain. Since time-series data arises in diverse applications including mobile health, finance, and smart grid, it is important to verify and improve the robustness of DNNs for the time-series domain. In this paper, we propose a novel framework for the time-series domain referred as {\em Dynamic Time Warping for Adversarial Robustness (DTW-AR)} using the dynamic time warping measure. Theoretical and empirical evidence is provided to demonstrate the effectiveness of DTW over the standard Euclidean distance metric employed in prior methods for the image domain. We develop a principled algorithm justified by theoretical analysis to efficiently create diverse adversarial examples using random alignment paths. Experiments on diverse real-world benchmarks show the effectiveness of DTW-AR to fool DNNs for time-series data and to improve their robustness using adversarial training. The source code of DTW-AR algorithms is available at https://github.com/tahabelkhouja/DTW-AR


title: On the use of dynamic mode decomposition for time-series forecasting of ships operating in waves

abstract: In order to guarantee the safety of payload, crew, and structures, ships must exhibit good seakeeping, maneuverability, and structural-response performance, also when they operate in adverse weather conditions. In this context, the availability of forecasting methods to be included within model-predictive control approaches may represent a decisive factor. Here, a data-driven and equation-free modeling approach for forecasting of trajectories, motions, and forces of ships in waves is presented, based on dynamic mode decomposition (DMD). DMD is a data-driven modeling method, which provides a linear finite-dimensional representation of a possibly nonlinear system dynamics by means of a set of modes with associated frequencies. Its use for ship operating in waves has been little discussed and a systematic analysis of its forecasting capabilities is still needed in this context. Here, a statistical analysis of DMD forecasting capabilities is presented for ships in waves, including standard and augmented DMD. The statistical assessment uses multiple time series, studying the effects of the number of input/output waves, time steps, time derivatives, along with the use of time-shifted copies of time series by the Hankel matrix. The assessment of the forecasting capabilities is based on four metrics: normalized root mean square error, Pearson correlation coefficient, average angle measure, and normalized average minimum/maximum absolute error. Two test cases are used for the assessment: the course keeping of a self-propelled 5415M in irregular stern-quartering waves and the turning-circle of a free-running self-propelled KRISO Container Ship in regular waves. Results are overall promising and show how state augmentation (using from four to eight input waves, up to two time derivatives, and four time-shifted copies) improves the DMD forecasting capabilities up to two wave encounter periods in ...


title: Smectic Layering: Landau theory for a complex-tensor order parameter

abstract: Composed of microscopic layers that stack along one direction while maintaining fluid-like positional disorder within layers, smectics are excellent systems for exploring topology, defects and geometric memory in complex confining geometries. However, the coexistence of crystalline-like characteristics in one direction and fluid-like disorder within layers makes lamellar liquid crystals notoriously difficult to model - especially in the presence of defects and large distortions. Nematic properties of smectics can be comprehensively described by the Q-tensor but to capture the features of the smectic layering alone, we develop a phenomenological Landau theory for a complex-tensor order parameter E, which is capable of describing the local degree of lamellar ordering, layer displacement, and orientation of the layers. This theory can account for both parallel and perpendicular elastic contributions. In addition to resolving the potential ambiguities inherent to complex scalar order parameter models, this model reduces to previous employed models of simple smectics, and opens new possibilities for numerical studies on smectics possessing many defects, within complex geometries and under extreme confinement.


title: Lorentz-violating electrodynamics in continuous matter

abstract: We review the propagation of electromagnetic waves in continuous matter in the presence of Lorentz-violating terms. First, we briefly discuss classical electrodynamics with regard to optical properties of a dielectric medium exhibiting the Chiral Magnetic Effect (CME). Such a medium can be modeled by Maxwell-Carroll-Field-Jackiw (MCFJ) theory. Second, we describe the impact of CPT-odd terms of mass dimensions three and five, respectively, on electromagnetic propagation in continuous matter. Birefringence and absorption are analyzed in the scenarios investigated. Our findings provide new insights into the interplay between classical field theory and optical effects in matter.


title: At the Intersection of Deep Learning and Conceptual Art: The End of Signature

abstract: MIT wanted to commission a large scale artwork that would serve to 'illuminate a new campus gateway, inaugurate a space of exchange between MIT and Cambridge, and inspire our students, faculty, visitors, and the surrounding community to engage with art in new ways and to have art be part of their daily lives.' Among other things, the art was to reflect the fact that scientific discovery is often the result of many individual contributions, both acknowledged and unacknowledged. In this work, a group of computer scientists collaborated with a conceptual artist to produce a collective signature, or a signature learned from contributions of an entire community. After collecting signatures from two communities -- the university, and the surrounding city -- the computer scientists developed generative models and a human-in-the-loop feedback process to work with the artist create an original signature-like structure representative of each community. These signatures are now large-scale steel, LED and neon light sculptures that appear to sign two new buildings in Cambridge, MA.


title: QKVA grid: Attention in Image Perspective and Stacked DETR

abstract: We present a new model named Stacked-DETR(SDETR), which inherits the main ideas in canonical DETR. We improve DETR in two directions: simplifying the cost of training and introducing the stacked architecture to enhance the performance. To the former, we focus on the inside of the Attention block and propose the QKVA grid, a new perspective to describe the process of attention. By this, we can step further on how Attention works for image problems and the effect of multi-head. These two ideas contribute the design of single-head encoder-layer. To the latter, SDETR reaches better performance(+0.6AP, +2.7APs) to DETR. Especially to the performance on small objects, SDETR achieves better results to the optimized Faster R-CNN baseline, which was a shortcoming in DETR. Our changes are based on the code of DETR. Training code and pretrained models are available at https://github.com/shengwenyuan/sdetr.


title: Identification and Inference for Welfare Gains without Unconfoundedness

abstract: This paper studies identification and inference of the welfare gain that results from switching from one policy (such as the status quo policy) to another policy. The welfare gain is not point identified in general when data are obtained from an observational study or a randomized experiment with imperfect compliance. I characterize the sharp identified region of the welfare gain and obtain bounds under various assumptions on the unobservables with and without instrumental variables. Estimation and inference of the lower and upper bounds are conducted using orthogonalized moment conditions to deal with the presence of infinite-dimensional nuisance parameters. I illustrate the analysis by considering hypothetical policies of assigning individuals to job training programs using experimental data from the National Job Training Partnership Act Study. Monte Carlo simulations are conducted to assess the finite sample performance of the estimators.


title: Testing of symmetry of innovations in autoregression

abstract: We consider a stationary linear $AR(p)$ model with zero mean. The autoregression parameters as well as the distribution function (d.f.) $G(x)$ of innovations are unknown. We consider two situations. In the first situation the observations are a sample from a stationary solution of $AR(p)$. Interesting and essential problem is to test symmetry of $G(x)$ with respect to zero. If hypothesis of symmetry is valid then it is possible to construct nonparametric estimators of $AR(p)$ parameters, for example, GM-estimators, minimum distance estimators and others. First of all we estimate unknown parameters of autoregression and find residuals. Based on them we construct a kind of empirical d.f., which is a counterpart of empirical d.f of the unobservable innovations. Our test statistic is the functional of omega-square type from this residual empirical d.f. Its asymptotic d.f. under the hypothesis and the local alternatives are found. In the second situation the observations subject to gross errors (outliers). The distribution of outliers is unknown, their intensity is $O(n^{-1/2})$, $n$ is the sample size. We test the symmetry of innovations again but by constructing the Pearson's type statistic. Its asymptotic d.f. under the hypothesis and the local alternatives are found. We establish the asymptotic robustness of this test as well.


title: Improving Diffusion Model Efficiency Through Patching

abstract: Diffusion models are a powerful class of generative models that iteratively denoise samples to produce data. While many works have focused on the number of iterations in this sampling procedure, few have focused on the cost of each iteration. We find that adding a simple ViT-style patching transformation can considerably reduce a diffusion model's sampling time and memory usage. We justify our approach both through an analysis of the diffusion model objective, and through empirical experiments on LSUN Church, ImageNet 256, and FFHQ 1024. We provide implementations in Tensorflow and Pytorch.


title: On the Relationship Between Counterfactual Explainer and Recommender

abstract: Recommender systems employ machine learning models to learn from historical data to predict the preferences of users. Deep neural network (DNN) models such as neural collaborative filtering (NCF) are increasingly popular. However, the tangibility and trustworthiness of the recommendations are questionable due to the complexity and lack of explainability of the models. To enable explainability, recent techniques such as ACCENT and FIA are looking for counterfactual explanations that are specific historical actions of a user, the removal of which leads to a change to the recommendation result. In this work, we present a general framework for both DNN and non-DNN models so that the counterfactual explainers all belong to it with specific choices of components. This framework first estimates the influence of a certain historical action after its removal and then uses search algorithms to find the minimal set of such actions for the counterfactual explanation. With this framework, we are able to investigate the relationship between the explainers and recommenders. We empirically study two recommender models (NCF and Factorization Machine) and two datasets (MovieLens and Yelp). We analyze the relationship between the performance of the recommender and the quality of the explainer. We observe that with standard evaluation metrics, the explainers deliver worse performance when the recommendations are more accurate. This indicates that having good explanations to correct predictions is harder than having them to wrong predictions. The community needs more fine-grained evaluation metrics to measure the quality of counterfactual explanations to recommender systems.