title: Controlling cardinal characteristics without adding reals

abstract: We investigate the behavior of cardinal characteristics of the reals under extensions that do not add new ${<}\kappa$-sequences (for some regular $\kappa$). As an application, we show that consistently the following cardinal characteristics can be different: The ("independent") characteristics in Cicho\'n's diagram, plus $\aleph_1<\mathfrak m<\mathfrak p<\mathfrak h<\mathrm{add}(\mathcal{N})$. (So we get thirteen different values, including $\aleph_1$ and continuum). We also give constructions to alternatively separate other MA-numbers (instead of $\mathfrak m$), namely: MA for $k$-Knaster from MA for $k+1$-Knaster; and MA for the union of all $k$-Knaster forcings from MA for precaliber.


title: A balanced treatment of static and dynamic correlation in free- and Mg-porphyrin

abstract: We present an ab-initio dynamical configuration interaction (DCI) study of free- and Mg-porphyrin. DCI is a recently developed active space theory based on the L\"owdin downfolding technique. In the active space, static correlation is described exactly with full configuration interaction. In the high energy, dynamically correlated subspace, we treat correlation at the quasiparticle level in the $GW$ approximation of Green's function theory. The final theory combines wave function and Green's function methods to give a balanced description of static and dynamic correlation. The theory and algorithm give a multireference treatment of ground and excited states for low computational cost. The four orbital Gouterman model of porphyrin offers an ideal active space in a large, correlated system to test the cost and accuracy of the embedding for large systems. Our parameter free, fully ab-initio DCI calculations in the minimal four-level active space agree well with both experiment and more expensive benchmark theories for the $Q_x$ and $Q_y$ transitions of free- and Mg-porphyrin. Studying the convergence of the excitation energies suggests that DCI correctly captures size extensive correlation effects, making it a promising active space theory for large, strongly-correlated systems.


title: Measuring the Field Quality in Accelerator Magnets with the Oscillating-Wire Method -- a Case Study for Solving Partial Differential Equations

abstract: The single stretched-wire method is commonly used to measure the magnetic field strength and magnetic axis in an accelerator magnet. The integrated voltage at the connection terminals of the wire is a measure for the flux linked with the surface traced out by the displaced wire. The stretched wire can also be excited with an alternating current well below the resonance frequency. It is thus possible to measure multipole field errors by making use of the linear relationship between the wire-oscillation amplitude, integrated field, and current amplitude. This technique is a good example for solving partial differential equations, or more precisely, boundary value problems in one and two dimensions. In particular, the field in the aperture of accelerator magnets is governed by the Laplace equation, which leads to a boundary-value problem that is solved by determining the coefficients in the series of eigenfunctions from measurements of the field components or wire-oscillation amplitudes on the domain boundary. The oscillation of the taut string is an example of a one-dimensional, in-homogenous wave equation. The metrological characterization of the oscillating-wire system yield the feedback on the uncertainties (and limitations) of the method, as only the linearized equations of the wire motion and the integrated field harmonics of the magnet are considered.


title: Did lockdowns serve their purpose?

abstract: We show that the dynamics of the number of deaths due to Covid in different countries is to a large extent universal once the origin of time is chosen to be the start of the lockdown, and the number of death is rescaled by the total number of deaths after the lockdown, itself a proxy of the number of infections at the start of the lockdown. Such a curve collapse is much less convincing when normalizing by the total population. Sweden, with its no-lockdown, light-touch approach, is the only outlier that deviates considerably from the average behavior. We argue that these model-free findings provide strong support for the effectiveness of the lockdowns in mitigating the lethality of the virus.


title: Nash Equilibrium Seeking for Games in Second-order Systems without Velocity Measurement

abstract: The design of Nash equilibrium seeking strategies for games in which the involved players are of second-order integrator-type dynamics is investigated in this paper. Noticing that velocity signals are usually noisy or not available for feedback control in practical engineering systems, this paper supposes that the velocity signals are not accessible for the players. To deal with the absence of velocity measurements, two estimators are designed, based on which Nash equilibrium seeking strategies are constructed. The first strategy is established by employing an observer, which has the same order as the players' dynamics, to estimate the unavailable system states (e.g., the players' velocities). The second strategy is designed based on a high-pass filter and is motivated by the incentive to reduce the order of the closed-loop system which in turn reduces the computation costs of the seeking algorithm. Extensions to Nash equilibrium seeking for networked games are provided. Taking the advantages of leader-following consensus protocols, it turns out that both the observer-based method and the filter-based method can be adapted to deal with games in distributed systems, which shows the extensibility of the developed strategies. Through Lyapunov stability analysis, it is analytically proven that the players' actions can be regulated to the Nash equilibrium point and their velocities can be regulated to zero by utilizing the proposed velocity-free Nash equilibrium seeking strategies. A numerical example is provided for the verifications of the proposed algorithms.


title: Molecule-based coherent light-spin interfaces for quantum information processing -- optical spin state polarization in a binuclear Europium complex

abstract: The success of the emerging field of solid-state optical quantum information processing (QIP) critically depends on the access to resonant optical materials. Rare-earth ions (REIs) are suitable candidates for QIP protocols due to their extraordinary photo-physical and magnetic quantum properties such as long optical and spin coherence lifetimes ($T_2$). However, molecules incorporating REIs, despite having advantageous properties such as atomically exact quantum tunability, inherent scalability, and large portability, have not yet been studied for QIP applications. As a first testimony of the usefulness of REI molecules for optical QIP applications, we demonstrate in this study that narrow spectral holes can be burned in the inhomogeneously broadened $^5$D$_0\to^7$F$_0$ optical transition of a binuclear Eu(III) complex, rendering a homogeneous linewidth ($\Gamma_h$) = 22 $\pm$ 1 MHz, which translates as $T_2 = 14.5$ $\pm$ 0.7 ns at 1.4 K. Moreover, long-lived spectral holes are observed, demonstrating efficient polarization of Eu(III) ground state nuclear spins, a fundamental requirement for all-optical spin initialization and addressing. These results elucidate the usefulness of REI-based molecular complexes as versatile coherent light-spin interfaces for applications in quantum communications and processing.


title: Nets of standard subspaces on Lie groups

abstract: Let G be a Lie group with Lie algebra $\mathfrak{g}$, $h \in \frak{g}$ an element for which the derivation ad(h) defines a 3-grading of $\mathfrak{g}$ and $\tau_G$ an involutive automorphism of G inducing on $\mathfrak{g}$ the involution $e^{\pi i ad(h)}$. We consider antiunitary representations $U$ of the Lie group $G_\tau = G \rtimes \{e,\tau_G\}$ for which the positive cone $C_U = \{ x \in \mathfrak{g} : -i \partial U(x) \geq 0\}$ and $h$ span $\mathfrak{g}$. To a real subspace E of distribution vectors invariant under $exp(\mathbb{R} h)$ and an open subset $O \subseteq G$, we associate the real subspace $H_E(O) \subseteq H$, generated by the subspaces $U(\varphi)E$, where $\varphi \in C^\infty_c(O,\mathbb{R})$ is a real-valued test function on $O$. Then $H_E(O)$ is dense in $H_E(G)$ for every non-empty open subset $O \subseteq G$ (Reeh--Schlider property). For the real standard subspace $V \subseteq H$, for which $J_V = U(\tau_G)$ is the modular conjugation and $\Delta_V^{-it/2\pi} = U(\exp th)$ is the modular group, we obtain sufficient conditions to be of the form $H_E(S)$ for an open subsemigroup $S \subseteq G$. If $\mathfrak{g}$ is semisimple with simple hermitian ideals of tube type, we verify these criteria and obtain nets of cyclic subspacs $H_E(O)$, $O \subseteq G$, satisfying the Bisognano--Wichman property for some domains O. Our construction also yields such nets on simple Jordan space-times and compactly causal symmetric spaces of Cayley type. By second quantization, these nets lead to free quantum fields in the sense of Haag--Kastler on causal homogeneous spaces whose groups are generated by modular groups and conjugations.


title: Generative Modelling for Controllable Audio Synthesis of Expressive Piano Performance

abstract: We present a controllable neural audio synthesizer based on Gaussian Mixture Variational Autoencoders (GM-VAE), which can generate realistic piano performances in the audio domain that closely follows temporal conditions of two essential style features for piano performances: articulation and dynamics. We demonstrate how the model is able to apply fine-grained style morphing over the course of synthesizing the audio. This is based on conditions which are latent variables that can be sampled from the prior or inferred from other pieces. One of the envisioned use cases is to inspire creative and brand new interpretations for existing pieces of piano music.


title: Combining quantum spin hall effect and superconductivity in few-layer stanene

abstract: Stanene was proposed to be a quantum spin hall insulator containing topological edges states and a time reversal invariant topological superconductor hosting helical Majorana edge mode. Recently, experimental evidences of existence of topological edge states have been found in monolayer stanene films and superconductivity has been observed in few-layer stanene films excluding single layer. An integrated system with both topological edge states and superconductivity are higly pursued as a possible platform to realize topological superconductivity. Few-layer stanene show great potential to meet this requirement and is highly desired in experiment. Here we successfully grow few-layer stanene on bismuth (111) substrate. Both topological edge states and superconducting gaps are observed by in-situ scanning tunneling microscopy/spectroscopy (STM/STS). Our results take a further step towards topological superconductivity by stanene films.


title: Wireless 3D Point Cloud Delivery Using Deep Graph Neural Networks

