title: Pressure-temperature magnetostructural phase diagrams of slowly cooled Co$_{1-x}$Cu$_x$MnGe $(0.05 \leq x \leq 0.35)$

abstract: Polycrystalline samples of Co$_{1-x}$Cu$_x$MnGe ($x=0.05, 0.10, 0.15, 0.22$ and 0.35), prepared by arc melting under argon atmosphere, have been annealed at 1123 K with final furnace cooling. The samples have been investigated by powder X-ray diffraction (in function of temperature) and ac magnetic measurements (in function of temperature and applied hydrostatic pressure up to 12 kbar). On the basis of the experimental data, the $(p,T)$ phase diagrams have been determined. For the low Cu content ($x=0.05$, 0.10 and 0.15), the compounds show a martensitic transition between the low-temperature orthorhombic crystal structure of the TiNiSi-type (space group: $Pnma$) and the high-temperature hexagonal structure of the Ni$_2$In-type (space group: $P6_3/mmc$). For the high Cu content ($x=0.22$ and 0.35) only the hexagonal structure is observed. All compounds undergo a transition from para- to ferromagnetic state with decreasing temperature (in case of $x=0.22$ through an intermediate antiferromagnetic phase). The para- to ferromagnetic transition is fully coupled with the martensitic one for $x=0.05$ at the intermediate pressure range (6 kbar $\le p \le 8$ kbar). Partial magnetostructural coupling is observed for $x=0.10$ at ambient pressure. The Curie temperature at ambient pressure decreases from 313 K for $x=0.05$ (in the orthorhombic phase) to about 250 K for the remaining compounds (in the hexagonal phase). For the Co$_{0.85}$Cu$_{0.15}$MnGe compound, entropy change associated with the martensitic transition has been calculated using Clausius-Clapeyron equation.


title: Computing NP-hard Repetitiveness Measures via MAX-SAT

abstract: Repetitiveness measures reveal profound characteristics of datasets, and give rise to compressed data structures and algorithms working in compressed space. Alas, the computation of some of these measures is NP-hard, and straight-forward computation is infeasible for datasets of even small sizes. Three such measures are the smallest size of a string attractor, the smallest size of a bidirectional macro scheme, and the smallest size of a straight-line program. While a vast variety of implementations for heuristically computing approximations exist, exact computation of these measures has received little to no attention. In this paper, we present MAX-SAT formulations that provide the first non-trivial implementations for exact computation of smallest string attractors, smallest bidirectional macro schemes, and smallest straight-line programs. Computational experiments show that our implementations work for texts of length up to a few hundred for straight-line programs and bidirectional macro schemes, and texts even over a million for string attractors.


title: The MICADO Atmospheric Dispersion Corrector: Optomechanical design, expected performance and calibration techniques

abstract: The differential refraction of light passing through the atmosphere can have a severe impact on image quality if no atmospheric dispersion corrector (ADC) is used. For the Extremely Large Telescope (ELT) this holds true well into the infrared. MICADO, the near-infrared imaging camera for the ELT, will employ a cryogenic ADC consisting of two counter-rotating Amici prisms with diameters of 125 mm. The mechanism will reduce the atmospheric dispersion to below 2.5 milli arcseconds (mas), with a set goal of 1 mas. In this report, we provide an overview of the current status of the ADC in development for MICADO. We summarise the optomechanical design and discuss how the cryogenic environment impacts the performance. We will also discuss our plan to use a diffraction mask in the cold pupil to calibrate and validate the performance once the instrument is fully integrated.


title: Edge-Of-Chaos Learning Achieved by Ion-Electron Coupled Dynamics in an Ion-Gating Reservoir

abstract: Physical reservoir computing has recently been attracting attention for its ability to significantly reduce the computational resources required to process time-series data. However, the physical reservoirs that have been reported to date have had insufficient expression power, and most of them have a large volume, which makes their practical application difficult. Herein we describe the development of a Li+-electrolyte based ion-gating reservoir (IGR), with ion-electron coupled dynamics, for use in high performance physical reservoir computing. A variety of synaptic responses were obtained in response to past experience, which responses were stored as transient charge density patterns in an electric double layer, at the Li+-electrolyte/diamond interface. Performance, which was tested using a nonlinear autoregressive moving-average (NARMA) task, was found to be excellent, with a NMSE of 0.023 for NARMA2, which is the highest for any physical reservoir reported to date. The maximum Lyapunov exponent of the IGR was 0.0083: the edge of chaos state enabling the best computational capacity. The IGR described herein opens the way for high-performance and integrated neural network devices.


title: Is the U-Net Directional-Relationship Aware?

abstract: CNNs are often assumed to be capable of using contextual information about distinct objects (such as their directional relations) inside their receptive field. However, the nature and limits of this capacity has never been explored in full. We explore a specific type of relationship~-- directional~-- using a standard U-Net trained to optimize a cross-entropy loss function for segmentation. We train this network on a pretext segmentation task requiring directional relation reasoning for success and state that, with enough data and a sufficiently large receptive field, it succeeds to learn the proposed task. We further explore what the network has learned by analysing scenarios where the directional relationships are perturbed, and show that the network has learned to reason using these relationships.


title: Instance-Dependent Near-Optimal Policy Identification in Linear MDPs via Online Experiment Design

abstract: While much progress has been made in understanding the minimax sample complexity of reinforcement learning (RL) -- the complexity of learning on the "worst-case" instance -- such measures of complexity often do not capture the true difficulty of learning. In practice, on an "easy" instance, we might hope to achieve a complexity far better than that achievable on the worst-case instance. In this work we seek to understand the "instance-dependent" complexity of learning near-optimal policies (PAC RL) in the setting of RL with linear function approximation. We propose an algorithm, \textsc{Pedel}, which achieves a fine-grained instance-dependent measure of complexity, the first of its kind in the RL with function approximation setting, thereby capturing the difficulty of learning on each particular problem instance. Through an explicit example, we show that \textsc{Pedel} yields provable gains over low-regret, minimax-optimal algorithms and that such algorithms are unable to hit the instance-optimal rate. Our approach relies on a novel online experiment design-based procedure which focuses the exploration budget on the "directions" most relevant to learning a near-optimal policy, and may be of independent interest.


title: Layered topological semimetal GaGeTe: new polytype with non-centrosymmetric structure

abstract: GaGeTe is a layered material composed of germanene and GaTe sublayers that has been recently predicted to be a basic Z2 topological semimetal. To date, only one polytype of GaGeTe is known with trigonal centrosymmetric structure (alpha phase, space group R-3m, No. 166). Here we show that as-grown samples of GaGeTe show traces of at least another polytype with hexagonal non-centrosymmetric structure (beta phase, space group P63mc, No. 186). Moreover, we suggest that another bulk hexagonal polytype (gamma phase, space group P-3m1, No. 164) could also be found near room conditions. Both alpha and beta polytypes have been identified and characterized by means of X-ray diffraction and Raman scattering measurements with the support of ab initio calculations. We provide the vibrational properties of both polytypes and show that the Raman spectrum reported for GaGeTe almost forty years ago and attributed to the alpha phase, was, in fact, that of the secondary beta phase. Additionally, we show that a Fermi resonance occurs in alpha-GaGeTe under non-resonant excitation conditions, but not under resonant excitation conditions. Theoretical calculations show that bulk beta-GaGeTe is a non-centrosymmetric weak topological semimetal with even smaller lattice thermal conductivity than centrosymmetric bulk alpha-GaGeTe. In perspective, our work paves the way for the control and engineering of GaGeTe polytypes to design and implement complex van der Waals heterostructures formed by a combination of centrosymmetric and non-centrosymmetric layers of up to three different polytypes in a single material, suitable for a number of fundamental studies and technological applications.


title: Method to observe the $J^{P}=2^{+}$ partner of the $X_{0}(2866)$ in the $B^+ \to D^{+} D^{-} K^{+} $ reaction

abstract: We propose a method based on the moments of the $D^{-} K^{+}$ mass distribution in the $B^+ \to D^{+} D^{-} K^{+} $ decay to disentangle the contribution of the $ 2^{+} $ state, partner of $X_{0}(2900)$ in the $ \bar D^{*} K^{*}$ picture for this resonance. Some of these moments show the interference patterns of the $X_{1}(2900)$ and $X_{0}(2900)$ with the $ 2^{+} $ state, which provide a clearer signal of the $ 2^{+} $ resonance than the $ 2^{+} $ signal alone. The construction of these magnitudes from present data is easy to implement, and based on these data we show that clear signals for that resonance should be seen even with the present statistics.


title: SimLM: Pre-training with Representation Bottleneck for Dense Passage Retrieval

abstract: In this paper, we propose SimLM (Similarity matching with Language Model pre-training), a simple yet effective pre-training method for dense passage retrieval. It employs a simple bottleneck architecture that learns to compress the passage information into a dense vector through self-supervised pre-training. We use a replaced language modeling objective, which is inspired by ELECTRA, to improve the sample efficiency and reduce the mismatch of the input distribution between pre-training and fine-tuning. SimLM only requires access to unlabeled corpus, and is more broadly applicable when there are no labeled data or queries. We conduct experiments on several large-scale passage retrieval datasets, and show substantial improvements over strong baselines under various settings. Remarkably, SimLM even outperforms multi-vector approaches such as ColBERTv2 which incurs significantly more storage cost. Our code and model check points are available at https://github.com/microsoft/unilm/tree/master/simlm .


title: Sn2Pd: a possible superconducting material with topological surface states

abstract: In this article, we report the detailed magneto transport measurements of the topological semimetal (TSM) candidate, Sn2Pd. Single crystal of Sn2Pd is synthesized through the self-flux method. Phase purity and crystalline morphology are confirmed through powder X ray diffraction (PXRD) pattern and field emission scanning electron microscopy (FESEM) image. Signatures of superconducting transition are seen in both transport and magneto transport measurements, which are further supported by the AC magnetization studies. Sn2Pd is found to show superconductivity onset at below 2.8K, but not the zero resistivity down to 2K. Although, isothermal magneto resistivity measurements below superconducting onset (2.8K) clearly exhibited superconductor-like behavior, but is not observed in heat capacity measurements, indicating the same to be of weak nature. Magnetotransport measurements performed in a normal state of Sn2Pd show the presence of a weak antilocalization (WAL) effect, which is confirmed by modeling of low field magneto-conductivity (MC) through Hikami Larkin Nagaoka (HLN) formalism. Here, it is worth mentioning that the present article is the first report on magneto transport measurements of Sn2Pd, which show the same to be a topological material with a weak superconducting phase below around 2.8K.