abstract: In typical point cloud delivery, a sender uses octree-based digital video compression to send three-dimensional (3D) points and color attributes over band-limited links. However, the digital-based schemes have an issue called the cliff effect, where the 3D reconstruction quality will be a step function in terms of wireless channel quality. To prevent the cliff effect subject to channel quality fluctuation, we have proposed soft point cloud delivery called HoloCast. Although the HoloCast realizes graceful quality improvement according to wireless channel quality, it requires large communication overheads. In this paper, we propose a novel scheme for soft point cloud delivery to simultaneously realize better quality and lower communication overheads. The proposed scheme introduces an end-to-end deep learning framework based on graph neural network (GNN) to reconstruct high-quality point clouds from its distorted observation under wireless fading channels. We demonstrate that the proposed GNN-based scheme can reconstruct clean 3D point cloud with low overheads by removing fading and noise effects.


title: A Class of Second Order Tangent Sets

abstract: Under consideration are the construction and properties of some special class of second other tangent sets on using the technique of nonstandard analysis.


title: Standing on the shoulders of giants: New mass and distance estimates for Betelgeuse through combined evolutionary, asteroseismic, and hydrodynamical simulations with MESA

abstract: We conduct a rigorous examination of the nearby red supergiant Betelgeuse by drawing on the synthesis of new observational data and three different modeling techniques. Our observational results include the release of new, processed photometric measurements collected with the space-based SMEI instrument prior to Betelgeuse's recent, unprecedented dimming event. We detect the first radial overtone in the photometric data and report a period of $185\pm13.5$ d. Our theoretical predictions include self-consistent results from multi-timescale evolutionary, oscillatory, and hydrodynamic simulations conducted with the Modules for Experiments in Stellar Astrophysics (MESA) software suite. Significant outcomes of our modeling efforts include a precise prediction for the star's radius: $764^{+116}_{-62} R_{\odot}$. In concert with additional constraints, this allows us to derive a new, independent distance estimate of $168^ {+27}_{-15}$ pc and a parallax of $\pi=5.95^{+0.58}_{-0.85}$ mas, in good agreement with Hipparcos but less so with recent radio measurements. Seismic results from both perturbed hydrostatic and evolving hydrodynamic simulations constrain the period and driving mechanisms of Betelgeuse's dominant periodicities in new ways. Our analyses converge to the conclusion that Betelgeuse's $\approx 400$ day period is the result of pulsation in the fundamental mode, driven by the $\kappa$-mechanism. Grid-based hydrodynamic modeling reveals that the behavior of the oscillating envelope is mass-dependent, and likewise suggests that the non-linear pulsation excitation time could serve as a mass constraint. Our results place $\alpha$ Ori definitively in the core helium-burning phase near the base of the red supergiant branch. We report a present-day mass of $16.5$--$19 ~M_{\odot}$---slightly lower than typical literature values.


title: LSTM Networks for Music Generation

abstract: The paper presents a method of the music generation based on LSTM (Long Short-Term Memory), contrasts the effects of different network structures on the music generation and introduces other methods used by some researchers.


title: Magnon Polarons induced by a magnetic field gradient

abstract: In this work, we report the theoretical possibility of generating magnon polaron excitations through a space-varying magnetic field. The spatial dependence of the magnetic field in the Zeeman interaction gives rise to a magnon-phonon coupling when a magnetic field gradient is applied, and such a coupling depends directly on the strength of the gradient. It is also predicted that the direction of the magnetic field gradient allows control over which phonon polarization couples to the magnons in the material. Here we develop the calculations of the magnon-phonon coupling for an arbitrary (anti)ferromagnet, which are later used to numerically study its consequences. These results are compared to the ones obtained with the phenomenological magnetoelastic coupling in YIG, where we show that the magnon polaron bandgap seen in YIG can be also obtained with a magnetic field gradient of $\sim 0.1$T/m which can be achieved with the current experimental techniques. Our results propose a new way of controlling the magnetoelastic coupling in an arbitrary material and open a new route to exploit the magnon-phonon interaction in magnonic and spintronic devices.


title: Dissipative relativistic magnetohydrodynamics of a multicomponent mixture and its application to neutron stars

abstract: We formulate hydrodynamic equations for nonsuperfluid multicomponent magnetized charged relativistic mixtures, taking into account chemical reactions as well as viscosity, diffusion, thermodiffusion, and thermal conductivity effects. The resulting equations have a rather simple form and can be readily applied, e.g., for studying magnetothermal evolution of neutron stars. We also establish a link between our formalism and the results known in the literature, and express the phenomenological diffusion coefficients through momentum transfer rates which are calculated from microscopic theory.


title: Impacts of the simulated standard siren on estimating cosmological parameters

abstract: We propose a method based on the process of extracting gravitational wave (GW) parameters from GW signals to simulate the binary neutron-star (BNS) merging events. We simulate 1000 GW standard sirens based on the observation of the Einstein Telescope (ET). Almost all the simulated GW data are in the redshift range of $[0,3]$. The role of the GW standard siren in the inference of the cosmological parameters is investigated. We find that the GW data can help improve the accuracy of cosmological parameters. Moreover, the degeneracy of cosmological parameters is broken by the GW data. The GW standard siren is helpful for the constraint of the cosmological parameters.


title: Concept of SUb-atmospheric Radio-frequency Engine (SURE) for near space environment

abstract: A concept of SUb-atmospheric Radio-frequency Engine (SURE) designed for near space environment is reported. The antenna wrapping quartz tube consists of two solenoid coils with variable separation distance, and is driven by radio-frequency power supply (13.56~MHz-1~kW). The discharge involves inductive coupling under each solenoid coil and capacitive coupling between them. This novel scheme can ionize the filling air efficiently for the entire pressure range of 32\sim 5332 Pa in near space. The formed plasma density and temperature are up to 2.23\times 10^{18}~m^{-3} and 2.79 eV, respectively. The influences of separation distance, input power, filling pressure and the number of solenoid turns on discharge are presented in detail. This air-breathing electric propulsion system has no plasma-facing electrode and does not require external magnetic field, and is thereby durable and structurally compact and light.


title: When the entropy has no maximum: A new perspective on the instability of the first-order theories of dissipation

abstract: The first-order relativistic fluid theories of dissipation proposed by Eckart and Landau-Lifshitz have been proved to be unstable. They admit solutions which start in proximity of equilibrium and depart exponentially from it. We show that this behaviour is due to the fact that the total entropy of these fluids, restricted to the dynamically accessible states, has no upper bound. As a result, these systems have the tendency to constantly change according to the second law of thermodynamics and the unstable modes represent the directions of growth of the entropy in state space. We, then, verify that the conditions of stability of Israel and Stewart's theory are exactly the requirements for the entropy to have an absolute maximum. Hence, we explain how the instability of the first-order theories is a direct consequence of the truncation of the entropy current at the first order, which turns the maximum into a saddle point of the total entropy. Finally, we show that recently proposed first-order stable theories, constructed using more general frames, do not solve the instability problem by providing a maximum for the entropy, but, rather, are made stable by allowing for small violations of the second law.


title: Simplified Swarm Optimization for Bi-Objection Active Reliability Redundancy Allocation Problems

abstract: The reliability redundancy allocation problem (RRAP) is a well-known tool in system design, development, and management. The RRAP is always modeled as a nonlinear mixed-integer non-deterministic polynomial-time hardness (NP-hard) problem. To maximize the system reliability, the integer (component active redundancy level) and real variables (component reliability) must be determined to ensure that the cost limit and some nonlinear constraints are satisfied. In this study, a bi-objective RRAP is formulated by changing the cost constraint as a new goal, because it is necessary to balance the reliability and cost impact for the entire system in practical applications. To solve the proposed problem, a new simplified swarm optimization (SSO) with a penalty function, a real one-type solution structure, a number-based self-adaptive new update mechanism, a constrained nondominated-solution selection, and a new pBest replacement policy is developed in terms of these structures selected from full-factorial design to find the Pareto solutions efficiently and effectively. The proposed SSO outperforms several metaheuristic state-of-the-art algorithms, e.g., nondominated sorting genetic algorithm II (NSGA-II) and multi-objective particle swarm optimization (MOPSO), according to experimental results for four benchmark problems involving the bi-objective active RRAP.


title: Burst Photography for Learning to Enhance Extremely Dark Images

abstract: Capturing images under extremely low-light conditions poses significant challenges for the standard camera pipeline. Images become too dark and too noisy, which makes traditional enhancement techniques almost impossible to apply. Recently, learning-based approaches have shown very promising results for this task since they have substantially more expressive capabilities to allow for improved quality. Motivated by these studies, in this paper, we aim to leverage burst photography to boost the performance and obtain much sharper and more accurate RGB images from extremely dark raw images. The backbone of our proposed framework is a novel coarse-to-fine network architecture that generates high-quality outputs progressively. The coarse network predicts a low-resolution, denoised raw image, which is then fed to the fine network to recover fine-scale details and realistic textures. To further reduce the noise level and improve the color accuracy, we extend this network to a permutation invariant structure so that it takes a burst of low-light images as input and merges information from multiple images at the feature-level. Our experiments demonstrate that our approach leads to perceptually more pleasing results than the state-of-the-art methods by producing more detailed and considerably higher quality images.


title: Creating Experience value to build student satisfaction in higher education

abstract: Higher education products or services received by students are experiential values. The purpose of this study is how to create the values of student experience so that student satisfaction arises. Higher education should now focus on students by creating strong ties with students and alumni. This research was conducted with a survey confirmatory approach. The survey was conducted at 32 universities in South Sumatra Province, Indonesia with a total sample of 357 students. The sampling technique used was stratified random sampling and data analysis using structural equation modeling (SEM) analysis. The results showed that the values of experience in HE were formed through increased cocreation in HE, where students were directly involved in various campus activities. High co-creation shows that there is a stronger attachment of students to HE and a higher value of student experience. Co-creation does not directly affect student satisfaction, but it does indirectly affect experience value. If the value of experience is higher, student satisfaction will also be higher.


title: A Frequency-Multiplexed Coherent Electro-Optic Memory in Rare Earth Doped Nanoparticles

abstract: Quantum memories for light are essential components in quantum technologies like long-distance quantum communication and distributed quantum computing. Recent studies have shown that long optical and spin coherence lifetimes can be observed in rare earth doped nanoparticles, opening exciting possibilities over bulk materials e.g. for enhancing coupling to light and other quantum systems, and material design. Here, we report on coherent light storage in Eu$^{3+}$:Y$_2$O$_3$ nanoparticles using the Stark Echo Modulation Memory (SEMM) quantum protocol. We first measure a nearly constant Stark coefficient of 50 kHz/(V/cm) across a bandwidth of 15 GHz, which is promising for broadband operation. Storage of light using SEMM is then demonstrated for times up to 40 $\mu$s. Pulses with two different frequencies are also stored, confirming frequency-multiplexing capability, and are used to demonstrate the memory high phase fidelity.


title: Large time behavior of small data solutions to the Vlasov-Navier-Stokes system on the whole space

abstract: We study the large time behavior of small data solutions to the Vlasov-Navier-Stokes system on $\R^3 \times \R^3$. We prove that the kinetic distribution function concentrates in velocity to a Dirac mass supported at $0$, while the fluid velocity homogenizes to $0$, both at a polynomial rate. The proof is based on two steps, following the general strategy laid out in \cite{HKMM}: (1) the energy of the system decays with polynomial rate, assuming a uniform control of the kinetic density, (2) a bootstrap argument allows to obtain such a control. This last step requires a fine understanding of the structure of the so-called Brinkman force, which follows from a family of new identities for the dissipation (and higher versions of it) associated to the Vlasov-Navier-Stokes system.


title: Modelling the delayed nonlinear fiber response in coherent optical communications

abstract: Fiber nonlinearities, that lead to nonlinear signal interference (NLI), are typically regarded as an instantaneous material response with respect to the optical field. However, in addition to an instantaneous part, the nonlinear fiber response consists of a delayed contribution, referred to as the Raman response. The imaginary part of its Fourier transform, referred to as the Raman gain spectrum, leads to inter-channel stimulated Raman scattering (ISRS). ISRS is a nonlinear effect that redistributes optical power from high to lower frequencies during propagation. However, as the nonlinear fiber response is causal, the Raman spectrum obeys the Kramers-Kronig relations resulting in the real part of the complex valued Raman spectrum. While the impact of the imaginary part (i.e. ISRS) is well studied, the direct implications of its associated real part on the NLI are unexplored. In this work, a theory is proposed to analytically quantify the impact of the real Raman spectrum on the nonlinear interference power. Starting from a generalized Manakov equation, an extension of the ISRS Gaussian Noise (GN) model is derived to include the real Raman spectrum and, thus, to account for the complete nonlinear Raman response. Accurate integral expressions are derived and approximations in closed-form are proposed. Different formulations for the case of single -and dual polarized signals are derived and novel analytical approximations of the real Raman spectrum are proposed. Moreover, it is analytically shown that the real Raman spectrum scales the strength of the instantaneous nonlinear distortions depending on the frequency separation of the interacting frequencies. A simple functional form is derived to assess the scaling of the NLI strength. The proposed theory is validated by numerical simulations over C-and C+L band, using experimentally measured fiber data.


title: Spin interfaces and crossing probabilities of spin clusters in parafermionic models

abstract: We consider fractal curves in two-dimensional $Z_N$ spin lattice models. These are N states spin models that undergo a continuous ferromagnetic-paramagnetic phase transition described by the ZN parafermionic field theory. The main motivation here is to investigate the correspondence between Schramm-Loewner evolutions (SLE) and conformal field theories with extended conformal algebras (ECFT). By using Monte-Carlo simulation, we compute the fractal dimension of different spin interfaces for the N=3 and N=4 spin models that correspond respectively to the 3 states Potts model and to the Ashkin-Teller model at the Fateev-Zamolodchikov point. These numerical measures, that improve and complete the ones presented in the previous works, are shown to be consistent with SLE/ECFT predictions. We consider then the crossing probability of spin clusters in a rectangular domain. Using a multiple SLE approach, we provide crossing probability formulas for ZN parafarmionic theories. The parafermionic conformal blocks that enter the crossing probability formula are computed by solving a Knhiznik-Zamolodchikov system of rank 3. In the 3 states Potts model case, where the parafermionic blocks coincide with the Virasoro ones, we rederive the crossing formula found by S.M.Flores et al., that is in good agreement with our measures. For N>=4 where the crossing probability satisfies a third order differential equation instead of a second order one, our formulas are new. The theoretical predictions are compared to Monte-Carlo measures taken at N=4 and a fair agreement is found.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Scalar particles tunneling radiation in the Demianski-Newman spacetime with influences of quantum gravity

abstract: In this paper,using Hamilton-Jacobi ansatz, we investigate scalar particles tunneling radiation in the Demianski-Newman spacetime. We get the effective temperature with influences of quantum gravity, and compare this temperature with the original temperature of the Demianski-Newman black hole. We find that it's similar to the case of fermions, for scalar particles the influence of quantum gravity will also slow down the increase of Hawking temperatures,which naturally leads to remnants left in the evaporation.


title: Boost the Public Demand for Soft Matter Education and Career Opportunities with a Homemade Video

abstract: The study aims to promote the awareness and education of soft matter which has become a popular research topic owing to its capability of developing self-assembling materials for numerous industries such as self-healing materials. To pursue after this aim, we composed a homemade video to illustrate the soft matter concepts, followed by distributing a pre/post attitudinal survey to evaluate the effectiveness of the video on promoting the awareness of soft matter. The survey showed that the video effectively stimulated the public interest in soft matter-related knowledge, research, and careers by 27.8 percent on average. Moreover, the participants demanded more investment and soft matter education, suggesting that WPI provide more resources on developing soft matter education.


title: Shallow Feature Based Dense Attention Network for Crowd Counting

abstract: While the performance of crowd counting via deep learning has been improved dramatically in the recent years, it remains an ingrained problem due to cluttered backgrounds and varying scales of people within an image. In this paper, we propose a Shallow feature based Dense Attention Network (SDANet) for crowd counting from still images, which diminishes the impact of backgrounds via involving a shallow feature based attention model, and meanwhile, captures multi-scale information via densely connecting hierarchical image features. Specifically, inspired by the observation that backgrounds and human crowds generally have noticeably different responses in shallow features, we decide to build our attention model upon shallow-feature maps, which results in accurate background-pixel detection. Moreover, considering that the most representative features of people across different scales can appear in different layers of a feature extraction network, to better keep them all, we propose to densely connect hierarchical image features of different layers and subsequently encode them for estimating crowd density. Experimental results on three benchmark datasets clearly demonstrate the superiority of SDANet when dealing with different scenarios. Particularly, on the challenging UCF CC 50 dataset, our method outperforms other existing methods by a large margin, as is evident from a remarkable 11.9% Mean Absolute Error (MAE) drop of our SDANet.


title: Existence and stability of relativistic fluid spheres supported by thin shells

abstract: We propose two models for constant density relativistic perfect-fluid spheres supported by thin shell configurations. These models are obtained from the Schwarzschild constant density star solution: the first via the collapse of the external layers of the fluid into a thin shell by performing a matching with the exterior Schwarzschild solution at a matching radius smaller than the star radius; and the second via the creation of a vacuum bubble inside the star by matching it with an interior Minkowski spacetime. Both models are shown to satisfy both the weak and the strong energy conditions (WEC and SEC) and can have a compactness arbitrarily close to that of a black-hole without developing singularities at the center, thus being exceptions to the Buchdahl limit. We compute the stability regimes of the models proposed and we show that there are combinations of the star radius $R$ and the matching radius $R_\Sigma$ for which the solutions are stable, the dominant energy condition (DEC) is satisfied, and the radius of the object is smaller than $3M$, implying that these models could be used as models for dark matter or exotic compact objects.


title: Landscape-Aware Fixed-Budget Performance Regression and Algorithm Selection for Modular CMA-ES Variants

abstract: Automated algorithm selection promises to support the user in the decisive task of selecting a most suitable algorithm for a given problem. A common component of these machine-trained techniques are regression models which predict the performance of a given algorithm on a previously unseen problem instance. In the context of numerical black-box optimization, such regression models typically build on exploratory landscape analysis (ELA), which quantifies several characteristics of the problem. These measures can be used to train a supervised performance regression model. First steps towards ELA-based performance regression have been made in the context of a fixed-target setting. In many applications, however, the user needs to select an algorithm that performs best within a given budget of function evaluations. Adopting this fixed-budget setting, we demonstrate that it is possible to achieve high-quality performance predictions with off-the-shelf supervised learning approaches, by suitably combining two differently trained regression models. We test this approach on a very challenging problem: algorithm selection on a portfolio of very similar algorithms, which we choose from the family of modular CMA-ES algorithms.


title: An Immune-related lncRNAs Model for Prognostic of SKCM Patients Base on Cox Regression and Coexpression Analysis

abstract: SKCM is the most dangerous one of skin cancer, its high degree of malignant, is the leading cause of skin cancer. And the level of radiation treatment and chemical treatment is minimal, so the mortality is high. Because of its complex molecular and cellular heterogeneity, the existing prediction model of skin cancer risk is not ideal. In this study, we developed an immune-related lncRNAs model to predict the prognosis of patients with SKCM. Screening for SKCM-related differential expression of lncRNA from TCGA. Identified immune-related lncRNAs and lncRNA-related mRNA based on the co-expression method. Through univariate and multivariate analysis, an immune-related lncRNA model is established to analyze the prognosis of SKCM patients. A 4-lncRNA skin cancer prediction model was constructed, including MIR155HG, AL137003.2, AC011374.2, and AC009495.2. According to the model, SKCM samples were divided into a high-risk group and low-risk group, and predict the survival of the two groups in 30 years. The area under the ROC curve is 0.749, which shows that the model has excellent performance. We constructed a 4-lncRNA model to predict the prognosis of patients with SKCM, indicating that these lncRNAs may play a unique role in the carcinogenesis of SKCM.