title: A Generalisation of the Phase Kick-Back

abstract: In this paper, we present a generalisation of the Phase Kick-Back technique, which is central to some of the classical algorithms in quantum computing, such as the Deutsch--Jozsa algorithm, Simon's algorithm or Grover's algorithm. We will begin by recalling the Phase Kick-Back technique to then introduce the new generalised version and analyse it. After that, we will present a new generalised version of the Deutsch--Jozsa problem and it will be solved using the previously defined technique. Finally, we will present a generalised version of the Bernstein-Vazirani problem and solve it using this technique to better understand its inner workings.


title: Learning Hierarchical Structure of Clusterable Graphs

abstract: We consider the problem of learning the hierarchical cluster structure of graphs in the seeded model, where besides the input graph the algorithm is provided with a small number of `seeds', i.e. correctly clustered data points. In particular, we ask whether one can approximate the Dasgupta cost of a graph, a popular measure of hierarchical clusterability, in sublinear time and using a small number of seeds. Our main result is an $O(\sqrt{\log k})$ approximation to Dasgupta cost of $G$ in $\approx \text{poly}(k)\cdot n^{1/2+O(\epsilon)}$ time using $\approx \text{poly}(k)\cdot n^{O(\epsilon)}$ seeds, effectively giving a sublinear time simulation of the algorithm of Charikar and Chatziafratis[SODA'17] on clusterable graphs. To the best of our knowledge, ours is the first result on approximating the hierarchical clustering properties of such graphs in sublinear time.


title: Dropping Bodies

abstract: The subject is brake orbits for the 3-body problem: orbits where all velocities are zero at some instant. We extract a paradox and a mystery out of a recent database of 30 non-collision periodic brake orbits for the equal mass 3-body problem built up by Li and Liao. We solve the paradox and the mystery and pose an open question.


title: PIC 4th Challenge: Semantic-Assisted Multi-Feature Encoding and Multi-Head Decoding for Dense Video Captioning

abstract: The task of Dense Video Captioning (DVC) aims to generate captions with timestamps for multiple events in one video. Semantic information plays an important role for both localization and description of DVC. We present a semantic-assisted dense video captioning model based on the encoding-decoding framework. In the encoding stage, we design a concept detector to extract semantic information, which is then fused with multi-modal visual features to sufficiently represent the input video. In the decoding stage, we design a classification head, paralleled with the localization and captioning heads, to provide semantic supervision. Our method achieves significant improvements on the YouMakeup dataset under DVC evaluation metrics and achieves high performance in the Makeup Dense Video Captioning (MDVC) task of PIC 4th Challenge.


title: On higher dimensional Poissonian pair correlation

abstract: In this article we study the pair correlation statistic for higher dimensional sequences. We show that for any $d\geq 2$, strictly increasing sequences $(a_n^{(1)}),\ldots, (a_n^{(d)})$ of natural numbers have metric Poissonian pair correlation with respect to sup-norm if their joint additive energy is $O(N^{3-\delta})$ for any $\delta>0$. Further, in two dimension, we establish an analogous result with respect to $2$-norm. As a consequence, it follows that $(\{n\alpha\}, \{n^2\beta\})$ and $(\{n\alpha\}, \{[n\log^An]\beta\})$ ($A \in [1,2]$) have Poissonian pair correlation for almost all $(\alpha,\beta)\in \mathbb{R}^2$ with respect to sup-norm and $2$-norm. This gives a negative answer to the question raised by Hofer and Kaltenb\"ock [15]. The proof uses estimates for 'Generalized' GCD-sums.


title: Smart Education: Higher Education Instruction and the Internet of Things (IoT)

abstract: The Internet of Things (IoT) has many applications in our daily lives. One aspect in particular is how the IoT is making a substantial impact on education and learning; as we move into the 'Smart Educational' era. This article explores how the IoT continues to transform the education landscape, from classrooms and assessments to culture and attitudes. Smart Education is a pivotal tool in the fight to meet the educational challenges of tomorrow. The IoT tools are getting used more and more often in the area of education, aiming to increase student engagement, satisfaction and quality of learning. IoT will reshape student culture and habits beyond belief. As Smart Education is more than just using technologies, it involves a whole range of factors, from the educational management through to the pedagogical techniques and effectiveness. Educators in the 21st century now have access to gamification, smart devices, data management, and immersive technologies. Enabling academics to gather a variety of information from students. Ranging from monitoring student engagement to adapting the learning strategies for improved learning effectiveness. Through Smart Education, educators will be able to better monitor the needs of individual students and adjust their learning load correspondingly (i.e., optimal learning environment/workload to support and prevent students failing). One of the biggest challenges for educators is how new technologies will address growing problems (engagement and achievement). The scale and pace of change (technological IoT era) is unprecedented. Typically, jobs students are trained for today will not be here tomorrow. Education is not just about knowledge acquisition, but also the digital skills, adaptability and creativity (essential, if students are to thrive in the new world).


title: Spatiotemporal patterns of Covid-19 pandemic in India: Inferences of pandemic dynamics from data analysis

abstract: Modeling and analysis of the large scale Covid-19 pandemic data can yield inferences about it's dynamics and characteristics of disease propagation. These inferences can then be correlated with contextual factors like population density, effects of strategic interventions, heterogeneous disease propagation etc, and such set of validated inferences can serve as precedents for designing of subsequent mitigation strategies. In this work, we present the analysis of Covid-19 pandemic data in Indian context using growth functions fitting procedure and harmonic analysis method. Our results of growth function fitting to the data indicate that the growth function parameters are quite sensitive to the growth of the infected population indicating positive impact of lockdown strategy, identification of inflection point and nearly synchronous statistical features of disease spreading. The harmonic analysis of the data shows the countrywide synchronous incident features due to simultaneous implementation of control strategies. However, if one analyzes the data from each state of the India, one can see various forms of travelling waves in the countrywide wave pattern. Hence, one needs to do these analysis from time to time to understand the effectiveness of any control strategy and to closely look at the disease propagation to devise the required type of mitigation strategies.


title: Higgs boson contribution to the leading two-loop Yukawa corrections to $gg\to HH$

abstract: We analytically compute two-loop Yukawa corrections to Higgs boson pair production in the high-energy limit. Such corrections are generated by an exchange of a Higgs boson between the virtual top quark lines. We propose two approaches to obtain expansions of the massive two-loop box integrals and show that precise results are obtained for transverse momenta of the Higgs bosons above about 150 GeV. We discuss in detail the computation of all 140 master integrals and present analytic results.


title: Metastable $\Gamma$-expansion of finite state Markov chains level two large deviations rate functions

abstract: We examine two analytical characterisation of the metastable behavior of a Markov chain. The first one expressed in terms of its transition probabilities, and the second one in terms of its large deviations rate functional. Consider a sequence of continuous-time Markov chains $(X^{(n)}_t:t\ge 0)$ evolving on a fixed finite state space $V$. Under a hypothesis on the jump rates, we prove the existence of times-scales $\theta^{(p)}_n$ and probability measures with disjoint supports $\pi^{(p)}_j$, $j\in S_p$, $1\le p \le q$, such that (a) $\theta^{(1)}_n \to \infty$, $\theta^{(k+1)}_n/\theta^{(k)}_n \to \infty$, (b) for all $p$, $x\in V$, $t>0$, starting from $x$, the distribution of $X^{(n)}_{t \theta^{(p)}_n}$ converges, as $n\to\infty$, to a convex combination of the probability measures $\pi^{(p)}_j$. The weights of the convex combination naturally depend on $x$ and $t$. Let $I_n$ be the level two large deviations rate functional for $X^{(n)}_t$, as $t\to\infty$. Under the same hypothesis on the jump rates and assuming, furthermore, that the process is reversible, we prove that $I_n$ can be written as $I_n = I^{(0)} \,+\, \sum_{1\le p\le q} (1/\theta^{(p)}_n) \, I^{(p)}$ for some rate functionals $I^{(p)}$ which take finite values only at convex combinations of the measures $\pi^{(p)}_j$: $I^{(p)}(\mu) < \infty$ if, and only if, $\mu = \sum_{j\in S_p} \omega_j\, \pi^{(p)}_j$ for some probability measure $\omega$ in $S_p$.


title: Cascaded Deep Hybrid Models for Multistep Household Energy Consumption Forecasting

abstract: Sustainability requires increased energy efficiency with minimal waste. The future power systems should thus provide high levels of flexibility iin controling energy consumption. Precise projections of future energy demand/load at the aggregate and on the individual site levels are of great importance for decision makers and professionals in the energy industry. Forecasting energy loads has become more advantageous for energy providers and customers, allowing them to establish an efficient production strategy to satisfy demand. This study introduces two hybrid cascaded models for forecasting multistep household power consumption in different resolutions. The first model integrates Stationary Wavelet Transform (SWT), as an efficient signal preprocessing technique, with Convolutional Neural Networks and Long Short Term Memory (LSTM). The second hybrid model combines SWT with a self-attention based neural network architecture named transformer. The major constraint of using time-frequency analysis methods such as SWT in multistep energy forecasting problems is that they require sequential signals, making signal reconstruction problematic in multistep forecasting applications.The cascaded models can efficiently address this problem through using the recursive outputs. Experimental results show that the proposed hybrid models achieve superior prediction performance compared to the existing multistep power consumption prediction methods. The results will pave the way for more accurate and reliable forecasting of household power consumption.


title: MetroGAN: Simulating Urban Morphology with Generative Adversarial Network

abstract: Simulating urban morphology with location attributes is a challenging task in urban science. Recent studies have shown that Generative Adversarial Networks (GANs) have the potential to shed light on this task. However, existing GAN-based models are limited by the sparsity of urban data and instability in model training, hampering their applications. Here, we propose a GAN framework with geographical knowledge, namely Metropolitan GAN (MetroGAN), for urban morphology simulation. We incorporate a progressive growing structure to learn hierarchical features and design a geographical loss to impose the constraints of water areas. Besides, we propose a comprehensive evaluation framework for the complex structure of urban systems. Results show that MetroGAN outperforms the state-of-the-art urban simulation methods by over 20% in all metrics. Inspiringly, using physical geography features singly, MetroGAN can still generate shapes of the cities. These results demonstrate that MetroGAN solves the instability problem of previous urban simulation GANs and is generalizable to deal with various urban attributes.


title: The mixed mock modularity of certain duals of generalized quantum modular forms of Hikami and Lovejoy

abstract: We express a family of Hecke--Appell-type sums of Hikami and Lovejoy in terms of mixed mock modular forms; in particular, we express the sums in terms of Appell functions and theta functions. Hikami and Lovejoy's family of Hecke--Appell-type sums was obtained by considering certain duals of generalized quantum modular forms.


title: Uniform estimates of the Cauchy-Riemann equation on product domains

abstract: We observe that the continuity assumption on $f$ for the uniform estimates of the canonical solution to $\bar\partial u = f$ on products of $C^2$ bounded planar domains in \cite{DPZ} can be reduced to the boundedness assumption. This completely answers the original question raised by Kerzman in 1971. Moreover, the $L^p$ estimates of $\bar\partial$ is obtained for all $p \in [1, \infty]$.


title: Proposal for semiconductor-free negative differential resistance tunnel diode with ultra-high peak-to-valley current ratio

abstract: The negative differential resistance (NDR) tunnel diodes are promising alternative devices for beyond-CMOS computing as they offer several potential applications when integrated with transistors. We propose a novel semiconductor-free NDR tunnel diode concept that exhibits an ultra-high peak-to-valley current ratio (PVCR) value. Our proposed NDR diode consists of two cold metal electrodes separated by a thin insulating tunnel barrier. The NDR effect stems from the unique electronic band structure of the cold metal electrodes, i.e., the width of the isolated metallic bands around the Fermi level as well as the energy gaps separating higher- and lower-lying bands determine the current-voltage ($I$-$V$) characteristics and the PVCR value of the tunnel diode. By proper choice of the cold metal electrode materials, either a conventional N-type or ${\Lambda}$-type NDR effect can be obtained. Two-dimensional (2D) materials offer a unique platform for the realization of proposed NDR tunnel diodes. To demonstrate the proof of concept we employ the nonequilibrium Green function method combined with density functional theory to calculate the $I$-$V$ characteristic of the lateral (AlI$_2$/MgI$_2$/AlI$_2$) and vertical (NbS$_2$/h-BN/NbS$_2$) heterojunction tunnel diodes based on 2D cold metals. For the lateral tunnel diode, we obtain a ${\Lambda}$-type NDR effect with an ultra-high PVCR value of 10$^{16}$ at room temperature, while the vertical tunnel diode exhibits a conventional N-type NDR effect with a smaller PVCR value of about 10$^4$. The proposed concept provides a semiconductor-free solution for NDR devices to achieve desired $I$-$V$ characteristics with ultra-high PVCR values for memory and logic applications.


title: 3-dimensional flow analysis: A novel tool to study the collision geometry and the Equation-of-State

abstract: We propose to extend the commonly known flow analysis in the transverse $p_x$-$p_y$ plane to novel flow coefficients based on the angular distribution in the $p_x$-$p_z$ and $p_y$-$p_z$ planes. The new flow coefficients, called $u_n$ and $w_n$ (in addition to $v_n$), turn out to be also highly sensitive to the nuclear Equation-of-State and can be used to explore the EoS in more detail than is possible using only $v_n$. As an example to quantify the effect of the EoS, the Ultra-relativistic Quantum Molecular Dynamics (UrQMD) model is used to investigate 20-30\% central Au+Au collisions at E$_\mathrm{lab}=1.23~A$GeV.


title: FAST-VQA: Efficient End-to-end Video Quality Assessment with Fragment Sampling

abstract: Current deep video quality assessment (VQA) methods are usually with high computational costs when evaluating high-resolution videos. This cost hinders them from learning better video-quality-related representations via end-to-end training. Existing approaches typically consider naive sampling to reduce the computational cost, such as resizing and cropping. However, they obviously corrupt quality-related information in videos and are thus not optimal for learning good representations for VQA. Therefore, there is an eager need to design a new quality-retained sampling scheme for VQA. In this paper, we propose Grid Mini-patch Sampling (GMS), which allows consideration of local quality by sampling patches at their raw resolution and covers global quality with contextual relations via mini-patches sampled in uniform grids. These mini-patches are spliced and aligned temporally, named as fragments. We further build the Fragment Attention Network (FANet) specially designed to accommodate fragments as inputs. Consisting of fragments and FANet, the proposed FrAgment Sample Transformer for VQA (FAST-VQA) enables efficient end-to-end deep VQA and learns effective video-quality-related representations. It improves state-of-the-art accuracy by around 10% while reducing 99.5% FLOPs on 1080P high-resolution videos. The newly learned video-quality-related representations can also be transferred into smaller VQA datasets, boosting performance in these scenarios. Extensive experiments show that FAST-VQA has good performance on inputs of various resolutions while retaining high efficiency. We publish our code at https://github.com/timothyhtimothy/FAST-VQA.


title: Concurrent Games with Multiple Topologies

abstract: Concurrent multi-player games with $\omega$-regular objectives are a standard model for systems that consist of several interacting components, each with its own objective. The standard solution concept for such games is Nash Equilibrium, which is a "stable" strategy profile for the players. In many settings, the system is not fully observable by the interacting components, e.g., due to internal variables. Then, the interaction is modelled by a partial information game. Unfortunately, the problem of whether a partial information game has an NE is not known to be decidable. A particular setting of partial information arises naturally when processes are assigned IDs by the system, but these IDs are not known to the processes. Then, the processes have full information about the state of the system, but are uncertain of the effect of their actions on the transitions. We generalize the setting above and introduce Multi-Topology Games (MTGs) -- concurrent games with several possible topologies, where the players do not know which topology is actually used. We show that extending the concept of NE to these games can take several forms. To this end, we propose two notions of NE: Conservative NE, in which a player deviates if she can strictly add topologies to her winning set, and Greedy NE, where she deviates if she can win in a previously-losing topology. We study the properties of these NE, and show that the problem of whether a game admits them is decidable.


title: Cooperative Beam Training for Reconfigurable Intelligent Surface Enabled Terahertz MIMO Networks via Multi-Task Learning

abstract: Reconfigurable intelligent surface (RIS) have been cast as a promising alternative to alleviate blockage vulnerability and enhance coverage capability for terahertz (THz) communications. Owning to large-scale array elements at transceivers and RIS, the codebook based beamforming can be utilized in a computationally efficient manner. However, the codeword selection for analog beamforming is an intractable combinatorial optimization (CO) problem. To this end, by taking the CO problem as a classification problem, a multi-task learning based analog beam selection (MTL-ABS) framework is developed to implement multiple codeword selection tasks concurrently at transceivers and RIS and to accelerate the beam training process. In addition, residual network and self-attention mechanism are used to combat the network degradation and mine intrinsic THz channel features. Finally, the network convergence is analyzed from a blockwise perspective, and numerical results demonstrate that the MTL-ABS framework greatly decreases the beam training overhead and achieves near optimal sum-rate compared with heuristic search based counterparts.


title: Predicting is not Understanding: Recognizing and Addressing Underspecification in Machine Learning

abstract: Machine learning (ML) models are typically optimized for their accuracy on a given dataset. However, this predictive criterion rarely captures all desirable properties of a model, in particular how well it matches a domain expert's understanding of a task. Underspecification refers to the existence of multiple models that are indistinguishable in their in-domain accuracy, even though they differ in other desirable properties such as out-of-distribution (OOD) performance. Identifying these situations is critical for assessing the reliability of ML models. We formalize the concept of underspecification and propose a method to identify and partially address it. We train multiple models with an independence constraint that forces them to implement different functions. They discover predictive features that are otherwise ignored by standard empirical risk minimization (ERM), which we then distill into a global model with superior OOD performance. Importantly, we constrain the models to align with the data manifold to ensure that they discover meaningful features. We demonstrate the method on multiple datasets in computer vision (collages, WILDS-Camelyon17, GQA) and discuss general implications of underspecification. Most notably, in-domain performance cannot serve for OOD model selection without additional assumptions.


title: Externalities in queues as stochastic processes: The case of FCFS M/G/1

abstract: Externalities are the costs that a user of a common resource imposes on others. For example, consider a FCFS M/G/1 queue and a customer with service demand of $x\geq0$ minutes who arrived into the system when the workload level was $v\geq0$ minutes. Let $E_v(x)$ be the total waiting time which could be saved if this customer gave up on his service demand. In this work, we analyse the \textit{externalities process} $E_v(\cdot)=\left\{E_v(x):x\geq0\right\}$. It is shown that this process can be represented by an integral of a (shifted in time by $v$ minutes) compound Poisson process with positive discrete jump distribution, so that $E_v(\cdot)$ is convex. Furthermore, we compute the LST of the finite-dimensional distributions of $E_v(\cdot)$ as well as its mean and auto-covariance functions. We also identify conditions under which, a sequence of normalized externalities processes admits a weak convergence on $\mathcal{D}[0,\infty)$ equipped with the uniform metric to an integral of a (shifted in time by $v$ minutes) standard Wiener process. Finally, we also consider the extended framework when $v$ is a general nonnegative random variable which is independent from the arrival process and the service demands. This leads to a generalization of an existing result from a previous work of Haviv and Ritov (1998).


title: Non-asymptotic convergence bounds for modified tamed unadjusted Langevin algorithm in non-convex setting

abstract: We consider the problem of sampling from a high-dimensional target distribution $\pi_\beta$ on $\mathbb{R}^d$ with density proportional to $\theta\mapsto e^{-\beta U(\theta)}$ using explicit numerical schemes based on discretising the Langevin stochastic differential equation (SDE). In recent literature, taming has been proposed and studied as a method for ensuring stability of Langevin-based numerical schemes in the case of super-linearly growing drift coefficients for the Langevin SDE. In particular, the Tamed Unadjusted Langevin Algorithm (TULA) was proposed in [Bro+19] to sample from such target distributions with the gradient of the potential $U$ being super-linearly growing. However, theoretical guarantees in Wasserstein distances for Langevin-based algorithms have traditionally been derived assuming strong convexity of the potential $U$. In this paper, we propose a novel taming factor and derive, under a setting with possibly non-convex potential $U$ and super-linearly growing gradient of $U$, non-asymptotic theoretical bounds in Wasserstein-1 and Wasserstein-2 distances between the law of our algorithm, which we name the modified Tamed Unadjusted Langevin Algorithm (mTULA), and the target distribution $\pi_\beta$. We obtain respective rates of convergence $\mathcal{O}(\lambda)$ and $\mathcal{O}(\lambda^{1/2})$ in Wasserstein-1 and Wasserstein-2 distances for the discretisation error of mTULA in step size $\lambda$. High-dimensional numerical simulations which support our theoretical findings are presented to showcase the applicability of our algorithm.

categories: math.PR cs.NA math.NA math.OC math.ST stat.CO stat.TH


title: Partial Residuated Implications Derived from Partial Triangular Norms and Partial Residuated Lattices

abstract: In this paper, we reveal some relations between fuzzy logic and quantum logic, and mainly study the partial residuated implications (PRIs) derived from partial triangular norms (partial t-norms) and partial residuated lattices (PRLs), and expand some results in the article "material implication in lattice effect algebra". Firstly, according to the concept of partial triangular norms given by Borzooei, we introduce the connection between lattice effect algebra and partial t-norms, and prove that partial operations in any commutative quasiresiduated lattice are partial t-norms. Secondly, we give the general form of partial residuated implications and the concept of partial fuzzy implications (PFIs), and the condition that partial residuated implication is a fuzzy implication is given. We also prove that each partial residuated implication is a partial fuzzy implication. Thirdly, we propose the partial residuated lattice and study their basic properties, to discuss the corresponding relationship between PRLs and lattice effect algebras (LEAs), to further reveal the relationship between LEAs and residuated partial algebras. In addition, like the definition of partial t-norms, we also propose the concepts of partial triangular conorms (partial t-conorms) and corresponding partial co-residuated lattices (PcRLs). Finally, based on partial residuated lattices, we give the definition of well partial residuated lattices (wPRLs), study the filter of well partial residuated lattices, and then construct quotient structure of partial residuated lattices.


title: Basis for time crystal phenomena in ultra-cold atoms bouncing on an oscillating mirror

abstract: We consider classical dynamics of a 1D system of $N$ particles bouncing on an oscillating mirror in the presence of gravitational field. The particles behave like hard balls and they are resonantly driven by the mirror. We identify the manifolds the particles move on and derive the effective secular Hamiltonian for resonant motion of the particles. Proper choice of time periodic oscillations of the mirror allows for engineering of the effective behaviour of the particles. In particular, the system can behave like a $N$-dimensional fictitious particle moving in an $N$-dimensional crystalline structure. Our classical analysis constitutes a basis for quantum research of novel time crystal phenomena in ultra-cold atoms bouncing on an oscillating atom mirror.


title: Single-photon nonlinearities and blockade from a strongly driven photonic molecule

abstract: Achieving the regime of single-photon nonlinearities in photonic devices just exploiting the intrinsic high-order susceptibilities of conventional materials would open the door to practical semiconductor-based quantum photonic technologies. Here we show that this regime can be achieved in a triply resonant integrated photonic device made of two coupled ring resonators, without necessarily requiring low volume confinement, in a material platform displaying an intrinsic third-order nonlinearity. By strongly driving one of the three resonances of the system, a weak coherent probe at one of the others results in a strongly suppressed two-photon probability at the output, evidenced by antibunched second-order correlation function at zero-time delay under continuous wave driving.


title: Canonical K\"{a}hler metrics and stability of algebraic varieties

abstract: We survey some recent developments in the study of canonical K\"{a}hler metrics on algebraic varieties and their relation with stability in algebraic geometry.


title: GFNet: Geometric Flow Network for 3D Point Cloud Semantic Segmentation

abstract: Point cloud semantic segmentation from projected views, such as range-view (RV) and bird's-eye-view (BEV), has been intensively investigated. Different views capture different information of point clouds and thus are complementary to each other. However, recent projection-based methods for point cloud semantic segmentation usually utilize a vanilla late fusion strategy for the predictions of different views, failing to explore the complementary information from a geometric perspective during the representation learning. In this paper, we introduce a geometric flow network (GFNet) to explore the geometric correspondence between different views in an align-before-fuse manner. Specifically, we devise a novel geometric flow module (GFM) to bidirectionally align and propagate the complementary information across different views according to geometric relationships under the end-to-end learning scheme. We perform extensive experiments on two widely used benchmark datasets, SemanticKITTI and nuScenes, to demonstrate the effectiveness of our GFNet for project-based point cloud semantic segmentation. Concretely, GFNet not only significantly boosts the performance of each individual view but also achieves state-of-the-art results over all existing projection-based models. Code is available at \url{https://github.com/haibo-qiu/GFNet}.


title: DenseHybrid: Hybrid Anomaly Detection for Dense Open-set Recognition

abstract: Anomaly detection can be conceived either through generative modelling of regular training data or by discriminating with respect to negative training data. These two approaches exhibit different failure modes. Consequently, hybrid algorithms present an attractive research goal. Unfortunately, dense anomaly detection requires translational equivariance and very large input resolutions. These requirements disqualify all previous hybrid approaches to the best of our knowledge. We therefore design a novel hybrid algorithm based on reinterpreting discriminative logits as a logarithm of the unnormalized joint distribution $\hat{p}(\mathbf{x}, \mathbf{y})$. Our model builds on a shared convolutional representation from which we recover three dense predictions: i) the closed-set class posterior $P(\mathbf{y}|\mathbf{x})$, ii) the dataset posterior $P(d_{in}|\mathbf{x})$, iii) unnormalized data likelihood $\hat{p}(\mathbf{x})$. The latter two predictions are trained both on the standard training data and on a generic negative dataset. We blend these two predictions into a hybrid anomaly score which allows dense open-set recognition on large natural images. We carefully design a custom loss for the data likelihood in order to avoid backpropagation through the untractable normalizing constant $Z(\theta)$. Experiments evaluate our contributions on standard dense anomaly detection benchmarks as well as in terms of open-mIoU - a novel metric for dense open-set performance. Our submissions achieve state-of-the-art performance despite neglectable computational overhead over the standard semantic segmentation baseline.


title: Stress anisotropy in confined populations of growing rods

abstract: Order and alignment are ubiquitous in growing colonies of rod-shaped bacteria due to the nematic properties of the constituent particles. These effects are the result of the active stresses generated by growth, passive mechanical interactions between cells, and flow-induced effects due to the shape of the confining container. However, how these contributing factors interact to give rise to the observed global alignment patterns remains elusive. Here, we study, in-silico, colonies of growing rod-shaped particles of different aspect ratios confined in channel-like geometries. A spatially resolved analysis of the stress tensor reveals a strong relationship between near-perfect alignment and an inversion of stress anisotropy for particles with large length-to-width ratios. We show that, in quantitative agreement with an asymptotic theory, strong alignment can lead to a decoupling of active and passive stresses parallel and perpendicular to the direction of growth, respectively. We demonstrate the robustness of these effects in a geometry that provides less restrictive confinement and introduces natural perturbations in alignment. Our results illustrate the complexity arising from the inherent coupling between nematic order and active stresses in growing active matter which is modulated by geometric and configurational constraints due to confinement.


title: Ultra-high extinction dual-output thin-film lithium niobate intensity modulator

abstract: A low voltage, wide bandwidth compact electro-optic modulator is a key building block in the realization of tomorrow's communication and networking needs. Recent advances in the fabrication and application of thin-film lithium niobate, and its integration with photonic integrated circuits based in silicon make it an ideal platform for such a device. In this work, a high-extinction dual-output folded electro-optic Mach Zehnder modulator in the silicon nitride and thin-film lithium niobate material system is presented. This modulator has an interaction region length of 11 mm and a physical length of 7.8 mm. The device demonstrates a fiber-to-fiber loss of roughly 12 dB using on-chip fiber couplers and DC half wave voltage (V$\pi$) of less than 3.0 V, or a modulation efficiency (V$\pi\cdot$L) of 3.3 V$\cdot$cm. The device shows a 3 dB bandwidth of roughly 30 GHz. Notably, the device demonstrates a power extinction ratio over 45 dB at each output port without the use of cascaded directional couplers or additional control circuitry; roughly 31 times better than previously reported devices. Paired with a balanced photo-diode receiver, this modulator can be used in various photonic communication systems. Such a detecting scheme is compatible with complex modulation formats such as differential phase shift keying and differential quadrature phase shift keying, where a dual-output, ultra-high extinction device is fundamentally paramount to low-noise operation of the system.


title: Techniques for Generalized Colorful $k$-Center Problems

abstract: Fair clustering enjoyed a surge of interest recently. One appealing way of integrating fairness aspects into classical clustering problems is by introducing multiple covering constraints. This is a natural generalization of the robust (or outlier) setting, which has been studied extensively and is amenable to a variety of classic algorithmic techniques. In contrast, for the case of multiple covering constraints (the so-called colorful setting), specialized techniques have only been developed recently for $k$-Center clustering variants, which is also the focus of this paper. While prior techniques assume covering constraints on the clients, they do not address additional constraints on the facilities, which has been extensively studied in non-colorful settings. In this paper, we present a quite versatile framework to deal with various constraints on the facilities in the colorful setting, by combining ideas from the iterative greedy procedure for Colorful $k$-Center by Inamdar and Varadarajan with new ingredients. To exemplify our framework, we show how it leads, for a constant number $\gamma$ of colors, to the first constant-factor approximations for both Colorful Matroid Supplier with respect to a linear matroid and Colorful Knapsack Supplier. In both cases, we readily get an $O(2^\gamma)$-approximation. Moreover, for Colorful Knapsack Supplier, we show that it is possible to obtain constant approximation guarantees that are independent of the number of colors $\gamma$, as long as $\gamma=O(1)$, which is needed to obtain a polynomial running time. More precisely, we obtain a $7$-approximation by extending a technique recently introduced by Jia, Sheth, and Svensson for Colorful $k$-Center.


title: Cosmology in $f(Q)$ gravity: A unified dynamical system analysis at background and perturbation levels

abstract: Motivated by the fact that cosmological models based on $f(Q)$ gravity are very efficient in fitting observational datasets at both background and perturbation levels, we perform a combined dynamical system analysis of both background and perturbation equations in order to examine the validity of this result through an independent method. We examine two studied $f(Q)$ models of the literature, namely the power-law and the exponential ones. For both cases, we obtain a matter-dominated saddle point characterized by the correct growth rate of matter perturbations, followed by the transition to a stable dark-energy dominated accelerated universe in which matter perturbations remain constant. Furthermore, analyzing the behavior of $f \sigma_8$, we find that the models fit observational data successfully, obtaining a behavior similar to that of $\Lambda$CDM scenario, although the exponential model does not possess the latter as a particular limit. Hence, through the independent approach of dynamical systems, we do verify the results of observational confrontation, namely that $f(Q)$ gravity can be considered as a very promising alternative to the $\Lambda$CDM concordance model.


title: Numerical Framework for Semi-Device-Independent Quantum Random Number Generators

abstract: Quantum random number generator (QRNG) is one of the most widely applied branches in quantum cryptography. Among all QRNG schemes, semi-device-independent (semi-DI) QRNG is quite promising, achieving high randomness generation rate with few assumptions on the devices. For the central task of a QRNG study -- security analysis, numerical approaches become popular for its generality to various semi-DI QRNG schemes. Here we formulate a numerical framework for the finite-size security of general semi-DI QRNGs, which gives a secure lower bound of the finite-size randomness generation rate against general attacks. We consider a simple example of an optical semi-DI QRNG as an application of our framework.


title: Deep Partial Least Squares for Instrumental Variable Regression

abstract: In this paper, we propose deep partial least squares for the estimation of high-dimensional nonlinear instrumental variable regression. As a precursor to a flexible deep neural network architecture, our methodology uses partial least squares for dimension reduction and feature selection from the set of instruments and covariates. A central theoretical result, due to Brillinger (2012) shows that the feature selection provided by partial least squares is consistent and the weights are estimated up to a proportionality constant. We illustrate our methodology with synthetic datasets with a sparse and correlated network structure and draw applications to the effect of childbearing on the mother's labor supply based on classic data of Angrist and Evans (1996). The results on synthetic data as well as applications show that the deep partial least squares method significantly outperforms other related methods. Finally, we conclude with directions for future research.


title: Structural phase-field crystal model for Lennard-Jones pair interaction potential

abstract: A modification of structural phase-field crystal (XPFC) model for an arbitrary pair interaction potential is presented. Formation of 1D and 2D structures for the Lennard-Jones (LJ) potential was studied numerically. The equilibrium lattice parameters for the presented structures were found consistent to the correspondent LJ-distance parameters. The lattice parameter of 2D triangle's structure matches the periodical in 1D, which shown to be consistent with the theory of freezing from the isotropic liquids. Numerically obtained XPFC phase diagram of two-dimensional structures qualitatively reproduces classical PFC diagram and coincides with the melting region of high-temperature part of LJ diagram.


title: Securing Optimized Code Against Power Side Channels

abstract: Side-channel attacks impose a serious threat to cryptographic algorithms, including widely employed ones, such as AES and RSA. These attacks take advantage of the algorithm implementation in hardware or software to extract secret information via side channels. Software masking is a mitigation approach against power side-channel attacks aiming at hiding the secret-revealing dependencies from the power footprint of a vulnerable implementation. However, this type of software mitigation often depends on general-purpose compilers, which do not preserve non-functional properties. Moreover, microarchitectural features, such as the memory bus and register reuse, may also leak secret information. These abstractions are not visible at the high-level implementation of the program. Instead, they are decided at compile time. To remedy these problems, security engineers often sacrifice code efficiency by turning off compiler optimization and/or performing local, post-compilation transformations. This paper proposes Secure by Construction Code Generation (SecCG), a constraint-based compiler approach that generates optimized yet secure against power side channels code. SecCG controls the quality of the mitigated program by efficiently searching the best possible low-level implementation according to a processor cost model. In our experiments with twelve masked cryptographic functions up to 100 lines of code on Mips32 and ARM Thumb, SecCG speeds up the generated code from 75% to 8 times compared to non-optimized secure code with an overhead of up to 7% compared to non-secure optimized code at the expense of a high compilation cost. In summary, this paper proposes a formal model to generate power side channel free low-level code.


title: On pressure robustness and independent determination of displacement and pressure in incompressible linear elasticity

abstract: We investigate the possibility to determine the divergence-free displacement $\mathbf{u}$ \emph{independently} from the pressure reaction $p$ for a class of boundary value problems in incompressible linear elasticity. If not possible, we investigate if it is possible to determine it \emph{pressure robustly}, i.e. pollution free from the pressure reaction. For convex domains there is but one variational boundary value problem among the investigated that allows the independent determination. It is the one with essential no-penetration conditions combined with homogeneous tangential traction conditions. Further, in most but not all investigated cases, the weakly divergence-free displacement can be computed pressure robustly provided the total body force is decomposed into its direct sum of divergence- and rotation-free components using a Helmholtz decomposition. The elasticity problem is solved using these components as separate right-hand sides. The total solution is obtained using the superposition principle. We employ a $(\mathbf{u},p)$ higher-order finite element formulation with discontinuous pressure elements. It is \emph{inf-sup} stable for polynomial degree $p\ge 2$ but not pressure robust by itself. We propose a three step procedure to solve the elasticity problem preceded by the Helmholtz decomposition of the total body force. The extra cost for the three-step procedure is essentially the cost for the Helmholtz decomposition of the assembled total body force, and the small cost of solving the elasticity problem with one extra right-hand side. The results are corroborated by theoretical derivations as well as numerical results.


title: Reply to Comment on "Self-Consistent-Field Method for Correlated Many-Electron Systems with an Entropic Cumulant Energy", arXiv2202.05532v1

abstract: Recently we proposed an information entropy based method for electronic structure calculations within the density-matrix functional theory(DMFT) (Phys. Rev. Lett. 128, 013001), dubbed as $i$-DMFT. Comments have been raised regarding the accuracy of the one-particle density-matrix compared to that from the wave function, and the universality of the functional. We address these questions and the problematic case of HeH$^+$.


title: Harnck inequalities and H\"older estimates for fully nonlinear integro-differential equations with weak scaling conditions

abstract: H\"older estimates and Harnack inequalities are studied for fully nonlinear integro-differential equations under some mild assumptions. We allow the kernels of variable order and critically close to 2.


title: Orbital shift-induced boundary obstructed topological materials with a large energy gap

abstract: We propose boundary obstructed topological phases caused by Wannier orbital shift between ordinary atomic sites, which, however, cannot be indicated by symmetry eigenvalues at high symmetry momenta (symmetry indicators) in bulk. On the open boundary, Wannier charge centers can shift to different atoms from those in bulk, leading to in-gap surface states, higher-order hinge states or corner states. To demonstrate such orbital-shift-induced boundary obstructed topological insulators, we predict eight material candidates, all of which were overlooked in present topological databases. Metallic surface states, hinge states, or corner states cover the large bulk energy gap (for example, more than 1 eV in TlGaTe$_2$) at related boundary, which are ready for experimental detection. Additionally, we find these materials are also fragile topological insulators with hourglass like surface states.


title: Multimodal Hydrostatic Actuators for Wearable Robots: A Preliminary Assessment of Mass-Saving and Energy-Efficiency Opportunities

abstract: Wearable robots are limited by their actuators performances because they must bear the weight of their own power system and energy source. This paper explores the idea of leveraging hybrid modes to meet multiple operating points with a lightweight and efficient system by using hydraulic valves to dynamically reconfigure the connections of a hydrostatic actuator. The analyzed opportunities consist in 1) switching between a highly geared power source or a fast power source, 2) dynamically connecting an energy accumulator and 3) using a locking mechanism for holding. Based on a knee exoskeleton case study analysis, results show that switching between gearing ratio can lead to a lighter and more efficient actuator. Also, results show that using an accumulator to provide a preload continuous force has great mass-saving potential, but does not reduce mass significantly if used as a power booster for short transients. Finally, using a locking valve can slightly reduce battery mass if the work cycle includes frequent stops. The operating principles of the proposed multimodal schemes are demonstrated with a one-DOF prototype.


title: Quantizations of Continued Fractions

abstract: We introduce a four-parameter deformation of continued fractions, which we call $ U $-deformation. We study some particular cases and compare them with the q-deformation of continued fractions introduce recently by Morier-Genoud and Ovsienko.


title: VMRF: View Matching Neural Radiance Fields

abstract: Neural Radiance Fields (NeRF) have demonstrated very impressive performance in novel view synthesis via implicitly modelling 3D representations from multi-view 2D images. However, most existing studies train NeRF models with either reasonable camera pose initialization or manually-crafted camera pose distributions which are often unavailable or hard to acquire in various real-world data. We design VMRF, an innovative view matching NeRF that enables effective NeRF training without requiring prior knowledge in camera poses or camera pose distributions. VMRF introduces a view matching scheme, which exploits unbalanced optimal transport to produce a feature transport plan for mapping a rendered image with randomly initialized camera pose to the corresponding real image. With the feature transport plan as the guidance, a novel pose calibration technique is designed which rectifies the initially randomized camera poses by predicting relative pose transformations between the pair of rendered and real images. Extensive experiments over a number of synthetic and real datasets show that the proposed VMRF outperforms the state-of-the-art qualitatively and quantitatively by large margins.


title: Limit theorems for Hull-White model with Hawkes jumps

abstract: In the present paper, we obtain limit theorems for a catogary of Hull-White models with Hawkes jumps including law of large numbers, central limit theorem, and large deviations. In the field of interest rate modeling, it is meaningful in characterizing a long-term rate of return.


title: The anisotropic Calder\'on problem at large fixed frequency on manifolds with invertible ray transform

abstract: We consider the inverse problem of recovering a potential from the Dirichlet to Neumann map at a large fixed frequency on certain Riemannian manifolds. We extend the earlier result of [G. Uhlmann and Y. Wang, arXiv:2104.03477] to the case of simple manifolds, and more generally to manifolds where the geodesic ray transform is stably invertible. The argument involves an invariantly formulated construction of Gaussian beam quasimodes with uniform bounds for the underlying constants.


title: Knowing Earlier what Right Means to You: A Comprehensive VQA Dataset for Grounding Relative Directions via Multi-Task Learning

abstract: Spatial reasoning poses a particular challenge for intelligent agents and is at the same time a prerequisite for their successful interaction and communication in the physical world. One such reasoning task is to describe the position of a target object with respect to the intrinsic orientation of some reference object via relative directions. In this paper, we introduce GRiD-A-3D, a novel diagnostic visual question-answering (VQA) dataset based on abstract objects. Our dataset allows for a fine-grained analysis of end-to-end VQA models' capabilities to ground relative directions. At the same time, model training requires considerably fewer computational resources compared with existing datasets, yet yields a comparable or even higher performance. Along with the new dataset, we provide a thorough evaluation based on two widely known end-to-end VQA architectures trained on GRiD-A-3D. We demonstrate that within a few epochs, the subtasks required to reason over relative directions, such as recognizing and locating objects in a scene and estimating their intrinsic orientations, are learned in the order in which relative directions are intuitively processed.


title: $L_2$BN: Enhancing Batch Normalization by Equalizing the $L_2$ Norms of Features

abstract: In this paper, we analyze batch normalization from the perspective of discriminability and find the disadvantages ignored by previous studies: the difference in $l_2$ norms of sample features can hinder batch normalization from obtaining more distinguished inter-class features and more compact intra-class features. To address this issue, we propose a simple yet effective method to equalize the $l_2$ norms of sample features. Concretely, we $l_2$-normalize each sample feature before feeding them into batch normalization, and therefore the features are of the same magnitude. Since the proposed method combines the $l_2$ normalization and batch normalization, we name our method $L_2$BN. The $L_2$BN can strengthen the compactness of intra-class features and enlarge the discrepancy of inter-class features. The $L_2$BN is easy to implement and can exert its effect without any additional parameters or hyper-parameters. We evaluate the effectiveness of $L_2$BN through extensive experiments with various models on image classification and acoustic scene classification tasks. The results demonstrate that the $L_2$BN can boost the generalization ability of various neural network models and achieve considerable performance improvements.


title: Estimating the limiting shape of bivariate scaled sample clouds: with additional benefits of self-consistent inference for existing extremal dependence properties

abstract: The key to successful statistical analysis of bivariate extreme events lies in flexible modelling of the tail dependence relationship between the two variables. In the extreme value theory literature, various techniques are available to model separate aspects of tail dependence, based on different asymptotic limits. Results from Balkema and Nolde (2010) and Nolde (2014) highlight the importance of studying the limiting shape of an appropriately-scaled sample cloud when characterising the whole joint tail. We now develop the first statistical inference for this limit set, which has considerable practical importance for a unified inference framework across different aspects of the joint tail. Moreover, Nolde and Wadsworth (2022) link this limit set to various existing extremal dependence frameworks. Hence, a by-product of our new limit set inference is the first set of self-consistent estimators for several extremal dependence measures, avoiding the current possibility of contradictory conclusions. In simulations, our limit set estimator is successful across a range of distributions, and the corresponding extremal dependence estimators provide a major joint improvement and small marginal improvements over existing techniques. We consider an application to sea wave heights, where our estimates successfully capture the expected weakening extremal dependence as the distance between locations increases.


title: Composition laws on the Fricke surface and Markov triples

abstract: We determine some composition laws related to the Fricke surface and the "double" Fricke surface. This latter surface admits the squares of Markov triples as its solutions.


title: The alignment property of SGD noise and how it helps select flat minima: A stability analysis

abstract: The phenomenon that stochastic gradient descent (SGD) favors flat minima has played a critical role in understanding the implicit regularization of SGD. In this paper, we provide an explanation of this striking phenomenon by relating the particular noise structure of SGD to its \emph{linear stability} (Wu et al., 2018). Specifically, we consider training over-parameterized models with square loss. We prove that if a global minimum $\theta^*$ is linearly stable for SGD, then it must satisfy $\|H(\theta^*)\|_F\leq O(\sqrt{B}/\eta)$, where $\|H(\theta^*)\|_F, B,\eta$ denote the Frobenius norm of Hessian at $\theta^*$, batch size, and learning rate, respectively. Otherwise, SGD will escape from that minimum \emph{exponentially} fast. Hence, for minima accessible to SGD, the sharpness -- as measured by the Frobenius norm of the Hessian -- is bounded \emph{independently} of the model size and sample size. The key to obtaining these results is exploiting the particular structure of SGD noise: The noise concentrates in sharp directions of local landscape and the magnitude is proportional to loss value. This alignment property of SGD noise provably holds for linear networks and random feature models (RFMs), and is empirically verified for nonlinear networks. Moreover, the validity and practical relevance of our theoretical findings are also justified by extensive experiments on CIFAR-10 dataset.


title: Can Multiple Phylogenetic Trees Be Displayed in a Tree-Child Network Simultaneously?

abstract: A binary phylogenetic network on a taxon set $X$ is a rooted acyclic digraph in which the degree of each nonleaf node is three and its leaves (i.e.degree-one nodes) are uniquely labeled with the taxa of $X$. It is tree-child if each nonleaf node has at least one child of indegree one. A set of binary phylogenetic trees may or may not be simultaneously displayed in a binary tree-child network. Necessary conditions for multiple phylogenetic trees being simultaneously displayed in a tree-child network are given here. In particular, it is proved that any two phylogenetic trees can always simultaneously be displayed in some tree-child network on the same taxa set. It is also proved that any set of multiple binary phylogenetic trees can always simultaneously be displayed in some non-binary tree-child network on the same taxa set, where each nonleaf node is of either indegree one and outdegree two or indegree at least two and outdegree out.


title: Massive RF Simulation Applied to School Connectivity in Malawi

abstract: Providing Internet connectivity to schools has been identified as paramount for development, for instance in the Giga project, cosponsored by ITU and UNICEF, with the goal of connecting every school to the Internet by 2030. For a country wide deployment, it is imperative to perform a thorough planning of the whole installation, using radio frequency (RF) propagation models. While statistical models based on empirical RF propagation data gathered in different scenarios can be employed, for point to point links at microwave frequencies the existence of a clear line of sight (LOS) is normally a prerequisite. The Irregular terrain model which makes use of digital elevation maps (DEM) has proved quite effective for simulating point to point links, but its application to a great number of links becomes time consuming, so we have developed an automated framework to perform this task. As a case study we have applied this framework in the planning of a project mired at providing connectivity to primary and secondary schools all over the country of Malawi.


title: Context Sensing Attention Network for Video-based Person Re-identification

abstract: Video-based person re-identification (ReID) is challenging due to the presence of various interferences in video frames. Recent approaches handle this problem using temporal aggregation strategies. In this work, we propose a novel Context Sensing Attention Network (CSA-Net), which improves both the frame feature extraction and temporal aggregation steps. First, we introduce the Context Sensing Channel Attention (CSCA) module, which emphasizes responses from informative channels for each frame. These informative channels are identified with reference not only to each individual frame, but also to the content of the entire sequence. Therefore, CSCA explores both the individuality of each frame and the global context of the sequence. Second, we propose the Contrastive Feature Aggregation (CFA) module, which predicts frame weights for temporal aggregation. Here, the weight for each frame is determined in a contrastive manner: i.e., not only by the quality of each individual frame, but also by the average quality of the other frames in a sequence. Therefore, it effectively promotes the contribution of relatively good frames. Extensive experimental results on four datasets show that CSA-Net consistently achieves state-of-the-art performance.


title: Network Pruning via Feature Shift Minimization

abstract: Channel pruning is widely used to reduce the complexity of deep network models. Recent pruning methods usually identify which parts of the network to discard by proposing a channel importance criterion. However, recent studies have shown that these criteria do not work well in all conditions. In this paper, we propose a novel Feature Shift Minimization (FSM) method to compress CNN models, which evaluates the feature shift by converging the information of both features and filters. Specifically, we first investigate the compression efficiency with some prevalent methods in different layer-depths and then propose the feature shift concept. Then, we introduce an approximation method to estimate the magnitude of the feature shift, since it is difficult to compute it directly. Besides, we present a distribution-optimization algorithm to compensate for the accuracy loss and improve the network compression efficiency. The proposed method yields state-of-the-art performance on various benchmark networks and datasets, verified by extensive experiments. Our codes are available at: https://github.com/lscgx/FSM.


title: Simulations for Event-Clock Automata

abstract: Event-clock automata (ECA) are a well-known semantic subclass of timed automata (TA) which enjoy admirable theoretical properties, e.g., determinizability, and are practically useful to capture timed specifications. However, unlike for timed automata, there exist no implementations for checking non-emptiness of event-clock automata. As ECAs contain special prophecy clocks that guess and maintain the time to the next occurrence of specific events, they cannot be seen as a syntactic subclass of TA. Therefore, implementations for TA cannot be directly used for ECAs, and moreover the translation of an ECA to a semantically equivalent TA is expensive. Another reason for the lack of ECA implementations is the difficulty in adapting zone-based algorithms, critical in the timed automata setting, to the event-clock automata setting. This difficulty was studied by Geeraerts et al. in 2011, where the authors proposed a zone enumeration procedure that uses zone extrapolations for finiteness. In this article, we propose a different zone-based algorithm to solve the reachability problem for event-clock automata, using simulations for finiteness. A surprising consequence of our result is that for event-predicting automata, the subclass of event-clock automata that only use prophecy clocks, we obtain finiteness even without any simulations. For general event-clock automata, our new algorithm exploits the G-simulation framework, which is the coarsest known simulation relation in timed automata literature, and has been recently used for advances in other extensions of timed automata.


title: Nanometric modulations of the magnetic structure of the element Nd

abstract: The rare earth neodymium arguably exhibits the most complex magnetic ordering and series of magnetic phase transitions of the elements. Here we report the results of small-angle neutron scattering (SANS) measurements as a function of temperature and applied magnetic field to study magnetic correlations on nanometer length scales in Nd. The SANS measurements reveal the presence of previously unreported modulation vectors characterizing the ordered spin configuration which exhibit changes in magnitude and direction that are phase dependent. Between 5.9 and 7.6 K the additional modulation vector has a magnitude $Q$ =0.12 \AA$^{-1}$ and is primarily due to order of the Nd layers which contain a center of inversion. In this region of the phase diagram, the SANS measurements also identify a phase boundary at $\approx$1 T. An important feature of these modulation vectors is that they indicate the presence of nanometer length scale spin textures which are likely stabilized by frustrated Ruderman-Kittel-Kasuya-Yosida (RKKY) interactions rather than a Dzyaloshinskii-Moriya (DM) exchange interaction.


title: Set-valued \alpha-fractal functions

abstract: In this paper, we introduce the concept of the $\alpha$-fractal function and fractal approximation for a set-valued continuous map defined on a closed and bounded interval of real numbers. Also, we study some properties of such fractal functions. Further, we estimate the perturbation error between the given continuous function and its $\alpha$-fractal function. Additionally, we define a new graph of a set-valued function different from the standard graph introduced in the literature and establish some bounds on the fractal dimension of the newly defined graph of some special classes of set-valued functions. Also, we explain the need to define this new graph with examples. In the sequel, we prove that this new graph of an $\alpha$-fractal function is an attractor of an iterated function system.


title: Gradient-Free Kernel Stein Discrepancy

abstract: Stein discrepancies have emerged as a powerful statistical tool, being applied to fundamental statistical problems including parameter inference, goodness-of-fit testing, and sampling. The canonical Stein discrepancies require the derivatives of a statistical model to be computed, and in return provide theoretical guarantees of convergence detection and control. However, for complex statistical models, the stable numerical computation of derivatives can require bespoke algorithmic development and render Stein discrepancies impractical. This paper focuses on posterior approximation using Stein discrepancies, and introduces a collection of non-canonical Stein discrepancies that are gradient free, meaning that derivatives of the statistical model are not required. Sufficient conditions for convergence detection and control are established, and applications to sampling and variational inference are presented.


title: On the Complexity of Rational Verification

abstract: Rational verification refers to the problem of checking which temporal logic properties hold of a concurrent multiagent system, under the assumption that agents in the system choose strategies that form a game-theoretic equilibrium. Rational verification can be understood as a counterpart to model checking for multiagent systems, but while classical model checking can be done in polynomial time for some temporal logic specification languages such as CTL, and polynomial space with LTL specifications, rational verification is much harder: the key decision problems for rational verification are 2EXPTIME-complete with LTL specifications, even when using explicit-state system representations. Against this background, our contributions in this paper are threefold. First, we show that the complexity of rational verification can be greatly reduced by restricting specifications to GR(1), a fragment of LTL that can represent a broad and practically useful class of response properties of reactive systems. In particular, we show that for a number of relevant settings, rational verification can be done in polynomial space and even in polynomial time. Second, we provide improved complexity results for rational verification when considering players' goals given by mean-payoff utility functions; arguably the most widely used approach for quantitative objectives in concurrent and multiagent systems. Finally, we consider the problem of computing outcomes that satisfy social welfare constraints. To this end, we consider both utilitarian and egalitarian social welfare and show that computing such outcomes is either PSPACE-complete or NP-complete.


title: Impurity reveals distinct operational phases in quantum thermodynamic cycles

abstract: We analyze the effect of impurity on the work output and efficiency of quantum Otto and quantum Carnot heat cycles, modeled as a single quantum particle in an infinite square well (ISW) potential, which is the working substance. We solve this quantum mechanical system perturbatively up to first and second order in strength of the impurity for strong and weak coupling regimes, respectively. We derive the analytical expressions of work and efficiency for the strong coupling regime to the first order in the strength parameter. The threshold value of the strength parameter in weak coupling is obtained up to which the numerical result agrees with the perturbative result for a repulsive and attractive impurity. To our surprise, an embedded impurity unlocks new operational phases in the system, such as a quantum heat engine, quantum refrigerator, and quantum cold pump. In addition, the efficiency of the quantum Otto heat engine is seen to reach Carnot efficiency for some parameter regimes. The cooling power and coefficient of performance of the quantum refrigerator and quantum cold pump are non-trivially affected by the impurity.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech physics.app-ph


title: Adversarial Robustness of Visual Dialog

abstract: Adversarial robustness evaluates the worst-case performance scenario of a machine learning model to ensure its safety and reliability. This study is the first to investigate the robustness of visually grounded dialog models towards textual attacks. These attacks represent a worst-case scenario where the input question contains a synonym which causes the previously correct model to return a wrong answer. Using this scenario, we first aim to understand how multimodal input components contribute to model robustness. Our results show that models which encode dialog history are more robust, and when launching an attack on history, model prediction becomes more uncertain. This is in contrast to prior work which finds that dialog history is negligible for model performance on this task. We also evaluate how to generate adversarial test examples which successfully fool the model but remain undetected by the user/software designer. We find that the textual, as well as the visual context are important to generate plausible worst-case scenarios.


title: Light-front description of infinite spin fields in six-dimensional Minkowski space

abstract: We present a new $6D$ infinite spin field theory in the light-front formulation. The Lorentz-covariant counterparts of these fields depend on 6-vector coordinates and additional spinor variables. Casimir operators in this realization are found. We obtain infinite-spin fields in the light-cone frame which depend on two sets of the $\mathrm{SU}(2)$-harmonic variables. The generators of the $6D$ Poincar\'e group and the infinite spin field action in the light-front formulation are presented.


title: Reforming an Envy-Free Matching

abstract: We consider the problem of reforming an envy-free matching when each agent is assigned a single item. Given an envy-free matching, we consider an operation to exchange the item of an agent with an unassigned item preferred by the agent that results in another envy-free matching. We repeat this operation as long as we can. We prove that the resulting envy-free matching is uniquely determined up to the choice of an initial envy-free matching, and can be found in polynomial time. We call the resulting matching a reformist envy-free matching, and then we study a shortest sequence to obtain the reformist envy-free matching from an initial envy-free matching. We prove that a shortest sequence is computationally hard to obtain even when each agent accepts at most four items and each item is accepted by at most three agents. On the other hand, we give polynomial-time algorithms when each agent accepts at most three items or each item is accepted by at most two agents. Inapproximability and fixed-parameter (in)tractability are also discussed.


title: Extension of sectional pseudocomplementation in posets

abstract: Sectional pseudocomplementation (sp-complementation) on a poset is a partial operation $*$ which associates with every pair $(x,y)$ of elements, where $x \ge y$, the pseudocomplement $x*y$ of $x$ in the upper section $[y)$. Any total extension $\to$ of $*$ is said to be an extended sp-complementation and is considered as an implication-like operation. Extended sp-complementations have already be studied on semilattices and lattices. We describe several naturally arising classes of general posets with extended sp-complementation, present respective elementary properties of this operation, demonstrate that two other known attempts to isolate particular such classes are in fact not quite correct, and suggest suitable improvements.


title: Effective and Efficient Training for Sequential Recommendation using Recency Sampling

abstract: Many modern sequential recommender systems use deep neural networks, which can effectively estimate the relevance of items but require a lot of time to train. Slow training increases expenses, hinders product development timescales and prevents the model from being regularly updated to adapt to changing user preferences. Training such sequential models involves appropriately sampling past user interactions to create a realistic training objective. The existing training objectives have limitations. For instance, next item prediction never uses the beginning of the sequence as a learning target, thereby potentially discarding valuable data. On the other hand, the item masking used by BERT4Rec is only weakly related to the goal of the sequential recommendation; therefore, it requires much more time to obtain an effective model. Hence, we propose a novel Recency-based Sampling of Sequences training objective that addresses both limitations. We apply our method to various recent and state-of-the-art model architectures - such as GRU4Rec, Caser, and SASRec. We show that the models enhanced with our method can achieve performances exceeding or very close to stateof-the-art BERT4Rec, but with much less training time.


title: Advances in silicon quantum photonics

abstract: Quantum technology is poised to enable a step change in human capability for computing, communications and sensing. Photons are indispensable as carriers of quantum information - they travel at the fastest possible speed and readily protected from decoherence. However, the system requires thousands of near-transparent components with ultra-low-latency control. For quantum technology to be implemented, a new paradigm photonic system is required: one with in-built coherence, stability, the ability to define arbitrary circuits, and a path to manufacturability. Silicon photonics has unparalleled density and component performance, which, with CMOS compatible fabrication, place it in a strong position for a scalable quantum photonics platform. This paper is a progress report on silicon quantum photonics, focused on developments in the past five years. We provide an introduction on silicon quantum photonic component and the challenges in the field, summarise the current state-of-the-art and identify outstanding technical challenges, as well as promising avenues of future research. We also resolve a conflict in the definition of Hong-Ou-Mandel interference visibility in integrated quantum photonic experiments, needed for fair comparison of photon quality across different platforms. Our aim is the development of scalability on the platform, to which end we point the way to ever-closer integration, toward silicon quantum photonic systems-on-a-chip.


title: Gaze-Vergence-Controlled See-Through Vision in Augmented Reality

abstract: Augmented Reality (AR) see-through vision is an interesting research topic since it enables users to see through a wall and see the occluded objects. Most existing research focuses on the visual effects of see-through vision, while the interaction method is less studied. However, we argue that using common interaction modalities, e.g., midair click and speech, may not be the optimal way to control see-through vision. This is because when we want to see through something, it is physically related to our gaze depth/vergence and thus should be naturally controlled by the eyes. Following this idea, this paper proposes a novel gaze-vergence-controlled (GVC) see-through vision technique in AR. Since gaze depth is needed, we build a gaze tracking module with two infrared cameras and the corresponding algorithm and assemble it into the Microsoft HoloLens 2 to achieve gaze depth estimation. We then propose two different GVC modes for see-through vision to fit different scenarios. Extensive experimental results demonstrate that our gaze depth estimation is efficient and accurate. By comparing with conventional interaction modalities, our GVC techniques are also shown to be superior in terms of efficiency and more preferred by users. Finally, we present four example applications of gaze-vergence-controlled see-through vision.


title: Q-ball stress stability criterion in the $U(1)$ gauged scalar theories

abstract: We study the canonical energy-momentum tensor of the spherically symmetric $U(1)$ gauged Q-ball configurations in the two-component Fridberg-Lee-Sirlin-Maxwell model, and in the one-component scalar model with a sixtic potential. We evaluate the distributions of the corresponding shear forces and pressure and study the stability criteria for these solutions. It is shown that the electrostatic repulsion may destabilize the $U(1)$ gauged Q-balls. However, in the limiting case of the Fridberg-Lee-Sirlin-Maxwell model with a long ranged real scalar component, the gauged Q-balls always remain stable.


title: Enhancement of a silicon waveguide single photon source by temporal multiplexing

abstract: Efficient generation of single photons is one of the key challenges of building photonic quantum technology, such as quantum computers and long-distance quantum networks. Photon source multiplexing -- where successful pair generation is heralded by the detection of one of the photons, and its partner is routed to a single mode output -- has long been known to offer a concrete solution, with output probability tending toward unity as loss is reduced. Here, we present a temporally multiplexed integrated single photon source based on a silicon waveguide and a low-loss fibre switch and loop architecture, which achieves enhancement of the single photon output probability of $4.5 \pm 0.5$, while retaining $g^{(2)}(0) = 0.01$.


title: On the structures of new scalar resonances $T_{cs0}^{a}(2900)^{++}$ and $T_{cs0}^{a}(2900)^{0}$

abstract: We investigate properties of the new scalar resonances $ T_{cs0}^{a}(2900)^{++}$ and $T_{cs0}^{a}(2900)^{0}$, which were recently reported by the LHCb collaboration. These states were observed as resonant structures in $D_{s}^{+}\pi^{+}$ and $D_{s}^{+}\pi^{-}$ invariant mass distributions in $B^{+}$ meson decays. We argue that $T_{cs0}^{a}(2900)^{++} $ and $T_{cs0}^{a}(2900)^{0}$ may be modeled as molecules $\mathcal{M} ^{++}=D_{s}^{\ast+}\rho^{+}$ and $\mathcal{M}^{0}=D_{s}^{\ast+}\rho^{-} $ of conventional vector mesons, respectively. The mass $m$ and current coupling $ f $ of the molecule $\mathcal{M}^{++}$ are calculated using two-point sum rule method. The sum rule analysis is performed by taking into account vacuum condensates up to dimension $8$. The obtained result for the mass, $ m=(2917 \pm 135)~\mathrm{MeV}$, permits us to consider the molecule $ \mathcal{M}^{++}$ as one of possible models of the resonance $ T_{cs0}^{a}(2900)^{++}$. Because the second structure $T_{cs0}^{a}(2900)^{0}$ is isospin partner of the doubly charged state, it should have the mass close to $m$.


title: Stochastic model for the alignment and tumbling of rigid fibres in two-dimensional turbulent shear flow

abstract: Non-spherical particles transported by an anisotropic turbulent flow preferentially align with the mean shear and intermittently tumble when the local strain fluctuates. Such an intricate behaviour is here studied for inertialess, rod-shaped particles embedded in a two-dimensional turbulent flow with homogeneous shear. A Lagrangian stochastic model for the rods angular dynamics is introduced and compared to the results of direct numerical simulations. The model consists in superposing a short-correlated random component to the steady large-scale mean shear, and can thereby be integrated analytically. To reproduce the single-time orientation statistics obtained numerically, it is found that one has to properly account for the combined effect of the mean shear, for anisotropic velocity gradient fluctuations, and for the presence of persistent rotating structures in the flow that bias Lagrangian statistics. The model is then used to address two-time statistics. The notion of tumbling rate is extended to diffusive dynamics by introducing the stationary probability flux of the rods unfolded angle. The model is found to reproduce the long-term effects of an average shear on the mean and the variance of the fibres angular increment. Still, it does not reproduce an intricate behaviour observed in numerics for intermediate times: the unfolded angle is there very similar to a L\'evy walk with distributions of increments displaying intermediate power-law tails.


title: Cooperative Beamforming for RIS-Aided Cell-Free Massive MIMO Networks

abstract: The combination of cell-free massive multiple-input multiple-output (CF-mMIMO) and reconfigurable intelligent surface (RIS) is envisioned as a promising paradigm to improve network capacity and enhance coverage capability. However, to reap full benefits of RIS-aided CF-mMIMO, the main challenge is to efficiently design cooperative beamforming (CBF) at base stations (BSs), RISs, and users. Firstly, we investigate the fractional programing to convert the weighted sum-rate (WSR) maximization problem into a tractable optimization problem. Then, the alternating optimization framework is employed to decompose the transformed problem into a sequence of subproblems, i.e., hybrid BF (HBF) at BSs, passive BF at RISs, and combining at users. In particular, the alternating direction method of multipliers algorithm is utilized to solve the HBF subproblem at BSs. Concretely, the analog BF design with unit-modulus constraints is solved by the manifold optimization (MO) while we obtain a closed-form solution to the digital BF design that is essentially a convex least-square problem. Additionally, the passive BF at RISs and the analog combining at users are designed by primal-dual subgradient and MO methods. Moreover, considering heavy communication costs in conventional CF-mMIMO systems, we propose a partially-connected CF-mMIMO (P-CF-mMIMO) framework to decrease the number of connections among BSs and users. To better compromise WSR performance and network costs, we formulate the BS selection problem in the P-CF-mMIMO system as a binary integer quadratic programming (BIQP) problem, and develop a relaxed linear approximation algorithm to handle this BIQP problem. Finally, numerical results demonstrate superiorities of our proposed algorithms over baseline counterparts.


title: How should the contact angle of a noncircular wetting boundary be described?

abstract: For over 200 years, wettability has made significant contributions to understanding the properties of objects, advancing technological progress. Theoretical model of the contact angle (CA) for evaluating wettability has constantly been modified to address relevant emerging issues. However, these existing models disregard the difference in the CA along the contact line and use a single-point CA to evaluate the entire contact line. From this perspective, there is no reasonable explanation for noncircular wetting. Here, we reveal that noncircular wetting boundaries result from property differences in the surfaces along the boundary, and utilize friction as a comprehensive factor reflecting local wettability. Average CA is proposed to evaluate the contact line instead of the single-point CA, making the Cassie method and Wenzel method obsolete, which will take an average property of the whole surface as a weight coefficient of the single-point CA, ignoring the subordination between physical properties and roughness in systematics.


title: Circulating Marangoni flows within droplets in smectic films

abstract: We present theoretical study and numerical simulation of Marangoni convection within ellipsoidal isotropic droplets embedded in free standing smectic films (FSSF). The thermocapillary flows are analyzed for both isotropic droplets spontaneously formed in FSSF overheated above the bulk smectic-isotropic transition, and oil lenses deposited on the surface of the smectic film. The realistic model, for which the upper drop interface is free from the smectic layers, while at the lower drop surface the smectic layering still persists is considered in detail. For isotropic droplets and oil lenses this leads effectively to a sticking of fluid motion at the border with a smectic shell. The above mentioned asymmetric configuration is realized experimentally when the temperature of the upper side of the film is higher than at the lower one. The full set of stationary solutions for Stokes stream functions describing the Marangoni convection flows within the ellipsoidal drops were derived analytically. The temperature distribution in the ellipsoidal drop and the surrounding air was determined in the frames of the perturbation theory. As a result the analytical solutions for the stationary thermocapillary convection were derived for different droplet ellipticity ratios and the heat conductivity of the liquid crystal and air. In parallel, the numerical hydrodynamic calculations of the thermocapillary motion in the drops were performed. Both the analytical and numerical simulations predict the axially-symmetric circulatory convection motion determined by the Marangoni effect at the droplet free surface. Due to a curvature of the drop interface a temperature gradient along its free surface always persists. Thus, the thermocapillary convection within the ellipsoidal droplets in overheated FSSF is possible for the arbitrarily small Marangoni numbers.


title: User Pairing and Power Allocation for FTN-based SC-NOMA and MIMO-NOMA Systems Considering User Fairness

abstract: The development of the industrial Internet of Things (IoT) calls for higher spectrum efficiency (SE). Faster than Nyquist (FTN) and non-orthogonal multiple access (NOMA) are both promising paradigms to improve the SE without any extra spectrum resources required. The combination of FTN and NOMA is an interesting issue and has been focused on recently. In the NOMA technology, user pairing and power allocation are key algorithms determining system capacity. This paper first proposes a joint user pairing and power allocation algorithm for the FTN-based single-carrier (SC) NOMA system. Then, the FTN-based multiple-input-multiple-output (MIMO) NOMA is studied and a dynamic user pairing and power allocation scheme is presented. In both scenarios, the maximum available sum rate (ASR) is the target. While based on the fairness principle, the user's SE in the NOMA system is guaranteed to be no less than that in the OMA system. Simulation results show the advantage of the FTN-based NOMA with the proposed scheme in ASR and quality of service (QoS) performance. As far as we know, this paper is the first solution to the issue of user pairing and power allocation in FTN-based NOMA, which proves the great advantage of the combination of these two state-of-the-art technologies.