title: On asymptotic structure of continuous-time Markov Branching Processes allowing Immigration and without high-order moments

abstract: We observe the continuous-time Markov Branching Process without high-order moments and allowing Immigration. Limit properties of transition functions and their convergence to invariant measures are investigated. Main mathematical tool is regularly varying generating functions with remainder.


title: Geometry of Similarity Comparisons

abstract: Many data analysis problems can be cast as distance geometry problems in \emph{space forms} -- Euclidean, spherical, or hyperbolic spaces. Often, absolute distance measurements are often unreliable or simply unavailable and only proxies to absolute distances in the form of similarities are available. Hence we ask the following: Given only \emph{comparisons} of similarities amongst a set of entities, what can be said about the geometry of the underlying space form? To study this question, we introduce the notions of the \textit{ordinal capacity} of a target space form and \emph{ordinal spread} of the similarity measurements. The latter is an indicator of complex patterns in the measurements, while the former quantifies the capacity of a space form to accommodate a set of measurements with a specific ordinal spread profile. We prove that the ordinal capacity of a space form is related to its dimension and the sign of its curvature. This leads to a lower bound on the Euclidean and spherical embedding dimension of what we term similarity graphs. More importantly, we show that the statistical behavior of the ordinal spread random variables defined on a similarity graph can be used to identify its underlying space form. We support our theoretical claims with experiments on weighted trees, single-cell RNA expression data and spherical cartographic measurements.


title: Iterative regularization for convex regularizers

abstract: We study iterative regularization for linear models, when the bias is convex but not necessarily strongly convex. We characterize the stability properties of a primal-dual gradient based approach, analyzing its convergence in the presence of worst case deterministic noise. As a main example, we specialize and illustrate the results for the problem of robust sparse recovery. Key to our analysis is a combination of ideas from regularization theory and optimization in the presence of errors. Theoretical results are complemented by experiments showing that state-of-the-art performances can be achieved with considerable computational speed-ups.


title: Compressed-Domain Detection and Estimation for Colocated MIMO Radar

abstract: This paper proposes compressed domain signal processing (CSP) multiple input multiple output (MIMO) radar, a MIMO radar approach that achieves substantial sample complexity reduction by exploiting the idea of CSP. CSP MIMO radar involves two levels of data compression followed by target detection at the compressed domain. First, compressive sensing is applied at the receive antennas, followed by a Capon beamformer which is designed to suppress clutter. Exploiting the sparse nature of the beamformer output, a second compression is applied to the filtered data. Target detection is subsequently conducted by formulating and solving a hypothesis testing problem at each grid point of the discretized angle space. The proposed approach enables an 8-fold reduction of the sample complexity in some settings as compared to a conventional compressed sensing (CS) MIMO radar thus enabling faster target detection. Receiver operating characteristic (ROC) curves of the proposed detector are provided. Simulation results show that the proposed approach outperforms recovery-based compressed sensing algorithms.


title: Competing quantum phases of hard-core boson with tilted dipole-dipole interaction

abstract: Different quantum phases of hard-core boson induced by dipole-dipole interaction with varying angles of polarization are discussed in this work. We consider the two most influential leading terms with anisotropy due to the tilted polarization of the on-site boson in the square lattice. To ensure the concreteness of this truncation, we compare our phase diagrams, obtained numerically from cluster mean-field theory (CMFT) and infinite projected entangled-pair state (iPEPS), with that of the long-range interacting model from quantum Monte Carlo. Next, we focus on the case where the azimuthal angle is fixed to $\phi = \pi/4$. Using the mean-field analysis where the quantum spin operators are replaced by $c$-numbers, we aim to search for the underlying phases, especially the supersolid. Our results show a competing scenario mainly between two ordered phases with different sizes of unit cell, where first-order transition takes place in between them. With the help of CMFT and variational iPEPS, the phase boundaries predicted by the mean-field theory are determined more precisely. Our discoveries elucidate the possible underlying supersolid phases which might be seen in the ultracold experiments with strongly dipolar atoms. Moreover, our results indicate that an effective triangular optical lattice can be realized by fine tuning the polarization of dipoles in a square lattice.


title: Scalable Learning and MAP Inference for Nonsymmetric Determinantal Point Processes

abstract: Determinantal point processes (DPPs) have attracted significant attention in machine learning for their ability to model subsets drawn from a large item collection. Recent work shows that nonsymmetric DPP (NDPP) kernels have significant advantages over symmetric kernels in terms of modeling power and predictive performance. However, for an item collection of size $M$, existing NDPP learning and inference algorithms require memory quadratic in $M$ and runtime cubic (for learning) or quadratic (for inference) in $M$, making them impractical for many typical subset selection tasks. In this work, we develop a learning algorithm with space and time requirements linear in $M$ by introducing a new NDPP kernel decomposition. We also derive a linear-complexity NDPP maximum a posteriori (MAP) inference algorithm that applies not only to our new kernel but also to that of prior work. Through evaluation on real-world datasets, we show that our algorithms scale significantly better, and can match the predictive performance of prior work.


title: Ranks of Strictly Minimal Reaction Systems Induced by Permutations and Cartesian Product

abstract: Reaction system is a computing model inspired by the biochemical interaction taking place within the living cells. Various extended or modified frameworks motivated by biological, physical, or purely mathematically considerations have been proposed and received significant amount of attention, notably in the recent years. This study, however, takes after particular early works that concentrated on the mathematical nature of minimal reaction systems in the context-free basic framework and motivated by a recent result on the sufficiency of strictly minimal reaction systems to simulate every reaction system. This paper focuses on the largest reaction system rank attainable by strictly minimal reaction systems, where the rank pertains to the minimum size of a functionally equivalent reaction system. Precisely, we provide a very detailed study for specific strictly minimal reaction system induced by permutations, up to the quaternary alphabet. Along the way, we obtain a general result about reaction system rank for Cartesian product of functions specified by reaction systems.


title: Probabilistic Models for the Execution Time in Stochastic Scheduling

abstract: The execution time of programs is a key element in many areas of computer science, mainly those where achieving good performance (e.g., scheduling in cloud computing) or a predictable one (e.g., meeting deadlines in embedded systems) is the objective. Despite being random variables, execution times are most often treated as deterministic in the literature, with few works taking advantage of their randomness; even in those, the underlying distributions are assumed as being normal or uniform for no particular reason. In this work we investigate these distributions in various machines and algorithms. A mathematical problem arises when dealing with samples whose populational minimum is unknown, so a significant portion of this monograph is dedicated to such problem. We propose several different effective or computationally cheap ways to overcome the problem, which also apply to execution times. These methods are tested experimentally, and results point to the superiority of our proposed inference methods. We demonstrate the existence of execution time distributions with long tails, and also conclude that two particular probability distributions were the most suitable for modelling all execution times. While we do not discuss direct applications to stochastic scheduling, we hope to promote the usage of probabilistic execution times to yield better results in, for example, task scheduling.


title: Intelligent Protection & Classification of Transients in Two-Core Symmetric Phase Angle Regulating Transformers

abstract: This paper investigates the applicability of time and time-frequency features based classifiers to distinguish internal faults and other transients - magnetizing inrush, sympathetic inrush, external faults with current transformer saturation, and overexcitation - for Indirect Symmetrical Phase Angle Regulating Transformers (ISPAR). Then the faulty transformer unit (series/exciting) of the ISPAR is located, or else the transient disturbance is identified. An event detector detects variation in differential currents and registers one-cycle of 3-phase post transient samples which are used to extract the time and time-frequency features for training seven classifiers. Three different sets of features - wavelet coefficients, time-domain features, and combination of time and wavelet energy - obtained from exhaustive search using Decision Tree, random forest feature selection, and maximum Relevance Minimum Redundancy are used. The internal fault is detected with a balanced accuracy of 99.9%, the faulty unit is localized with balanced accuracy of 98.7% and the no-fault transients are classified with balanced accuracy of 99.5%. The results show potential for accurate internal fault detection and localization, and transient identification. The proposed scheme can supervise the operation of existing microprocessor-based differential relays resulting in higher stability and dependability. The ISPAR is modeled and the transients are simulated in PSCAD/EMTDC by varying several parameters.


title: Simulation of Particle-Material Interactions

abstract: This paper gives an overview of the particle transport theory essentials, the basics of particle-material interaction simulation, physical quantities needed to simulate particle transport and interactions in materials, Monte Carlo simulation flow, response of additive detectors, statistical weights and other techniques to minimize statistical errors. Effects in materials under irradiation, materials response related to component lifetime and performance are considered with a focus on high-energy and high-power accelerator applications. Implementation of simulation of particle-material interactions in the modern Monte Carlo codes along with the code s main features and results of recent benchmarking are described.


title: Ultrametric theory of conformational dynamics of protein molecules in a functional state and the description of experiments on the kinetics of CO binding to myoglobin

abstract: The paper is devoted to a systematic account of the theory of conformational dynamics of protein molecules. As an example of application of this theory, we provide a complete analytical description of experiments on the kinetics of CO binding to myoglobin, which were carried out by the group of Frauenfelder more than 30 years ago and acquired the status of base experiments for studying the properties of the fluctuation dynamic mobility of protein molecules. As early as 2001, the authors could demonstrate that, within the model of ultrametric random walk with a reaction sink, the experimental curves of CO binding to myoglobin can be reproduced in the high-temperature region. Later, in 2010, the authors proposed a modified model and, based on its numerical analysis, demonstrated that this model can reproduces the experimental results over the whole temperature range covered in the experiment. In the present study, based on the previously proposed model, we formulate a rigorous mathematical theory of conformational dynamics of protein molecules. We demonstrate that the proposed theory provides not only a complete description of the experiment over the whole temperature range of $\left(60\div300\right)$ K and in the observation time window of $\left(10^{-7}\div10^{2}\right)$ s but also a unified picture of the conformational mobility of a protein molecule, as well as allows one to realize the fact that the mobility changes in a self-similar way. This specific feature of protein molecules, which has remained hidden to date, significantly expands the ideas of dynamic symmetry that proteins apparently possess. In addition, we show that the model provides a prediction for the behavior of the kinetic curves of the experiment in the low-temperature range of $\left(60\div180\right)$ K at times not covered by the experiment (more than $10^{2}$ s).

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP


title: Logic, Probability and Action: A Situation Calculus Perspective

abstract: The unification of logic and probability is a long-standing concern in AI, and more generally, in the philosophy of science. In essence, logic provides an easy way to specify properties that must hold in every possible world, and probability allows us to further quantify the weight and ratio of the worlds that must satisfy a property. To that end, numerous developments have been undertaken, culminating in proposals such as probabilistic relational models. While this progress has been notable, a general-purpose first-order knowledge representation language to reason about probabilities and dynamics, including in continuous settings, is still to emerge. In this paper, we survey recent results pertaining to the integration of logic, probability and actions in the situation calculus, which is arguably one of the oldest and most well-known formalisms. We then explore reduction theorems and programming interfaces for the language. These results are motivated in the context of cognitive robotics (as envisioned by Reiter and his colleagues) for the sake of concreteness. Overall, the advantage of proving results for such a general language is that it becomes possible to adapt them to any special-purpose fragment, including but not limited to popular probabilistic relational models.


title: Testing Rotating Regular Metrics as Candidates for Astrophysical Black Holes

abstract: The Event Horizon Telescope, a global submillimeter wavelength very long baseline interferometry array, produced the first image of supermassive black hole M87* showing a ring of diameter $\theta_d= 42\pm 3\,\mu$as, inferred a black hole mass of $M=(6.5 \pm 0.7) \times 10^9 M_\odot $ and allowed us to investigate the nature of strong-field gravity. The observed image is consistent with the shadow of a Kerr black hole, which according to the Kerr hypothesis describes the background spacetimes of all astrophysical black holes. The hypothesis, a strong-field prediction of general relativity, may be violated in the modified theories of gravity that admit non-Kerr black holes. Here, we use the black hole shadow to investigate the constraints when rotating regular black holes (non-Kerr) can be considered as astrophysical black hole candidates, paying attention to three leading regular black hole models with additional parameters $g$ related to nonlinear electrodynamics charge. Our interesting results based on the systematic bias analysis are that rotating regular black holes shadows may or may not capture Kerr black hole shadows, depending on the values of the parameter $g$. Indeed, the shadows of Bardeen black holes ($g\lesssim 0.26 M$), Hayward black holes ($g\lesssim 0.65 M$), and non-singular black holes ($g\lesssim 0.25 M$) are indistinguishable from Kerr black hole shadows within the current observational uncertainties, and thereby they can be strong viable candidates for the astrophysical black holes. Whereas Bardeen black holes ( $g\leq 0.30182M$), Hayward black holes ($g\leq 0.73627M$), and non-singular black holes ($g\leq 0.30461M$), within the $1\sigma$ region for $\theta_d= 39\, \mu$as, are consistent with the observed angular diameter of M87*.


title: Construction and Monte Carlo estimation of wavelet frames generated by a reproducing kernel

abstract: We introduce a construction of multiscale tight frames on general domains. The frame elements are obtained by spectral filtering of the integral operator associated with a reproducing kernel. Our construction extends classical wavelets as well as generalized wavelets on both continuous and discrete non-Euclidean structures such as Riemannian manifolds and weighted graphs. Moreover, it allows to study the relation between continuous and discrete frames in a random sampling regime, where discrete frames can be seen as Monte Carlo estimates of the continuous ones. Pairing spectral regularization with learning theory, we show that a sample frame tends to its population counterpart, and derive explicit finite-sample rates on spaces of Sobolev and Besov regularity. Our results prove the stability of frames constructed on empirical data, in the sense that all stochastic discretizations have the same underlying limit regardless of the set of initial training samples.


title: Norm-attaining tensors and nuclear operators

abstract: Given two Banach spaces $X$ and $Y$, we introduce and study a concept of norm-attainment in the space of nuclear operators $\mathcal{N}(X,Y)$ and in the projective tensor product space $X \widehat{\otimes}_\pi Y$. We exhibit positive and negative examples where both previous norm-attainment hold. We also study the problem of whether the class of elements which attain their norms in $\mathcal{N}(X,Y)$ and in $X\widehat{\otimes}_\pi Y$ is dense or not. We prove that, for both concepts, the density of norm-attaining elements holds for a large class of Banach spaces $X$ and $Y$ which, in particular, covers all classical Banach spaces. Nevertheless, we present Banach spaces $X$ and $Y$ failing the approximation property in such a way that the class of elements in $X\widehat{\otimes}_\pi Y$ which attain their projective norms is not dense. We also discuss some relations and applications of our work to the classical theory of norm-attaining operators throughout the paper.


title: Scheduling a Proportionate Flow Shop of Batching Machines

abstract: In this paper we study a proportionate flow shop of batching machines with release dates and a fixed number $m \geq 2$ of machines. The scheduling problem has so far barely received any attention in the literature, but recently its importance has increased significantly, due to applications in the industrial scaling of modern bio-medicine production processes. We show that for any fixed number of machines, the makespan and the sum of completion times can be minimized in polynomial time. Furthermore, we show that the obtained algorithm can also be used to minimize the weighted total completion time, maximum lateness, total tardiness and (weighted) number of late jobs in polynomial time if all release dates are $0$. Previously, polynomial time algorithms have only been known for two machines.


title: An Exploratory Study of Argumentative Writing by Young Students: A Transformer-based Approach

abstract: We present a computational exploration of argument critique writing by young students. Middle school students were asked to criticize an argument presented in the prompt, focusing on identifying and explaining the reasoning flaws. This task resembles an established college-level argument critique task. Lexical and discourse features that utilize detailed domain knowledge to identify critiques exist for the college task but do not perform well on the young students data. Instead, transformer-based architecture (e.g., BERT) fine-tuned on a large corpus of critique essays from the college task performs much better (over 20% improvement in F1 score). Analysis of the performance of various configurations of the system suggests that while children's writing does not exhibit the standard discourse structure of an argumentative essay, it does share basic local sequential structures with the more mature writers.


title: Cluster Diffusing Shuffles

abstract: Unbiased shuffling algorithms, such as the Fisher-Yates shuffle, are often used for shuffle play in media players. These algorithms treat all items being shuffled equally regardless of how similar the items are to each other. While this may be desirable for many applications, this is problematic for shuffle play due to the clustering illusion, which is the tendency for humans to erroneously consider 'streaks' or 'clusters' that may arise from samplings of random distributions to be non-random. This thesis attempts to address this issue with a family of biased shuffling algorithms called cluster diffusing (CD) shuffles which are based on disordered hyperuniform systems such as the distribution of cone cells in chicken eyes, the energy levels of heavy atomic nuclei, the eigenvalue distributions of various types of random matrices, and many others which appear in a variety of biological, chemical, physical, and mathematical settings. These systems suppress density fluctuations at large length scales without appearing ordered like lattices, making them ideal for shuffle play. The CD shuffles range from a random matrix based shuffle which takes $O(n^3)$ time and $O(n^2)$ space to more efficient approximations which take $O(n)$ time and $O(n)$ space.


title: AdaSwarm: Augmenting Gradient-Based optimizers in Deep Learning with Swarm Intelligence

abstract: This paper introduces AdaSwarm, a novel gradient-free optimizer which has similar or even better performance than the Adam optimizer adopted in neural networks. In order to support our proposed AdaSwarm, a novel Exponentially weighted Momentum Particle Swarm Optimizer (EMPSO), is proposed. The ability of AdaSwarm to tackle optimization problems is attributed to its capability to perform good gradient approximations. We show that, the gradient of any function, differentiable or not, can be approximated by using the parameters of EMPSO. This is a novel technique to simulate GD which lies at the boundary between numerical methods and swarm intelligence. Mathematical proofs of the gradient approximation produced are also provided. AdaSwarm competes closely with several state-of-the-art (SOTA) optimizers. We also show that AdaSwarm is able to handle a variety of loss functions during backpropagation, including the maximum absolute error (MAE).


title: Self-Supervised Joint Learning Framework of Depth Estimation via Implicit Cues

abstract: In self-supervised monocular depth estimation, the depth discontinuity and motion objects' artifacts are still challenging problems. Existing self-supervised methods usually utilize a single view to train the depth estimation network. Compared with static views, abundant dynamic properties between video frames are beneficial to refined depth estimation, especially for dynamic objects. In this work, we propose a novel self-supervised joint learning framework for depth estimation using consecutive frames from monocular and stereo videos. The main idea is using an implicit depth cue extractor which leverages dynamic and static cues to generate useful depth proposals. These cues can predict distinguishable motion contours and geometric scene structures. Furthermore, a new high-dimensional attention module is introduced to extract clear global transformation, which effectively suppresses uncertainty of local descriptors in high-dimensional space, resulting in a more reliable optimization in learning framework. Experiments demonstrate that the proposed framework outperforms the state-of-the-art(SOTA) on KITTI and Make3D datasets.


title: Twin-width II: small classes

abstract: The twin-width of a graph $G$ is the minimum integer $d$ such that $G$ has a $d$-contraction sequence, that is, a sequence of $|V(G)|-1$ iterated vertex identifications for which the overall maximum number of red edges incident to a single vertex is at most $d$, where a red edge appears between two sets of identified vertices if they are not homogeneous in $G$. We show that if a graph admits a $d$-contraction sequence, then it also has a linear-arity tree of $f(d)$-contractions, for some function $f$. First this permits to show that every bounded twin-width class is small, i.e., has at most $n!c^n$ graphs labeled by $[n]$, for some constant $c$. This unifies and extends the same result for bounded treewidth graphs [Beineke and Pippert, JCT '69], proper subclasses of permutations graphs [Marcus and Tardos, JCTA '04], and proper minor-free classes [Norine et al., JCTB '06]. The second consequence is an $O(\log n)$-adjacency labeling scheme for bounded twin-width graphs, confirming several cases of the implicit graph conjecture. We then explore the "small conjecture" that, conversely, every small hereditary class has bounded twin-width. Inspired by sorting networks of logarithmic depth, we show that $\log_{\Theta(\log \log d)}n$-subdivisions of $K_n$ (a small class when $d$ is constant) have twin-width at most $d$. We obtain a rather sharp converse with a surprisingly direct proof: the $\log_{d+1}n$-subdivision of $K_n$ has twin-width at least $d$. Secondly graphs with bounded stack or queue number (also small classes) have bounded twin-width. Thirdly we show that cubic expanders obtained by iterated random 2-lifts from $K_4$~[Bilu and Linial, Combinatorica '06] have bounded twin-width, too. We suggest a promising connection between the small conjecture and group theory. Finally we define a robust notion of sparse twin-width and discuss how it compares with other sparse classes.


title: Spatial-And-Context aware (SpACe) "virtual biopsy" radiogenomic maps to target tumor mutational status on structural MRI

abstract: With growing emphasis on personalized cancer-therapies,radiogenomics has shown promise in identifying target tumor mutational status on routine imaging (i.e. MRI) scans. These approaches fall into 2 categories: (1) deep-learning/radiomics (context-based), using image features from the entire tumor to identify the gene mutation status, or (2) atlas (spatial)-based to obtain likelihood of gene mutation status based on population statistics. While many genes (i.e. EGFR, MGMT) are spatially variant, a significant challenge in reliable assessment of gene mutation status on imaging has been the lack of available co-localized ground truth for training the models. We present Spatial-And-Context aware (SpACe) "virtual biopsy" maps that incorporate context-features from co-localized biopsy site along with spatial-priors from population atlases, within a Least Absolute Shrinkage and Selection Operator (LASSO) regression model, to obtain a per-voxel probability of the presence of a mutation status (M+ vs M-). We then use probabilistic pair-wise Markov model to improve the voxel-wise prediction probability. We evaluate the efficacy of SpACe maps on MRI scans with co-localized ground truth obtained from corresponding biopsy, to predict the mutation status of 2 driver genes in Glioblastoma: (1) EGFR (n=91), and (2) MGMT (n=81). When compared against deep-learning (DL) and radiomic models, SpACe maps obtained training and testing accuracies of 90% (n=71) and 90.48% (n=21) in identifying EGFR amplification status,compared to 80% and 71.4% via radiomics, and 74.28% and 65.5% via DL. For MGMT status, training and testing accuracies using SpACe were 88.3% (n=61) and 71.5% (n=20), compared to 52.4% and 66.7% using radiomics,and 79.3% and 68.4% using DL. Following validation,SpACe maps could provide surgical navigation to improve localization of sampling sites for targeting of specific driver genes in cancer.


title: Using Wavelets and Spectral Methods to Study Patterns in Image-Classification Datasets

abstract: Deep learning models extract, before a final classification layer, features or patterns which are key for their unprecedented advantageous performance. However, the process of complex nonlinear feature extraction is not well understood, a major reason why interpretation, adversarial robustness, and generalization of deep neural nets are all open research problems. In this paper, we use wavelet transformation and spectral methods to analyze the contents of image classification datasets, extract specific patterns from the datasets and find the associations between patterns and classes. We show that each image can be written as the summation of a finite number of rank-1 patterns in the wavelet space, providing a low rank approximation that captures the structures and patterns essential for learning. Regarding the studies on memorization vs learning, our results clearly reveal disassociation of patterns from classes, when images are randomly labeled. Our method can be used as a pattern recognition approach to understand and interpret learnability of these datasets. It may also be used for gaining insights about the features and patterns that deep classifiers learn from the datasets.


title: On the Lucas and Lehmer sequences in transcendental Dedekind domains

abstract: A Dedekind domain is said to be transcendental if it is not a field but it contains a field. In this paper, we first obtain the strong divisibility property for the Lucas and Lehmer sequences in transcendental Dedekind domains, and then establish analogues of Zsigmondy's theorem and the primitive divisor results for such sequences in function fields.


title: Water adsorption enhances electrical conductivity in transparent p-type CuI

abstract: CuI has been recently rediscovered as a p-type transparent conductor with a high figure of merit. Even though many metal iodides are hygroscopic, the effect of moisture on the electrical properties of CuI has not been clarified. In this work, we observe a two-fold increase in the conductivity of CuI after exposure to ambient humidity for 5 hours, followed by slight long-term degradation. Simultaneously, the work function of CuI decreases by almost 1 eV, which can explain the large spread in the previously reported work function values. The conductivity increase is partially reversible and is maximized at intermediate humidity levels. Based on the large intra-grain mobility measured by THz spectroscopy, we suggest that hydration of grain boundaries may be beneficial for the overall hole mobility.


title: Unsupervised Learning of Visual Features by Contrasting Cluster Assignments

abstract: Unsupervised image representations have significantly reduced the gap with supervised pretraining, notably with the recent achievements of contrastive learning methods. These contrastive methods typically work online and rely on a large number of explicit pairwise feature comparisons, which is computationally challenging. In this paper, we propose an online algorithm, SwAV, that takes advantage of contrastive methods without requiring to compute pairwise comparisons. Specifically, our method simultaneously clusters the data while enforcing consistency between cluster assignments produced for different augmentations (or views) of the same image, instead of comparing features directly as in contrastive learning. Simply put, we use a swapped prediction mechanism where we predict the cluster assignment of a view from the representation of another view. Our method can be trained with large and small batches and can scale to unlimited amounts of data. Compared to previous contrastive methods, our method is more memory efficient since it does not require a large memory bank or a special momentum network. In addition, we also propose a new data augmentation strategy, multi-crop, that uses a mix of views with different resolutions in place of two full-resolution views, without increasing the memory or compute requirements much. We validate our findings by achieving 75.3% top-1 accuracy on ImageNet with ResNet-50, as well as surpassing supervised pretraining on all the considered transfer tasks.


title: Near-Infrared Search for Fundamental-mode RR Lyrae Stars Toward the Inner Bulge by Deep Learning

abstract: Aiming to extend the census of RR Lyrae stars to highly reddened low-latitude regions of the central Milky Way, we performed a deep near-IR variability search using data from the VISTA Variables in the V\'ia L\'actea (VVV) survey of the bulge, analyzing the photometric time series of over a hundred million point sources. In order to separate fundamental-mode RR Lyrae (RRab) stars from other periodically variable sources, we trained a deep bidirectional long short-term memory recurrent neural network (RNN) classifier using VVV survey data and catalogs of RRab stars discovered and classified by optical surveys. Our classifier attained a ~99% precision and recall for light curves with signal-to-noise ratio above 60, and is comparable to the best-performing classifiers trained on accurate optical data. Using our RNN classifier, we identified over 4300 hitherto unknown bona fide RRab stars toward the inner bulge. We provide their photometric catalog and VVV J,H,Ks photometric time-series.


title: Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis

abstract: We provide a computer-assisted approach to ensure that a given continuous or discrete-time polynomial system is (asymptotically) stable. Our framework relies on constructive analysis together with formally certified sums of squares Lyapunov functions. The crucial steps are formalized within of the proof assistant Minlog. We illustrate our approach with various examples issued from the control system literature.


title: Staging Epileptogenesis with Deep Neural Networks

abstract: Epilepsy is a common neurological disorder characterized by recurrent seizures accompanied by excessive synchronous brain activity. The process of structural and functional brain alterations leading to increased seizure susceptibility and eventually spontaneous seizures is called epileptogenesis (EPG) and can span months or even years. Detecting and monitoring the progression of EPG could allow for targeted early interventions that could slow down disease progression or even halt its development. Here, we propose an approach for staging EPG using deep neural networks and identify potential electroencephalography (EEG) biomarkers to distinguish different phases of EPG. Specifically, continuous intracranial EEG recordings were collected from a rodent model where epilepsy is induced by electrical perforant pathway stimulation (PPS). A deep neural network (DNN) is trained to distinguish EEG signals from before stimulation (baseline), shortly after the PPS and long after the PPS but before the first spontaneous seizure (FSS). Experimental results show that our proposed method can classify EEG signals from the three phases with an average area under the curve (AUC) of 0.93, 0.89, and 0.86. To the best of our knowledge, this represents the first successful attempt to stage EPG prior to the FSS using DNNs.


title: Modeling the quiet Sun cell and network emission with ALMA

abstract: ALMA observations of the Sun at mm-$\lambda$ offer a unique opportunity to investigate the temperature structure of the solar chromosphere. In this article we expand our previous work on modeling the chromospheric temperature of the quiet Sun, by including measurements of the brightness temperature in the network and cell interiors, from high resolution ALMA images at 3 mm (Band 3) and 1.26 mm (Band 6). We also examine the absolute calibration of ALMA full-disk images. We suggest that the brightness temperature at the center of the solar disk in Band 6 is $\sim440$ K above the value recommended by White et al. (2017) and we give improved results for the electron temperature variation of the average quiet Sun with optical depth, as well as the derived spectrum at the center of the disk. We found that the electron temperature in the network is considerably lower than predicted by model F of Fontenla et al. (1993) and that of the cell interior considerably higher than predicted by model A. Depending upon the network/cell segregation scheme, the electron temperature difference between network and cell at $\tau=1$ (100 GHz) is from $\sim$660 to $\sim$1550 K, compared to $\sim$3280 K predicted by the models; similarly, the $T_e$ ratio is from $\sim$1.10, to 1.24, against $\sim$1.55 of the model prediction. We also found that the network/cell $T_e(\tau)$ curves diverge as $\tau$ decreases, indicating an increase of contrast with height and possibly a steeper temperature rise in the network than in the cell interior.


title: Quantification of groundnut leaf defects using image processing algorithms

abstract: Identification, classification, and quantification of crop defects are of paramount of interest to the farmers for preventive measures and decrease the yield loss through necessary remedial actions. Due to the vast agricultural field, manual inspection of crops is tedious and time-consuming. UAV based data collection, observation, identification, and quantification of defected leaves area are considered to be an effective solution. The present work attempts to estimate the percentage of affected groundnut leaves area across four regions of Andharapradesh using image processing techniques. The proposed method involves colour space transformation combined with thresholding technique to perform the segmentation. The calibration measures are performed during acquisition with respect to UAV capturing distance, angle and other relevant camera parameters. Finally, our method can estimate the consolidated leaves and defected area. The image analysis results across these four regions reveal that around 14 - 28% of leaves area is affected across the groundnut field and thereby yield will be diminished correspondingly. Hence, it is recommended to spray the pesticides on the affected regions alone across the field to improve the plant growth and thereby yield will be increased.


title: Let's Face It: Probabilistic Multi-modal Interlocutor-aware Generation of Facial Gestures in Dyadic Settings

abstract: To enable more natural face-to-face interactions, conversational agents need to adapt their behavior to their interlocutors. One key aspect of this is generation of appropriate non-verbal behavior for the agent, for example facial gestures, here defined as facial expressions and head movements. Most existing gesture-generating systems do not utilize multi-modal cues from the interlocutor when synthesizing non-verbal behavior. Those that do, typically use deterministic methods that risk producing repetitive and non-vivid motions. In this paper, we introduce a probabilistic method to synthesize interlocutor-aware facial gestures - represented by highly expressive FLAME parameters - in dyadic conversations. Our contributions are: a) a method for feature extraction from multi-party video and speech recordings, resulting in a representation that allows for independent control and manipulation of expression and speech articulation in a 3D avatar; b) an extension to MoGlow, a recent motion-synthesis method based on normalizing flows, to also take multi-modal signals from the interlocutor as input and subsequently output interlocutor-aware facial gestures; and c) a subjective evaluation assessing the use and relative importance of the input modalities. The results show that the model successfully leverages the input from the interlocutor to generate more appropriate behavior. Videos, data, and code available at: https://jonepatr.github.io/lets_face_it.

categories: cs.CV cs.HC cs.LG cs.SD eess.AS eess.IV stat.ML


title: Mechanism Design for Perturbation Stable Combinatorial Auctions

abstract: Motivated by recent research on combinatorial markets with endowed valuations by (Babaioff et al., EC 2018) and (Ezra et al., EC 2020), we introduce a notion of perturbation stability in Combinatorial Auctions (CAs) and study the extend to which stability helps in social welfare maximization and mechanism design. A CA is $\gamma\textit{-stable}$ if the optimal solution is resilient to inflation, by a factor of $\gamma \geq 1$, of any bidder's valuation for any single item. On the positive side, we show how to compute efficiently an optimal allocation for 2-stable subadditive valuations and that a Walrasian equilibrium exists for 2-stable submodular valuations. Moreover, we show that a Parallel 2nd Price Auction (P2A) followed by a demand query for each bidder is truthful for general subadditive valuations and results in the optimal allocation for 2-stable submodular valuations. To highlight the challenges behind optimization and mechanism design for stable CAs, we show that a Walrasian equilibrium may not exist for $\gamma$-stable XOS valuations for any $\gamma$, that a polynomial-time approximation scheme does not exist for $(2-\epsilon)$-stable submodular valuations, and that any DSIC mechanism that computes the optimal allocation for stable CAs and does not use demand queries must use exponentially many value queries. We conclude with analyzing the Price of Anarchy of P2A and Parallel 1st Price Auctions (P1A) for CAs with stable submodular and XOS valuations. Our results indicate that the quality of equilibria of simple non-truthful auctions improves only for $\gamma$-stable instances with $\gamma \geq 3$.


title: Diverse Rule Sets

abstract: While machine-learning models are flourishing and transforming many aspects of everyday life, the inability of humans to understand complex models poses difficulties for these models to be fully trusted and embraced. Thus, interpretability of models has been recognized as an equally important quality as their predictive power. In particular, rule-based systems are experiencing a renaissance owing to their intuitive if-then representation. However, simply being rule-based does not ensure interpretability. For example, overlapped rules spawn ambiguity and hinder interpretation. Here we propose a novel approach of inferring diverse rule sets, by optimizing small overlap among decision rules with a 2-approximation guarantee under the framework of Max-Sum diversification. We formulate the problem as maximizing a weighted sum of discriminative quality and diversity of a rule set. In order to overcome an exponential-size search space of association rules, we investigate several natural options for a small candidate set of high-quality rules, including frequent and accurate rules, and examine their hardness. Leveraging the special structure in our formulation, we then devise an efficient randomized algorithm, which samples rules that are highly discriminative and have small overlap. The proposed sampling algorithm analytically targets a distribution of rules that is tailored to our objective. We demonstrate the superior predictive power and interpretability of our model with a comprehensive empirical study against strong baselines.


title: Fine-grained Sentiment Controlled Text Generation

abstract: Controlled text generation techniques aim to regulate specific attributes (e.g. sentiment) while preserving the attribute independent content. The state-of-the-art approaches model the specified attribute as a structured or discrete representation while making the content representation independent of it to achieve a better control. However, disentangling the text representation into separate latent spaces overlooks complex dependencies between content and attribute, leading to generation of poorly constructed and not so meaningful sentences. Moreover, such an approach fails to provide a finer control on the degree of attribute change. To address these problems of controlled text generation, in this paper, we propose DE-VAE, a hierarchical framework which captures both information enriched entangled representation and attribute specific disentangled representation in different hierarchies. DE-VAE achieves better control of sentiment as an attribute while preserving the content by learning a suitable lossless transformation network from the disentangled sentiment space to the desired entangled representation. Through feature supervision on a single dimension of the disentangled representation, DE-VAE maps the variation of sentiment to a continuous space which helps in smoothly regulating sentiment from positive to negative and vice versa. Detailed experiments on three publicly available review datasets show the superiority of DE-VAE over recent state-of-the-art approaches.


title: STAD: Spatio-Temporal Adjustment of Traffic-Oblivious Travel-Time Estimation

abstract: Travel time estimation is an important component in modern transportation applications. The state of the art techniques for travel time estimation use GPS traces to learn the weights of a road network, often modeled as a directed graph, then apply Dijkstra-like algorithms to find shortest paths. Travel time is then computed as the sum of edge weights on the returned path. In order to enable time-dependency, existing systems compute multiple weighted graphs corresponding to different time windows. These graphs are often optimized offline before they are deployed into production routing engines, causing a serious engineering overhead. In this paper, we present STAD, a system that adjusts - on the fly - travel time estimates for any trip request expressed in the form of origin, destination, and departure time. STAD uses machine learning and sparse trips data to learn the imperfections of any basic routing engine, before it turns it into a full-fledged time-dependent system capable of adjusting travel times to real traffic conditions in a city. STAD leverages the spatio-temporal properties of traffic by combining spatial features such as departing and destination geographic zones with temporal features such as departing time and day to significantly improve the travel time estimates of the basic routing engine. Experiments on real trip datasets from Doha, New York City, and Porto show a reduction in median absolute errors of 14% in the first two cities and 29% in the latter. We also show that STAD performs better than different commercial and research baselines in all three cities.


title: On two classes of generalized fractional operators (with short historical survey of fractional calculus)

abstract: This is a survey paper in two parts. In the first part we list main variants of one-dimensional fractional integrodifferential operators. Also some historical and priority remarks are given. As a special question we consider the impact of Soviet and Russian researches to fractional calculus and its applications to viscoelasticity theory. We also stress an impact of the Voronezh school of mechanics and viscoelasticity theory, including works of Shermergor, Meschkov, Rossikhin, Shitikova and others. In the second part of the paper we consider two important special classes of generalized fractional operators, they were thoroughly studied by the authors. We consider Buschman-Erdelyi operators, this is an important class containing as special cases Riemann-Liouville, Erd\'elyi-Kober, Mehler-Fock operators and some others. They also include classical transmutations for the Bessel differential operator, namely Sonine and Poisson ones. After that we represent results on another important generalization of Riemann-Liouville operators, namely fractional powers of the Bessel operators. The paper is dedicated to Adam Maremovich Nakhushev -- brilliant man and mathematician.


title: Power Efficient LED Placement Algorithm for Indoor Visible Light Communication

abstract: This paper proposes a novel power-efficient light-emitting diode (LED) placement algorithm for indoor visible light communication (VLC). In the considered model, the LEDs can be designedly placed for high power efficiency while satisfying the indoor communication and illumination requirements. This design problem is formulated as a power minimization problem under both communication and illumination level constraints. Due to the interactions among LEDs and the illumination uniformity constraint, the formulated problem is complex and non-convex. To solve the problem, we first transform the complex uniformity constraint into a series of linear constraints. Then an iterative algorithm is proposed to decouple the interactions among LEDs and transforms the original problem into a series of convex sub-problems. Then, we use Lagrange dual method to solve the sub-problem and obtain a convergent solution of the original problem. Simulation results show that the proposed LED placement algorithm can harvest 22.86% power consumption gain when compared with the baseline scheme with centrally placed LEDs.


title: Ranking and benchmarking framework for sampling algorithms on synthetic data streams

abstract: In the fields of big data, AI, and streaming processing, we work with large amounts of data from multiple sources. Due to memory and network limitations, we process data streams on distributed systems to alleviate computational and network loads. When data streams with non-uniform distributions are processed, we often observe overloaded partitions due to the use of simple hash partitioning. To tackle this imbalance, we can use dynamic partitioning algorithms that require a sampling algorithm to precisely estimate the underlying distribution of the data stream. There is no standardized way to test these algorithms. We offer an extensible ranking framework with benchmark and hyperparameter optimization capabilities and supply our framework with a data generator that can handle concept drifts. Our work includes a generator for dynamic micro-bursts that we can apply to any data stream. We provide algorithms that react to concept drifts and compare those against the state-of-the-art algorithms using our framework.


title: On the Learnability of Concepts: With Applications to Comparing Word Embedding Algorithms

abstract: Word Embeddings are used widely in multiple Natural Language Processing (NLP) applications. They are coordinates associated with each word in a dictionary, inferred from statistical properties of these words in a large corpus. In this paper we introduce the notion of "concept" as a list of words that have shared semantic content. We use this notion to analyse the learnability of certain concepts, defined as the capability of a classifier to recognise unseen members of a concept after training on a random subset of it. We first use this method to measure the learnability of concepts on pretrained word embeddings. We then develop a statistical analysis of concept learnability, based on hypothesis testing and ROC curves, in order to compare the relative merits of various embedding algorithms using a fixed corpora and hyper parameters. We find that all embedding methods capture the semantic content of those word lists, but fastText performs better than the others.


title: Quadratic Maximization over the Reachable Values Set of a Convergent Discrete-time Affine System : The diagonalizable case

abstract: In this paper, we solve a maximization problem where the objective function is quadratic and convex or concave and the constraints set is the reachable value set of a convergent discrete-time affine system. Moreover, we assume that the matrix defining the system is diagonalizable. The difficulty of the problem lies in the infinite sequence to handle in the constraint set. Equivalently, the problem requires to solve an infinite number of quadratic programs. Therefore, the main idea is to extract a finite of them and to guarantee that the resolution of the extracted problems provides the optimal value and a maximizer for the initial problem. The number of quadratic programs to solve has to be the smallest possible. Actually, we construct a family of integers that over-approximate the exact number of quadratic programs to solve using basic ideas of linear algebra. This family of integers is used in the final algorithm. A new computation of an integer of the family within the algorithm ensures a reduction of the number of loop iterations. The method proposed in the paper is illustrated on small academic examples. Finally, the algorithm is experimented on randomly generated instances of the problem.


title: Evolution of galaxies in groups in the Coma Supercluster

abstract: We take a close look at the galaxies in the Coma Supercluster and assess the role of the environment (in the form of cluster, group and supercluster filament) in their evolution, in particular examining the role of groups. We characterise the groups according to intrinsic properties such as richness and halo mass, as well as their position in the supercluster and proximity to the two rich clusters, Abell 1656 (Coma) and Abell 1367. We devise a new way of characterising the local environment using a kernel density estimator. We find that apart from the dominant effects of the galaxy mass, the effect of the environment on galaxies is a complex combination of the overdensities on various scales, which is characterised in terms of membership of groups, and also of the position of the galaxy on filaments and their proximity to the infall regions of clusters. Whether the gas can be turned into stars depends upon the level of pre-processing, which plays a role in how star formation is enhanced in a given environment. Our results are consistent with gas accreted in the cold mode from the filaments, being made available to enhance star formation. Finally, we show that the Abell~1367 end of the supercluster is in the process of assembly at present, leading to heightened star formation activity, in contrast with the Coma-end of the filament system.


title: HiFLEx -- a highly flexible package to reduce cross-dispersed echelle spectra

abstract: We describe a flexible data reduction package for high resolution cross-dispersed echelle data. This open-source package is developed in Python and includes optional GUIs for most of the steps. It does not require any pre-knowledge about the form or position of the echelle-orders. It has been tested on cross-dispersed echelle spectrographs between 13k and 115k resolution (bifurcated fiber-fed spectrogaph ESO-HARPS and single fiber-fed spectrograph TNT-MRES). HiFLEx can be used to determine radial velocities and is designed to use the TERRA package but can also control the radial velocity packages such as CERES and SERVAL to perform the radial velocity analysis. Tests on HARPS data indicates radial velocities results within 3m/s of the literature pipelines without any fine tuning of extraction parameters.


title: GPIRT: A Gaussian Process Model for Item Response Theory

abstract: The goal of item response theoretic (IRT) models is to provide estimates of latent traits from binary observed indicators and at the same time to learn the item response functions (IRFs) that map from latent trait to observed response. However, in many cases observed behavior can deviate significantly from the parametric assumptions of traditional IRT models. Nonparametric IRT models overcome these challenges by relaxing assumptions about the form of the IRFs, but standard tools are unable to simultaneously estimate flexible IRFs and recover ability estimates for respondents. We propose a Bayesian nonparametric model that solves this problem by placing Gaussian process priors on the latent functions defining the IRFs. This allows us to simultaneously relax assumptions about the shape of the IRFs while preserving the ability to estimate latent traits. This in turn allows us to easily extend the model to further tasks such as active learning. GPIRT therefore provides a simple and intuitive solution to several longstanding problems in the IRT literature.


title: Electro-Magnetic Energy Extraction from Rotating Black Holes in AdS

abstract: Force-Free Electrodynamics for black holes in Anti de Sitter is considered. We present new, energy extracting solutions of Force-Free Electrodynamics in Anti de Sitter - Near Horizon Extremal Kerr and Super-Entropic Near Horizon Extremal Kerr geometries. The relevant equations of motion are derived from an action for force-free plasma surrounding spinning black holes with generic asymptotics. We consider the energy flux of electrodynamic fields in rotating frames to argue that the correct measure for energy extraction is the energy flux measured by a rotating observer in the near horizon region. We illustrate this procedure by application to near horizon solutions in Kerr, AdS-Kerr and BTZ.


title: Vision-Aided Dynamic Blockage Prediction for 6G Wireless Communication Networks

abstract: Unlocking the full potential of millimeter-wave and sub-terahertz wireless communication networks hinges on realizing unprecedented low-latency and high-reliability requirements. The challenge in meeting those requirements lies partly in the sensitivity of signals in the millimeter-wave and sub-terahertz frequency ranges to blockages. One promising way to tackle that challenge is to help a wireless network develop a sense of its surrounding using machine learning. This paper attempts to do that by utilizing deep learning and computer vision. It proposes a novel solution that proactively predicts \textit{dynamic} link blockages. More specifically, it develops a deep neural network architecture that learns from observed sequences of RGB images and beamforming vectors how to predict possible future link blockages. The proposed architecture is evaluated on a publicly available dataset that represents a synthetic dynamic communication scenario with multiple moving users and blockages. It scores a link-blockage prediction accuracy in the neighborhood of 86\%, a performance that is unlikely to be matched without utilizing visual data.


title: Shape optimization for superconductors governed by H(curl)-elliptic variational inequalities

abstract: This paper is devoted to the theoretical and numerical study of an optimal design problem in high-temperature superconductivity (HTS). The shape optimization problem is to find an optimal superconductor shape which minimizes a certain cost functional under a given target on the electric field over a specific domain of interest. For the governing PDE-model, we consider an elliptic curl-curl variational inequality (VI) of the second kind with an L1-type nonlinearity. In particular, the non-smooth VI character and the involved H(curl)-structure make the corresponding shape sensitivity analysis challenging. To tackle the non-smoothness, a penalized dual VI formulation is proposed, leading to the G{\^a}teaux differentiability of the corresponding dual variable mapping. This property allows us to derive the distributed shape derivative of the cost functional through rigorous shape calculus on the basis of the averaged adjoint method. The developed shape derivative turns out to be uniformly stable with respect to the penalization parameter, and strong convergence of the penalized problem is guaranteed. Based on the achieved theoretical findings, we propose 3D numerical solutions, realized using a level set algorithm and a Newton method with the Nedelec edge element discretization. Numerical results indicate a favourable and efficient performance of the proposed approach for a specific HTS application in superconducting shielding.


title: Learning Colour Representations of Search Queries

abstract: Image search engines rely on appropriately designed ranking features that capture various aspects of the content semantics as well as the historic popularity. In this work, we consider the role of colour in this relevance matching process. Our work is motivated by the observation that a significant fraction of user queries have an inherent colour associated with them. While some queries contain explicit colour mentions (such as 'black car' and 'yellow daisies'), other queries have implicit notions of colour (such as 'sky' and 'grass'). Furthermore, grounding queries in colour is not a mapping to a single colour, but a distribution in colour space. For instance, a search for 'trees' tends to have a bimodal distribution around the colours green and brown. We leverage historical clickthrough data to produce a colour representation for search queries and propose a recurrent neural network architecture to encode unseen queries into colour space. We also show how this embedding can be learnt alongside a cross-modal relevance ranker from impression logs where a subset of the result images were clicked. We demonstrate that the use of a query-image colour distance feature leads to an improvement in the ranker performance as measured by users' preferences of clicked versus skipped images.